sp1-hypercube 6.0.2

The SP1 Hypercube proof system
Documentation
Build #2940023 2026-02-26 22:17:24

# rustc version rustc 1.95.0-nightly (1ed488274 2026-02-25)

# docs.rs version docsrs 0.0.0 (91dcccd9 2026-02-13 )

# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder4/builds/sp1-hypercube-6.0.2/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder4/builds/sp1-hypercube-6.0.2/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace-builder4/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace-builder4/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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20260225-1.95.0-nightly-1ed488274\", \"--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] 53c54f5e9003cd41c388dfff6d37d0703e8cdeb8a3bd2701ea34e5bbfd45a272 [INFO] running `Command { std: "docker" "start" "-a" "53c54f5e9003cd41c388dfff6d37d0703e8cdeb8a3bd2701ea34e5bbfd45a272", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting sp1-hypercube v6.0.2 (/opt/rustwide/workdir) [INFO] [stderr] warning: unresolved link to `update_finalized_state` [INFO] [stderr] --> src/air/public_values.rs:291:22 [INFO] [stderr] | [INFO] [stderr] 291 | /// Similar to [`update_finalized_state`], but takes all the values from an existing public [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ no item named `update_finalized_state` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `Self::neg` [INFO] [stderr] --> src/ir/ast.rs:129:21 [INFO] [stderr] | [INFO] [stderr] 129 | /// Same with [`Self::neg`] but for [`ExprExtRef`] [INFO] [stderr] | ^^^^^^^^^ the struct `Ast` has no field or associated item named `neg` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `prefix` [INFO] [stderr] --> src/ir/ast.rs:157:48 [INFO] [stderr] | [INFO] [stderr] 157 | /// A [String] of all the operations with [prefix] padding in the front. [INFO] [stderr] | ^^^^^^ no item named `prefix` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `ExtensionField` [INFO] [stderr] --> src/ir/expr.rs:131:11 [INFO] [stderr] | [INFO] [stderr] 131 | /// The [`ExtensionField`] for the constraint compiler. [INFO] [stderr] | ^^^^^^^^^^^^^^ no item named `ExtensionField` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `1` [INFO] [stderr] --> src/ir/lean.rs:72:54 [INFO] [stderr] | [INFO] [stderr] 72 | /// `Expr(InputArg(3))` then maps to "cols.value[1]" because if you recursively flatten the [INFO] [stderr] | ^ no item named `1` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `StarkMachine` [INFO] [stderr] --> src/machine.rs:56:25 [INFO] [stderr] | [INFO] [stderr] 56 | /// Creates a new [`StarkMachine`]. [INFO] [stderr] | ^^^^^^^^^^^^ no item named `StarkMachine` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: `sp1-hypercube` (lib doc) generated 6 warnings [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.03s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/sp1_hypercube/index.html [INFO] running `Command { std: "docker" "inspect" "53c54f5e9003cd41c388dfff6d37d0703e8cdeb8a3bd2701ea34e5bbfd45a272", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "53c54f5e9003cd41c388dfff6d37d0703e8cdeb8a3bd2701ea34e5bbfd45a272", kill_on_drop: false }` [INFO] [stdout] 53c54f5e9003cd41c388dfff6d37d0703e8cdeb8a3bd2701ea34e5bbfd45a272