Merging Oles changes that add compression and snark generation #18
mm-zkAnnotations
20 warnings
|
tests:
src/lib.rs#L3
the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
tests:
src/circuits/risc_wrapper.rs#L20
unused imports: `And8Table` and `create_and8_table`
|
|
tests:
src/circuits/risc_wrapper.rs#L32
unused import: `FINAL_RISC_CIRCUIT_AUX_REGISTERS_VALUES`
|
|
tests:
src/circuits/risc_wrapper.rs#L238
variable does not need to be mutable
|
|
tests:
src/transcript/mod.rs#L305
unused variable: `witness`
|
|
tests:
src/wrapper_inner_verifier/imports/final_state_constants.rs#L11
constant `FINAL_RISC_CIRCUIT_AUX_REGISTERS_VALUES` is never used
|
|
tests:
src/wrapper_utils/prover_structs.rs#L254
field `lazy_init_boundary_values` is never read
|
|
tests:
src/wrapper_utils/prover_structs.rs#L344
field `delegation_argument_accumulator_sum` is never read
|
|
tests:
src/wrapper_utils/verifier_traits.rs#L24
function `read_mersenne_element` is never used
|
|
tests:
src/circuits/risc_wrapper.rs#L304
the type `reduced_machine_for_wrapper_verifier::verifier_common::ProofOutput<TREE_CAP_SIZE, NUM_COSETS, NUM_DELEGATION_CHALLENGES, NUM_AUX_BOUNDARY_VALUES>` does not permit being left uninitialized
|
|
tests:
src/lib.rs#L3
the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
|
|
tests:
src/circuits/risc_wrapper.rs#L20
unused imports: `And8Table` and `create_and8_table`
|
|
tests:
src/circuits/risc_wrapper.rs#L32
unused import: `FINAL_RISC_CIRCUIT_AUX_REGISTERS_VALUES`
|
|
tests:
src/circuits/risc_wrapper.rs#L238
variable does not need to be mutable
|
|
tests:
src/transcript/mod.rs#L305
unused variable: `witness`
|
|
tests:
src/wrapper_inner_verifier/imports/final_state_constants.rs#L11
constant `FINAL_RISC_CIRCUIT_AUX_REGISTERS_VALUES` is never used
|
|
tests:
src/wrapper_utils/prover_structs.rs#L254
field `lazy_init_boundary_values` is never read
|
|
tests:
src/wrapper_utils/prover_structs.rs#L344
field `delegation_argument_accumulator_sum` is never read
|
|
tests:
src/wrapper_utils/verifier_traits.rs#L24
function `read_mersenne_element` is never used
|
|
tests:
src/circuits/risc_wrapper.rs#L304
the type `reduced_machine_for_wrapper_verifier::verifier_common::ProofOutput<TREE_CAP_SIZE, NUM_COSETS, NUM_DELEGATION_CHALLENGES, NUM_AUX_BOUNDARY_VALUES>` does not permit being left uninitialized
|