Skip to content
Rust CI

fix: made metadata more similar to program proof, avoid second recursion #10

Sign in to view logs

fix: made metadata more similar to program proof, avoid second recursion

fix: made metadata more similar to program proof, avoid second recursion #10

Triggered via pull request May 24, 2025 22:34
@mm-zkmm-zk
synchronize #2
mmzk_0524_small_fixes_to_cli
Status Success
Total duration 1h 0m 12s
Artifacts 4

ci.yml

on: pull_request
build_cli_with_verify
5m 39s
build_cli_with_verify
build_verifier
1m 52s
build_verifier
build_cli_no_verifiers_512
2m 36s
build_cli_no_verifiers_512
tests
1m 11s
tests
cargo fmt
24s
cargo fmt
ISA tests
58m 45s
ISA tests
full_recursion_fast
2m 10s
full_recursion_fast
risc_v_tests_delegations
48s
risc_v_tests_delegations
circuits_generated
2m 6s
circuits_generated
build_cli_no_verifiers
3m 44s
build_cli_no_verifiers
basic_example
1m 55s
basic_example
large_example
3m 23s
large_example
delegation_example
3m 38s
delegation_example
verification_example
5m 10s
verification_example
full_recursion
4m 44s
full_recursion
Fit to window
Zoom out
Zoom in

Annotations

