Fat DA capacity -> Fat ZK proofs capacity