Principiul implementării dovezii recursive

Ca proiect reprezentativ al zk-Rollup, StarkNet verifică validitatea tranzacțiilor de nivel al doilea prin dovada validității. Adică, L2 depune un certificat de valabilitate la L1 și este verificat de verificatorul lui L1.

Implementarea demonstrației recursive poate fi împărțită în două părți: L3 trimite o dovadă de validitate la L2 și este verificată de L2. L2 comprimă mai multe dovezi într-una singură și le trimite la L1 pentru verificare.

Formați o structură recursivă perfectă. #crypto2023

6/n🧵