Risc0 Versions Save

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

v0.21.0

1 month ago

🛠 Fixes

  • Fix an issue where the temporary directory is not being removed when the Session goes out of scope. This helps prevent the depletion of disk space.

  • Verification of groth16 receipts in rust that are compatible with Bonsai

⚡️ Features

  • Add an improved Poseidon2 hashing function that replaces Poseidon for recursive proofs.

🚨 Breaking Changes

  • For recursive proofs, the Poseidon hash function is replaced by the Poseidon2 hash function. Users can still create receipts using the older Poseidon hash function but these receipts will not be usable by Bonsai or any proof composition or rollup use cases.

v0.21.0-rc.2

1 month ago

What's Changed

Full Changelog: https://github.com/risc0/risc0/compare/v0.21.0-rc.1...v0.21.0-rc.2

v0.21.0-rc.1

1 month ago

Full Changelog: https://github.com/risc0/risc0/compare/v0.20.1...v0.21.0-rc.1

v0.20.1

2 months ago

🛠 Fixes

  • Revert change to Prover::prove to return a SuccinctReceipt. This prevents a performance regression for default use cases.

v0.20.0

2 months ago

🛠 Fixes

  • 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

⚡️ Features

  • 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 getrandom feature to toggle getrandom in the guest
  • Adjust Prover::prove to return a SuccinctReceipt by default

🚨 Breaking Changes

  • Rename ReceiptMetadata to ReceiptClaim
  • Drop MemoryImage from the public API
  • Drop _elf suffix from API. For example, Prover::prove_elf is renamed Prover::prove.

v0.20.0-rc.4

3 months ago

What's Changed

Full Changelog: https://github.com/risc0/risc0/compare/v0.20.0-rc.3...v0.20.0-rc.4

v0.20.0-rc.3

3 months ago

What's Changed

Full Changelog: https://github.com/risc0/risc0/compare/v0.20.0-rc.2...v0.20.0-rc.3

v0.20.0-rc.2

3 months ago

What's Changed

Full Changelog: https://github.com/risc0/risc0/compare/v0.20.0-rc.1...v0.20.0-rc.2

v0.20.0-rc.1

4 months ago

Full Changelog: https://github.com/risc0/risc0/compare/v0.19.0...v0.20.0-rc.1

v0.19.1

5 months ago

What's Changed

Full Changelog: https://github.com/risc0/risc0/compare/v0.19.0...v0.19.1