Trennen Sie Korrektheit der Berechnung vom Schutz der Eingaben. Prüfen Sie Beweissystem, veröffentlichte Daten, Vertrauen und Verfügbarkeit.
Genaues Ziel benennen
Korrektheit ist nicht Geheimhaltung
Parameter und Code lesen
Aussage bestimmen
Ein Beweis verbindet eine öffentliche Aussage mit geheimen Eingaben oder Berechnung. Er bestätigt Schaltkreisregeln, nicht die Wahrheit externer Quellen.
Garantien trennen
Ein Gültigkeitsbeweis kann Zustandswechsel bestätigen. Ein Rollup mit solchen Beweisen verbirgt Transaktionen nicht automatisch.
Annahmen prüfen
Vertrauen hängt von Protokoll, Einrichtung, Prüfvertrag und Sicherheit der Beweiserstellung ab.
Daten prüfen
Für Rekonstruktion oder Ausstieg können neben einem gültigen Beweis zugängliche Daten nötig sein.
Prüfpunkte
| Thema | Prüfen |
|---|---|
| Aussage bestimmen | Genaues Ziel benennen |
| Garantien trennen | Korrektheit ist nicht Geheimhaltung |
| Annahmen prüfen | Parameter und Code lesen |
| Daten prüfen | Verfügbarkeit sichern |
Häufige Fragen
Beweist das das ganze System?
Nein. Nur eine durch Schaltkreis und Eingaben definierte Aussage.
Verbirgt ein ZK Rollup jede Zahlung?
Nein. Korrektheit und Vertraulichkeit sind getrennt.
Prüfbare Quellen
Unabhängiger Bildungsinhalt auf Grundlage primärer Dokumentation. Keine persönliche Empfehlung oder Renditezusage. Geprüft am 25. September 2026
