Today, we’re unveiling Fermah, the universal proof generation layer

This is the beginning of something I’ve wanted for decades. To make a real dent. One deep enough that I can pour everything I’ve got into it. Deep enough for my daughter to be proud. Today, we’re unveiling Fermah. Fermah itself might be less than a year old, but my journey toward it started 20 years ago when I first learned about zero-knowledge proofs. Their seemingly implausible nature, yet groundbreaking potential, hooked me. I spent a summer reading Neal Koblitz’s book on “A Course in Number Theory and Cryptography”, and I remember staring at the ceiling, trying to prove Fermat’s Little Theorem with whatever little I had learned by then. After my undergrad in India, I had the incredible fortune to do my PhD in cryptography under the guidance of Prof. Amit Sahai. His foundational work in zero-knowledge proofs made me a fan before I even met him. When we first met, I called him “Sir” (like we’re taught in India to address our teachers), and it took him a whole week to convince me to stop! During that time, I worked on various projects that pushed the boundaries of zero-knowledge proofs, multiparty computation protocols, and more. You know, growing up in India gives you this drive to survive and create value. I had that mindset too—always on the lookout for problems to turn into impactful products. Prof. Dan Boneh can attest to that! Over the years, I’ve taken many weak ideas to him, and he was kind enough to break each one down for me. Thankfully, he steered me away from all of them—except for the idea of a universal proof generation layer. That one had him excited, and he supported me in countless ways to start Fermah. I’m forever grateful for that. So, why Fermah? There’s one persistent headache for anyone trying to adopt ZK tech: spinning up cheap, performant, and reliable proving infrastructure. It's a massive challenge. So much so that L2s, for example, are stuck with either half-baked, unincentivized networks of provers or, at best, centralized networks. The complexity of managing proving infrastructure, paired with its “contextual” nature in contrast to the “core” goals of their business, has made it a weak link in any ZK project’s stack. Specifically, sourcing prover machines, designing incentives that work, keeping those incentives balanced, maintaining liveness (without over-incentivizing), and keeping costs low (without under-incentivizing) is tough. It’s a whole project in itself. That’s where a universal proof generation layer comes in. It can aggregate demand from multiple sources, ensuring high utilization of the hardware, which drives down the cost of proof generation. It was clear to me this had to be built. No better set of backers than @a16zcrypto CSX Fund & @lemniscap! Also, truly humbled to be backed by our follow on investors@BanklessVC, @LongHashVC, @POpsTeam1, @publicworksfm, @zkv_xyz, @class_lambda, @daedalus_angels, @zero__dao, and @TheVelocityDAO - and others. The angels we have — @balajis, @musalbas, @nickwh8te, @sandeepnailwal, @jdkanani, @zac_aztec, @clairekart, @dlubarov, @sergey_nog, @gregoireljda -- these are people I have high admiration for. I mean… what a backing! The core of it all is the team. I have managed to put together some crazy passionate low ego team that only cares to ship. This is exactly what you will see us do. Ship. And make a dent. Deep, significant dent. Let's go!

Last week, we came out of stealth and told you about our upcoming plans. Today, you can take our tech for a spin. Yes. The wait is over. Our Devnet is live.

Wen Testnet? Now!

1/ We just generated Ethereum proofs using RISC Zero, WITHOUT using Bento Most people wouldn't dare touch this pipeline We rebuilt it from scratch Let's walk through what this means and why it matters 🧵