⚠️ 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:
- Assembly micro-services
- Assembly memory operations generator
- Assembly BN254 precompiled
- Add
-uargument tocargo-zisk provecommand to avoid locking shared memory to physical memory - Added ZisK server to preload setup data
- Added ZisK client for prove and verify constraints on ZisK server
- Executor can now compute minimal trace, memory operations and ROM histogram from assembly generated data
- Various improvements on the executor
- New Goldilocks FFI to our own audited and tested C++ implementation
- Witness computation optimitzations
- Improvement of CPU-GPU pipeline
- New intra-node parallelization architecture (one process per socket)
- New multi-GPU intra-node dynamic load balancing
- GPU optimizations
- Experimental: Reduced MT generator and chunk player