Prinzip der rekursiven Beweisimplementierung

Als repräsentatives Projekt von zk-Rollup überprüft StarkNet die Gültigkeit von Second-Layer-Transaktionen durch Gültigkeitsnachweise. Das heißt, L2 übermittelt L1 ein Gültigkeitszertifikat, das vom Prüfer von L1 überprüft wird.

Die Implementierung des rekursiven Beweises kann in zwei Teile unterteilt werden: L3 übermittelt einen Gültigkeitsnachweis an L2 und wird von L2 überprüft. L2 komprimiert mehrere Beweise zu einem und übermittelt ihn zur Überprüfung an L1.

Bilden Sie eine perfekte rekursive Struktur. #crypto2023

6/n🧵