feat: reduce number of verifier binaries #717
Triggered via pull request
November 17, 2025 09:08
robik75
Status
Failure
Total duration
11m 41s
Artifacts
–
ci.yml
on: pull_request
build_cli_with_verify
2m 6s
build_verifier
59s
build_cli_no_verifiers_512
9m 26s
tests
1m 53s
cargo fmt
36s
ISA tests for simulator
1m 25s
full_recursion_fast
9m 48s
risc_v_tests_delegations
1m 14s
circuits_generated
4m 25s
build_cli_no_verifiers
10m 19s
verification_example
Annotations
35 errors and 61 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)
|
|
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)
|
|
full_recursion_fast
Process completed with exit code 101.
|
|
full_recursion_fast:
execution_utils/src/unrolled.rs#L667
cannot find value `BASE_LAYER_DELEGATION_CIRCUITS_VERIFICATION_PARAMETERS` in crate `full_statement_verifier`
|
|
build_cli_no_verifiers:
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:
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:
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:
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:
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:
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:
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:
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:
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:
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)
|
|
cargo fmt:
gpu_prover/src/prover/arg_utils.rs#L910
Diff in /home/runner/work/zksync-airbender/zksync-airbender/gpu_prover/src/prover/arg_utils.rs
|
|
tests:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L39
unused variable: `ram`
|
|
tests:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L6
unused variable: `ram`
|
|
tests:
riscv_transpiler/src/replayer/instructions/branch/mod.rs#L6
unused variable: `ram`
|
|
tests:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L76
unused variable: `ram`
|
|
tests:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L41
unused variable: `ram`
|
|
tests:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L6
unused variable: `ram`
|
|
tests:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L41
unused variable: `ram`
|
|
tests:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L6
unused variable: `ram`
|
|
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
|
|
build_cli_with_verify:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L39
unused variable: `ram`
|
|
build_cli_with_verify:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L6
unused variable: `ram`
|
|
build_cli_with_verify:
riscv_transpiler/src/replayer/instructions/branch/mod.rs#L6
unused variable: `ram`
|
|
build_cli_with_verify:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L76
unused variable: `ram`
|
|
build_cli_with_verify:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L41
unused variable: `ram`
|
|
build_cli_with_verify:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L6
unused variable: `ram`
|
|
build_cli_with_verify:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L41
unused variable: `ram`
|
|
build_cli_with_verify:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L6
unused variable: `ram`
|
|
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:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L39
unused variable: `ram`
|
|
circuits_generated:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L6
unused variable: `ram`
|
|
circuits_generated:
riscv_transpiler/src/replayer/instructions/branch/mod.rs#L6
unused variable: `ram`
|
|
circuits_generated:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L76
unused variable: `ram`
|
|
circuits_generated:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L41
unused variable: `ram`
|
|
circuits_generated:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L6
unused variable: `ram`
|
|
circuits_generated:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L41
unused variable: `ram`
|
|
circuits_generated:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L6
unused variable: `ram`
|
|
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:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L41
unused variable: `ram`
|
|
build_cli_no_verifiers_512:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L6
unused variable: `ram`
|
|
build_cli_no_verifiers_512:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L41
unused variable: `ram`
|
|
build_cli_no_verifiers_512:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L6
unused variable: `ram`
|
|
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:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L39
unused variable: `ram`
|
|
full_recursion_fast:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L6
unused variable: `ram`
|
|
full_recursion_fast:
riscv_transpiler/src/replayer/instructions/branch/mod.rs#L6
unused variable: `ram`
|
|
full_recursion_fast:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L76
unused variable: `ram`
|
|
full_recursion_fast:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L41
unused variable: `ram`
|
|
full_recursion_fast:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L6
unused variable: `ram`
|
|
full_recursion_fast:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L41
unused variable: `ram`
|
|
full_recursion_fast:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L6
unused variable: `ram`
|
|
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
|
|
build_cli_no_verifiers:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L39
unused variable: `ram`
|
|
build_cli_no_verifiers:
riscv_transpiler/src/replayer/instructions/jal_jalr/mod.rs#L6
unused variable: `ram`
|
|
build_cli_no_verifiers:
riscv_transpiler/src/replayer/instructions/branch/mod.rs#L6
unused variable: `ram`
|
|
build_cli_no_verifiers:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L76
unused variable: `ram`
|
|
build_cli_no_verifiers:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L41
unused variable: `ram`
|
|
build_cli_no_verifiers:
riscv_transpiler/src/replayer/instructions/binary/mod.rs#L6
unused variable: `ram`
|
|
build_cli_no_verifiers:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L41
unused variable: `ram`
|
|
build_cli_no_verifiers:
riscv_transpiler/src/replayer/instructions/add_sub/mod.rs#L6
unused variable: `ram`
|
|
build_cli_no_verifiers:
cs/src/utils.rs#L175
function `bincode_serialize_to_file` is never used
|
|
build_cli_no_verifiers:
cs/src/utils.rs#L170
function `serialize_to_file` is never used
|