feat: verify SP1 proofs in the verifier crate
#7874
tamirhemopr.yml
on: pull_request
Test (x86-64)
47m 36s
Test (ARM)
31m 46s
Test Verifier Crate
38m 54s
Formatting & Clippy
4m 45s
Cargo Check
9m 20s
Cargo Check (Nightly)
9m 24s
Examples
3m 38s
Check Verifier `no_std`
24s
Check lock files
7m 22s
Build patches and zkvm in host
1m 25s
Annotations
2 errors and 66 warnings
|
Examples
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
|
|
Formatting & Clippy
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly):
crates/core/machine/src/alu/bitwise/mod.rs#L336
variable `write_record` is assigned to, but never used
|
|
Cargo Check (Nightly):
crates/core/machine/src/alu/add_sub/mod.rs#L470
value assigned to `write_record` is never read
|
|
Cargo Check (Nightly):
crates/core/machine/src/alu/add_sub/mod.rs#L467
variable `write_record` is assigned to, but never used
|
|
Cargo Check (Nightly)
`sp1-core-machine` (lib) generated 1 warning (1 duplicate)
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
`sp1-core-machine` (lib) generated 1 warning
|
|
Cargo Check (Nightly):
crates/core/machine/src/operations/add.rs#L38
value assigned to `carry` is never read
|
|
Cargo Check (Nightly):
crates/core/machine/src/alu/bitwise/mod.rs#L336
variable `write_record` is assigned to, but never used
|
|
Cargo Check (Nightly):
crates/core/machine/src/alu/add_sub/mod.rs#L470
value assigned to `write_record` is never read
|
|
Cargo Check (Nightly):
crates/core/machine/src/alu/add_sub/mod.rs#L467
variable `write_record` is assigned to, but never used
|
|
Cargo Check (Nightly)
`sp1-core-machine` (lib) generated 1 warning (1 duplicate)
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
`sp1-core-machine` (lib) generated 1 warning
|
|
Cargo Check (Nightly):
crates/core/machine/src/operations/add.rs#L38
value assigned to `carry` is never read
|
|
Cargo Check (Nightly):
crates/perf/src/main.rs#L3
unused import: `command`
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Cargo Check (Nightly)
`sp1-eval` (lib) generated 1 warning (run `cargo fix --lib -p sp1-eval` to apply 1 suggestion)
|
|
Cargo Check (Nightly):
crates/eval/src/lib.rs#L2
unused import: `command`
|
|
Cargo Check (Nightly)
`sp1-core-machine` (lib) generated 1 warning (1 duplicate)
|
|
Cargo Check (Nightly)
`sp1-core-machine` (lib) generated 1 warning
|
|
Cargo Check (Nightly):
crates/core/machine/src/operations/add.rs#L38
value assigned to `carry` is never read
|
|
Test (ARM)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (ARM)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (ARM)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (ARM)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (ARM)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (ARM)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (ARM)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (ARM)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test Verifier Crate
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test Verifier Crate
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test Verifier Crate
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test Verifier Crate
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test Verifier Crate
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test Verifier Crate
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test Verifier Crate
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test Verifier Crate
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (x86-64)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (x86-64)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (x86-64)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (x86-64)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (x86-64)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (x86-64)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (x86-64)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Test (x86-64)
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|