Merge branch 'main' into erik/seg-storage

.github/cargo_local_patch.py

@@ -104,7 +104,7 @@ def main(directory, dep_path_mapping):
         "risc0-forge-ffi": "risc0-ethereum/ffi",
         "risc0-ethereum-relay": "risc0-ethereum/relay",
         "risc0-ethereum-relay-test-methods": "risc0-ethereum/relay/tests/methods",
-        "risc0-ethereum-view-call": "risc0-ethereum/view-call",
+        "risc0-steel": "risc0-ethereum/steel",
     }
 
     main(os.path.normpath(args.directory), dep_path_mapping)

.github/workflows/release.yml

@@ -15,8 +15,8 @@ permissions:
 
 env:
   RISC0_TOOLCHAIN_VERSION: v2024-04-22.0
-  TAG: v0.22.0-alpha.1
-  VERSION: "0.22.0-alpha.1"
+  TAG: v1.0.0-rc.3
+  VERSION: "1.0.0-rc.3"
 
 jobs:
   release:

CHANGELOG.md

@@ -1,10 +1,48 @@
 # CHANGELOG
 
 ## Next (upcoming release)
+### 🔥 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 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
+
+* 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
 
-* The `Prover` trait's `prove()` function now returns a `ProveInfo`. This struct
+* 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: