Skip to content

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

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

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

Triggered via pull request November 16, 2025 15:47
@robik75robik75
synchronize #164
rr/dev
Status Failure
Total duration 2h 1m 33s
Artifacts 3

ci.yml

on: pull_request
build_cli_with_verify
1m 58s
build_cli_with_verify
build_cli_no_verifiers_512
10m 3s
build_cli_no_verifiers_512
tests
1m 53s
tests
cargo fmt
46s
cargo fmt
ISA tests for simulator
1m 24s
ISA tests for simulator
full_recursion_fast
2h 0m
full_recursion_fast
risc_v_tests_delegations
1m 14s
risc_v_tests_delegations
circuits_generated
4m 0s
circuits_generated
build_cli_no_verifiers
13m 4s
build_cli_no_verifiers
verification_example
verification_example
oh_bender_incremental_proofs
oh_bender_incremental_proofs
full_recursion
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 90 warnings
cargo fmt
Process completed with exit code 1.
build_verifier
The self-hosted runner lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
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: 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: 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: 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: 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: 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: 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/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/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:58fbf68e158858a8ffb55fe4a66d1bd46c2ae4444cbe4017abd30382a7196c75
cli_512
5.19 MB
sha256:bbcfc1e748a7cfbbbbc4ebb4c7618a65f14303d11d095fbb7dbe8b447af99067
cli_with_verify
9.2 MB
sha256:2c391bf29879c13ed0fcc7adeebf4854716a5b611dc82701c3c85502fb17bda8