$BANANAS31 e $TRUMP stanno decollando..
Ecco qualcosa che ho imparato mentre operavo su Midnight Protocol( @MidnightNetwork ).
Il blocco si è chiuso mentre stavo ancora fissando l'esploratore.
Non avevo nemmeno trovato la transazione ancora.
Di solito c'è una sequenza che puoi seguire, gli input appaiono, i parametri si espandono, la rete elabora l'esecuzione. Qui la pagina si è aggiornata e qualcosa era già stato accettato.
Una prova.
Era tutto. Solo un'entrata compatta legata al livello di verifica delle prove di Midnight. Nessun payload di transazione. Nessun input di contratto visibile. Ho scrollato su e giù pensando di aver perso un campo da qualche parte.
Niente.
Per un secondo ho quasi scritto transazione eseguita.
No… non è quello che è successo qui.
Su Midnight Protocol, l'esecuzione del contratto finisce prima che la rete la veda. La logica viene eseguita privatamente prima, all'interno di circuiti crittografici, dove l'utente spinge gli input attraverso le regole del contratto. Da qualche parte in quel passaggio il sistema completa la generazione di testimoni e passa alla generazione di prove.
Mi sono fermato lì per un momento. Guardando l'entrata sedere nel blocco.
Perché l'unica cosa che raggiunge effettivamente la rete è la sottomissione della prova.
I validatori non ispezionano gli input. Caricano le chiavi di verifica del contratto e eseguono la verifica delle prove sulle prove a conoscenza zero collegate alla richiesta. Se la prova corrisponde ai vincoli del circuito, la validazione della prova del validatore passa e Midnight accetta il risultato.
Nessuna esecuzione ripetuta.
Nessuna ispezione dei dati pubblici.
Solo esecuzione verificata dalla prova che produce una transizione di stato supportata dalla prova.
La parte strana non è la matematica.
È che il calcolo è già avvenuto da qualche altra parte… e Midnight vede solo la prova che è avvenuto.