ziskvm
@ziskvm
Followers
1K
Following
10
Media
2
Statuses
21
ZisK is an open-source ZK proving toolstack featuring a zkVM. It allows to build circuits in high level languages like rust. https://t.co/B94b6U6PRg
http://zisk.technology
Joined April 2025
RT @AntChainOpenLab: Neutral evaluation of diverse #zkVM implementations reveals insights into their design and performance. ZisK analysis….
0
10
0
🛡️ Security is a top priority for ZisK. We're grateful to the COSTA group for identifying a bug in our system (. Tools like theirs are fundamental. ZisK is still under development, and more audits are coming. Every finding makes us stronger. 🔍💪.
🚨 Two critical soundness bugs found in ZisK using CIVER 🚨.In a collaboration with the @ziskvm development team, the Costa group is applying formal methods to verify recursion/aggregation circuits of ZisK. 🔗More details here: 🧵.
1
3
26
Blazing-fast image creation – using just your voice. Try Grok Imagine.
284
559
3K
🚀 ZisK v0.10.0 is out!. ✅ Lots of small fixes.⚙️ Performance improvements.💥 Now runs with < 48 GB RAM!.A big step forward in efficiency—give it a try!.🔗 #ZK #ZKProofs #ZisK #Ethereum.
github.com
⚠️ Disclaimer: Software Under Development ⚠️ This software is currently under active development and has not been audited for security or correctness. Please be aware of the following: The softwar...
5
8
50
RT @xavipinsach: 🚀 Zisk v0.9.0 is here!.This new release brings real-time proving on Ethereum blocks using up to 64 GPUs. ⚙️ Fast execution….
0
6
0
We’re live on @eth_proofs! 🟢. @ziskvm is the first fully open source project to make it — a big milestone for us. Many improvements are on the way in the coming weeks. Stay tuned!.
4th zkVM on Ethproofs—congrats ZisK!. → all green boxes for ZisK 🟩.→ new open-source GPU prover column 👀
7
4
51
We're hosting our first ZisK community call. Session focused to devs working on real-time proving. What to expect:.– Deep dive into ZisK architecture and constraint system.– Live Q&A with @jbaylina.– Hands-on examples of working with ZisK. Register now :
luma.com
First community call with ZisK ZisK is a high-throughput zkVM engineered for real-time proof generation. Built with a purposefully minimal design philosophy,…
2
10
44
🚀 Excited to see our real-time Ethereum block proofs gaining momentum!. Open source, efficient, and just the beginning of what’s possible with zkVM technology. Catch us at EthCC 13:00 @ Redford Stage for the full story. #EthCC #ZK #Ethereum #zkVM.
At @ziskvm, we’re now proving Ethereum blocks in real time — open source and running on increasingly efficient infrastructure. It’s an early but meaningful milestone. Join me today at 13:00 @ EthCC, Redford Stage to learn more. #EthCC #ZK #Ethereum #zkVM @eth_proofs
0
4
20
Amazing post that explains the tricks for achieving 1.5GHz riscV trace generation.
How did @ziskvm achieve a mind-blowing 1.5 GHz RISC-V trace generation—10× faster than any other zkVM? 🤯. They smashed the sequential bottleneck holding back real-time ZK proofs. I deconstructed their genius two-part strategy in my latest blog post. A must-read for anyone in
0
7
23
RT @EllipticHector: After building the amazing zkEVM at @0xPolygon, I’m now focused on its next evolution: building a high-performance, pro….
0
4
0
8/. 🔧 Development continues at full speed. The same core team is here, committed to building ZisK as a community-first zkVM stack. We aim to make ZisK the reference implementation in the space.
0
0
16
7/. ✅ Fully open source, including GPU code. 📄 Licensed under MIT/Apache 2.0. 💻 Integrate ZisK directly into your own infra. 📦 Build your own circuits, rollups, or zk apps. No black boxes. No vendor lock-in.
1
0
19
6/. 🛠️ ZisK is modular by design. ZisK is built on top of a generic zkProver based on the PIL2.It includes all the recursion technology that allows to join proof in a flexible and high performance way. Zisk can work as a library or as stand alone software to build your own proofs.
1
0
20
5/.ZisK distributed architecture enables Ethereum blocks to be proven in real time — or faster. 🧠 1.5GHz zkVM execution. ⚙️ Highly parallelized proof generation. ⚡ Super-optimized GPU code. 🔁 Advanced aggregation circuits.
1
0
20
4/.After 3+ years working together, we’re bringing the IP, the expertise, and the momentum to push ZisK forward as a world-class open-source zkVM stack.
1
0
16
3/ .The ZisK spin-off team is made up of 8 core developers, including .@jbaylina .@xavipinsach .@zkronos73 .@Ricard_Borrell.@EllipticHector.@FractasyR.@agnusmorX.@roger_taule.— the core minds behind the Polygon zkEVM prover (Polygon Hermez team).
2
0
27
2/. ZisK is a zkVM designed for developers. It enables verifiable execution of programs written in high-level languages like:.🦀 Rust. 🐹 Go (future). 🧱 C# (future). And more. Built on RISC-V 64, designed for speed, scalability & integration.
1
0
22