We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 90a942f commit c9d26f7Copy full SHA for c9d26f7
1 file changed
bench_vs/lambda/recursion/Cargo.toml
@@ -6,10 +6,6 @@ version = "0.1.0"
6
edition = "2024"
7
8
[dependencies]
9
-# The in-VM STARK verifier. `default-features = false` drops `parallel` (no
10
-# threads in-guest) and `sysinfo`; the prove-side code compiles but is dead-code
11
-# eliminated since this guest only calls `verify_with_options`. A plain std guest
12
-# (build-std includes std) — no no_std plumbing needed.
13
lambda-vm-prover = { path = "../../../prover", default-features = false }
14
lambda-vm-syscalls = { path = "../../../syscalls" }
15
postcard = { version = "1.0", features = ["alloc"] }
0 commit comments