Crate snark_verifier

Generic (S)NARK verifier.

Re-exports

pub use halo2_base;

pub use halo2_ecc;

Modules

cost

Cost estimation.

loader

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

pcs

Verifiers for polynomial commitment schemes.

system

Proof systems snark-verifier supports

util

Utilities.

verifier

Verifiers for (S)NARK.

Enums

Error

Error that could happen while verification.