⚠️ 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 software is not fully tested.
- Do not use it in production environments until a stable production release is available. 🚧
- Additional functionalities and optimizations are planned for future releases.
- Future updates may introduce breaking backward compatible changes as development progresses.
If you encounter any errors or unexpected behavior, please report them. Your feedback is highly appreciated in improving the software.
Changes:
- Distributed proving architecture redesign
- SDK unification and full pipeline exposure
- Full zkVM accelerator C interface conformance
- zisklib 1.0 release
- Assembly execution model improvements
- Arithmetic (arith256) acceleration and Keccak optimizations
- New cryptographic primitives and stronger validation
- CLI and tooling refactor
- Multiple correctness and stability fixes
Distributed Proving
The distributed architecture has been significantly redesigned to support remote proving workflows.
Key changes:
- Coordinator rearchitected to expose a proving API for remote clients
- New gRPC API supporting:
- remote interaction
- proof submission
- full proving lifecycle management
- Refactored internal pipeline to align with the new model
- Updated prover deployment with improved cluster configuration
These changes enable more scalable and flexible distributed proving setups.
SDK
The SDK has been redesigned to simplify and unify the proving workflow.
Key improvements:
- zisk-sdk becomes the single entry point for proving programs
- Unified execution for in-process and remote clusters
- Full end-to-end proving pipeline exposed through the SDK
- Support for streaming inputs and hints via ZiskStream
This results in a more consistent and developer-friendly integration experience.
zkVM & Accelerators
ZisK now fully aligns with the zkVM accelerator C interface standard, improving interoperability and modularity.
Key additions:
- Full implementation of the standard accelerator API
- Exportable static C library for external integration
- Support for C/FFI-based guest environments
Architecture improvements:
- Hints are now fully abstracted behind the accelerator interface
- Added zkvm_init / zkvm_deinit lifecycle functions
- Multiple fixes in accelerator handling and edge cases
zisklib 1.0
This release introduces zisklib 1.0, consolidating the SDK as a stable and extensible interface.
Key improvements:
- Expanded FFI support for cryptographic primitives
- Improved API structure and consistency
- Extended arithmetic and cryptographic capabilities
zisklib now provides a more complete foundation for zkVM-compatible applications.
Core & Performance
This release introduces several improvements in core execution performance and architecture.
Key changes:
- Keccak and SHA-256 implementations moved to libc
- New arith256 API enabling efficient 256-bit modular arithmetic
- Refactored and optimized Keccak-f implementation
- Improved assembly startup performance
Execution model improvements:
- Assembly processes now communicate via stdio
- Shared memory reuse across sequential executions
- Fixes in execution cost calculation and memory handling
These changes improve execution efficiency and reduce overhead in critical paths.
Cryptography & Soundness
This release expands cryptographic capabilities while strengthening correctness guarantees.
New features:
- BIP-340 Schnorr signature verification (secp256k1)
Correctness improvements:
- Full range validation for BLS12-381 inputs
- Added missing BLAKE2 constraints
- Fixes in arithmetic operations and hint handling
These updates improve both security guarantees and deterministic failure behavior.
CLI & Tooling
The CLI has been refactored to improve usability and maintainability.
Key changes:
- Refactored cargo-zisk CLI structure and commands
- New commands:
utilsclean-cache
- Improved error handling and user experience