🔥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

Going to tell my kids this is Andrew Miller entering a TEE

BREAKING: Donald Trump announces he intends to change the name of The Chinese Remainder Theorem to The USA Remainder Theorem

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

coinbase currently estimates 4.2 years to process transfers on solana forced diamond hands (based) i look forward to top blasting the 2029 picotop as a multibillionaire thank you coinbase

Introducing Twist and Shout, new and fast arguments for proving memory ops! These schemes work well with elliptic-curve commitments and hash-based commitments over binary fields. Using Shout, we also obtain SpeedySpartan, a new SNARK where the prover only commits to its witness.

Excited to share that Penumbra's decentralized proving network is already live! Other ZK proving networks start from the assumption that proving workloads are slow, requiring users to outsource compute to GPU clusters. But what if we made proofs too cheap to meter? What if we

This update from Succinct is impressive in terms of performance, but I’m surprised Uma Roy and John Guibas didn’t mention the soundness bug we found in SP1 with 3MI Labs, Aligned, and LambdaClass. Bugs like this don’t come up often—there aren’t many zkVMs in

Hats down for Fede’s intern 🥊 and Cryp·tomer (@ETHDenver) | 3MI Labs and everyone else who participated in this effort. I can’t believe that you got only $50k for this. Funds were at risk and it does not matter what Succinct says. SP1 is an open source zkVM which could be deployed by anyone, not only at

« [saying] user funds were not at risk because the prover is permissioned shows me that we live in two very different worlds » This should *never* be a satisfying answer. Wherever there are bugs, there’s someone to exploit them. 100% aligned with Fede here. Fix bugs. Period.

gm

This could be the most comprehensive benchmarking of the state-of-the-art zkVMs! Seven zkVMs were tested against more than 1225 input files! SP1 (Succinct) and RiscZero (RISC Zero) performed the best overall, but some did better on some inputs. Special thanks to the zkVM

RISC Zero was the fastest for 6/8 tasks Succinct SP1 was the fastest for 1/8 task StarkWare 🐺🐱 Cairo was the fastest for 1/8 task Fastest zkVM is one of em for sure.

🚀Big news! We’ve raised a $24M Series A, co-led by Paradigm and Bain Capital Crypto, with support from Fenbushi Capital, L2 Iterative Ventures (L2IV), Robot Ventures, and top angels like Anna Rose, Brendan Farmer, Daniel Lubarov, Sina Habibian, and Varun Srinivasan! irreducible.com/posts/irreduci…

Introducing Neo—not the One from the Matrix, but a new folding-based proof system, with: ✅ Efficient recursion (like Nova) ✅ Small fields: M61/Goldilocks (like STARKs) ✅ Pay-per-bit commitment costs (like Binius) ✅ Plausibly post-quantum secure 🔗 eprint.iacr.org/2025/294 🧵

Barrett-Montgomery modular reduction, reimagined. A novel multi-precision algorithm that reduces computational complexity from n² + n to n² + 1 digit multiplications—significantly boosting performance in key primitives like NTT. Groundbreaking work by Yuval Domb. Read the

This year, Irreducible will ship Binius into production. We're collaborating with industry-leading teams like RISC Zero and Polygon to develop groundbreaking zkVMs. Powered by our FPGA clusters, they will make verifiable computing practical for tons of new use cases.

My partners at Aligned have created a webpage called ZK Benchmarks. A few days ago, I shared it, but now we've added several more results, and the results are fully reproducible with a Jupyter Notebook. We are adding every RISC-V zkVM, proving different examples, and

#zkVMs need a benchmark challenge like #ARC_AGI is for #AI. Today, we're launching exactly that, this will serve as one of the core task for zkVM benchmarks in the future: Pessimistic Proof — a real-world zk workload used in Agglayer, now benchmarked across zkVMs, featuring

Project Tachyon: Scaling Zcash with Oblivious Synchronization. seanbowe.com/blog/tachyon-s…

3/ Since R0VM 1.0, we’ve cut proving time for Ethereum blocks from 35m to just 44 seconds (including execution) and we’re not done. We’re on track to reach real-time proving (<12s) by July.