Crate plonky2 

Modules

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.

Macros

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.