Crate halo2_proofs

source ·
Expand description

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.