90 warnings
tests: cs/src/cs/witness_placer/graph_description/boolean.rs#L113
unused variable: `place`
tests: cs/src/cs/witness_placer/graph_description/field.rs#L137
unused variable: `place`
tests: cs/src/cs/witness_placer/graph_description/field.rs#L158
unused variable: `placeholder`
tests: cs/src/cs/witness_placer/graph_description/field.rs#L159
unused variable: `subindex`
tests: cs/src/cs/witness_placer/graph_description/field.rs#L195
unused variable: `lookup_idx`
tests: cs/src/cs/witness_placer/graph_description/field.rs#L196
unused variable: `output_idx`
tests: cs/src/cs/witness_placer/graph_description/field.rs#L201
unused variable: `lookup_idx`
tests: cs/src/cs/witness_placer/graph_description/field.rs#L202
unused variable: `output_idx`
tests: cs/src/cs/witness_placer/graph_description/integer.rs#L116
unused variable: `place`
tests: cs/src/cs/witness_placer/graph_description/integer.rs#L117
unused variable: `place`
circuits_generated: cs/src/cs/witness_placer/graph_description/boolean.rs#L113
unused variable: `place`
circuits_generated: cs/src/cs/witness_placer/graph_description/field.rs#L137
unused variable: `place`
circuits_generated: cs/src/cs/witness_placer/graph_description/field.rs#L158
unused variable: `placeholder`
circuits_generated: cs/src/cs/witness_placer/graph_description/field.rs#L159
unused variable: `subindex`
circuits_generated: cs/src/cs/witness_placer/graph_description/field.rs#L195
unused variable: `lookup_idx`
circuits_generated: cs/src/cs/witness_placer/graph_description/field.rs#L196
unused variable: `output_idx`
circuits_generated: cs/src/cs/witness_placer/graph_description/field.rs#L201
unused variable: `lookup_idx`
circuits_generated: cs/src/cs/witness_placer/graph_description/field.rs#L202
unused variable: `output_idx`
circuits_generated: cs/src/cs/witness_placer/graph_description/integer.rs#L116
unused variable: `place`
circuits_generated: cs/src/cs/witness_placer/graph_description/integer.rs#L117
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/boolean.rs#L113
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L137
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L158
unused variable: `placeholder`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L159
unused variable: `subindex`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L195
unused variable: `lookup_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L196
unused variable: `output_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L201
unused variable: `lookup_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L202
unused variable: `output_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/integer.rs#L116
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/integer.rs#L117
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/boolean.rs#L113
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L137
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L158
unused variable: `placeholder`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L159
unused variable: `subindex`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L195
unused variable: `lookup_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L196
unused variable: `output_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L201
unused variable: `lookup_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L202
unused variable: `output_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/integer.rs#L116
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/integer.rs#L117
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/boolean.rs#L113
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L137
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L158
unused variable: `placeholder`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L159
unused variable: `subindex`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L195
unused variable: `lookup_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L196
unused variable: `output_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L201
unused variable: `lookup_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/field.rs#L202
unused variable: `output_idx`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/integer.rs#L116
unused variable: `place`
full_recursion_fast: cs/src/cs/witness_placer/graph_description/integer.rs#L117
unused variable: `place`
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/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/ext_avx_512_impl.rs#L58
use of deprecated method `rand::Rng::gen_range`: Renamed to `random_range`
build_cli_no_verifiers_512: cs/src/cs/witness_placer/graph_description/boolean.rs#L113
unused variable: `place`
build_cli_no_verifiers_512: cs/src/cs/witness_placer/graph_description/field.rs#L137
unused variable: `place`
build_cli_no_verifiers_512: cs/src/cs/witness_placer/graph_description/field.rs#L158
unused variable: `placeholder`
build_cli_no_verifiers_512: cs/src/cs/witness_placer/graph_description/field.rs#L159
unused variable: `subindex`
build_cli_no_verifiers_512: cs/src/cs/witness_placer/graph_description/field.rs#L195
unused variable: `lookup_idx`
build_cli_no_verifiers_512: cs/src/cs/witness_placer/graph_description/field.rs#L196
unused variable: `output_idx`
build_cli_no_verifiers_512: cs/src/cs/witness_placer/graph_description/field.rs#L201
unused variable: `lookup_idx`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/boolean.rs#L113
unused variable: `place`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/field.rs#L137
unused variable: `place`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/field.rs#L158
unused variable: `placeholder`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/field.rs#L159
unused variable: `subindex`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/field.rs#L195
unused variable: `lookup_idx`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/field.rs#L196
unused variable: `output_idx`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/field.rs#L201
unused variable: `lookup_idx`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/field.rs#L202
unused variable: `output_idx`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/integer.rs#L116
unused variable: `place`
build_cli_no_verifiers: cs/src/cs/witness_placer/graph_description/integer.rs#L117
unused variable: `place`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/boolean.rs#L113
unused variable: `place`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/field.rs#L137
unused variable: `place`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/field.rs#L158
unused variable: `placeholder`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/field.rs#L159
unused variable: `subindex`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/field.rs#L195
unused variable: `lookup_idx`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/field.rs#L196
unused variable: `output_idx`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/field.rs#L201
unused variable: `lookup_idx`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/field.rs#L202
unused variable: `output_idx`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/integer.rs#L116
unused variable: `place`
build_cli_with_verify: cs/src/cs/witness_placer/graph_description/integer.rs#L117
unused variable: `place`
ISA tests: cs/src/cs/witness_placer/graph_description/boolean.rs#L113
unused variable: `place`
ISA tests: cs/src/cs/witness_placer/graph_description/field.rs#L137
unused variable: `place`
ISA tests: cs/src/cs/witness_placer/graph_description/field.rs#L158
unused variable: `placeholder`
ISA tests: cs/src/cs/witness_placer/graph_description/field.rs#L159
unused variable: `subindex`
ISA tests: cs/src/cs/witness_placer/graph_description/field.rs#L195
unused variable: `lookup_idx`
ISA tests: cs/src/cs/witness_placer/graph_description/field.rs#L196
unused variable: `output_idx`
ISA tests: cs/src/cs/witness_placer/graph_description/field.rs#L201
unused variable: `lookup_idx`
ISA tests: cs/src/cs/witness_placer/graph_description/field.rs#L202
unused variable: `output_idx`
ISA tests: cs/src/cs/witness_placer/graph_description/integer.rs#L116
unused variable: `place`
ISA tests: cs/src/cs/witness_placer/graph_description/integer.rs#L117
unused variable: `place`

Artifacts

Produced during runtime
Name Size Digest
cli Expired
23.2 MB
sha256:b6e622b11b5c24d91fd9ad9b296047c84f02f72ea7a65e06da04fe12b32ef164
cli_512 Expired
23 MB
sha256:9484d498b687b5acb9a4edf834d827f2a8c1cee023157772937e6cb0dc5844ab
cli_with_verify Expired
9.78 MB
sha256:b5333903607bae10aa89c748755e47d465cb0cc847322d07701364a54b9dbcc8
verifier Expired
619 KB
sha256:b736a823936fdc75f5bb647504309e609e823bb8f526043959ca394738167f6b