Glossary
Rekursiver Beweis
Ein Zero-Knowledge-Beweis, dessen Schaltkreis einen oder mehrere andere Beweise verifiziert und so eine ganze Kette von Aussagen in einen einzigen kompakten Beweis komprimiert.
Ein rekursiver Beweis ist ein Zero-Knowledge-Beweis, dessen Schaltkreis selbst einen Verifier für andere Beweise ausführt. Statt viele Beweise on-chain zu prüfen, faltet ein Prover sie zusammen: Jeder neue Beweis bestätigt, dass der vorherige Beweis gültig war, so dass ein einziger finaler Beweis für eine beliebig lange Historie bürgt.
Das ermöglicht Beweis-Aggregation und inkrementell verifizierbare Berechnung. Rollups nutzen es, um Tausende von Transaktionsbeweisen zu einer einzigen günstigen On-Chain-Verifikation zu bündeln, und Chains wie Mina halten die gesamte Blockchain in wenigen Kilobyte beweisbar, indem sie jeden neuen Block rekursiv auf dem letzten beweisen.