Crate plonky2

Re-exports§

batch_fri
field: Re-export of plonky2_field.
fri: Fast Reed-Solomon IOP (FRI) protocol.
gadgets: Helper gadgets providing additional methods to CircuitBuilder, to ease circuit creation.
gates: plonky2 custom gates.
hash: plonky2 hashing logic for in-circuit hashing and Merkle proof verification as well as specific hash functions implementation.
iop: Logic common to multiple IOPs.
plonk: plonky2 proving system.
recursion: Recursion logic for verifying recursively plonky2 circuits.
util: Utility module for helper methods and plonky2 serialization logic.

get_gate_tag_impl
get_generator_tag_impl
impl_gate_serializer: Macro implementing the GateSerializer trait. To serialize a list of gates used for a circuit, this macro should be called with a struct on which to implement this as first argument, followed by all the targeted gates.
impl_generator_serializer: Macro implementing the WitnessGeneratorSerializer trait. To serialize a list of generators used for a circuit, this macro should be called with a struct on which to implement this as first argument, followed by all the targeted generators.
read_gate_impl
read_generator_impl
timed: Creates a named scope; useful for debugging.
with_context: Creates a named scope; useful for debugging.

CompressedProofWithPublicInputs
PoseidonGoldilocksConfig: Configuration using Poseidon over the Goldilocks field.
Proof
ProofWithPublicInputs
VerifierCircuitData: Circuit data required by the verifier.
VerifierOnlyCircuitData: Circuit data required by the verifier only (not the prover).

D: The extension degree for the field extension (D=2 provides 100-bits of security)

verify: Re-export verification types from the verifier crate (canonical source)

C: The standard Plonky2 configuration using Poseidon hash over Goldilocks field
CommonCircuitData: Type alias for backward compatibility.
F: The Goldilocks prime field