docs: trusted-code assumptions (#174) #766
ci.yml
on: push
build_cli_with_verify
59s
build_verifier
3m 5s
build_cli_no_verifiers_512
1m 55s
tests
1m 4s
cargo fmt
24s
ISA tests for simulator
53s
full_recursion_fast
1m 40s
risc_v_tests_delegations
39s
circuits_generated
2m 4s
build_cli_no_verifiers
3m 5s
basic_example
2m 40s
large_example
5m 1s
delegation_example
5m 53s
verification_example
7m 24s
oh_bender_incremental_proofs
1m 33s
full_recursion
3m 38s
Annotations
12 warnings
|
build_cli_with_verify:
prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.0-nightly and no longer requires an attribute to enable
|
|
tests:
prover/src/lib.rs#L10
the feature `maybe_uninit_slice` has been stable since 1.94.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.94.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.94.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.94.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.94.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.94.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.94.0-nightly and no longer requires an attribute to enable
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cli
|
5.27 MB |
sha256:9f7ef1cf08946e9d880e655353f8a0eadba7f294832f8522e54617dba7125b39
|
|
|
cli_512
|
5.24 MB |
sha256:376f3a8e4134eea1268ab76bde9afd5561f69808b09e81d34b9c6508fdfdf5db
|
|
|
cli_with_verify
|
8.59 MB |
sha256:57590aae0730babe9d1eb00728163db71a8b6cfb46383699666c672be618ae03
|
|
|
verifier
|
558 KB |
sha256:111dda74a1fb7a1367e63dc555f4db3ce576693d9145202b7dab367653cdd706
|
|