递归证明实现原理

StarkNet 作为zk-Rollup 的代表性项目，通过有效性证明验证二层交易的有效性。即L2 向L1 递交有效性证明，并由L1 的验证者验证。

递归证明的实现可以拆解为2个部分：L3 向L2 递交有效性证明并由L2 验证，L2 将多笔证明压缩成1笔并递交给L1 验证。

形成完美的递归结构。#crypto2023

6/n🧵