Skip to content
Rust CI

fix(gpu_prover): fix swapped tree cache mode in allocate_only_evaluation, disable setup recomputations #743

Sign in to view logs

fix(gpu_prover): fix swapped tree cache mode in allocate_only_evaluation, disable setup recomputations

fix(gpu_prover): fix swapped tree cache mode in allocate_only_evaluation, disable setup recomputations #743

Triggered via pull request December 2, 2025 15:30
@robik75robik75
opened #173
rr/setup_no_recomputations
Status Failure
Total duration 2h 3m 44s
Artifacts –

ci.yml

on: pull_request
build_cli_with_verify
2m 8s
build_cli_with_verify
build_verifier
1m 4s
build_verifier
build_cli_no_verifiers_512
2m 7s
build_cli_no_verifiers_512
tests
1m 58s
tests
cargo fmt
37s
cargo fmt
ISA tests for simulator
1m 24s
ISA tests for simulator
full_recursion_fast
2h 2m
full_recursion_fast
risc_v_tests_delegations
1m 24s
risc_v_tests_delegations
circuits_generated
4m 26s
circuits_generated
build_cli_no_verifiers
3m 14s
build_cli_no_verifiers
basic_example
0s
basic_example
large_example
large_example
delegation_example
0s
delegation_example
verification_example
verification_example
oh_bender_incremental_proofs
0s
oh_bender_incremental_proofs
full_recursion
0s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

