Module loader

Abstraction of field element and elliptic curve point for generic verifier implementation.

Modules

• evm
  EVM loader Loader implementation for generating yul code as EVM verifier.
• halo2
  Halo2 loader Loader implementation for generating verifier in halo2_proofs circuit.
• native
  Native (cpu) loader Loader implementation in native rust.

Traits

• EcPointLoader
  Elliptic curve point loader.
• LoadedEcPoint
  Loaded elliptic curve point.
• LoadedScalar
  Loaded field element.
• Loader
  EcPointLoader and ScalarLoader with some helper methods.
• ScalarLoader
  Field element loader.