Module dusk_plonk::circuit [−][src]
Tools & traits for PLONK circuits
Structs
| PublicInputValue | Structure that represents a PLONK Circuit Public Input structure converted into it’s &BlsScalar repr. |
| VerifierData | Collection of structs/objects that the Verifier will use in order to
de/serialize data needed for Circuit proof verification.
This structure can be seen as a link between the |
Traits
| Circuit | Circuit representation for a gadget with all of the tools that it should implement. |
Functions
| verify_proof | Verifies a proof using the provided |