Non vedo l'ora di assistere alla dinamica discussione sui zk-SNARKs al SBC 2025!

🚨 NOTIZIA DELL'ULTIMO MINUTO: Sui Research ha appena rilasciato una grande innovazione nella transizione quantistica di "alcuni" blockchain. Sfortunatamente funziona per Sui, Solana, Near, Cosmos e altre catene basate su EdDSA, ma non per Bitcoin ed Ethereum 😢 Ecco il documento: *Afaik questo è il primo percorso di aggiornamento compatibile con il retrocompatibile e sicuro per il quantum per i portafogli blockchain per evitare futuri fork o congelamenti di account. ...e perché è enorme 🧵👇 💀 C'è una possibilità non trascurabile che i portafogli di oggi possano diventare vulnerabili agli avversari quantistici nei prossimi decenni. Anche se personalmente dubito che siamo vicini alla supremazia quantistica che possa rompere la crittografia a breve, le crescenti preoccupazioni e le nuove indicazioni delle agenzie di sicurezza che raccomandano aggiornamenti degli algoritmi entro il 2035 dovrebbero servire da campanello d'allarme. Anche se gran parte di questo è guidato dalla percezione, la nostra comunità deve essere pronta a eventualmente effettuare la transizione. Una volta che i computer quantistici arriveranno, milioni di portafogli, incluso quello di Satoshi, potrebbero essere svuotati istantaneamente. Se la tua chiave pubblica è visibile, alla fine verrà decifrata. Chiavi perse, proprietari deceduti, cold storage... tutto a rischio (questi saranno i primi vittime). Milioni in crypto si trovano in portafogli "dormienti" che potrebbero non essere mai aggiornati o trasferire i loro beni. 💡 La nostra soluzione: Abbiamo trovato un modo per i portafogli che utilizzano EdDSA (ad es., Sui, Solana, Near e co) di dimostrare la proprietà in modo sicuro dopo il quantum, senza rivelare segreti o toccare il portafoglio per trasferire rapidamente le loro monete. Sorprendentemente, un piccolo dettaglio su come vengono derivati le chiavi private EdDSA rispetto a ECDSA fa una grande differenza sulla prontezza quantistica. TL;DR un semplice invocazione di hash su un seed e non scegliere direttamente gli scalari della curva ellittica come chiavi private ha salvato la situazione! 🔐 Nessun re-signing. Nessun cambiamento di indirizzo. Zero inattività. Solo una prova a conoscenza zero che dice: "Controllo ancora questo portafoglio, ma ora la firma è protetta contro gli hacker quantistici" 🚀 Costruito sulla derivazione della chiave Ed25519 (SLIP-0010) e zk-STARKs / Ligero 🛡️ Funziona per account dormienti e persi, multisig, tesorerie e cold storage 📈 Protegge utenti reali e istituzioni, non solo catene future, ma anche i tuoi portafogli basati su mnemonici di oggi 👨‍🔬 Sviluppato da @SuiNetwork, @Mysten_Labs e @GeorgeMasonU crittografi applicati e teorici, congratulazioni a Foteini e Arnab il cui aiuto è stato fondamentale! *Siamo già in contatto con i team dietro @ligero_inc e @SoundnessLabs, ma ci avvicineremo anche a governi e grandi organizzazioni come Google (che ha già iniziato a esplorare le prove ZK di Ligero) per perseguire un'implementazione, e se possibile, farne uno standard globale. Forse coloro che hanno scelto Ed25519 rispetto a ECDSA sono stati fortunati o semplicemente intelligenti. Personalmente, voglio ringraziare uno dei miei primi istruttori di crypto, Daniel Bernstein (@hashbreaker) l'inventore di EdDSA, che ha insegnato alla scuola estiva EU ECRYPT a Samos nel 2007. Ha piantato una scintilla che mi ha fatto ossessionare su ogni dettaglio dell'algoritmo e forse senza quello, non sarei qui oggi come scienziato.

Diamo il benvenuto ad Alex Lew, Assistant Prof. di Computer Science presso Yale Engineering! Il suo lavoro nel campo della programmazione probabilistica, del ML e dell'inferenza bayesiana sta spingendo i confini del modo in cui costruiamo e comprendiamo i sistemi intelligenti. #NewFaculty #WelcomeAboard #AIResearch

In preparazione per il nostro intervento SBC 2025, abbiamo aggiornato il nostro documento sui zk-SNARKs dinamici che dettaglia l'approccio log N e la struttura dei dati. Ospite speciale: alberi AMT di @alinush407! Ultima versione: . Grato a @YaleCSDept dottorando Weijie Wang per la guida.

Benvenuta al @YaleCSDept, Nicole!

Grande vittoria per Yale CS! 🏆 Un team guidato da Yang Cai (a sinistra) e Manolis Zampetakis (a destra) ha ottenuto il premio come miglior articolo al #COLT2025 per aver ridefinito il modo in cui identifichiamo gli effetti del trattamento in dati complessi. Un balzo in avanti per l'inferenza causale e l'intelligenza artificiale fondamentale. 🔗 #WhatsNext @Yang_Cai

Congratulazioni al @Yang_Cai (Computer Science & Economics) di Yale Engineering, Manolis Zampetakis (CS) e ai suoi collaboratori per aver ricevuto il premio per il miglior articolo al COLT 2025! #AI #ML

Congratulazioni a Uzi Vishkin per questo straordinario onore. Un vero pioniere negli algoritmi paralleli.

Il nostro articolo sull'aggiornamento efficiente degli ZKP o zk-SNARK dinamici è stato accettato per la presentazione alla Science of Blockchain Conference! Grato a @lagrangedev per aver ispirato e sostenuto questa ricerca. Non vedo l'ora di far progredire ulteriormente questa linea di lavoro.

Congratulazioni per il nuovo ruolo @giorgos_tsimos! Ci mancherai a @Yale e @YaleACL!