Distingui validità del calcolo e riservatezza. Controlla sistema, dati pubblici, ipotesi di fiducia e disponibilità.
Precisare cosa si prova
Validità non è segretezza
Controllare parametri e codice
Definire l’affermazione
La prova lega una dichiarazione pubblica a input privati o calcolo. Attesta solo regole nel circuito, non la verità di una fonte esterna.
Separare garanzie
Una prova di validità conferma il cambio di stato. Un rollup che la usa non rende automaticamente riservati i trasferimenti.
Esaminare ipotesi
La fiducia dipende da protocollo, configurazione, contratto verificatore e sicurezza del codice di prova.
Controllare i dati
Ricostruire lo stato o uscire può richiedere dati accessibili oltre a una prova valida.
Punti di controllo
| Tema | Verifica |
|---|---|
| Definire l’affermazione | Precisare cosa si prova |
| Separare garanzie | Validità non è segretezza |
| Esaminare ipotesi | Controllare parametri e codice |
| Controllare i dati | Valutare disponibilità |
Domande frequenti
Certifica l’intero sistema?
No. Solo l’affermazione definita dal circuito.
Un ZK rollup nasconde ogni pagamento?
No. Validità e privacy sono proprietà distinte.
Fonti verificabili
Contenuto educativo indipendente verificato su documentazione primaria. Nessuna raccomandazione personale o promessa di rendimento. Revisionato il 25 settembre 2026
