Rust CI

feat(gpu_prover): Stage 3 support for unrolled circuits #676

Sign in to view logs

Triggered via pull request November 3, 2025 05:19

mcarilli

synchronize #156

mc-stage-3-unrolled

Status Failure

Total duration 2h 3m 18s

Artifacts 4

ci.yml

on: pull_request

build_cli_with_verify

build_cli_no_verifiers_512

ISA tests for simulator

full_recursion_fast

risc_v_tests_delegations

circuits_generated

build_cli_no_verifiers

delegation_example

verification_example

oh_bender_incremental_proofs

Annotations

4 errors and 96 warnings

Process completed with exit code 1.

full_recursion

Process completed with exit code 101.

verification_example

Process completed with exit code 101.

oh_bender_incremental_proofs

Process completed with exit code 101.

cargo fmt: gpu_prover/src/prover/unrolled_prover/stage_2_kernels.rs#L542

Diff in /home/runner/work/zksync-airbender/zksync-airbender/gpu_prover/src/prover/unrolled_prover/stage_2_kernels.rs

cargo fmt: gpu_prover/src/prover/stage_3_utils.rs#L617

Diff in /home/runner/work/zksync-airbender/zksync-airbender/gpu_prover/src/prover/stage_3_utils.rs

cargo fmt: gpu_prover/src/prover/stage_3.rs#L98

Diff in /home/runner/work/zksync-airbender/zksync-airbender/gpu_prover/src/prover/stage_3.rs

ISA tests for simulator: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

risc_v_tests_delegations: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

risc_v_tests_delegations: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

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#L78

unused variable: `ram`

tests: riscv_transpiler/src/replayer/instructions/binary/mod.rs#L42

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#L42

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

tests: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

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#L42

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

build_cli_no_verifiers_512: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

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#L78

unused variable: `ram`

build_cli_with_verify: riscv_transpiler/src/replayer/instructions/binary/mod.rs#L42

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#L42

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

build_cli_with_verify: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

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#L78

unused variable: `ram`

circuits_generated: riscv_transpiler/src/replayer/instructions/binary/mod.rs#L42

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#L42

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

circuits_generated: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

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#L78

unused variable: `ram`

build_cli_no_verifiers: riscv_transpiler/src/replayer/instructions/binary/mod.rs#L42

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#L42

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

build_cli_no_verifiers: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

build_verifier: circuit_defs/unrolled_circuits/shift_binary_csr/verifier/src/concrete/skeleton_instance.rs#L17

unused import: `core::mem::MaybeUninit`

build_verifier: circuit_defs/unrolled_circuits/add_sub_lui_auipc_mop/verifier/src/concrete/skeleton_instance.rs#L17

unused import: `core::mem::MaybeUninit`

build_verifier: circuit_defs/unrolled_circuits/load_store_word_only/verifier/src/concrete/skeleton_instance.rs#L17

unused import: `core::mem::MaybeUninit`

build_verifier: blake2s_u32/src/state_with_extended_control.rs#L315

unused variable: `round_idx`

build_verifier: blake2s_u32/src/state_with_extended_control.rs#L302

unused variable: `round_bitmask`

build_verifier: blake2s_u32/src/state_with_extended_control.rs#L235

value assigned to `control_register` is never read

build_verifier: blake2s_u32/src/state_with_extended_control.rs#L224

value assigned to `control_register` is never read

build_verifier: blake2s_u32/src/state_with_extended_control.rs#L146

value assigned to `control_register` is never read

build_verifier: blake2s_u32/src/state_with_extended_control.rs#L135

value assigned to `control_register` is never read

build_verifier: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

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#L78

unused variable: `ram`

full_recursion_fast: riscv_transpiler/src/replayer/instructions/binary/mod.rs#L42

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#L42

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

full_recursion_fast: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

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#L78

unused variable: `ram`

full_recursion_fast: riscv_transpiler/src/replayer/instructions/binary/mod.rs#L42

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#L42

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

full_recursion_fast: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

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#L78

unused variable: `ram`

full_recursion_fast: riscv_transpiler/src/replayer/instructions/binary/mod.rs#L42

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#L42

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

full_recursion_fast: common_constants/src/lib.rs#L10

unused import: `self::rom::*`

Artifacts

Produced during runtime

Name	Size	Digest
cli Expired	5.57 MB	`sha256:46de01a120a1d52783cf7f9dbddb3e9b0e030d00523f50d6e375c1e34bb3379c`
cli_512 Expired	5.54 MB	`sha256:20a10b2d68f52c98191a9f95e36caf6fcf1502a58d59231a31efc7446f6f01d8`
cli_with_verify Expired	6.82 MB	`sha256:44b3b6a61b1e309c4b876b8e048e3a867aebebca3306610d29c3fe004a07ada3`
verifier Expired	554 KB	`sha256:b3721720108bb19356a7a999a44929905239d93fad43a7c3b9fa088f6ca80918`