feat: verify SP1 proofs in the verifier crate
#7874
Annotations
30 warnings
|
crates/core/machine/src/alu/bitwise/mod.rs#L336
variable `write_record` is assigned to, but never used
|
|
crates/core/machine/src/alu/add_sub/mod.rs#L470
value assigned to `write_record` is never read
|
|
crates/core/machine/src/alu/add_sub/mod.rs#L467
variable `write_record` is assigned to, but never used
|
|
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
|
|
crates/core/machine/src/operations/add.rs#L38
value assigned to `carry` is never read
|
|
crates/core/machine/src/alu/bitwise/mod.rs#L336
variable `write_record` is assigned to, but never used
|
|
crates/core/machine/src/alu/add_sub/mod.rs#L470
value assigned to `write_record` is never read
|
|
crates/core/machine/src/alu/add_sub/mod.rs#L467
variable `write_record` is assigned to, but never used
|
|
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
|
|
crates/core/machine/src/operations/add.rs#L38
value assigned to `carry` is never read
|
|
crates/perf/src/main.rs#L3
unused import: `command`
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
|
|
crates/eval/src/lib.rs#L2
unused import: `command`
|
|
|
|
|
|
crates/core/machine/src/operations/add.rs#L38
value assigned to `carry` is never read
|
The logs for this run have expired and are no longer available.
Loading