Ho partecipato a una votazione on-chain, e dopo aver votato sono andato a controllare su un esploratore di blocchi—cosa ho votato, quando, indirizzo del portafoglio, tutto è lì, visibile. La cosiddetta votazione anonima è solo un annuncio pubblico in piazza senza nessuno che ti firmi.
Questa è l'altra faccia della trasparenza on-chain: è rivolta a tutti, incluso te stesso.
@MidnightNetwork del protocollo Kachina, risolve proprio questo problema.
Kachina divide lo stato del contratto in due parti: lo stato pubblico risiede on-chain, lo stato privato risiede sulla tua macchina locale, e non va mai on-chain. La difficoltà è: come può uno stato privato che non va mai on-chain essere utilizzato legalmente dalla logica del contratto?
La risposta è ZK SNARKs. Generi localmente una prova a conoscenza zero, dimostrando "il mio stato privato soddisfa le condizioni per attivare questo aggiornamento on-chain", ma la prova stessa non contiene alcun contenuto privato. Il validatore on-chain controlla solo se la prova è valida, e se lo è, aggiorna lo stato pubblico; i dati privati non lasciano mai il tuo dispositivo.
Prendiamo ancora l'esempio della votazione: on-chain non è necessario registrare "chi ha votato cosa", è sufficiente verificare una prova: "questo elettore è registrato legalmente e non ha mai votato". Il conteggio dei voti aumenta di 1, nessuno sa chi sia stato.
$NIGHT La parte più difficile è il trattamento concorrente: Kachina utilizza un transcript per tracciare le operazioni di stato, consentendo il riordinamento delle transazioni non conflittuali per massimizzare il throughput, mantenendo al contempo il controllo sulla fuga di informazioni. Non è una scelta tra "veloce o privato", ma si basa su Universally Composable (una prova formale di sicurezza per framework, la sicurezza rimane valida anche quando combinata in sistemi complessi.
La maggior parte delle soluzioni per la privacy ti dà una scatola nera dicendo di stare tranquillo. @MidnightNetwork ti offre un insieme di impegni verificabili matematicamente.