sp1-recursion-program 2.0.0

SP1 is a performant, 100% open-source, contributor-friendly zkVM.
Documentation
Build #1358895 2024-09-14 00:08:42
# rustc version
rustc 1.83.0-nightly (9c01301c5 2024-09-05)# docs.rs version
docsrs 0.6.0 (1b41ab79 2024-09-12)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder/builds/sp1-recursion-program-2.0.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder/builds/sp1-recursion-program-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:96c0aa5895ecf336b730ef27bcdde6e21027415df19888aad3cf1448e5d65d90" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-09-06" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20240905-1.83.0-nightly-9c01301c5\", \"--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] [stdout] 0ac07804e13abc200d81323bf2f4293b4ecef672c09dfdd3cde9f68e2dacf77d
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "0ac07804e13abc200d81323bf2f4293b4ecef672c09dfdd3cde9f68e2dacf77d", kill_on_drop: false }`
[INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op
[INFO] [stderr]  Documenting sp1-recursion-program v2.0.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unresolved link to `sp1_core_machine::stark::Verifier::verify_constraints`
[INFO] [stderr]    --> src/constraints.rs:121:21
[INFO] [stderr]     |
[INFO] [stderr] 121 |     /// Reference: [sp1_core_machine::stark::Verifier::verify_constraints]
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `stark` in module `sp1_core_machine`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `sp1_prover::Prover`
[INFO] [stderr]    --> src/machine/compress.rs:130:41
[INFO] [stderr]     |
[INFO] [stderr] 130 |     ///   checked against itself as in [sp1_prover::Prover] or as in [super::SP1RootVerifier].
[INFO] [stderr]     |                                         ^^^^^^^^^^^^^^^^^^ no item named `sp1_prover` in scope
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `SP1Prover::verify`
[INFO] [stderr]    --> src/machine/core.rs:108:14
[INFO] [stderr]     |
[INFO] [stderr] 108 |     /// 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:114:10
[INFO] [stderr]     |
[INFO] [stderr] 114 |     /// [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_machine::stark::ShardProof`
[INFO] [stderr]   --> src/types.rs:15:17
[INFO] [stderr]    |
[INFO] [stderr] 15 | /// Reference: [sp1_core_machine::stark::ShardProof]
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `stark` in module `sp1_core_machine`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `sp1_core_machine::stark::VerifyingKey`
[INFO] [stderr]   --> src/types.rs:38:17
[INFO] [stderr]    |
[INFO] [stderr] 38 | /// Reference: [sp1_core_machine::stark::VerifyingKey]
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `stark` in module `sp1_core_machine`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `sp1_core_machine::stark::ShardCommitment`
[INFO] [stderr]   --> src/types.rs:47:17
[INFO] [stderr]    |
[INFO] [stderr] 47 | /// Reference: [sp1_core_machine::stark::ShardCommitment]
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `stark` in module `sp1_core_machine`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `sp1_core_machine::stark::ShardOpenedValues`
[INFO] [stderr]   --> src/types.rs:55:17
[INFO] [stderr]    |
[INFO] [stderr] 55 | /// Reference: [sp1_core_machine::stark::ShardOpenedValues]
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `stark` in module `sp1_core_machine`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `sp1_core_machine::stark::ChipOpenedValues`
[INFO] [stderr]   --> src/types.rs:61:17
[INFO] [stderr]    |
[INFO] [stderr] 61 | /// Reference: [sp1_core_machine::stark::ChipOpenedValues]
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `stark` in module `sp1_core_machine`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `sp1_core_machine::stark::ChipOpenedValues`
[INFO] [stderr]   --> src/types.rs:72:17
[INFO] [stderr]    |
[INFO] [stderr] 72 | /// Reference: [sp1_core_machine::stark::ChipOpenedValues]
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `stark` in module `sp1_core_machine`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `sp1_core_machine::stark::AirOpenedValues`
[INFO] [stderr]   --> src/types.rs:83:17
[INFO] [stderr]    |
[INFO] [stderr] 83 | /// Reference: [sp1_core_machine::stark::AirOpenedValues]
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `stark` in module `sp1_core_machine`
[INFO] [stderr] 
[INFO] [stderr] warning: unresolved link to `N`
[INFO] [stderr]    --> src/utils.rs:166:57
[INFO] [stderr]     |
[INFO] [stderr] 166 | /// 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: this URL is not a hyperlink
[INFO] [stderr]   --> src/fri/mod.rs:24:16
[INFO] [stderr]    |
[INFO] [stderr] 24 | /// Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L27
[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] 24 | /// Reference: <https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L27>
[INFO] [stderr]    |                +                                                                                                        +
[INFO] [stderr] 
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr]   --> src/fri/mod.rs:64:16
[INFO] [stderr]    |
[INFO] [stderr] 64 | /// Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L67
[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] 64 | /// Reference: <https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L67>
[INFO] [stderr]    |                +                                                                                                        +
[INFO] [stderr] 
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr]    --> src/fri/mod.rs:102:16
[INFO] [stderr]     |
[INFO] [stderr] 102 | /// Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L101
[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] 102 | /// Reference: <https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L101>
[INFO] [stderr]     |                +                                                                                                         +
[INFO] [stderr] 
[INFO] [stderr] warning: this URL is not a hyperlink
[INFO] [stderr]    --> src/fri/mod.rs:195:16
[INFO] [stderr]     |
[INFO] [stderr] 195 | /// Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/merkle-tree/src/mmcs.rs#L92
[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] 195 | /// Reference: <https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/merkle-tree/src/mmcs.rs#L92>
[INFO] [stderr]     |                +                                                                                                            +
[INFO] [stderr] 
[INFO] [stderr] warning: `sp1-recursion-program` (lib doc) generated 16 warnings (run `cargo fix --lib -p sp1-recursion-program` to apply 4 suggestions)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.05s
[INFO] [stderr]    Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/sp1_recursion_program/index.html
[INFO] running `Command { std: "docker" "inspect" "0ac07804e13abc200d81323bf2f4293b4ecef672c09dfdd3cde9f68e2dacf77d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0ac07804e13abc200d81323bf2f4293b4ecef672c09dfdd3cde9f68e2dacf77d", kill_on_drop: false }`
[INFO] [stdout] 0ac07804e13abc200d81323bf2f4293b4ecef672c09dfdd3cde9f68e2dacf77d