@ziskvm

ZisK is an open-source ZK proving toolstack featuring a zkVM. It allows to build circuits in high level languages like rust. https://nitter.cf/t.co/B94b6U6PRg

 http://zisk.technology
zisk.technology
Joined April 2025
  • Tweets116
  • Following17
  • Followers2.7K
18Media
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…
6
16
8
84
21,073
more replies
🔐 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
4
140
📢 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…

GitHub - 0xPolygonHermez/zisk

Contribute to 0xPolygonHermez/zisk development by creating an account on GitHub.

github.com
6
136
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.
27
31
12
152
35,380
more replies
3/ v1.2.0-alpha also includes several correctness and setup fixes, together with updated PLONK verification keys and Solidity verifier parameters.
1
1
10
1,743
4/ Another significant step toward production-ready real-time Ethereum proving. Full release notes: github.com/0xPolygonHermez/z…

Release v1.2.0-alpha · 0xPolygonHermez/zisk

⚠️ Disclaimer ⚠️ This version serves as the foundation for the production release and is currently undergoing security and correctness audits. Although extensive testing and validation have been pe...

github.com
9
1,557
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…
17
36
17
229
52,028
more replies
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.
1
12
516
📢 Reminder: ZisK remains the only zkVM that is: - Fully Open Source - Quantum resistant - Designed and implemented for 128-bit proven security 🚀 Take your project further with ZisK, a first-in-class prover. Feel free to reach out and launch!
18
479
Load more