Crate halo2_proofs

Legacy halo2 API that wraps the frontend-backend split API. This crate doesn’t implement any core functionality, it just imports from the other crates and offers the legacy API in the same module structure so that projects depending on halo2 can update their dependency towards it without breaking.

Re-exports

• pub use halo2curves;

Modules

• arithmetic
  This module provides common utilities, traits and structures for group, field and polynomial arithmetic.
• circuit
  Traits and structs for implementing circuit components.
• dev
  Tools for developing circuits.
• plonk
  This module provides an implementation of a variant of (Turbo)PLONK that is designed specifically for the polynomial commitment scheme described in the Halo paper.
• poly
  Contains utilities for performing arithmetic over univariate polynomials in various forms, including computing commitments to them and provably opening the committed polynomials at arbitrary points.
• transcript
  This module contains utilities and traits for dealing with Fiat-Shamir transcripts.

Enums

• SerdeFormat
  This enum specifies how various types are serialized and deserialized.