Module halo2

Halo2 loader Loader implementation for generating verifier in halo2_proofs circuit.

Re-exports

• pub use halo2_ecc;

Structs

• EcPoint
  Elliptic curve point
• Halo2Loader
  Loader implementation for generating verifier in halo2_proofs circuit.
• Scalar
  Field element

Traits

• EccInstructions
  Instructions to handle elliptic curve point operations.
• IntegerInstructions
  Instructions to handle field element operations.
• Valuetools
  Helper methods when dealing with iterator of Value.