docs: trusted-code assumptions #745
Fitznikci.yml
on: pull_request
build_cli_with_verify
1m 42s
build_verifier
3m 23s
build_cli_no_verifiers_512
2m 32s
tests
1m 51s
cargo fmt
34s
ISA tests for simulator
1m 15s
full_recursion_fast
2m 14s
risc_v_tests_delegations
1m 10s
circuits_generated
2m 30s
build_cli_no_verifiers
3m 38s
basic_example
2m 48s
large_example
4m 59s
delegation_example
5m 16s
verification_example
7m 24s
oh_bender_incremental_proofs
1m 34s
full_recursion
3m 36s
Annotations
2 errors and 13 warnings
|
cargo fmt
Process completed with exit code 1.
|
|
circuits_generated
Process completed with exit code 1.
|
|
cargo fmt:
cs/src/machine/decoder/decode_optimized_must_handle_csr.rs#L241
Diff in /home/runner/work/zksync-airbender/zksync-airbender/cs/src/machine/decoder/decode_optimized_must_handle_csr.rs
|
|
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
|
|
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
|
|
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:
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
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cli
|
5.27 MB |
sha256:2ff98eded9b3c209371498ee1d3d21db799de62f71ee50855f9f8f4eeaca2fa2
|
|
|
cli_512
|
5.24 MB |
sha256:37e0a2fcdab5a7458a4f4072c2471e1b32ddad1f476ced6e995e624223592dd2
|
|
|
cli_with_verify
|
8.6 MB |
sha256:b0f4de45b1e7153cda9f520e6f5eac25f7bd394de5be52e185eaa66fc476f986
|
|
|
verifier
|
558 KB |
sha256:3d4de02ff63f3291d83c9f918917d23d3b0dab23622551a5e9258c2949878ff1
|
|