Skip to content

Latest commit

 

History

History
265 lines (204 loc) · 10.8 KB

CHANGELOG.md

File metadata and controls

265 lines (204 loc) · 10.8 KB

CHANGELOG

Next (upcoming release)

Fixes

🚨 Breaking Changes

  • Environment syscalls sys_getenv, sys_argc and sys_argv are disabled by default, with the option to enable them via a feature flag on the risc0-zkvm-platform crate. In host programs, environment variables and arguments are generally considered trusted. In contrast, the guest does not trust the host, which leads to risk that code designed for running on the host may result in insecure behavior when run in the guest. Disabling environment variables and args by default mitigates this risk.

🔥 Performance Improvements

🛠 Fixes

  • Released Rust toolchain r0.1.79.0-1. This toolchain fixes a crash in the guest that appears when enabling the heap allocator in combination with thread_local! in the zkVM guest.
  • Enable support for running clippy on host-side code.
  • Add linter to website
  • Improve zero-knowledge property of the prover by increasing the amount of noise. We have used techniques described in this paper to strengthen the ZK property of the prover. See these docs for more information about zero knowledge and our proving system. This change results in a new set of control IDs. See the breaking changes section to learn more about this minor breaking change.
  • Fix template generation for --nostd mode.

⚡️ Features

  • Add the risc0-circuit-bigint crate, which is the basis for many upcoming cryptographic accelerators.
  • Add examples and improve verbiage for datasheet.
  • Add a risc0_core::scope! macro used to measure performance.
  • Add blog link and use a cleaner mermaid theme for code examples on developer documentation website.
  • Add "light builds". A new faster way to build guest programs intended for development only.
  • Add an optional embedded allocator to the zkVM guest. By default, the zkvm uses an allocator that does not deallocate heap memory. The embedded allocator deallocates and is useful for long running guest programs.
  • Add experimental support for sys_fork. This syscall allows the zkVM to execute unconstrained code. The RISC-V code executed within this system call will not be encoded as a part of the trace execution. This can be used to implement hints and advice.
  • Use stability::unstable to mark new experimental APIs.
  • Add unstable env::read_frame() and env::read_framed() which improves cycle counts when reading the input from the guest.
  • Re-vamped rzup. The rzup utility is used to install toolchains and extensions. The first implementation was a simple bash script. This has been replaced by a more robust rust implementation.
  • Enable GPU proving by default on macOS.
  • Add an example that shows how the c-kzg crate can be run in the zkVM.
  • Add an example that uses C as the guest code. This demonstrates how a user can use C to write an entire guest program without rust.
  • Add a simple prover service example. This is a demonstration of how the public API can be used to build a simple proving service.
  • Add the ability to serialize Receipts using the borsh serialization format.
  • Add support for serialization of types such as chronos::NaiveDate that call into collect_str.

🚨 Breaking Changes

  • Due to the zero-knowledge change above, receipts generated by zkVM 1.0.x cannot be verified with IDs from 1.1.x and verifiers using control IDs from 1.0.x are not compatible with 1.1.x. To avoid this control ID mismatch, users who are verifying proofs must ensure that the version of their verifier must match the version of their prover. For example, if a user is verifying proofs that come from risc0-zvkvm 1.1.x, they must ensure that the verifier they are using from risc0-zkvm version 1.1.x. If they are verifying proofs that come from risc0-zkvm version 1.0.x, they must ensure that the verifier is also from risc0-zkvm 1.1.x. Users of bonsai must ensure that their local verifier matches the version used by bonsai. For more information on why this change occurred, see the Fixes section.

🛠 Fixes

  • Change the host to validate the guest buffer address if its length is non-zero. This fixes an issue that occurs when building the guest with Rust toolchain version 1.79.0.

🛠 Fixes

  • Apply a workaround for LLVM compiler bug for rv32im to ensure that lower bits of addresses are preserved.
  • Fix panic by remove page_size parameter from serialized MemoryImage

🛠 Fixes

  • Fix client/server version compatibility.

⚡️ Features

  • Improve executor performance by 2x.
  • bonsai-sdk: enable execute-only mode. This will run the guest program but will not produce a receipt. This can be used to quickly measure the complexity of the guest program.
  • bonsai-sdk: simplify the SDK by using the maybe_async crate.

🛠 Fixes

  • Fix no_std starter template.
  • Fix serialization of structs such as NaiveDate which calls into collect_str.

🛠 Fixes

  • Fix issue with building CUDA kernels.

🔥 Prover Performance Improvements

  • Witness generation has been parallelized by adding another preflight pass.
  • Improved performance by minimizing data transfers when constructing merkle proofs.
  • Parallelized step_verify_bytes function.
  • Changed eval_check to use precomputed powers for poly_mix.

🛠 Fixes

  • Fixed a bug with an unaligned short read.
  • Commit globals in Fiat-Shamir transcript.
  • Fixed an undefined behavior warning generated by rust 1.77.2 in guest.
  • Addressed security vulnerabilities in the rv32im circuit.
  • Fix clippy warnings in all published crates.
  • Fix build issues arising from an undefined _end symbol.

⚡️ Features

  • Generalized proof composition.
  • Benchmarks have been improved.
  • A new web app that can be used to display datasheets, prover benchmarks, application benchmarks and supported crates.
  • Added the ability to compile Rust crates that bind to C code.
  • Added a new cargo risczero deploy command to deploy ELF binaries to bonsai.
  • ProverOpts now has a new ReceiptKind field. This is used to select the minimum compression level of receipt to be generated by the Prover and ProverServer traits. The kinds include composite (a receipt containing a vector of segment receipts), succinct (a receipt where all segments have been compressed into a single receipt via the lift and join recursion programs), and compact (a snark receipt generated by compressing a succinct receipt using a groth16 prover. This used for on-chain proving).
  • A compress function has been added to the Prover trait. This allows the users to more easily change receipts to a different kind in the host.
  • Rust's alloc_zeroed function has been optimized in the guest.
  • Export NullSegmentRef for use by host code.
  • Added a soundness error calculator.
  • Bonsai SDK: added a method used to download receipts.
  • Bonsai SDK: improved error messages.
  • Bonsai SDK: added a new API to stop a proving session in Bonsai.

🚨 Breaking Changes

  • Change sys_cycle_count to return a u64 instead of u32.

  • The Prover trait's prove() function now returns a ProveInfo. This struct contains the receipt as well as cycle and segment information gathered during the proof generation. The following is the definition of ProveInfo and SessionStats structs:

/// Information returned by the prover including receipt as well as other information useful for debugging
pub struct ProveInfo {
    /// receipt from the computation
    pub receipt: Receipt,
    /// stats about cycle counts of the execution
    pub stats: SessionStats,
}

/// Struct containing information about a prover's cycle count after running the guest program
pub struct SessionStats {
    /// Count of segments in this proof request
    pub segments: usize,
    /// Total cycles run within guest
    pub total_cycles: u64,
    /// User cycles run within guest
    pub user_cycles: u64,
}

For those upgrading from v0.21.0, the following code change is necessary on the host side to retrieve the receipt.

-   let receipt = prover.prove(env, BEVY_GUEST_ELF).unwrap();
+   let receipt = prover.prove(env, BEVY_GUEST_ELF).unwrap().receipt;

🛠 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.

🛠 Fixes

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

🛠 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.