Parliamo di cose concrete.
Ora nel settore delle blockchain pubbliche, la velocità non è sorprendente, e anche il Gas basso non è sorprendente. Cosa è sorprendente? È qualcosa che può verificare sulla catena e mantenere davvero la privacy. La maggior parte dei progetti ZK segue la strada dei circuiti generali, l'ideale è molto allettante: un sistema di prove, gli sviluppatori possono provare ciò che vogliono, con la massima flessibilità.
Suona come un laptop—può fare tutto, ma in modo approssimativo.
Ma sai qual è il problema? La generalità significa che la complessità dei circuiti esplode, il costo di generazione è estremamente alto e il tempo di verifica aumenta di conseguenza. Per una rete che deve eseguire una prova ZK per ogni transazione, questa differenza rappresenta un vero costo operativo, non è solo un confronto di parametri sulla carta.
Midnight @MidnightNetwork ha scelto un'altra strada. Nel white paper è scritto chiaramente: basato sul protocollo Kachina, segue la rotta dei circuiti ZK di tipo specifico, senza cercare il generico, ma ottimizzando solo per il particolare scenario dei contratti intelligenti privati. Utilizzando curve Pluto-Eris per generare prove di tipo BLS, l'intero sistema è nato per l'esecuzione di contratti intelligenti privati.
Questo compromesso, più ci penso, più mi sembra ragionevole.
Punti salienti: prestazioni e sicurezza, vuole entrambe.
Kachina, per scenari specifici, può ottimizzare in anticipo la struttura del circuito, generando prove più rapidamente e con costi di verifica più bassi. Più importante è l'audit di sicurezza: la superficie di attacco dei sistemi generici è troppo grande, i tipi di calcolo supportati sono troppi e ognuno di essi può introdurre nuove vulnerabilità. Il design di Kachina per scenari specifici rende i confini dell'audit chiari; gli auditor sanno per cosa è stato progettato questo sistema e non devono esaminare tutte le possibili strade di calcolo.
Supporto strategico: il linguaggio Compact nasconde la complessità
Gli sviluppatori usano Compact per scrivere contratti, che è basato su TypeScript, ma non è un'estensione ZK di un linguaggio di programmazione generico, è un linguaggio specifico per il dominio progettato per scenari di contratti intelligenti privati. Il compilatore Compact nasconde completamente la complessità del circuito sottostante; gli sviluppatori non devono sapere cos'è Kachina, possono semplicemente scrivere la logica usando la mentalità di TypeScript.
Come si chiama questo? Si chiama abbassare la soglia d'ingresso per gli sviluppatori. Dopo il lancio della mainnet, chi riuscirà ad attrarre più velocemente gli sviluppatori, sarà in grado di affermarsi nel settore della privacy.
Espansione dell'ecosistema: dove sono i confini degli strumenti specifici?
Certo, il compromesso non è senza costi. L'ottimizzazione di Kachina per i contratti intelligenti privati significa che se ci sono sviluppatori che vogliono fare qualcosa al di fuori di questo design, il sistema potrebbe non supportarli. Dove sono i confini degli strumenti specifici, cosa fare quando si incontrano esigenze al di fuori dei confini? Questa questione emergerà lentamente man mano che l'ecosistema di Midnight si espande.
Il white paper menziona l'aggiornabilità degli SNARK, dicendo che la progettazione del sistema ha considerato la possibilità di sostituire in futuro il sistema di prove. Ma come avverrà l'aggiornamento, quanto costerà, e come sarà la compatibilità con i contratti esistenti, questi dettagli non sono attualmente pubblici. La tecnologia ZK ora evolve molto rapidamente, la scelta ottimale di oggi non è necessariamente la scelta ottimale di tre anni dopo; questo rischio esiste per tutti i progetti che scommettono su sistemi di prove specifici.
Emozione della comunità: da "può" a "quando"
Negli ultimi giorni, le notizie sulla prossimità della mainnet hanno chiaramente cambiato l'emozione della comunità. Prima, tutti discutevano se Midnight potesse funzionare, ora si discute su quando verrà lanciata la mainnet e quali applicazioni avrà l'ecosistema.
Il lancio della mainnet non è un semplice punto nel tempo, ma un passo chiave per testare le capacità tecniche del team, la stabilità della rete e la capacità di sostenere l'ecosistema. Una volta che procederà senza intoppi, il ruolo di NIGHT si rafforzerà, passando da un token di interesse di mercato a un asset centrale nel funzionamento della rete e nell'uso dell'ecosistema.
Perché sono ottimista
Sono molto ottimista riguardo a questo progetto, perché ha preso una decisione anti-consenso ma più pragmatica: non inseguire il generico, ma concentrarsi nel fare bene solo una cosa, i contratti intelligenti privati.
Il mio laptop è specificamente per lavorare in mobilità, il desktop rimane a casa per eseguire compiti pesanti; entrambi hanno i loro compiti e, contrariamente a quanto pensassi all'inizio, sono più efficienti rispetto a utilizzare un solo dispositivo per fare tutto. Midnight ha scelto Kachina, è questa la logica.
Le fluttuazioni dei prezzi a breve termine potrebbero ancora essere influenzate dall'emozione generale del mercato, ma ciò che vale davvero la pena seguire è se, dopo il lancio della mainnet, sarà in grado di attrarre sviluppatori, applicazioni e utenti in modo continuo. Dobbiamo guardare ai primi casi di fallimento, quelli saranno il vero test dei confini di progettazione di Kachina.