⚠️ 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:
- Fixed soundness issues in the Binary SM and applied major performance optimizations
- Applied minor optimizations to the Binary Extension SM
- Improved error handling across multiple components
- Stabilization improvements in the distributed prover
- Minor optimizations in GPU orchestration
- Optimized NTT implementation; no bit-reversal
- Input file is now opened once and reused for all proofs
- Correctly handled SIG_USER when waiting on a semaphore during execution
- Fixed issues when writing inputs used to sync between processes
- Redirected ASM binary process stdout/stderr to ZisK stdout/stderr
- Added
--no-save-proofsflag for the distributed coordinator - Added
--proofs-dirparameter for the distributed coordinator - Added coordinator summary information after each job
- Various fixes in the distributed coordinator and workers