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.