Proprio come quando compriamo un laptop sperando che possa fare tutto, alla fine finiamo per dotarci di un desktop per compiti pesanti, il settore ZK della blockchain sta ripetendo lo stesso compromesso.$NIGHT Si trova in@MidnightNetwork , ha fatto una scelta opposta rispetto al mercato principale nella tecnologia ZK - non fare un laptop universale, ma solo stazioni di lavoro specializzate.

Attualmente, la maggior parte dei progetti ZK sta perseguendo circuiti ZK generali, un sistema adattabile a qualsiasi calcolo, gli sviluppatori possono dimostrare ciò che vogliono, con una flessibilità massima. Questo ricorda molto la posizione universale di ETH, che cerca di supportare DeFi, NFT, Layer2 e tutti gli altri ecosistemi; è anche simile a un laptop che cerca di essere multifunzionale, sufficiente per l'uso quotidiano, ma quando si eseguono calcoli pesanti, la ventola gira a folle e le prestazioni crollano. Il costo del ZK generico è evidente: il costo di generazione della prova è estremamente elevato, la complessità del circuito cresce esponenzialmente con la flessibilità, ogni prova ZK per transazione diventa un pesante onere per la rete.

Midnight ha scelto con decisione il protocollo Kachina, ottimizzando profondamente i contratti intelligenti per la privacy, senza cercare di fare tutto. La sua architettura ZK si basa sulla ricerca di Kachina e utilizza la curva Pluto-Eris per generare prove BLS, come se fosse un server dedicato progettato appositamente per i pagamenti privati di BTC e i contratti riservati di ETH. La specializzazione porta vantaggi di prestazioni immediati: circuiti ottimizzati in anticipo, generazione di prove più veloce, costi di verifica più bassi, riducendo direttamente i costi operativi della rete. Rispetto a BTC, che si concentra sulla sicurezza del valore, ed ETH, che si concentra sulla compatibilità ecologica, le scelte di Midnight sono chiare: sacrificare la generalità e concentrarsi sull'efficienza e la sicurezza dei contratti privati.

I vantaggi delle verifiche di sicurezza sono sottovalutati. I sistemi ZK generali hanno un'ampia superficie di attacco, e i tipi di calcolo complessi nascondono innumerevoli vulnerabilità; Kachina ha confini chiari, e il campo di audit è preciso e controllabile, senza dover esaminare tutti i percorsi di calcolo. Abbinato a un linguaggio Compact progettato specificamente per contratti privati, gli sviluppatori possono scrivere contratti con una mentalità TypeScript, mentre il compilatore completa automaticamente la conversione crittografica, senza necessità di approfondire la tecnologia ZK sottostante, abbassando la soglia di accesso all'ecosistema.

Naturalmente, la specializzazione comporta inevitabilmente un sacrificio di flessibilità. Kachina serve solo contratti privati, e le esigenze che superano questo scenario richiedono adattamenti aggiuntivi, il che è molto meno flessibile rispetto a ZK generali e non è paragonabile alla compatibilità di ETH con vari DApp e al supporto di BTC per espansioni diverse. È interessante notare che la tecnologia ZK sta evolvendo rapidamente; l'attuale Kachina ottimale sarà superata tra due o tre anni? Anche se il white paper menziona che SNARK può essere aggiornato, i dettagli sui costi di aggiornamento e sulla compatibilità dei contratti non sono ancora stati resi pubblici; questo rappresenta un rischio comune per tutti i progetti ZK specializzati.

Proprio come un laptop per lavorare in mobilità e un desktop per potenza di calcolo, ognuno ha il proprio ruolo per essere più efficienti. Midnight dimostra con Kachina: fare bene una cosa è più prezioso che accontentarsi di farne molte. Dopo il lancio della mainnet, gli esempi di sviluppatori che incontrano difficoltà saranno la prova dei confini di Kachina. E la sicurezza minimalista di BTC, la compatibilità universale di ETH e la privacy specializzata di Midnight troveranno anch'essi il proprio posto nell'ecosistema del mondo Web3.#night