ᴢɪʀᴇɴ 2.0 ɪs ʟɪᴠᴇ, ᴀɴᴅ ɪᴛ sɪᴛs ᴀᴛ ᴛʜᴇ ʜᴇᴀʀᴛ ᴏꜰ ɢᴏᴀᴛ ɴᴇᴛᴡᴏʀᴋ's sᴛᴀᴄᴋ
GOAT says every state transition of its zkEVM is proved by Ziren, while its BitVM3 bridge is designed to settle on those proofs. That makes Ziren 2.0 an important development for the network.
ᴡʜᴀᴛ ᴄʜᴀɴɢᴇᴅ
Ziren 2.0 replaces its proving core with a jagged-over-WHIR, rebuilt across 1,690 commits.
The new system combines checks across chip rules, uses data at its real size without padding, and relies on hash-based commitments. Existing programs build unchanged in Rust, C and Go.
ᴛʜᴇ ɴᴜᴍʙᴇʀs
- 8.6 seconds to prove an average Ethereum mainnet block on four GPUs
- Average cost: $0.0061 per proof, according to Ethproofs (Nov 3)
- Final proof size: about 284 KiB
- Native verification: about 25 milliseconds
- A 358-million-cycle block: 51.3 seconds on one GPU, 16.7 on four
- Fifteen consecutive mainnet blocks proved using Reth and Geth
ᴛʜᴇ sᴇᴄᴜʀɪᴛʏ ᴀᴄᴄᴏᴜɴᴛ
Determinism is machine-checked in Lean: 57 chips, 104 theorems, all closed. The paper reports over 100 bits of interactive soundness per proving stage and 93.5 bits of composite security for a whole block.
ᴡʜᴀᴛ ɪᴛ ᴍᴇᴀɴs ꜰᴏʀ ɢᴏᴀᴛ
- Faster, cheaper proofs matter to a network proving every state transition
- Small, fixed-size proofs are quick to check, which suits a proof-based bridge
- Public benchmarks and security checks that can be inspected
- A hash-based verifier under development for BitVM-style protocols
- Existing programs carry over
The hash-based approach also supports GOAT's post-quantum plan, where it is intended to replace an exposed pairing-based wrapper.
These benchmarks use Ethereum blocks, not GOAT's own workload. BitVM3 is still in development, and the figures come from ZKM's documentation, with Ethproofs providing a public benchmark listing.
Details: docs.zkm.io
GOAT says every state transition of its zkEVM is proved by Ziren, while its BitVM3 bridge is designed to settle on those proofs. That makes Ziren 2.0 an important development for the network.
ᴡʜᴀᴛ ᴄʜᴀɴɢᴇᴅ
Ziren 2.0 replaces its proving core with a jagged-over-WHIR, rebuilt across 1,690 commits.
The new system combines checks across chip rules, uses data at its real size without padding, and relies on hash-based commitments. Existing programs build unchanged in Rust, C and Go.
ᴛʜᴇ ɴᴜᴍʙᴇʀs
- 8.6 seconds to prove an average Ethereum mainnet block on four GPUs
- Average cost: $0.0061 per proof, according to Ethproofs (Nov 3)
- Final proof size: about 284 KiB
- Native verification: about 25 milliseconds
- A 358-million-cycle block: 51.3 seconds on one GPU, 16.7 on four
- Fifteen consecutive mainnet blocks proved using Reth and Geth
ᴛʜᴇ sᴇᴄᴜʀɪᴛʏ ᴀᴄᴄᴏᴜɴᴛ
Determinism is machine-checked in Lean: 57 chips, 104 theorems, all closed. The paper reports over 100 bits of interactive soundness per proving stage and 93.5 bits of composite security for a whole block.
ᴡʜᴀᴛ ɪᴛ ᴍᴇᴀɴs ꜰᴏʀ ɢᴏᴀᴛ
- Faster, cheaper proofs matter to a network proving every state transition
- Small, fixed-size proofs are quick to check, which suits a proof-based bridge
- Public benchmarks and security checks that can be inspected
- A hash-based verifier under development for BitVM-style protocols
- Existing programs carry over
The hash-based approach also supports GOAT's post-quantum plan, where it is intended to replace an exposed pairing-based wrapper.
These benchmarks use Ethereum blocks, not GOAT's own workload. BitVM3 is still in development, and the figures come from ZKM's documentation, with Ethproofs providing a public benchmark listing.
Details: docs.zkm.io