Crate halo2_proofs

halo2_proofs

Re-exports

• pub use pasta_curves as pasta;

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.