Stephen Duan
@sd_eigen
Build beyond now. Contributor @GOATRollup | CTO @ProjectZKM. Ex founder @Eigen_Network
Ziren Highlights: 1. End-to-End GPU provers acceleration: Core proof 30x, Aggregation Proof 15x, BN254 wrapping proof 30x 2. Network Prover are fully powered by GPU provers, supporting @GOATRollup. 3. Instruction efficiency improvement, we backport MOD instruction from…
Proud moment as we launch Ziren (formerly zkMIPS)—the fastest general-purpose zkVM, now supercharged with GPU & distributed proving. This is how we power the unified liquidity blockchain era, starting from Bitcoin. Build with confidence, deploy without compromise 🟠
I’m glad that people are holding the same opinion as ours. The era of Bitcoin L2 hasn’t even started!
🔥Bitcoin Layer 2s can change everything! Bitcoin.com CEO Corbin Fraser says #Bitcoin L2 innovation can unlock smart contracts, yield and real-world spending, making $BTC infinitely more useful. @maplesyrupsuckr hints why this cycle’s enthusiasm is just the start👇
Enter Ziren 🟠 Join us on Tuesday (July 29th) as Co-founder @DacEconomy and CTO @sd_eigen explore Ziren - ZKM's rebranded and heavily updated zkVM formerly known as zkMIPS. 3pm UTC, streamed on X (@ProjectZKM) and YouTube (youtube.com/@ProjectZKM) See you there 🤝
No Real-Time Proving, No Bitcoin zkRollup. BitVM2 -==> BitVM2-GC
⚠️Reminder of PreAlpha mainnet upgrade.
Our latest network update (v0.3.3.) to support the Ethereum Pecrtra Upgrade, is live. It introduces protocol changes/requires all GOAT Network Sequencer nodes to upgrade before scheduled activation time, to ensure continued compatibility with the network. docs.goat.network/builders/seque…
Great idea. Use BitHash to calculate the output label for each gate, and construct the disprove script further. Garbler commits the entire GC by Taptree, publish the GC meanwhile. Evaluator can disprove by either revealing the wrong garbling error in the Taptree, or…
BitVM 3s: Simple, Secure, Succinct 💰 $100,000 → $100 collateral 🐜 4 MB → 66 kB transactions ⚡ 1,000x efficiency improvement New paper: bitvm.org/bitvm3.pdf
Introducing Ziren (formerly zkMIPS) The most performant general-purpose zkVM on CPU, now scaled with GPU, distributed proving, and more. Build with confidence. Deploy without compromise 🟠 Full context: zkm.io/blog/ziren-bui… Technical updates: zkm.io/blog/ziren-wha…
Congrats!
Jovay Testnet is LIVE now! — Backed by Ant Digital Technologies. Jovay is a high-performance Layer 2 solution designed to service a wide array of institutional-grade use cases, including RWA👇 • Sub-second transaction speed on Layer 2 • Dual security (TEE + ZKP coming soon)…
Our latest network update (v0.3.3.) to support the Ethereum Pecrtra Upgrade, is live. It introduces protocol changes/requires all GOAT Network Sequencer nodes to upgrade before scheduled activation time, to ensure continued compatibility with the network. docs.goat.network/builders/seque…
ZKM Education Lead @alicelingl walks through everything you need to start building with Ziren - ZKM's GPU-accelerated, production-grade zkVM (formerly zkMIPS) 🟠 This video covers: 🔸 What Ziren is and how it’s used in practice 🔸 Setting up the toolchain and project template…
New from ZKM: Why Proof Longevity Matters: zkm.io/blog/why-zkm-c… Most general-purpose zkVMs optimize for launch velocity. We optimize for endurance. Part 3 of our highly acclaimed ISA series explores why long-term proof validity depends on architecture-level choices -…
With the release of Ziren - a GPU-accelerated, production-grade proving infrastructure - any real-world ZK application is now within reach. The limits are no longer technical. The only limit is your imagination 🟠 Get started today: github.com/ProjectZKM/Zir…
Decentralization isn’t a buzzword — it’s the foundation of Bitcoin. @GOATRollup commits to this principle through decentralized sequencers, native ZK Rollup, and shared BTC-denominated revenue. We believe in Bitcoin’s ethos, and we’re building to honor it.
x.com/i/article/1942…
Realtime proving for @GOATRollup is 99.9%.
Loading Updates: 🟩🟩🟩🟩🟩🟩🟩🟩🟩⬜️ 99% Updates almost ready to announce - and the data on ethproofs.org is already getting interesting. Notifications on → 🔔
In Part 1 of our MIPS vs RISC-V series, we explained why ZKM chose MIPS32r2 as the base architecture for our zkVM: higher opcode density, long-term stability, and lower circuit cost. Now we go deeper. Part 2 explores how MIPS aligns with zk-circuit design at the decode level -…
With MIPS as a mature, stable instruction set, our zkVM's constraint system inherits an overlooked property: long-term circuit durability. Programs compiled to MIPS today will continue to produce valid, verifiable proofs across future versions - without requiring constraint…
At House of ZK’s @eth_proofs Summit, @ProjectZKM CTO @sd_eigen introduced zkMIPS - the first zkVM built on the MIPS32 instruction set 🟢 Chosen for its 40-year stable ISA, MIPS32 offers native support for special registers and efficient opcodes, enabling simpler compilers,…
This is our latest work on BitVM3, we introduce a reusable circuit garbling scheme for BitVM3. Within this work, we reduces the adaptor data from TB to MB, and minimizes the proof of input/output label's consistency check with it's on-chain commitments, especially costly…
For a deeper technical dive into our BitVM3 update, check out our latest update on our GOAT Blog: goat.network/blog/goat-netw… And read our latest BitVM3 Paper, by GOAT Network Tech Lead @sd_eigen and collaborators, here: goat.network/bitvm3-label-f…
When BitVM3 goes with Garbled Circuit, things become very interesting!