- Fix temporary directory not being removed when session goes out of scope. This can help prevent out of disk space issues.
- Verification of groth16 receipts in rust that are compatible with Bonsai
- Improve performance by replacing Poseidon with Poseidon2 hashing function
- Improved API for handling private outputs
- Add support for configuration of intermediate segment storage (on-disk, in-memory, etc).
- Add cargo-risczero deploy command
- Increase bits of security
- Revert change to
Prover::proveto return aSuccinctReceipt. This prevents a performance regression for default use cases.
- Restrict software ecall handler address range
- Fix argument handling in client/server mode
- Change jal to call in zkVM entrypoint #1257
- Improve ZKR zip file handling
- Support for Proof Composition
- Add execution statistics when using
RUST_LOG=info - Add XGBoost example using Spice AI query to train a model
- Improve CUDA performance by integrating sppark
- Add Poseidon2 support to CUDA backend
- Support for verifying Groth16 proofs
- Add exponential backoff to bonsai proof polling
- add
getrandomfeature to toggle getrandom in the guest - Adjust
Prover::proveto return aSuccinctReceiptby default
- Rename
ReceiptMetadatatoReceiptClaim - Drop
MemoryImagefrom the public API - Drop _elf suffix from API. For example,
Prover::prove_elfis renamedProver::prove.