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`

build_cli_with_verify

Process completed with exit code 101.

build_cli_with_verify: tools/cli/src/main.rs#L649

cannot find function `verify_recursion_layer` in crate `full_statement_verifier`

build_cli_with_verify: tools/cli/src/main.rs#L620

cannot find function `verify_recursion_layer` in crate `full_statement_verifier`

build_cli_with_verify: tools/cli/src/main.rs#L615

cannot find function `verify_base_layer` in crate `full_statement_verifier`

circuits_generated

Process completed with exit code 1.

tests: prover/src/tracer.rs#L6

unused import: `risc_v_simulator::cycle::status_registers::*`

tests: prover/src/tracer.rs#L5

unused import: `risc_v_simulator::abstractions::memory::*`

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: cs/src/one_row_compiler/executor_compilation.rs#L9

unused variable: `trace_len_log2`

tests: cs/src/one_row_compiler/executor_compilation.rs#L8

unused variable: `circuit_output`

tests: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49

value assigned to `imm` is never read

tests: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49

value assigned to `imm` is never read

tests: cs/src/machine/ops/unrolled/decoder/memory.rs#L43

unused variable: `opcode`

tests: cs/src/one_row_compiler/executor_compilation.rs#L19

unreachable statement

build_cli_with_verify: prover/src/tracer.rs#L6

unused import: `risc_v_simulator::cycle::status_registers::*`

build_cli_with_verify: prover/src/tracer.rs#L5

unused import: `risc_v_simulator::abstractions::memory::*`

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: cs/src/one_row_compiler/executor_compilation.rs#L9

unused variable: `trace_len_log2`

build_cli_with_verify: cs/src/one_row_compiler/executor_compilation.rs#L8

unused variable: `circuit_output`

build_cli_with_verify: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49

value assigned to `imm` is never read

build_cli_with_verify: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49

value assigned to `imm` is never read

build_cli_with_verify: cs/src/machine/ops/unrolled/decoder/memory.rs#L43

unused variable: `opcode`

build_cli_with_verify: cs/src/one_row_compiler/executor_compilation.rs#L19

unreachable statement

build_cli_no_verifiers_512: cs/src/one_row_compiler/executor_compilation.rs#L9

unused variable: `trace_len_log2`

build_cli_no_verifiers_512: cs/src/one_row_compiler/executor_compilation.rs#L8

unused variable: `circuit_output`

build_cli_no_verifiers_512: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49

value assigned to `imm` is never read

build_cli_no_verifiers_512: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49

value assigned to `imm` is never read

build_cli_no_verifiers_512: cs/src/machine/ops/unrolled/decoder/memory.rs#L43

unused variable: `opcode`

build_cli_no_verifiers_512: cs/src/one_row_compiler/executor_compilation.rs#L19

unreachable statement

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

circuits_generated: prover/src/tracer.rs#L6

unused import: `risc_v_simulator::cycle::status_registers::*`

circuits_generated: prover/src/tracer.rs#L5

unused import: `risc_v_simulator::abstractions::memory::*`

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: cs/src/one_row_compiler/executor_compilation.rs#L9

unused variable: `trace_len_log2`

circuits_generated: cs/src/one_row_compiler/executor_compilation.rs#L8

unused variable: `circuit_output`

circuits_generated: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49

value assigned to `imm` is never read

circuits_generated: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49

value assigned to `imm` is never read

circuits_generated: cs/src/machine/ops/unrolled/decoder/memory.rs#L43

unused variable: `opcode`

circuits_generated: cs/src/one_row_compiler/executor_compilation.rs#L19

unreachable statement

build_cli_no_verifiers: prover/src/tracer.rs#L6

unused import: `risc_v_simulator::cycle::status_registers::*`

build_cli_no_verifiers: prover/src/tracer.rs#L5

unused import: `risc_v_simulator::abstractions::memory::*`

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: cs/src/one_row_compiler/executor_compilation.rs#L9

unused variable: `trace_len_log2`

build_cli_no_verifiers: cs/src/one_row_compiler/executor_compilation.rs#L8

unused variable: `circuit_output`

build_cli_no_verifiers: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49

value assigned to `imm` is never read

build_cli_no_verifiers: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49

value assigned to `imm` is never read

build_cli_no_verifiers: cs/src/machine/ops/unrolled/decoder/memory.rs#L43

unused variable: `opcode`

build_cli_no_verifiers: cs/src/one_row_compiler/executor_compilation.rs#L19

unreachable statement

full_recursion_fast: prover/src/tracer.rs#L6

unused import: `risc_v_simulator::cycle::status_registers::*`

full_recursion_fast: prover/src/tracer.rs#L5

unused import: `risc_v_simulator::abstractions::memory::*`

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/one_row_compiler/executor_compilation.rs#L9

unused variable: `trace_len_log2`

full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L8

unused variable: `circuit_output`

full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49

value assigned to `imm` is never read

full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49

value assigned to `imm` is never read

full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory.rs#L43

unused variable: `opcode`

full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L19

unreachable statement

full_recursion_fast: prover/src/tracer.rs#L6

unused import: `risc_v_simulator::cycle::status_registers::*`

full_recursion_fast: prover/src/tracer.rs#L5

unused import: `risc_v_simulator::abstractions::memory::*`

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/one_row_compiler/executor_compilation.rs#L9

unused variable: `trace_len_log2`

full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L8

unused variable: `circuit_output`

full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49

value assigned to `imm` is never read

full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49

value assigned to `imm` is never read

full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory.rs#L43

unused variable: `opcode`

full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L19

unreachable statement

full_recursion_fast: prover/src/tracer.rs#L6

unused import: `risc_v_simulator::cycle::status_registers::*`

full_recursion_fast: prover/src/tracer.rs#L5

unused import: `risc_v_simulator::abstractions::memory::*`

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/one_row_compiler/executor_compilation.rs#L9

unused variable: `trace_len_log2`

full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L8

unused variable: `circuit_output`

full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_word_only.rs#L49

value assigned to `imm` is never read

full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory_subword_only.rs#L49

value assigned to `imm` is never read

full_recursion_fast: cs/src/machine/ops/unrolled/decoder/memory.rs#L43

unused variable: `opcode`

full_recursion_fast: cs/src/one_row_compiler/executor_compilation.rs#L19

unreachable statement

Artifacts

Produced during runtime

Name	Size	Digest
cli	4.01 MB	`sha256:0e9776a5421c19d80ba1e9c66762e442fcfa6e94ed84af968e13b54a9bf5a4ea`
cli_512	3.98 MB	`sha256:0007269306a96d973d7d075b101a3468adff7d90f0ca84e0abb91a84c44e0a1a`

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(gpu_prover): implement low VRAM mode #802

Summary

feat(gpu_prover): implement low VRAM mode #802

Uh oh!

ci.yml

Annotations

Artifacts