Crate halo2_proofs
source · [−]Expand description
Re-exports
pub use pasta_curves as pasta;
Modules
This module provides common utilities, traits and structures for group, field and polynomial arithmetic.
Traits and structs for implementing circuit components.
Tools for developing circuits.
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.
This module contains utilities and traits for dealing with Fiat-Shamir transcripts.