Skip to content

docs: trusted-code assumptions #747

docs: trusted-code assumptions

docs: trusted-code assumptions #747

Triggered via pull request December 2, 2025 19:58
Status Success
Total duration 12m 3s
Artifacts 4

ci.yml

on: pull_request
build_cli_with_verify
1m 8s
build_cli_with_verify
build_cli_no_verifiers_512
2m 2s
build_cli_no_verifiers_512
tests
1m 17s
tests
cargo fmt
36s
cargo fmt
ISA tests for simulator
58s
ISA tests for simulator
full_recursion_fast
1m 59s
full_recursion_fast
risc_v_tests_delegations
47s
risc_v_tests_delegations
circuits_generated
2m 0s
circuits_generated
build_cli_no_verifiers
2m 46s
build_cli_no_verifiers
verification_example
7m 21s
verification_example
oh_bender_incremental_proofs
1m 34s
oh_bender_incremental_proofs
full_recursion
3m 37s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
tests: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.93.0-nightly and no longer requires an attribute to enable
build_cli_with_verify: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.93.0-nightly and no longer requires an attribute to enable
full_recursion_fast: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.93.0-nightly and no longer requires an attribute to enable
full_recursion_fast: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.93.0-nightly and no longer requires an attribute to enable
full_recursion_fast: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.93.0-nightly and no longer requires an attribute to enable
circuits_generated: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.93.0-nightly and no longer requires an attribute to enable
build_cli_no_verifiers_512: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.93.0-nightly and no longer requires an attribute to enable
build_cli_no_verifiers_512: field/src/ext_avx_512_impl.rs#L58
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: field/src/ext_avx_512_impl.rs#L55
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: field/src/avx_512_impl.rs#L36
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: field/src/lib.rs#L9
the feature `stdarch_x86_avx512` has been stable since 1.89.0 and no longer requires an attribute to enable
build_cli_no_verifiers: prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.93.0-nightly and no longer requires an attribute to enable

Artifacts

Produced during runtime
Name Size Digest
cli
5.27 MB
sha256:cda1522656f90f6ab736debf369f29c4e83fcd069cf57e0bef05912d511ff428
cli_512
5.24 MB
sha256:629952f3d905ec6414e17fea26ccb1214431806fdd7900ee5ae83d30531e01da
cli_with_verify
8.6 MB
sha256:912b41e60b9325e853aafdfd64e947c5481057b29865ed8ec56207f4e997441c
verifier
558 KB
sha256:be59a9eb741d15fecc30297645dd44ba0976aa3ef242848ba61caff3202c365e