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/B94b6U6PRgzisk.technology http://zisk.technologyJoined April 2025
ZisK v1.0.0-alpha is out.
github.com/0xPolygonHerme…
This release marks the beginning of the stabilization phase for ZisK.
The codebase is now feature frozen, and our focus shifts to security audits, formal verification, testing, and hardening.
We call it alpha because we take security seriously.
If you're interested in integrating ZisK, building on top of it, or evaluating it for production use, now is the time to start.
#ZisK#zkVM#ZKProofs@eth_proofs#Ethereum
Additional highlights:
Core & Performance: Keccak & SHA-256 moved to libc, accelerated arith256 operations (new mulmod256 API), optimized Keccak-f, and improved shared memory reuse.
Cryptography: Added BIP-340 Schnorr on secp256k1, strengthened BLS12-381 validation, and full BLAKE2 constraints.
ZKVM & Accelerators: Full conformance with the zkVM accelerator C interface, exposed FFI APIs, and proper lifecycle support (zkvm_init / zkvm_deinit).
This release marks a major leap in usability, integration, and production readiness for ZisK.
Full release notes: github.com/0xPolygonHerme…
The most important changes in v0.17.0 focus on developer integration and tooling:
Unified SDK: Revamped zisk-sdk as the single entry point for all proving workflows, Local or remote. Full end-to-end pipeline with support for streaming inputs and hints via ZiskStream.
zisklib 1.0: Release with expanded cryptographic primitives, extended arithmetic capabilities, and strong FFI support.
Distributed Proving: Rearchitected coordinator with a clean gRPC proving API for remote clients and complete lifecycle management.
ZisK v0.17.0 is now released.
This release restructures the entire system around clean, well-defined APIs and a unified SDK making local and remote proving seamless and consistent.
Thread with details below:
github.com/0xPolygonHerme…
Ethereum's fragmentation problem just got its most serious answer yet.
The Ethereum Economic Zone, led by Gnosis and ZisK, funded by the EF. The goal: SYNCHRONOUS composability for the L1 and its L2s, so one transaction can execute cleanly across multiple chains.
> Right now your coins on L2s can't interact with contracts on L1 or other L2s without bridging. Costs money, costs time, fragments liquidity. The EEZ ends that
> Rollups plugged into the EEZ can call contracts on L1 or other L2s and receive a response in a SINGLE transaction. It feels like you're using one chain
> This doesn't require any Ethereum protocol-level changes. The entire system runs on smart contracts + real-time ZK proving
> Gnosis isn't some unknown team. They built CoW Protocol, Safe multisigs, the Conditional Tokens format underpinning Polymarket, Gnosis Chain, Gnosis Pay. ZisK brings an efficient open-source zkVM for real-time proving
> NO ONE owns the stack. The EF is funding this as credibly neutral shared infrastructure. Free and open source for all
Imagine an Aave position on Ethereum interacting with a Uniswap pool on Unichain in a single transaction. That'd be beautiful. That's the EEZ.
Welcome to the Ethereum Economic Zone (EEZ), a framework for synchronously composable rollups.
What does that mean?
One deployment. Shared liquidity. Single transactions across L1 & L2. Identity verified anywhere. Smart wallets connected everywhere. No additional trust
Pragma Cannes · April 2 | @jbaylina
Founder of @ziskvm. Jordi co-founded Polygon, then spun out ZisK to focus entirely on building an open-source, high-performance zkVM. He's been working on ZK proving for Ethereum for over a decade.
We are partnering with @gateway_eth to support the next phase of rollup infrastructure.
Gateway is building with performance at the forefront from day one. We’re bringing low-latency, quantum-safe security, and distributed proving to match.
Fully open source. Built for production-grade ZK systems.
We’re teaming up with @ziskvm.
As we scale rollups, proving latency and cost aren’t side concerns, they’re core constraints. Z
ZisK delivers low-latency, distributed proving with 128-bit quantum-resistant security, so performance can scale without proving becoming the
📍Road to v1.0
v0.16 marks an important milestone as ZisK moves closer to its v1.0 release. From this point on, our focus shifts to:
- Developer experience
- Documentation
- Code cleanup
- Internal security audit
🚀 ZisK v0.16 is live!
This release brings major performance improvements and new architectural capabilities as we move closer to ZisK v1.0.
🔗 Release notes: github.com/0xPolygonHerme…
Highlights 👇
11K Followers 6K FollowingBitcoin is the Standard of the Future! President of One World Nourishment Charity! O.W.N your future, be the change you want to see in the world!
549 Followers 2K FollowingCyber Sovereign Nomad. Fascinated by the unprecedented journey of Crypto-Economics. Musings of a privateer. Not for investment guidance.
2K Followers 4K FollowingI research and share . Here to help and teach others. I support Linea! 🔥 Donations are appreciated 🙏
0x8c71f72fd7b183d442edbf4e5298e57dff530d5c
60 Followers 475 FollowingEx Wallstreet Bro | Spent last 10 years working for Ethereum | Philosophy: David Deutsch | Currently Studying: prediction markets |
198 Followers 317 FollowingCrypto·Macro·On-chain Research
해외 리서치와 제 인사이트를 공유합니다. 단기 가격보다 시장 구조에 집중합니다. Sharing insights from global crypto research
#Crypto #Bitcoin #Macro #OnChain
128 Followers 2K FollowingPepe was born in Scampia and has gained great knowledge regarding crypto-world. Pepe invests in #bitcoin, ETH, Polygon, XTP, NCDT & Niftyx🇨🇮🇵🇸🇮🇹
375K Followers 195 FollowingWelcome to Bankless: where we explore the frontier of crypto money, tech and finance. Learn how to get started, get better, and front-run the opportunity.
3K Followers 29 FollowingThe Ethereum Economic Zone (EEZ) is a framework for L2s to work better with each other and Ethereum.
Built by @Gnosis_ and @ziskvm, co-funded by @ethereumfndn
49K Followers 397 FollowingFinancial operating system for institutions to bring assets on-chain - manage, move and earn - with compliance, security and privacy.
50K Followers 4K Followingtalk is cheap. part of @ergodicgroup, @class_lambda, and @alignedlayer. I work on the core of @ethereum and I build startups.
4.3M Followers 0 FollowingThe universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.
572 Followers 697 FollowingBuilding high-performance ZK systems at @ziskvm for blockchain privacy & scalability. Former @0xPolygon. Assoc. Prof. @univgirona. Empordanès i dels @minyons
135 Followers 331 FollowingBuilding a high-performance zkVM at @ziskvm. Ex-@0xPolygon ZK dev. Formerly HPC researcher at the Barcelona Supercomputing Center (@BSC_CN)
494 Followers 67 FollowingBuilding a high-performance zkVM at @ziskvm. Former ZK developer at @0xPolygon. Alpha Checker, Philomath and Ethereum enthusiast.