Module dusk_plonk::circuit [−][src]
Expand description
Tools & traits for PLONK circuits
Structs
| PublicInputValue | Structure that represents a PLONK Circuit Public Input converted into it’s
&[ |
| 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 | Trait that should be implemented for any circuit function to provide to it the capabilities of automatically being able to generate, and verify proofs as well as compile the circuit. |
Functions
| verify_proof | Verifies a proof using the provided |