Lasciate che vi racconti una storia. Metà del 2023. Avevo appena deciso di iniziare il Fermah. Ho partecipato a una telefonata con alcune persone di cui mi fido profondamente, tra cui Amit Sahai, un crittografo di fama mondiale con contributi fondamentali allo spazio ZK. Ho condiviso la visione: ZK dovrebbe essere facile per gli sviluppatori. Nessuno dovrebbe dover combattere la creazione di un'infrastruttura di prova e l'ottimizzazione; Dovrebbero essere in grado di delegare la prova a una piattaforma che lo fa. Amit: "E i dati dei testimoni? Come ci si può fidare di GPU casuali con dati di testimonianza sensibili?" Me: "La maggior parte delle app in produzione oggi non utilizza nemmeno la parte a conoscenza zero degli ZKP, ma solo la concisione". Amit rise: "Quindi è come ZK senza ZK! Quindi, cosa fanno le app che si preoccupano della privacy per generare prove?" Me:... Dopo la chiamata, ho avuto molte riunioni ed ero irrequieto tutto il giorno. Ho scritto ad Amit qualcosa del tipo: "Il fatto che la tecnologia ZK non sia accessibile alle persone per cui è stata inizialmente progettata è assurda. Ma non sono sicuro che sia il momento giusto per costruire una soluzione. Dovrò fare qualche ricerca di mercato". Quindi ho iniziato con un approccio semplice: Passaggio 1. Fai un elenco di app che iniziano a mostrare la promessa di diventare enormi Passaggio 2. Scopri chi di loro ha bisogno di ZK con privacy Abbastanza sicuro, due delle applicazioni principali erano ZK-identity e zkTLS. Lasciate che vi dica rapidamente perché ero rialzista su di loro prima di andare avanti con la storia. Sono rimasto sbalordito da quanto sia convincente la prova della personalità per garantire un futuro guidato dall'intelligenza artificiale e da come Sam Altman, all'avanguardia nell'intelligenza artificiale, abbia sottolineato la necessità di un'identità ZK con @worldcoin. zkTLS è una storia più personale. Sono saltato su questo carro quando c'erano praticamente solo un paio di persone su di esso. Questo è stato ben 5 anni fa. Ho guidato il prodotto e l'implementazione di un progetto zkTLS presso @MinaProtocol. Già allora avevo capito che sarebbe arrivato il momento in cui l'adozione delle criptovalute sarebbe stata alimentata attingendo a dove l'adozione esiste già: il Web2. E quel ponte è zkTLS. Ero convinto che dovessimo risolvere questo problema. Era chiaro che dovevamo seguire la strada dell'MPC: FHE è ancora troppo ottimista per questo tipo di lavoro pesante. Ho scavato nei documenti di ricerca e mi sono imbattuto nell'articolo collaborativo SNARKs di Dan Boneh e Alex Ozdemir e nella linea di lavoro che ne è seguita. L'idea è che più macchine eseguano la generazione di prove attraverso un protocollo MPC, garantendo che nessuna singola macchina abbia accesso ai dati sensibili. Avanti veloce fino a ottobre/novembre 2023, stavo eseguendo l'intera visione del Fermah di Dan. È stato bellissimo ricevere le sue benedizioni su Fermah e sulla sua visione. Da lì, sono andato avanti con la nostra raccolta di semi, con una tesi fondamentale: costruire ciò per cui Fermah è conosciuta oggi - un mercato di prova universale - e aggiungere una ciliegina d'oro in cima: l'MPC-zkVM. La mia visione è quella di costruire uno ZKVM che sia compatibile con MPC e che sia dotato di delega di prova riservata. L'idea è: R. Gli sviluppatori possono scrivere calcoli in linguaggi popolari come Rust B. Non devono preoccuparsi dell'esperienza utente: non devono più effettuare prove lato client C. Non devono gestire la prova infra I loro clienti inviano semplicemente una transazione "dimostralo con la privacy" a Fermah e ne esce una prova, generata in modo confidenziale Questo è il cuore del nostro protocollo Confidential Proving Delegation (CPD). Sono entusiasta di condividere i nostri primi piccoli passi verso questa visione: CPD per le dimostrazioni Groth16, ancora uno dei sistemi di dimostrazione più utilizzati in circolazione. Siamo sulle spalle di giganti: - @Ingo_zk 's Icicle, che potenzia il test sulle GPU - Taceo, che ha portato l'MPC al Circom - Boneh-Ozdemir, che ha aggiunto MPC ad Arkworks Il nostro protocollo CPD lavora fianco a fianco con il livello di matchmaking di Fermah per offrire una soluzione completa per chiunque costruisca pensando a ZK e alla privacy. Siamo anche incredibilmente grati a @worldcoin per aver creduto presto in questa visione. Ci hanno dato una sovvenzione per esplorare la CPD per il sistema di prova del resto, il che è stato molto significativo dato quanto siamo rialzisti noi di Fermah sull'identità ZK. Un enorme ringraziamento a @recmo e @DCbuild3r per il loro supporto e la loro fiducia. Siamo anche grati agli straordinari @nico_mnbl, Ryan e Daniel degli ex-Modulus Labs e ora al World per essere stati una cassa di risonanza! Stiamo già lavorando con alcuni clienti fenomenali e ci piacerebbe aiutare tutti gli altri che condividono la visione di ZK con la privacy. Avanti!