Pod1introducer 1level recursion verifier in the RecursionCircuit & PlonkyPOD #9
Annotations
4 errors and 10 warnings
|
pex/src/lib.rs#L217
struct takes 5 generic arguments but 4 generic arguments were supplied
|
|
pex/src/lib.rs#L762
struct takes 5 generic arguments but 4 generic arguments were supplied
|
|
pex/src/lib.rs#L747
associated function takes 5 generic arguments but 4 generic arguments were supplied
|
|
|
|
pod2/src/pod/mod.rs#L25
unused imports: `C`, `D`, and `F`
|
|
pod2/src/pod/gadget/introducer.rs#L1
unused import: `anyhow`
|
|
pod2/src/pod/gadget/introducer.rs#L2
unused import: `hashbrown::HashMap`
|
|
pod2/src/pod/gadget/introducer.rs#L3
unused import: `plonky2::field::types::Field`
|
|
pod2/src/pod/gadget/introducer.rs#L5
unused imports: `BoolTarget` and `Target`
|
|
pod2/src/pod/gadget/introducer.rs#L6
unused import: `WitnessWrite`
|
|
pod2/src/pod/gadget/introducer.rs#L9
unused imports: `ProverCircuitData`, `VerifierCircuitData`, and `VerifierCircuitTarget`
|
|
pod2/src/pod/gadget/introducer.rs#L11
unused imports: `ProofWithPublicInputsTarget` and `ProofWithPublicInputs`
|
|
pod2/src/pod/gadget/introducer.rs#L12
unused import: `plonky2::recursion::dummy_circuit::cyclic_base_proof`
|
|
pod2/src/pod/gadget/introducer.rs#L13
unused import: `std::array`
|
The logs for this run have expired and are no longer available.
Loading