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.