ZisK v1.3.0-alpha release 🚀 ZisK is moving beyond arithmetic hashes with BLAKE3 strengthening security while outperforming our prior Poseidon1 version: ⚡ 7.43s p999 on 4×5090 ⚡ 5.14s p999 on 8×5090 🛡️ 128-bit provable security 🔐 Post-quantum secure This is a major step toward faster and safer proving. Release notes: github.com/0xPolygonHermez/z…

🔐 Stronger proof verification The SDK also enables verification against user supplied trusted setup and program keys instead of proof-supplied data. Public values are authoritative, proofs include hash-family info, and native verifiers support BLAKE3, Poseidon1, and Poseidon2.

1/ ZisK v1.2.0-alpha is out 🚀 We re-proved 7,200 consecutive Ethereum mainnet blocks on just 4× RTX 5090 GPUs. Same blocks. Same hardware. Median proving time: 5.779s → 4.693s ~19% faster.

3/ v1.2.0-alpha also includes several correctness and setup fixes, together with updated PLONK verification keys and Solidity verifier parameters.

ZisK v1.1.0-alpha release 🚀 Ethereum proven in real time on 4x5090 GPUs with a p99 of 9.62s. All providing 128-bit provable security, powered by Poseidon1, and post-quantum secure. This release pushes the prover further and fixes bugs, without trading soundness for benchmarks. Release notes: github.com/0xPolygonHermez/z…

Finally but not least, the emulator now snapshots statistics, compares runs, and reports where every cycle goes: memory breakdown, operand patterns, duplicate precompiles and much more. Which have led us into some of the above mentioned optimizations.