🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

1/ Excited, but frankly quite worried, about a new work with the wonderful 🏴 levochka.eth 🏴 💙💛🇮🇱☀️🦁🗡️ and Dmitry Khovratovich: ia.cr/2025/118 We break soundness of a standard protocol (essentially commit to witness and run GKR) by constructing a circuit for which we can prove a false statement.

Thrilled to double down on Irreducible. I've long believed that Zero Knowledge Proofs (ZKPs) will change the internet, and that ZKP generation will be a bigger market than crypto mining. Irreducible's hardware/software co-design will give us the fastest ZKPs. Accelerate.

Excited to deepen our collaboration with Irreducible alongside our friends Georgios Konstantopoulos and Paradigm Radisav Cojbasic and Jim Posen are assembling a remarkable team that will make verifiability ubiquitous

We are thrilled to deepen our partnership with Radisav Cojbasic , Jim Posen and the entire Irreducible team. The trust model of the internet is broken and Irreducible is leading the charge in building fast and efficient systems to underpin a more verifiable internet.

thrilled to announce that 𝘚𝘶𝘤𝘤𝘪𝘯𝘤𝘵 𝘈𝘳𝘨𝘶𝘮𝘦𝘯𝘵𝘴 𝘰𝘷𝘦𝘳 𝘛𝘰𝘸𝘦𝘳𝘴 𝘰𝘧 𝘉𝘪𝘯𝘢𝘳𝘺 𝘍𝘪𝘦𝘭𝘥𝘴, joint with Jim Posen, has been accepted to EUROCRYPT. pleasure to do this great work w/ Irreducible—we are just getting started. eprint.iacr.org/2023/1784

Always a joy talking with Sina Habibian! Sina is an amazing, curious, and very thoughtful friend and I'm honored to get to be on his podcast, Into the Bytecode, talking about Binius and Irreducible.

I'm so happy to see community contributions to Binius picking up. This week, the Binius project merged PRs from three external contributors!!! 🤩 Thanks tcoratger, TomWambsgans, and storojs72, you guys rock!

Excited to share details of what we are working on Nudge for the first time today. Our mission is to improve everyday life by developing the best technologies for interfacing with the brain.

This is the way

Join us in 𝔹𝕖𝕣𝕝𝕚𝕟 this Thursday (Apr.24) for drinks, snacks, and zk chats w/ the Irreducible, powdr labs & Anoma teams!

Great work by the RISC Zero team on making it as easy and cheap as possible to prove computation, leveraging economies of scale! I love the summary diagram on the last page.

Big move by Socket! They acquired Coana to integrate their static analysis engine and reduce false positive alerts for code vulnerabilities. The progress that Socket is making on securing software from open source suppy chain vulnerabilities is super impressive!

Learn to think in M3! Here's a short & fun talk I gave recently, involving mazes, virtual machines, and Colored Petri Nets

Very impressive results! Exciting to see more teams realizing the advantages of multilinear proof systems and bridging the gap between beautiful theoretical results (where Ron Rothblum has been a pioneer) and concrete performance