La prova è fallita la prima volta.
Non ho visto immediatamente il motivo. Il terminale ha semplicemente restituito un piccolo messaggio di rifiuto dal livello di verifica di Midnight. Nessun errore drammatico. Solo silenzio dopo la sottomissione della prova.
Mi sono chinato più vicino allo schermo, con le dita appoggiate sulla tastiera, ascoltando il debole rumore della ventola del laptop. Qualcosa all'interno dei circuiti crittografici non si era allineato. I vincoli non si chiudevano. Il che significava che la prova a conoscenza zero che avevo generato non poteva superare la verifica della prova.
Questa è la strana tensione all'interno del Protocollo Midnight.
Senti il fallimento prima ancora che la rete lo tocchi.
L'esecuzione del contratto era già avvenuta localmente. Gli input si muovevano attraverso le regole del circuito durante la generazione del testimone, il calcolo che finiva silenziosamente all'interno del provatore. Solo dopo che la generazione della prova aveva prodotto l'artefatto che ho cercato di sottomettere.
Ma i validatori di Midnight non vedono nulla di tutto ciò.
Vedono solo la prova.
L'ho rigenerata. Più lentamente questa volta. Guardando i registri del circuito fino a quando i valori del testimone si sono stabilizzati. Quando la seconda sottomissione della prova ha raggiunto Midnight, i validatori hanno caricato le chiavi di verifica del contratto e hanno eseguito di nuovo la validazione della prova del validatore.
Questa volta la matematica si è chiusa.
Il blocco ha accettato il risultato attraverso un'esecuzione verificata dalla prova, registrando una transizione di stato supportata dalla prova senza rivelare gli input che l'hanno prodotta.
Questo è il cambiamento che introduce Midnight.
La catena non osserva mai l'esecuzione del tuo contratto.
Decide solo se la prova merita di esistere.