fix: enforce deferred proof verification #7825
Triggered via pull request
September 18, 2025 23:03
0xernesto
Status
Failure
Total duration
52m 33s
Artifacts
–
pr.yml
on: pull_request
Test (x86-64)
52m 10s
Test (ARM)
31m 30s
Test Verifier Crate
39m 21s
Formatting & Clippy
6m 7s
Cargo Check
6m 59s
Cargo Check (Nightly)
7m 8s
Examples
5m 57s
Check Verifier `no_std`
28s
Check lock files
6m 34s
Build patches and zkvm in host
1m 11s
Annotations
10 errors and 129 warnings
|
Formatting & Clippy:
crates/core/executor/src/executor.rs#L1788
manual implementation of `.is_multiple_of()`
|
|
Formatting & Clippy:
crates/core/executor/src/executor.rs#L762
manual implementation of `.is_multiple_of()`
|
|
Formatting & Clippy:
crates/core/executor/src/executor.rs#L529
manual implementation of `.is_multiple_of()`
|
|
Formatting & Clippy:
crates/core/executor/src/events/precompiles/ec.rs#L188
manual implementation of `.is_multiple_of()`
|
|
Formatting & Clippy:
crates/core/executor/src/events/precompiles/ec.rs#L152
manual implementation of `.is_multiple_of()`
|
|
Formatting & Clippy:
crates/core/executor/src/events/precompiles/ec.rs#L107
manual implementation of `.is_multiple_of()`
|
|
Formatting & Clippy:
crates/core/executor/src/events/precompiles/ec.rs#L103
manual implementation of `.is_multiple_of()`
|
|
Formatting & Clippy:
crates/core/executor/src/disassembler/elf.rs#L107
manual implementation of `.is_multiple_of()`
|
|
Formatting & Clippy:
crates/core/executor/src/disassembler/elf.rs#L74
manual implementation of `.is_multiple_of()`
|
|
Formatting & Clippy:
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Examples
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Examples
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Examples
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Examples
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Examples
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Examples
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
Examples
`sp1-core-executor` (lib) generated 1 warning
|
|
Examples:
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Examples
Patch `curve25519-dalek v4.1.3 (https://github.com/sp1-patches/curve25519-dalek?tag=patch-4.1.3-sp1-5.0.0#be8c2201)` was not used in the crate graph.
|
|
Examples
Patch `sha2 v0.10.6 (https://github.com/sp1-patches/RustCrypto-hashes?tag=patch-sha2-0.10.6-sp1-4.0.0#e5f8b7ea)` was not used in the crate graph.
|
|
Formatting & Clippy
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Formatting & Clippy
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Formatting & Clippy
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Formatting & Clippy
[email protected]: rustc +succinct --version: "rustc 1.88.0-dev\n"
|
|
Formatting & Clippy
`sp1-core-executor` (lib) generated 1 warning
|
|
Formatting & Clippy:
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Cargo Check
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (1 duplicate)
|
|
Cargo Check
`sp1-prover` (bin "find_maximal_shapes") generated 1 warning (run `cargo fix --bin "find_maximal_shapes"` to apply 1 suggestion)
|
|
Cargo Check:
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
Cargo Check
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
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
`sp1-core-executor` (lib) generated 1 warning
|
|
Cargo Check:
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Cargo Check
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (1 duplicate)
|
|
Cargo Check
`sp1-prover` (bin "find_maximal_shapes") generated 1 warning (run `cargo fix --bin "find_maximal_shapes"` to apply 1 suggestion)
|
|
Cargo Check:
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
Cargo Check
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
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
`sp1-core-executor` (lib) generated 1 warning
|
|
Cargo Check:
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Cargo Check
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (1 duplicate)
|
|
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
`sp1-prover` (bin "find_maximal_shapes") generated 1 warning (run `cargo fix --bin "find_maximal_shapes"` to apply 1 suggestion)
|
|
Cargo Check:
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
Cargo Check
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
Cargo Check
`sp1-core-executor` (lib) generated 1 warning
|
|
Cargo Check:
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Cargo Check (Nightly)
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (1 duplicate)
|
|
Cargo Check (Nightly)
`sp1-prover` (bin "find_maximal_shapes") generated 1 warning (run `cargo fix --bin "find_maximal_shapes"` to apply 1 suggestion)
|
|
Cargo Check (Nightly):
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
Cargo Check (Nightly)
`sp1-core-executor` (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-executor` (lib) generated 1 warning
|
|
Cargo Check (Nightly):
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Cargo Check (Nightly)
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (1 duplicate)
|
|
Cargo Check (Nightly)
`sp1-prover` (bin "find_maximal_shapes") generated 1 warning (run `cargo fix --bin "find_maximal_shapes"` to apply 1 suggestion)
|
|
Cargo Check (Nightly):
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
Cargo Check (Nightly)
`sp1-core-executor` (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-executor` (lib) generated 1 warning
|
|
Cargo Check (Nightly):
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Cargo Check (Nightly)
`sp1-prover` (bin "find_maximal_shapes" test) 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-prover` (bin "find_maximal_shapes") generated 1 warning (run `cargo fix --bin "find_maximal_shapes"` to apply 1 suggestion)
|
|
Cargo Check (Nightly):
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
Cargo Check (Nightly)
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
Cargo Check (Nightly)
`sp1-core-executor` (lib) generated 1 warning
|
|
Cargo Check (Nightly):
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Test (ARM)
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (run `cargo fix --bin "find_maximal_shapes" --tests` to apply 1 suggestion)
|
|
Test (ARM):
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
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)
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
Test (ARM):
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Test (ARM)
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (1 duplicate)
|
|
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)
`sp1-prover` (bin "find_maximal_shapes") generated 1 warning (run `cargo fix --bin "find_maximal_shapes"` to apply 1 suggestion)
|
|
Test (ARM):
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
Test (ARM)
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
Test (ARM)
`sp1-core-executor` (lib) generated 1 warning
|
|
Test (ARM):
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
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
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
Test Verifier Crate
`sp1-core-executor` (lib) generated 1 warning
|
|
Test Verifier Crate:
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Test Verifier Crate
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (1 duplicate)
|
|
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
`sp1-prover` (bin "find_maximal_shapes") generated 1 warning (run `cargo fix --bin "find_maximal_shapes"` to apply 1 suggestion)
|
|
Test Verifier Crate:
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
Test Verifier Crate
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
Test Verifier Crate
`sp1-core-executor` (lib) generated 1 warning
|
|
Test Verifier Crate:
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Test (x86-64)
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (run `cargo fix --bin "find_maximal_shapes" --tests` to apply 1 suggestion)
|
|
Test (x86-64):
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
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)
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
Test (x86-64):
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|
|
Test (x86-64)
`sp1-prover` (bin "find_maximal_shapes" test) generated 1 warning (1 duplicate)
|
|
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)
`sp1-prover` (bin "find_maximal_shapes") generated 1 warning (run `cargo fix --bin "find_maximal_shapes"` to apply 1 suggestion)
|
|
Test (x86-64):
crates/prover/scripts/find_maximal_shapes.rs#L53
unnecessary parentheses around closure body
|
|
Test (x86-64)
`sp1-core-executor` (lib) generated 1 warning (1 duplicate)
|
|
Test (x86-64)
`sp1-core-executor` (lib) generated 1 warning
|
|
Test (x86-64):
crates/core/executor/src/memory.rs#L192
struct `Page` is never constructed
|