sp1-recursion-circuit-v2 2.0.0

SP1 is a performant, 100% open-source, contributor-friendly zkVM.
Documentation
Build #1717287 2025-02-07 04:45:23
# rustc version
rustc 1.86.0-nightly (942db6782 2025-02-06)# docs.rs version
docsrs 0.6.0 (29a0e81b 2025-01-22)# 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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250206-1.86.0-nightly-942db6782\", \"--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] 1fc216e58b79a809cd0d86c908f01bab74b475dbec44cae4c4671416ebe9bb6e
[INFO] running `Command { std: "docker" "start" "-a" "1fc216e58b79a809cd0d86c908f01bab74b475dbec44cae4c4671416ebe9bb6e", 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 2.03s
[INFO] [stderr]    Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/sp1_recursion_circuit_v2/index.html
[INFO] running `Command { std: "docker" "inspect" "1fc216e58b79a809cd0d86c908f01bab74b475dbec44cae4c4671416ebe9bb6e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1fc216e58b79a809cd0d86c908f01bab74b475dbec44cae4c4671416ebe9bb6e", kill_on_drop: false }`
[INFO] [stdout] 1fc216e58b79a809cd0d86c908f01bab74b475dbec44cae4c4671416ebe9bb6e