esattamente un anno fa mi sono unito a @Ingo_zk. in quel periodo, ho lavorato a molti progetti. ma due sono speciali: icicle-snark e icicle-halo2. quando ho iniziato a conoscere zk stavo cercando di capire cos'è r1cs, come funziona groth16, come scrivere circuiti circom. oggi sono l'autore del provatore groth16 più veloce e del provatore halo2 più veloce (credo). icicle-snark è una nuova implementazione di groth16 che utilizza ICICLE ed è scritta in Rust. è 160 volte più veloce di snarkjs e 30 volte più veloce di rapidsnark su 5090. icicle-halo2 è un fork di @ezklxyz-halo2 con integrazione ICICLE che offre fino a 25 volte di aumento della prova utilizzando kernel di valutazione dei gate. nel complesso, è stato un anno divertente di apprendimento, costruzione e spedizione.

Come sono diventato un Matematico? (storia lunga) Da bambino, mio padre mi disse "la nostra famiglia non è brava in matematica" e io, preferendo il calcio e gli appuntamenti a qualsiasi cosa che richiedesse impegno mentale, accettai questa verità. Come studente universitario ho studiato Biologia e Informatica, per entrare nel campo delle Neuroscienze (alla fine ho sposato la figlia di uno dei miei stimati professori. Ma questa è un'altra storia). Mi sono reso conto che mi piacevano davvero i corsi di matematica e odiavo tutto ciò che era applicato - sia la programmazione che i laboratori di biologia. Infatti, ogni semestre andavo dal Decano degli studenti universitari dell'epoca (Prof. @noamnisan, ora consulente di StarkWare) per negoziare la sostituzione dei corsi di programmazione con più matematica (ed è per questo che non so programmare fino ad oggi; anche se Introduzione al C++ è stato il primo corso che ho insegnato come Professore Assistente. Ma anche questo è un'altra storia.) Poi, come studente laureato, volevo entrare nel campo del Machine Learning, ma il prestigioso Professore (Tali Tishby, RIP) aveva già un sacco di studenti. Ero seduto in un corso di Complessità Computazionale tenuto da un Postdoc, quando fu sostituito per una lezione da un certo Avi Wigderson. Non sapevo nulla di lui all'epoca (la sua foto appariva sui manifesti, poiché aveva appena ricevuto il Premio Nevanlinna, ma come giovane studente laureato ignorante non sapevo cosa significasse). Avi parlò di come alcune persone stessero cercando di dimostrare formalmente che è impossibile risolvere la congettura P vs. NP. E io rimasi affascinato da questo. Così gli dissi: voglio studiare questo come progetto di MSc. Iniziò un periodo di corteggiamento. Avi non era sicuro che fossi adatto a lui (i miei voti in matematica erano ok, ma non ero mai stato il tipo da voti sempre alti). Così, mi lasciò un libro sulla Complessità delle Prove, dicendo: Leggi e riassumilo per me. Ho letto quel libro circa 3 volte da cima a fondo e non ho capito una parola oltre il capitolo introduttivo (oggi so che è più probabile che sia colpa dell'autore, non della mia stupidità. Ma questa è un'altra storia). Alcune settimane dopo, ancora senza capire una parola sull'argomento, Avi chiese di spiegare un recente articolo su "grado e dimensione delle prove del Calcolo Polinomiale". Ci siamo seduti a casa sua, ho spiegato. A un certo punto chiese: "Perché non può essere applicato al sistema di prove di Risoluzione?" (La Risoluzione è il sistema di prove di calcolo proposizionale più importante e fondamentale). Ho strizzato gli occhi, pensato un po' e ho detto "Oh, ma può, ecco come", e ho applicato lo stesso metodo di prova alla Risoluzione. Avi si è molto entusiasta. Ho detto "inviamo un'email agli autori del precedente articolo", pensando che se capisco queste cose, non può essere più di un'email. Avi insistette che lo scrivessimo come un articolo. Ogni pochi giorni cercavo di convincerlo a lasciar perdere e semplicemente inviare un'email, ma lui era irremovibile, e io ascoltai. Fortunatamente l'ho fatto. È finito come il mio articolo più citato e importante prima di quelli su STARK/SNARK. Dopo quell'articolo, ne sono seguiti altri. Con ognuno, ero sicuro che fosse solo un'osservazione degna di un'email, non una Matematica Profonda. Vedevo tutti questi altri articoli, così difficili da capire, e in confronto le mie cose sembravano così chiare e semplici. Ci sono voluti molti anni per rendermi conto che questo è il modo in cui progredisce la matematica. Passi molto tempo a interiorizzare alcuni concetti teorici, e poi un giorno "lo vedi". E poi ti sembra tutto chiaro e semplice. Ma è chiaro e semplice solo per te. Per gli altri, è complicato. Oggi, quando devo andare a rivedere alcuni dei miei articoli precedenti, mi ritrovo a strizzare gli occhi, grattarmi la testa e dire "cavolo, sono cose serie, come hanno fatto a pensarci?" :-) Dopo quelle prime scoperte matematiche, Avi mi offrì di non fare solo un MSc ma in realtà un dottorato, ed è così che sono diventato un informatico teorico (che è una sorta di matematico). FINE.

La tecnologia è pronta a modernizzare la finanza, ma dobbiamo prima modernizzare le nostre leggi. Il GENIUS Act è stato un grande passo avanti, continuiamo a mantenere il slancio. L'adozione diffusa di soluzioni come le ZK Proofs sarebbe un enorme sblocco per la protezione dei consumatori.

🍫 Nuovo episodio di Snark Chocolate 🍫 Il futuro FHE di Sunscreen Questa settimana ci siamo seduti con @ravitals, fondatore di @SunscreenTech, per parlare del percorso verso l'adozione reale del FHE. 🔐 Passato, presente e futuro del FHE 🏗️ Architettura e design di Sunscreen 🛠️ Stack tecnologico e roadmap ✨ Cosa distingue Sunscreen 🤝 Collaborazione con Monad 🧲 Consigli per assumere nel deep tech Spotify: Apple Podcasts: YouTube: Snark Chocolate Club su Telegram:

Buongiorno! Lavoriamo direttamente con un account manager dedicato di @AIatAMD che aiuta a monitorare i problemi software segnalati dai nostri clienti. Hai trovato un bug? Segnala un problema su GitHub, lo porteremo avanti e lo seguiremo fino alla risoluzione. Anche se non possiamo garantire tempistiche (alcuni fix potrebbero richiedere un futuro rilascio di ROCm), questo è un grande passo avanti rispetto al vecchio @AMD. Sappiamo quanto sia importante per gli sviluppatori sentirsi ascoltati, e ora lo sono. È uno dei tanti valori aggiunti che offriamo. ❤️

Oggi, nel decimo anniversario di @ethereum, lanciamo EigenDA V2 con una capacità di 100 MB/s, rendendolo la prima soluzione di disponibilità dei dati a superare la barriera delle TRE cifre. Mentre Ethereum entra nel suo secondo decennio, siamo orgogliosi di contribuire a scalare la sua prossima ondata di innovazione. Scopri di più 🧵

Alcuni risultati impressionanti all'interno!

Sono venuto per il merchandising, sono rimasto per la tecnologia!

Dragonfly ha investito in PepperSec, Inc., gli sviluppatori di Tornado Cash, nell'agosto del 2020. Abbiamo effettuato questo investimento perché crediamo nell'importanza della tecnologia open-source per la privacy. Prima del nostro investimento, abbiamo ottenuto un parere legale esterno che ha confermato che Tornado Cash, così come è stato costruito, era conforme alla legge, sotto la guida fornita da FinCEN nel 2019. Il governo ha ora dichiarato in aula che sta considerando accuse contro Dragonfly per aver investito nel team di Tornado Cash nel 2020. Su consiglio legale, ci siamo astenuti da commenti pubblici. Ma non possiamo più rimanere in silenzio. Crediamo profondamente nel diritto alla privacy degli americani, e la sua mancanza rimane uno dei più grandi problemi irrisolti della crypto. Pertanto, sosteniamo il nostro investimento. Non abbiamo operato né esercitato alcun controllo su Tornado Cash, non abbiamo avuto contatti con utenti malevoli, abbiamo sempre incoraggiato le nostre aziende in portafoglio a rispettare la legge e sosteniamo che Tornado Cash stesso ha un diritto legale di esistere—una visione rafforzata da Van Loon v. Department of the Treasury e dalla successiva revoca delle sanzioni da parte dell'OFAC. Accusare una società di venture capital per presunti illeciti di un'azienda in portafoglio sarebbe senza precedenti, specialmente in queste circostanze. Nel 2023 abbiamo ricevuto un subpoena dal DOJ e abbiamo pienamente collaborato con l'indagine del governo su Tornado Cash, certi di aver sempre rispettato la legge. Il DOJ ha chiarito che noi non siamo noi stessi un obiettivo della loro indagine. Come per ogni investimento, abbiamo fornito a PepperSec gli stessi consigli e supporto che offriamo a tutte le aziende in portafoglio. Crediamo che la dichiarazione del governo in aula oggi fosse principalmente per minare una difesa di Tornado Cash—per rendere più difficile per la difesa chiamare Tom a testimoniare. Dopo tutto questo tempo—anni dopo—portare accuse contro Dragonfly sarebbe scandaloso, contrario ai fatti e alla legge, e indurrebbe un effetto di raffreddamento su tutti gli investimenti nella crypto e nelle tecnologie per la privacy in America. Non crediamo che il DOJ porterebbe realmente accuse così assurde e infondate. Ma se lo fanno, intendiamo difenderci vigorosamente.

Siamo entusiasti di annunciare che Ergodic, la holding di @class_lambda, ha acquisito una partecipazione minoritaria ma strategicamente significativa in @3miLabs. 3MI Labs è una casa di ricerca dedicata a risolvere le sfide più complesse nella crittografia applicata. Questo investimento segna un momento cruciale nella collaborazione tra le due aziende. Abbiamo lavorato con @TomerAshur e il suo team nell'ultimo anno e siamo rimasti profondamente colpiti dalla loro conoscenza e dalle loro abilità pratiche. Ad esempio, insieme a @class_lambda e @alignedlayer, abbiamo identificato un bug di solidità significativo e un modo pratico per sfruttarlo in uno dei zkVM più popolari. Ora stiamo lavorando insieme per affrontare problemi altamente pratici che richiedono una profonda expertise teorica. Siamo certi che presto sentirete di più sulla nostra collaborazione. 3MI Labs sta lavorando a progetti trasformativi che ridisegneranno l'industria. Con @class_lambda, @3miLabs, @FuzzingLabs e @PolFinance_, stiamo assemblando un team di classe mondiale specializzato in ingegneria, hacking e matematica teorica e applicata. Benvenuti nel team, 3MI Labs!