Fat DA capaciteit -> Fat ZK bewijzen capaciteit