30 errors and 82 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
Process completed with exit code 101.
build_cli_with_verify: tools/cli/src/prover_utils.rs#L1011
mismatched types
build_cli_with_verify: tools/cli/src/prover_utils.rs#L886
failed to resolve: use of undeclared type `MachineType`
build_cli_with_verify: tools/cli/src/prover_utils.rs#L885
failed to resolve: use of undeclared type `ExecutionKind`
build_cli_with_verify: tools/cli/src/prover_utils.rs#L878
failed to resolve: use of undeclared type `MachineType`
build_cli_with_verify: tools/cli/src/prover_utils.rs#L877
failed to resolve: use of undeclared type `ExecutionKind`
build_cli_with_verify: tools/cli/src/prover_utils.rs#L874
failed to resolve: use of undeclared type `ExecutionProver`
build_cli_with_verify: tools/cli/src/prover_utils.rs#L872
failed to resolve: use of undeclared type `ExecutionProverConfiguration`
build_cli_with_verify: tools/cli/src/prover_utils.rs#L802
cannot find type `ExecutionProver` in this scope
build_cli_no_verifiers_512
Process completed with exit code 101.
build_cli_no_verifiers_512: tools/cli/src/prover_utils.rs#L1011
mismatched types
build_cli_no_verifiers_512: tools/cli/src/prover_utils.rs#L886
failed to resolve: use of undeclared type `MachineType`
build_cli_no_verifiers_512: tools/cli/src/prover_utils.rs#L885
failed to resolve: use of undeclared type `ExecutionKind`
build_cli_no_verifiers_512: tools/cli/src/prover_utils.rs#L878
failed to resolve: use of undeclared type `MachineType`
build_cli_no_verifiers_512: tools/cli/src/prover_utils.rs#L877
failed to resolve: use of undeclared type `ExecutionKind`
build_cli_no_verifiers_512: tools/cli/src/prover_utils.rs#L874
failed to resolve: use of undeclared type `ExecutionProver`
build_cli_no_verifiers_512: tools/cli/src/prover_utils.rs#L872
failed to resolve: use of undeclared type `ExecutionProverConfiguration`
build_cli_no_verifiers_512: tools/cli/src/prover_utils.rs#L802
cannot find type `ExecutionProver` in this scope
build_cli_no_verifiers
Process completed with exit code 101.
build_cli_no_verifiers: tools/cli/src/prover_utils.rs#L1011
mismatched types
build_cli_no_verifiers: tools/cli/src/prover_utils.rs#L886
failed to resolve: use of undeclared type `MachineType`
build_cli_no_verifiers: tools/cli/src/prover_utils.rs#L885
failed to resolve: use of undeclared type `ExecutionKind`
build_cli_no_verifiers: tools/cli/src/prover_utils.rs#L878
failed to resolve: use of undeclared type `MachineType`
build_cli_no_verifiers: tools/cli/src/prover_utils.rs#L877
failed to resolve: use of undeclared type `ExecutionKind`
build_cli_no_verifiers: tools/cli/src/prover_utils.rs#L874
failed to resolve: use of undeclared type `ExecutionProver`
build_cli_no_verifiers: tools/cli/src/prover_utils.rs#L872
failed to resolve: use of undeclared type `ExecutionProverConfiguration`
build_cli_no_verifiers: tools/cli/src/prover_utils.rs#L802
cannot find type `ExecutionProver` in this scope
cargo fmt: execution_utils/src/unrolled_gpu.rs#L25
Diff in /home/runner/work/zksync-airbender/zksync-airbender/execution_utils/src/unrolled_gpu.rs
cargo fmt: execution_utils/src/unrolled_gpu.rs#L17
Diff in /home/runner/work/zksync-airbender/zksync-airbender/execution_utils/src/unrolled_gpu.rs
tests: prover/src/tracer.rs#L6
unused import: `risc_v_simulator::cycle::status_registers::*`
tests: prover/src/tracer.rs#L5
unused import: `risc_v_simulator::abstractions::memory::*`
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
tests: cs/src/one_row_compiler/executor_compilation.rs#L9
unused variable: `trace_len_log2`
tests: cs/src/one_row_compiler/executor_compilation.rs#L8
unused variable: `circuit_output`
tests: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49
value assigned to `imm` is never read
tests: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49
value assigned to `imm` is never read
tests: cs/src/machine/ops/unrolled/decoder/memory.rs#L43
unused variable: `opcode`
tests: cs/src/one_row_compiler/executor_compilation.rs#L19
unreachable statement
build_cli_with_verify: prover/src/tracer.rs#L6
unused import: `risc_v_simulator::cycle::status_registers::*`
build_cli_with_verify: prover/src/tracer.rs#L5
unused import: `risc_v_simulator::abstractions::memory::*`
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
build_cli_with_verify: cs/src/one_row_compiler/executor_compilation.rs#L9
unused variable: `trace_len_log2`
build_cli_with_verify: cs/src/one_row_compiler/executor_compilation.rs#L8
unused variable: `circuit_output`
build_cli_with_verify: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49
value assigned to `imm` is never read
build_cli_with_verify: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49
value assigned to `imm` is never read
build_cli_with_verify: cs/src/machine/ops/unrolled/decoder/memory.rs#L43
unused variable: `opcode`
build_cli_with_verify: cs/src/one_row_compiler/executor_compilation.rs#L19
unreachable statement
build_cli_no_verifiers_512: cs/src/one_row_compiler/executor_compilation.rs#L9
unused variable: `trace_len_log2`
build_cli_no_verifiers_512: cs/src/one_row_compiler/executor_compilation.rs#L8
unused variable: `circuit_output`
build_cli_no_verifiers_512: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49
value assigned to `imm` is never read
build_cli_no_verifiers_512: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49
value assigned to `imm` is never read
build_cli_no_verifiers_512: cs/src/machine/ops/unrolled/decoder/memory.rs#L43
unused variable: `opcode`
build_cli_no_verifiers_512: cs/src/one_row_compiler/executor_compilation.rs#L19
unreachable statement
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/tracer.rs#L6
unused import: `risc_v_simulator::cycle::status_registers::*`
build_cli_no_verifiers: prover/src/tracer.rs#L5
unused import: `risc_v_simulator::abstractions::memory::*`
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
build_cli_no_verifiers: cs/src/one_row_compiler/executor_compilation.rs#L9
unused variable: `trace_len_log2`
build_cli_no_verifiers: cs/src/one_row_compiler/executor_compilation.rs#L8
unused variable: `circuit_output`
build_cli_no_verifiers: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49
value assigned to `imm` is never read
build_cli_no_verifiers: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49
value assigned to `imm` is never read
build_cli_no_verifiers: cs/src/machine/ops/unrolled/decoder/memory.rs#L43
unused variable: `opcode`
build_cli_no_verifiers: cs/src/one_row_compiler/executor_compilation.rs#L19
unreachable statement
circuits_generated: prover/src/tracer.rs#L6
unused import: `risc_v_simulator::cycle::status_registers::*`
circuits_generated: prover/src/tracer.rs#L5
unused import: `risc_v_simulator::abstractions::memory::*`
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
circuits_generated: cs/src/one_row_compiler/executor_compilation.rs#L9
unused variable: `trace_len_log2`
circuits_generated: cs/src/one_row_compiler/executor_compilation.rs#L8
unused variable: `circuit_output`
circuits_generated: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49
value assigned to `imm` is never read
circuits_generated: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49
value assigned to `imm` is never read
circuits_generated: cs/src/machine/ops/unrolled/decoder/memory.rs#L43
unused variable: `opcode`
circuits_generated: cs/src/one_row_compiler/executor_compilation.rs#L19
unreachable statement
full_recursion_fast: prover/src/tracer.rs#L6
unused import: `risc_v_simulator::cycle::status_registers::*`
full_recursion_fast: prover/src/tracer.rs#L5
unused import: `risc_v_simulator::abstractions::memory::*`
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/one_row_compiler/executor_compilation.rs#L9
unused variable: `trace_len_log2`
full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L8
unused variable: `circuit_output`
full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49
value assigned to `imm` is never read
full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49
value assigned to `imm` is never read
full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory.rs#L43
unused variable: `opcode`
full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L19
unreachable statement
full_recursion_fast: prover/src/tracer.rs#L6
unused import: `risc_v_simulator::cycle::status_registers::*`
full_recursion_fast: prover/src/tracer.rs#L5
unused import: `risc_v_simulator::abstractions::memory::*`
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/one_row_compiler/executor_compilation.rs#L9
unused variable: `trace_len_log2`
full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L8
unused variable: `circuit_output`
full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49
value assigned to `imm` is never read
full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49
value assigned to `imm` is never read
full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory.rs#L43
unused variable: `opcode`
full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L19
unreachable statement
full_recursion_fast: prover/src/tracer.rs#L6
unused import: `risc_v_simulator::cycle::status_registers::*`
full_recursion_fast: prover/src/tracer.rs#L5
unused import: `risc_v_simulator::abstractions::memory::*`
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/one_row_compiler/executor_compilation.rs#L9
unused variable: `trace_len_log2`
full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L8
unused variable: `circuit_output`
full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49
value assigned to `imm` is never read
full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49
value assigned to `imm` is never read
full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory.rs#L43
unused variable: `opcode`
full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L19
unreachable statement