Pepijn Leonard Demortier Ferdowsi revived an entire identity with his writing

1/2 "We need help!" Anthropic's Nicholas Carlini called for cryptanalysis experts to join efforts to make ML safe, at the Simons Institute's workshop on Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp Video: simons.berkeley.edu/talks/nicholas…

Why dealing with mice in the apartments is normalized in the U.S? It should not be. My maintenance guy was like chill bro it's normal /:

🚨 Breaking news: @GoogleCloud is integrating Self's proof-of-humanity ZKPs to bring new use cases powering AI adoption & Web3 innovation for human users 🧵 Read more about how Google Cloud & Self are ushering in the era of data privacy ↓

1/2 "To prove the existence of secure encryption, all we require is proving that P != NP. If P = NP, then we can break all of these primitives [fundamental algorithms used in cryptography]," said Rafael Pass (Rafael Pass) at the Simons Institute. Video: simons.berkeley.edu/talks/rafael-p…

Is there a **reliable** implementation of Labrador in rust? This is the only one I found. Is it good? cc Albert Garreta | Hiring | Nethermind github.com/NethermindEth/…

Join us for the Lagrange Science Fair this Thursday, July 31st in anticipation of SBC 2025 (Science of Blockchain Conference)! Hear from top researchers from Yale University, Stanford University, Cornell University, UC Berkeley, and Penn on new innovations in blockchain & AI: lu.ma/wpoxatcc

Speaker Spotlight: Alireza Shirzad Alireza (Ali) Shirzad is a Lagrange research intern & PhD student at @penn advised by Pratyush Mishra He is currently designing proof systems and SNARKs—and will share new work on SNARK optimizations

Join the Lagrange Science Fair to hear the latest groundbreaking research in blockchain and verifiable AI! In celebration of SBC 2025 (Science of Blockchain Conference), where we’ll be presenting our latest paper "Dynamic zk-SNARKs" Streaming now: x.com/i/broadcasts/1…

I'm in Berkeley today and will be giving a talk at #SBC25 #sbc2025

Very cool to see the @aptos keyless ZK proof re-implemented with Garuda (instead of Groth16) by Alireza (Ali) Shirzad, Pratyush Mishra and Michel Dellepere! 😎 Next: can we get an equifficient PCS without a trusted setup? 🥹

Good morning Tehran 🥙🫖

And that's a wrap on another spectacular SBC 🎬 We were honored to participate (yet again!) in cutting-edge research at the intersection of cryptography, decentralized systems, and real-world impact. Coming soon to our Youtube: 〰️ Dynamic zk-SNARKs - Weijie Wang PhD, Yale University 〰️

People of Iran 🖤 Renowned Iranian painter Mahmoud Farshchian, a master of Persian miniature art, passed away at 95. Born in Isfahan in 1930, he blended traditional miniature techniques with contemporary aesthetics, creating iconic works like The Evening of Ashura. Inspired by

ایالات متحده آمریکا حملات بی وقفه رژیم ایران به روزنامه نگاران و مطبوعات آزاد، از جمله تهدید خبرنگاران و خانواده هایشان در ایالات متحده و اروپا را محکوم می نماید. این اقدامات تلاشی آشکار جهت ساکت کردن مخالفان و منع جهانیان از مشاهده تاکتیک های سرکوبگرانه رژیم است. هدف قرار دادن

Back to actual research… We present a family of space-efficient sumcheck algorithms, and show that they are optimal! 🍹 Joint work with Anubhav, Ale, Elisabetta Fedele, Pratyush Mishra, Tushar Mopuri and Andrew Z 📚: ia.cr/2025/1473 🧑🏻‍💻: github.com/compsec-epfl/s…

Putin having to deal with a free press for the first time in years and he doesn’t seem amused.

Some lattice papers are amazingly bad. No intuition, Inaccurate and Half-ass protocol description, Billions of fonts, Absolute shit implementation

Fun fact: Current pathetic dictator of Iran hasn't had a single press conference or an interview after becoming 'the supreme leader 🍆💨' Not even with handpicked loyal journalists =))

A modification of our work "Pari", now ready to verify offchain computations on Bitcoin! This is super cool! 🔥