🚀Big news! Irreducible launches alpha-ready Binius library and its first application, an Ethereum state proving service. Here’s what it means: 🧵.

Awesome writeup by @class_lambda explaining the details of the binary field additive NTT! Beautiful math that gives great performance. We have some more NTT optimizations on the way!.

RT @__zkhack__: We’re very grateful to have @IrreducibleHW as Based Sponsors in Berlin!.🙏🙏🙏. Come build with them / meet the team / maybe g….

🎉 You’re Invited to Irreducible's Happy Hour, for the strong start of Berlin Blockchain Week!. Link: 📍 Where: Irreducible's Berlin Office.📅 When: Monday, 9th of June, 5pm - 9:30pm. RSVP now and bring your spark. Let’s make it a happy hour to remember!.

RT @protocol_berg: * @jimpo_potamus, @IrreducibleHW, will present a new verifiable computing stack using the Binius SNARK library and a cus….

PetraVM is still under active development and we will be announcing more updates in the coming weeks!.

The Petra Prover has been a collaborative project from day one and we are excited to welcome participation from the entire ZK community. Check out the code and documentation at

Here's everything you need to know in one slide:

This is not just another RISC-V—Petra is designed from the ground up for optimal performance using binary tower fields. Our roadmap includes plans for WebAssembly compiler (developed by @powdr_labs) and a specially-designed functional programming language, PetraML.

Can't keep up with all the new zkVM announcements? Here's one you don't wont to miss. Today we are introducing a preview of PetraVM, a Binius-based verifiable VM built in collaboration with @0xPolygon!.

The solution uses an impressive anonymous credentials scheme published late last year We are very proud to see that this paper uses the binary field RS encoding formulation we published in our FRI-Binius work!.

Last week Google announced integration of ZKPs into Wallet for identity! These types of applications are what motivate us to continue pushing proving performance forward. Congrats to the team at Google responsible for the launch!.

RT @boundless_xyz: Introducing The Boundless Protocol. Designed to scale ZK-powered verifiable compute for every chain. Making it more effi….

RT @__zkhack__: Join us in 𝔹𝕖𝕣𝕝𝕚𝕟 this Thursday (Apr.24) for drinks, snacks, and zk chats w/ the @IrreducibleHW, @powdr_labs & @anoma teams….

RT @jimpo_potamus: 🚨I’m looking for an Engineering Manager to partner closely with me and lead our exceptional Cryptography Engineering tea….

Great explainer on Binius and binary tower fields!.

RT @sinahab: Here is my conversation with @jimpo_potamus, cofounder/cto of @IrreducibleHW. Jim is a brilliant human being - he was one of….

RT @therollupco: NEW EP: Why ZK Proof Adoption Will Explode in 2025 . ZK proving has always been expensive—but that’s changing fast. For t….

Join us in shaping the future - we’re hiring!.

As our flagship proof system, Binius is setting new standards in cryptographic proving—faster, more efficient, and built for scale. With custom FPGA-based data centers, we’re powering zkVMs for Risc Zero, Polygon, and more.

This fuels our mission to build the verifiable Internet - where all transactions, identities, and content are cryptographically verified - and propel Binius as the top choice for protocol devs.