ziskvm

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.

The missing piece was real-time proving. @ziskvm brings it.

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.

EthCC[9] is made possible by the generous support of our sponsors. Thank you @ziskvm for supporting us this year as a SAPPHIRE sponsor! 💙❤️🩵

🚀 Take your project further with ZisK, a first-in-class prover. Feel free to reach out and launch!

📍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 👇

Real-time proving makes synchronous composability practical. With ZisK, rollups can interact within the same block — no async bridges, no waiting. This is how we move toward a truly composable multi-rollup Ethereum. youtu.be/1PRnm4qomKA?si…