ZisK is an open-source ZK proving toolstack featuring a zkVM. It allows to build circuits in high level languages like rust. https://xitter.cf/t.co/B94b6U6PRg
Joined April 2025
- Tweets116
- Following17
- Followers2.7K
- Likes165
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.
📢 Reminder:
@ziskvm remains the only zkVM that is fully open source, quantum resistant, and built for 128-bit proven security. And with this release, it’s also the only zkVM that goes beyond arithmetic hashes.
🚀 Take your project further with ZisK, a first-in-class prover.
GitHub: github.com/0xPolygonHermez/z…
Docs: 0xpolygonhermez.github.io/zi…
4/ Another significant step toward production-ready real-time Ethereum proving.
Full release notes:
github.com/0xPolygonHermez/z…
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.