Recursive ZK Proofs provide a revolutionary approach to this issue, in which networks of them can have virtually unlimited capacity, since a proof can be used to verify a second proof, and so on.