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.