Looking forward to the dynamic zk-SNARKs talk at SBC 2025!

🚨 BREAKING: Sui Research just dropped a major breakthrough in quantum transition of "some" blockchains. Unfortunately it works for Sui, Solana, Near, Cosmos and other EdDSA-based chains, but not for Bitcoin and Ethereum 😢 Here is the paper: *Afaik this is the first backward compatible quantum-safe upgrade path for blockchain wallets to avoid future forks or freezing accounts. ...and why that’s huge 🧵👇 💀 There’s a non-zero chance that today’s wallets could become vulnerable to quantum adversaries in the coming decades. While I personally doubt we’re anywhere near quantum supremacy that can break cryptography soon, the growing concerns, and new guidance from security agencies recommending algorithm upgrades by 2035, should serve as a wake-up call. Even if much of this is perception-driven, our community must be prepared to eventually transition. Once quantum computers arrive, millions of wallets, including Satoshi’s, could be drained instantly. If your public key is visible, it will eventually be cracked. Lost keys, deceased owners, cold storage... all at risk (these will be the first victims). Billions in crypto sit in “sleeping” wallets that may never be updated or transfer their assets out. 💡 Our solution: We found a way for wallets using EdDSA (e.g., Sui, Solana, Near and co) to prove ownership securely after quantum, without revealing secrets or touching the wallet to quickly transfer their coins. Surprisingly a small detail on how EdDSA private keys are derived compared to ECDSA makes a huge difference on quantum readiness. TL;DR a simple hash invocation over a seed and not directly picking elliptic curve scalars as private keys saved the game! 🔐 No re-signing. No address change. Zero downtime. Just a zero knowledge proof that says: “I still control this wallet, but now signing protected against quantum hackers" 🚀 Built on Ed25519 key derivation (SLIP-0010) and zk-STARKs / Ligero 🛡️ Works for sleeping and lost accounts, multisigs, treasuries, and cold storage 📈 Protects real users & institutions, not just future chains, but your today’s mnemonic based wallets too 👨‍🔬 Developed by @SuiNetwork, @Mysten_Labs and @GeorgeMasonU applied and theoretical cryptographers, congrats to Foteini and Arnab whose help was paramount! *We’re already in contact with the teams behind @ligero_inc and @SoundnessLabs, but we’ll also approach governments and major organizations like Google (which has already begun exploring Ligero ZK proofs) to pursue an implementation, and if possible, make it a global standard. Maybe those who chose Ed25519 over ECDSA were lucky or just smart. Personally, I want to thank one of my first crypto instructors, Daniel Bernstein (@hashbreaker) the inventor of EdDSA, who taught at the EU ECRYPT summer school in Samos back in 2007. He planted a spark that made me obsess over every detail of the algorithm and maybe without that, I wouldn't be here today as a scientist.

Please welcome Alex Lew, Assistant Prof. of Computer Science at Yale Engineering! His work in probabilistic programming, ML & Bayesian inference is pushing the boundaries of how we build and understand intelligent systems. #NewFaculty #WelcomeAboard #AIResearch

In preparation for our SBC 2025 talk, we have updated our dynamic zk-SNARKs paper detailing the log N approach and data structure. Special guest: AMT trees by @alinush407! Latest version: . Grateful to @YaleCSDept PhD student Weijie Wang for leading this.

Welcome to @YaleCSDept, Nicole!

Big win for Yale CS! 🏆 A team led by Yang Cai (L) & Manolis Zampetakis (R) earned Best Paper at #COLT2025 for redefining how we identify treatment effects in complex data. A leap forward for causal inference & foundational AI. 🔗 #WhatsNext @Yang_Cai

Congrats to Yale Engineering's @Yang_Cai (Computer Science & Economics), Manolis Zampetakis (CS) and their collaborators for receiving the Best Paper Award at COLT 2025! #AI #ML

Congratulations to Uzi Vishkin for this amazing honor. A true pioneer in parallel algorithms.

Our paper on efficiently updating ZKPs or, dynamic zk-SNARKs, has been accepted for presentation at the Science of Blockchain Conference! Grateful to @lagrangedev for inspiring and supporting this research. Looking forward to further advancing this line of work.

Congratulations on the new role @giorgos_tsimos! We will miss you at @Yale and @YaleACL!