Principio di implementazione della prova ricorsiva

In quanto progetto rappresentativo di zk-Rollup, StarkNet verifica la validità delle transazioni di secondo livello attraverso prove di validità. Cioè, L2 invia un certificato di validità a L1 e viene verificato dal verificatore di L1.

L'implementazione della prova ricorsiva può essere suddivisa in due parti: L3 invia una prova di validità a L2 e viene verificata da L2. L2 comprime più prove in una e le invia a L1 per la verifica.

Formare una struttura ricorsiva perfetta. #crypto2023

6/n🧵