Skip to content
Rust CI

feat: Eth proofs, 4MB, multi-prove, log23 verifier from stage 1 (#157) #653

Sign in to view logs

feat: Eth proofs, 4MB, multi-prove, log23 verifier from stage 1 (#157)

feat: Eth proofs, 4MB, multi-prove, log23 verifier from stage 1 (#157) #653

Triggered via push October 28, 2025 08:25
@mm-zkmm-zk
pushed 8ac6ac6
dev
Status Success
Total duration 2h 17m 14s
Artifacts 4

ci.yml

on: push
build_cli_with_verify
3m 42s
build_cli_with_verify
build_verifier
4m 36s
build_verifier
build_cli_no_verifiers_512
2m 57s
build_cli_no_verifiers_512
tests
3m 13s
tests
cargo fmt
33s
cargo fmt
ISA tests for simulator
1m 28s
ISA tests for simulator
full_recursion_fast
2h 15m
full_recursion_fast
risc_v_tests_delegations
1m 56s
risc_v_tests_delegations
circuits_generated
4m 45s
circuits_generated
build_cli_no_verifiers
3m 57s
build_cli_no_verifiers
basic_example
1m 47s
basic_example
large_example
3m 3s
large_example
delegation_example
3m 14s
delegation_example
verification_example
4m 50s
verification_example
oh_bender_incremental_proofs
1m 41s
oh_bender_incremental_proofs
full_recursion
4m 3s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

84 warnings
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_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::*`
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::*`
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_verifier: 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::*`
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.68 MB
sha256:b94df46d34d17e1f7f6a6fb555ef932b9b44ad3b883de732a10540fe1c744825
cli_512 Expired
5.64 MB
sha256:1e90510c8f2e66ec758a4fa03a6cb6e135786639fed00dfbcc304fb6d9a9f90f
cli_with_verify Expired
6.92 MB
sha256:0264e3af03bf26bc19fc9fade70ae268fddf783d2390eac1e8bed7d6d5ec857a
verifier Expired
681 KB
sha256:d565f187d9ac3f14498b713be50c6a6ef967c41fe7cbdb5aed2abc234f7ab541