Crate plonky2

Modules

• 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.