Debug and WIP.

Signed-off-by: Daira-Emma Hopwood <[email protected]>

Author: daira

.github/workflows/ci.yml

@@ -73,6 +73,12 @@ jobs:
       - name: Show Cargo.toml for the synthetic crate
         working-directory: ./ci-build
         run: cat Cargo.toml
+      - name: DEBUG cargo tree -i -p getrandom -e features
+        working-directory: ./ci-build
+        run: cargo tree -i -p getrandom -e features
+      - name: DEBUG cargo tree -i -p rand_core -e features
+        working-directory: ./ci-build
+        run: cargo tree -i -p rand_core -e features
       - name: Add target
         working-directory: ./ci-build
         run: rustup target add ${{ matrix.target }}

.github/workflows/lints-stable.yml

@@ -53,6 +53,12 @@ jobs:
       - name: Show Cargo.toml for the synthetic crate
         working-directory: ./ci-build
         run: cat Cargo.toml
+      - name: DEBUG cargo tree -i -p getrandom -e features
+        working-directory: ./ci-build
+        run: cargo tree -i -p getrandom -e features
+      - name: DEBUG cargo tree -i -p rand_core -e features
+        working-directory: ./ci-build
+        run: cargo tree -i -p rand_core -e features
       - name: Add target
         working-directory: ./ci-build
         run: rustup target add ${{ matrix.target }}

CHANGELOG.md

@@ -6,6 +6,11 @@ and this project adheres to Rust's notion of
 [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ## [Unreleased]
+### Changed
+- The "circuit" feature no longer implies the "std" feature. "circuit" can now
+  potentially be used in `no_std` environments.
+- `orchard::bundle::batch` is now only available when the "std" feature is enabled
+  together with the "circuit" feature.
 
 ## [0.11.0] - 2025-02-20
 

Cargo.lock

@@ -106,3 +106,7 @@ debug = true
 
 [profile.bench]
 debug = true
+
+[patch.crates-io]
+halo2_gadgets = { git = "https://github.com/zcash/halo2.git", rev = "7e173f8e2e6e8717052e472384bdf28e58eaff19" }
+halo2_proofs = { git = "https://github.com/zcash/halo2.git", rev = "7e173f8e2e6e8717052e472384bdf28e58eaff19" }