sp1-recursion-circuit-v2 2.0.0

SP1 is a performant, 100% open-source, contributor-friendly zkVM.
Documentation
Build #2363802 2025-07-30 12:01:25
# rustc version
rustc 1.90.0-nightly (ba7e63b63 2025-07-29)# docs.rs version
docsrs 0.6.0 (e18d034e 2025-07-29)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder/builds/sp1-recursion-circuit-v2-2.0.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder/builds/sp1-recursion-circuit-v2-2.0.0/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace-builder/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace-builder/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250729-1.90.0-nightly-ba7e63b63\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] c0f7b12261ab85694927eb8f33d0357bbe0fab76a8037b4a9ccbe78f33ecb9c6
[INFO] running `Command { std: "docker" "start" "-a" "c0f7b12261ab85694927eb8f33d0357bbe0fab76a8037b4a9ccbe78f33ecb9c6", kill_on_drop: false }`
[INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op
[INFO] [stderr]  Documenting sp1-recursion-circuit-v2 v2.0.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unresolved link to `sp1_core::stark::StarkVerifyingKey`
[INFO] [stderr]   --> src/types.rs:15:17
[INFO] [stderr]    |
[INFO] [stderr] 15 | /// Reference: [sp1_core::stark::StarkVerifyingKey]
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `sp1_core` in scope
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `N`
[INFO] [stderr]   --> src/types.rs:89:61
[INFO] [stderr]    |
[INFO] [stderr] 89 |     /// poseidon2( commit[0..8] || pc_start || prep_domains[N].{log_n, .size, .shift, .g})
[INFO] [stderr]    |                                                             ^ no item named `N` in scope
[INFO] [stderr]    |
[INFO] [stderr]    = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `SP1Prover::verify`
[INFO] [stderr]   --> src/machine/core.rs:82:14
[INFO] [stderr]    |
[INFO] [stderr] 82 |     /// See [SP1Prover::verify] for the verification algorithm of a complete SP1 proof. In this
[INFO] [stderr]    |              ^^^^^^^^^^^^^^^^^ no item named `SP1Prover` in scope
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `SP1Prover::verify`
[INFO] [stderr]   --> src/machine/core.rs:88:10
[INFO] [stderr]    |
[INFO] [stderr] 88 |     /// [SP1Prover::verify] is that the recursive verifier has no way of reconstructing the
[INFO] [stderr]    |          ^^^^^^^^^^^^^^^^^ no item named `SP1Prover` in scope
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `sp1_core::stark::ShardProof`
[INFO] [stderr]   --> src/stark.rs:31:17
[INFO] [stderr]    |
[INFO] [stderr] 31 | /// Reference: [sp1_core::stark::ShardProof]
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `sp1_core` in scope
[INFO] [stderr] 
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr]   --> src/types.rs:32:16
[INFO] [stderr]    |
[INFO] [stderr] 32 | /// Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/proof.rs#L32
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: bare URLs are not automatically turned into clickable links
[INFO] [stderr]    = note: `#[warn(rustdoc::bare_urls)]` on by default
[INFO] [stderr] help: use an automatic link instead
[INFO] [stderr]    |
[INFO] [stderr] 32 | /// Reference: <https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/proof.rs#L32>
[INFO] [stderr]    |                +                                                                                                     +
[INFO] [stderr] 
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr]   --> src/types.rs:39:16
[INFO] [stderr]    |
[INFO] [stderr] 39 | /// Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/proof.rs#L23
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: bare URLs are not automatically turned into clickable links
[INFO] [stderr] help: use an automatic link instead
[INFO] [stderr]    |
[INFO] [stderr] 39 | /// Reference: <https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/proof.rs#L23>
[INFO] [stderr]    |                +                                                                                                     +
[INFO] [stderr] 
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr]   --> src/types.rs:45:16
[INFO] [stderr]    |
[INFO] [stderr] 45 | /// Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L22
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: bare URLs are not automatically turned into clickable links
[INFO] [stderr] help: use an automatic link instead
[INFO] [stderr]    |
[INFO] [stderr] 45 | /// Reference: <https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L22>
[INFO] [stderr]    |                +                                                                                                        +
[INFO] [stderr] 
[INFO] [stderr] warning: `sp1-recursion-circuit-v2` (lib doc) generated 8 warnings (run `cargo fix --lib -p sp1-recursion-circuit-v2` to apply 3 suggestions)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.81s
[INFO] [stderr]    Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/sp1_recursion_circuit_v2/index.html
[INFO] running `Command { std: "docker" "inspect" "c0f7b12261ab85694927eb8f33d0357bbe0fab76a8037b4a9ccbe78f33ecb9c6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c0f7b12261ab85694927eb8f33d0357bbe0fab76a8037b4a9ccbe78f33ecb9c6", kill_on_drop: false }`
[INFO] [stdout] c0f7b12261ab85694927eb8f33d0357bbe0fab76a8037b4a9ccbe78f33ecb9c6