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.