Ser frem til det dynamiske zk-SNARK-foredraget på SBC 2025!

🚨 BREAKING: Sui Research slapp nettopp et stort gjennombrudd i kvanteovergangen til "noen" blokkjeder. Dessverre fungerer det for Sui, Solana, Near, Cosmos og andre EdDSA-baserte kjeder, men ikke for Bitcoin og Ethereum 😢 Her er papiret: *Dette er den første bakoverkompatible kvantesikre oppgraderingsbanen for blokkjedelommebøker for å unngå fremtidige gafler eller frysing av kontoer. ... og hvorfor det er stort 🧵👇 💀 Det er en ikke-null sjanse for at dagens lommebøker kan bli sårbare for kvantemotstandere i løpet av de kommende tiårene. Selv om jeg personlig tviler på at vi er i nærheten av kvanteoverlegenhet som kan bryte kryptografi snart, bør de økende bekymringene, og ny veiledning fra sikkerhetsbyråer som anbefaler algoritmeoppgraderinger innen 2035, tjene som en vekker. Selv om mye av dette er persepsjonsdrevet, må samfunnet vårt være forberedt på å til slutt gå over. Når kvantedatamaskiner kommer, kan millioner av lommebøker, inkludert Satoshis lommebøker, tømmes umiddelbart. Hvis den offentlige nøkkelen din er synlig, vil den til slutt bli sprukket. Tapte nøkler, avdøde eiere, kjølelager... alle i fare (disse vil være de første ofrene). Milliarder i krypto sitter i "sovende" lommebøker som kanskje aldri blir oppdatert eller overfører eiendelene sine ut. 💡 Vår løsning: Vi fant en måte for lommebøker som bruker EdDSA (f.eks. Sui, Solana, Near og co) for å bevise eierskap sikkert etter kvantum, uten å avsløre hemmeligheter eller berøre lommeboken for raskt å overføre myntene sine. Overraskende nok gjør en liten detalj om hvordan EdDSA private nøkler er avledet sammenlignet med ECDSA en stor forskjell på kvanteberedskap. TL; DR en enkel hash-påkallelse over et frø og ikke direkte plukke elliptiske kurveskalarer som private nøkler reddet spillet! 🔐 Ingen re-signering. Ingen adresseendring. Null nedetid. Bare et null kunnskapsbevis som sier: "Jeg kontrollerer fortsatt denne lommeboken, men nå signering beskyttet mot kvantehackere" 🚀 Bygget på Ed25519 nøkkelderivasjon (SLIP-0010) og zk-STARKs / Ligero 🛡️ Fungerer for sovende og tapte kontoer, multisigs, statskasser og kjølelager 📈 Beskytter ekte brukere og institusjoner, ikke bare fremtidige kjeder, men også dagens mnemonikkbaserte lommebøker 👨 🔬 Utviklet av @SuiNetwork, @Mysten_Labs og @GeorgeMasonU anvendte og teoretiske kryptografer, gratulerer til Foteini og Arnab hvis hjelp var avgjørende! *Vi er allerede i kontakt med teamene bak @ligero_inc og @SoundnessLabs, men vi vil også henvende oss til myndigheter og store organisasjoner som Google (som allerede har begynt å utforske Ligero ZK-bevis) for å forfølge en implementering, og om mulig, gjøre det til en global standard. Kanskje de som valgte Ed25519 fremfor ECDSA var heldige eller bare smarte. Personlig vil jeg takke en av mine første kryptoinstruktører, Daniel Bernstein (@hashbreaker) oppfinneren av EdDSA, som underviste på EU ECRYPT sommerskole på Samos tilbake i 2007. Han plantet en gnist som fikk meg til å være besatt av hver eneste detalj i algoritmen, og kanskje uten det ville jeg ikke vært her i dag som forsker.

Velkommen Alex Lew, assisterende professor i informatikk ved Yale Engineering! Hans arbeid innen probabilistisk programmering, ML og Bayesiansk inferens flytter grensene for hvordan vi bygger og forstår intelligente systemer. #NewFaculty #WelcomeAboard #AIResearch

Som forberedelse til SBC 2025-foredraget vårt har vi oppdatert vårt dynamiske zk-SNARKs-papir som beskriver log N-tilnærmingen og datastrukturen. Spesiell gjest: AMT-trær av @alinush407! Siste versjon: . Takknemlig til @YaleCSDept doktorgradsstudent Weijie Wang for å lede dette.

Velkommen til @YaleCSDept, Nicole!

Stor seier for Yale CS! 🏆 Et team ledet av Yang Cai (L) og Manolis Zampetakis (R) fikk Best Paper på #COLT2025 for å redefinere hvordan vi identifiserer behandlingseffekter i komplekse data. Et sprang fremover for kausal inferens og grunnleggende AI. 🔗 #WhatsNext @Yang_Cai

Gratulerer til Yale Engineerings @Yang_Cai (informatikk og økonomi), Manolis Zampetakis (CS) og deres samarbeidspartnere for å motta prisen for beste artikkel på COLT 2025! #AI #ML

Gratulerer til Uzi Vishkin for denne fantastiske æren. En sann pioner innen parallelle algoritmer.

Vår artikkel om effektiv oppdatering av ZKP-er eller dynamiske zk-SNARK-er har blitt akseptert for presentasjon på Science of Blockchain-konferansen! Takknemlig for at @lagrangedev inspirerer og støtter denne forskningen. Ser frem til å fremme denne arbeidslinjen ytterligere.

Gratulerer med den nye rollen @giorgos_tsimos! Vi kommer til å savne deg på @Yale og @YaleACL!