Recursive Zero-Knowledge Proofs

Proofs that can verify other proofs, allowing for extreme compression of blockchain data while still proving everything is valid.

Example

Mina blockchain staying tiny (22KB) no matter how many transactions happen, because each proof verifies all previous proofs.