Skip to content
Rust CI

feat(gpu_prover): new GPU prover based on unrolled circuits #715

Sign in to view logs

feat(gpu_prover): new GPU prover based on unrolled circuits

feat(gpu_prover): new GPU prover based on unrolled circuits #715

Triggered via pull request November 16, 2025 16:43
@robik75robik75
synchronize #164
rr/dev
Status Failure
Total duration 2h 4m 19s
Artifacts 3

ci.yml

on: pull_request
build_cli_with_verify
1m 52s
build_cli_with_verify
build_verifier
50s
build_verifier
build_cli_no_verifiers_512
10m 33s
build_cli_no_verifiers_512
tests
1m 50s
tests
cargo fmt
45s
cargo fmt
ISA tests for simulator
1m 12s
ISA tests for simulator
full_recursion_fast
2h 3m
full_recursion_fast
risc_v_tests_delegations
1m 5s
risc_v_tests_delegations
circuits_generated
4m 3s
circuits_generated
build_cli_no_verifiers
11m 12s
build_cli_no_verifiers
basic_example
2m 50s
basic_example
large_example
4m 57s
large_example
delegation_example
5m 15s
delegation_example
verification_example
0s
verification_example
oh_bender_incremental_proofs
oh_bender_incremental_proofs
full_recursion
0s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 90 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`
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L117
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L104
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L87
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L63
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L58
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L51
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L44
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L37
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L26
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.rs
cargo fmt: circuit_defs/prover_examples/src/gpu.rs#L1
Diff in /home/runner/work/zksync-airbender/zksync-airbender/circuit_defs/prover_examples/src/gpu.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
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
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
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
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

Artifacts

Produced during runtime
Name Size Digest
cli
5.22 MB
sha256:778b78f0f96b99f220e3f5b83f68c5d9a1781bd9d3ad7827d0c0394062673a4e
cli_512
5.19 MB
sha256:3b83ca2cef2e710f6c52ce0ec73b38a797ba30a62952eb43eb35961d0900ef72
cli_with_verify
9.2 MB
sha256:0acac32e51a7c59d1264f431713db5ef54a229ac69dbf3c0a6ffe168973fdcf4