Skip to content

feat: added functionality for 100 security bits #734

feat: added functionality for 100 security bits

feat: added functionality for 100 security bits #734

Triggered via pull request November 24, 2025 15:46
Status Failure
Total duration 2h 5m 47s
Artifacts

ci.yml

on: pull_request
build_cli_with_verify
1m 28s
build_cli_with_verify
build_verifier
50s
build_verifier
build_cli_no_verifiers_512
9m 23s
build_cli_no_verifiers_512
tests
1m 24s
tests
cargo fmt
1m 32s
cargo fmt
ISA tests for simulator
1m 8s
ISA tests for simulator
full_recursion_fast
2h 3m
full_recursion_fast
risc_v_tests_delegations
49s
risc_v_tests_delegations
circuits_generated
3m 58s
circuits_generated
build_cli_no_verifiers
23m 1s
build_cli_no_verifiers
basic_example
0s
basic_example
large_example
0s
large_example
delegation_example
0s
delegation_example
verification_example
0s
verification_example
oh_bender_incremental_proofs
0s
oh_bender_incremental_proofs
full_recursion
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

25 errors and 80 warnings
cargo fmt
Process completed with exit code 1.
build_verifier
Process completed with exit code 101.
build_verifier
panic_immediate_abort is now a real panic strategy! Enable it with `panic = "immediate-abort"` in Cargo.toml, or with the compiler flags `-Zunstable-options -Cpanic=immediate-abort`. In both cases, you still need to build core, e.g. with `-Zbuild-std`
build_cli_with_verify: execution_utils/src/lib.rs#L195
couldn't read `execution_utils/src/../../tools/verifier/final_recursion_layer_with_output.bin`: No such file or directory (os error 2)
build_cli_with_verify: execution_utils/src/lib.rs#L193
couldn't read `execution_utils/src/../../tools/verifier/recursion_layer_no_delegation_with_output.bin`: No such file or directory (os error 2)
build_cli_with_verify: execution_utils/src/lib.rs#L191
couldn't read `execution_utils/src/../../tools/verifier/recursion_log_23_layer_with_output.bin`: No such file or directory (os error 2)
build_cli_with_verify: execution_utils/src/lib.rs#L189
couldn't read `execution_utils/src/../../tools/verifier/recursion_layer_with_output.bin`: No such file or directory (os error 2)
build_cli_with_verify: execution_utils/src/lib.rs#L187
couldn't read `execution_utils/src/../../tools/verifier/base_layer_with_output.bin`: No such file or directory (os error 2)
build_cli_with_verify: execution_utils/src/lib.rs#L184
couldn't read `execution_utils/src/../../tools/verifier/final_recursion_layer.bin`: No such file or directory (os error 2)
build_cli_with_verify: execution_utils/src/lib.rs#L182
couldn't read `execution_utils/src/../../tools/verifier/recursion_layer_no_delegation.bin`: No such file or directory (os error 2)
build_cli_with_verify: execution_utils/src/lib.rs#L180
couldn't read `execution_utils/src/../../tools/verifier/recursion_log_23_layer.bin`: No such file or directory (os error 2)
build_cli_with_verify: execution_utils/src/lib.rs#L178
couldn't read `execution_utils/src/../../tools/verifier/recursion_layer.bin`: No such file or directory (os error 2)
build_cli_with_verify: execution_utils/src/lib.rs#L176
couldn't read `execution_utils/src/../../tools/verifier/base_layer.bin`: No such file or directory (os error 2)
circuits_generated
Process completed with exit code 1.
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L195
couldn't read `execution_utils/src/../../tools/verifier/final_recursion_layer_with_output.bin`: No such file or directory (os error 2)
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L193
couldn't read `execution_utils/src/../../tools/verifier/recursion_layer_no_delegation_with_output.bin`: No such file or directory (os error 2)
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L191
couldn't read `execution_utils/src/../../tools/verifier/recursion_log_23_layer_with_output.bin`: No such file or directory (os error 2)
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L189
couldn't read `execution_utils/src/../../tools/verifier/recursion_layer_with_output.bin`: No such file or directory (os error 2)
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L187
couldn't read `execution_utils/src/../../tools/verifier/base_layer_with_output.bin`: No such file or directory (os error 2)
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L184
couldn't read `execution_utils/src/../../tools/verifier/final_recursion_layer.bin`: No such file or directory (os error 2)
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L182
couldn't read `execution_utils/src/../../tools/verifier/recursion_layer_no_delegation.bin`: No such file or directory (os error 2)
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L180
couldn't read `execution_utils/src/../../tools/verifier/recursion_log_23_layer.bin`: No such file or directory (os error 2)
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L178
couldn't read `execution_utils/src/../../tools/verifier/recursion_layer.bin`: No such file or directory (os error 2)
build_cli_no_verifiers_512: execution_utils/src/lib.rs#L176
couldn't read `execution_utils/src/../../tools/verifier/base_layer.bin`: No such file or directory (os error 2)
build_cli_no_verifiers
The self-hosted runner lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
tests: cs/src/utils.rs#L175
function `bincode_serialize_to_file` is never used
tests: cs/src/utils.rs#L170
function `serialize_to_file` is never used
cargo fmt: circuit_defs/unrolled_circuits/add_sub_lui_auipc_mop/verifier/src/lib.rs#L207
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/unrolled_circuits/add_sub_lui_auipc_mop/verifier/src/lib.rs
cargo fmt: circuit_defs/risc_v_cycles/verifier/src/lib.rs#L207
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/risc_v_cycles/verifier/src/lib.rs
cargo fmt: circuit_defs/reduced_risc_v_machine/verifier/src/lib.rs#L207
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/reduced_risc_v_machine/verifier/src/lib.rs
cargo fmt: circuit_defs/reduced_risc_v_log_23_machine/verifier/src/lib.rs#L207
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/reduced_risc_v_log_23_machine/verifier/src/lib.rs
cargo fmt: circuit_defs/prover_examples/src/lib.rs#L818
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/lib.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L236
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/keccak_special5/verifier/src/lib.rs#L207
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/keccak_special5/verifier/src/lib.rs
cargo fmt: circuit_defs/final_reduced_risc_v_machine/verifier/src/lib.rs#L207
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/final_reduced_risc_v_machine/verifier/src/lib.rs
cargo fmt: circuit_defs/blake2_with_compression/verifier/src/lib.rs#L207
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/blake2_with_compression/verifier/src/lib.rs
cargo fmt: circuit_defs/bigint_with_control/verifier/src/lib.rs#L207
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/bigint_with_control/verifier/src/lib.rs
build_cli_with_verify: cs/src/utils.rs#L175
function `bincode_serialize_to_file` is never used
build_cli_with_verify: cs/src/utils.rs#L170
function `serialize_to_file` is never used
circuits_generated: cs/src/utils.rs#L175
function `bincode_serialize_to_file` is never used
circuits_generated: cs/src/utils.rs#L170
function `serialize_to_file` is never used
build_cli_no_verifiers_512: cs/src/utils.rs#L175
function `bincode_serialize_to_file` is never used
build_cli_no_verifiers_512: cs/src/utils.rs#L170
function `serialize_to_file` is never used
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
full_recursion_fast: cs/src/utils.rs#L175
function `bincode_serialize_to_file` is never used
full_recursion_fast: cs/src/utils.rs#L170
function `serialize_to_file` is never used
full_recursion_fast: cs/src/utils.rs#L175
function `bincode_serialize_to_file` is never used
full_recursion_fast: cs/src/utils.rs#L170
function `serialize_to_file` is never used
full_recursion_fast: cs/src/utils.rs#L175
function `bincode_serialize_to_file` is never used
full_recursion_fast: cs/src/utils.rs#L170
function `serialize_to_file` is never used