Recursive proof implementation principle

As a representative project of zk-Rollup, StarkNet verifies the validity of second-layer transactions through validity proof. That is, L2 submits a validity certificate to L1, and it is verified by L1's verifier.

The implementation of recursive proof can be broken down into two parts: L3 submits a validity proof to L2 and is verified by L2. L2 compresses multiple proofs into one and submits it to L1 for verification.

Form a perfect recursive structure. #crypto2023

6/n🧵