Rust CI

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

Sign in to view logs

Triggered via pull request November 2, 2025 05:25

mcarilli

synchronize #156

mc-stage-3-unrolled

Status Failure

Total duration 2h 3m 50s

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.

oh_bender_incremental_proofs

Process completed with exit code 101.

full_recursion

Process completed with exit code 101.

verification_example

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::*`

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::*`

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: 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/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_subword_only/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:b93d0b7db60de2f2782f3c67b811074e993067047a6209a587069950933f9592`
cli_512 Expired	5.54 MB	`sha256:1603852acd0778a098ec08eeb35edbf96d97a84b6b3ecd03dfc908b24533659d`
cli_with_verify Expired	6.82 MB	`sha256:d1007084abdfca0de30f1c8cb670fe54b6fc0736178c887c7dca136f92a7b183`
verifier Expired	554 KB	`sha256:63ead40d2b353b00938950e232e98cf9209be0bc669b841384630e756f8407e0`