再帰的証明の実装原理

StarkNet は、zk-Rollup の代表的なプロジェクトとして、有効性証明を通じて第 2 層トランザクションの正当性を検証します。つまり、L2 は有効性証明書を L1 に送信し、L1 の検証者によって検証されます。

再帰的証明の実装は 2 つの部分に分けることができます: L3 は有効性証明を L2 に送信し、L2 によって検証されます。L2 は複数の証明を 1 つに圧縮し、検証のためにそれを L1 に送信します。

完璧な再帰構造を形成します。 #crypto2023

6/n🧵