# ZisK Ships v1.0.0-alpha, Enters Stabilization *The zkVM's codebase is now feature frozen as development shifts to security audits, formal verification, and hardening.* By [ETH Daily](https://ethdaily.io) ยท 2026-06-19 zk, zkvm, zisk, proving, ethereum, security --- ZisK [released](https://github.com/0xPolygonHermez/zisk/releases/tag/v1.0.0-alpha) v1.0.0-alpha, marking the start of the stabilization phase for the high-performance zero-knowledge virtual machine. The codebase is now feature frozen, with development shifting to security audits, formal verification, testing, and hardening. The team labeled the build alpha despite its production intent because the project is still undergoing security and correctness audits, advising users to evaluate it against their own requirements. ZisK is an open-source zkVM that [spun out of Polygon](https://ethdaily.io/723) as an independent project, generating low-latency zk-STARK proofs for trustless verifiable computation on RISC-V programs. The release hardens distributed proving with improved coordinator and worker liveness, worker recovery and reconnection fixes, and resolution of multiple MPI-related deadlock conditions. A major internal refactor splits the executor into distinct execution, planning, and witness-generation stages, unifies precompile integration, and reworks the Main and ROM state machines with stronger error handling. New cryptographic capabilities include BLS12-381 signature verification, aggregate BLS verification, optimized secp256k1 and secp256r1 operations, and parallel proof verification. ZisK also moved its default Merkle tree hash from Poseidon2 to Poseidon1 in response to recent attacks on Poseidon2, alongside a set of soundness fixes spanning multiplication overflow corner cases, the mem\_align state machine, and the Poseidon state machine. Other changes reimplement setup generation in Rust within cargo-zisk, add proving key caching, make ziskos fully no\_std compatible with broader RISC-V target support, and move developer CLI tools to the new cargo-zisk-dev command. * * * Disclaimer: Content is for informational and educational purposes only and does not constitute financial, investment, legal, or other professional advice. No representations or warranties are made as to accuracy, completeness, or timeliness. Use of this content is at your own risk, and you should consult a qualified professional before making decisions. No fiduciary or advisory relationship is created --- *Originally published on [ETH Daily](https://ethdaily.io/zisk-ships-v100-alpha-enters-stabilization)*