Essere torturato dal modello di memoria della macchina virtuale Piecrust per una settimana, parliamo delle ambizioni tecniche di Dusk
Recentemente, per capire meglio quella macchina virtuale Piecrust di Dusk, ho sfogliato la documentazione di Rust. A dirla tutta, questa architettura basata su WASM è davvero un'alternativa nel settore ZK attuale. Vedi, le attuali blockchain pubbliche per la privacy, sia Iron Fish che Aleo, stanno principalmente sviluppando i propri linguaggi dedicati, sacrificando la versatilità degli sviluppatori per dimostrare l'efficienza, ma Dusk ha fatto una mossa rischiosa, cercando di dare agli stati generali proprietà di privacy. Ho eseguito il suo modello di memoria zero-copy nel mio ambiente locale e quella serializzazione rkyv è davvero incredibilmente veloce, completamente diversa dalla logica di Ethereum, dove anche cambiare uno stato richiede di combattere con gli slot di memoria.
Questo porta anche a un grande problema, i contratti Solidity esistenti sono quasi impossibili da migrare, gli sviluppatori devono riadattarsi a questa logica di accesso agli stati. È come se una persona abituata a guidare un'auto con cambio automatico venisse improvvisamente infilata in una macchina di Formula 1; anche se il limite è molto alto, la soglia di ingresso è così alta che ti viene voglia di distruggere la tastiera. Ieri, quando stavo facendo debug di un contratto, alcuni semplici stati di prova hanno direttamente esaurito la mia memoria, il che dimostra che c'è ancora un bel po' di strada da fare prima di una vera ingegnerizzazione.
Rispetto a soluzioni come Aztec che fanno rollup privacy su L2, le ambizioni di Dusk di integrare direttamente ZK su L1 sono chiaramente molto più grandi. Sta scommettendo sul fatto che il DeFi futuro non sarà solo uno scambio di token semplice, ma coinvolgerà transazioni in dark pool con logiche commerciali complesse. Se Piecrust può davvero risolvere i colli di bottiglia nelle prestazioni della generazione e verifica delle prove, allora ciò che costruisce non è solo un libro mastro per la privacy, ma un livello di calcolo black box in grado di eseguire logiche complesse. Ma ci vorranno ancora alcuni anni per colmare le lacune. Anche se l'ecosistema è attualmente desolato, è vero, ma la tecnologia, spesso, deve essere imboscata proprio quando nessuno la nota.
