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.
Capire ciò che la prova dimostra
Una prova di validità verifica un’affermazione definita, non tutto il sistema. Esamina input, disponibilità dei dati, circuito e aggiornamenti.
- Chiedi se serve un setup fidato.
- La privacy dipende anche dai dati pubblici.
Caso pratico: decisione e limiti
« ZK » non implica privacy totale. Chiedi cosa è nascosto, a chi e cosa resta pubblico. Verificare un calcolo non nasconde necessariamente importi o indirizzi né prova verità di dati esterni. Distingui crittografia, disponibilità, chiavi e aggiornamenti.
Una verifica concreta
Scrivete affermazione provata: calcolo corretto non dimostra verità di dati esterni.
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.
Una prova basta per uscire dal rollup?
Non sempre. Attesta regole codificate; ricostruire stato e uscire può richiedere dati. Verificate pubblicazione, conservazione e procedura senza operatore disponibile.
Fonti verificabili
Contenuto educativo indipendente verificato su documentazione primaria. Nessuna raccomandazione personale o promessa di rendimento. Aggiornato il 6 ottobre 2026
