⚠️ 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.
- Mac is currently not supported. We are working to support it soon.
If you encounter any errors or unexpected behavior, please report them. Your feedback is highly appreciated in improving the software.
Changes:
- Optimization of the SM tables
- Reduce system memory usage when generating a proof
- Make input data file optional in all
cargo-ziskCLI commands - Add
cargo-zisk check-setupcommand to create initial constant tree files and add it to ziskup - Add optional parameter to
cargo-zisk provecommand to specify keccak script file location (other than the default$HOME/.zisk/bin) - Build
cargo-ziskwith distributed feature enabled by default. Update documentation - Transpiler improvements to minimize witness computation
- Emulator assembly code generator and makefile, generating minimal traces
- Executor can call emulator in Rust (default) or in assembly base on configuration