List of all items

Structs

• arithmetic::Coordinates
• circuit::AssignedCell
• circuit::Cell
• circuit::NamespacedLayouter
• circuit::Region
• circuit::RegionIndex
• circuit::RegionStart
• circuit::SimpleFloorPlanner
• circuit::Table
• circuit::Value
• circuit::floor_planner::V1
• circuit::floor_planner::V1Pass
• circuit::layouter::RegionShape
• dev::CircuitGates
• dev::CircuitLayout
• dev::MockProver
• dev::TracingFloorPlanner
• dev::cost::CircuitCost
• dev::cost::MarginalProofSize
• dev::cost::ProofSize
• dev::metadata::Column
• dev::metadata::Constraint
• dev::metadata::Gate
• dev::metadata::Region
• dev::metadata::VirtualCell
• plonk::Advice
• plonk::AdviceQuery
• plonk::BatchVerifier
• plonk::Column
• plonk::Constraint
• plonk::ConstraintSystem
• plonk::Constraints
• plonk::Fixed
• plonk::FixedQuery
• plonk::Instance
• plonk::InstanceQuery
• plonk::PinnedConstraintSystem
• plonk::PinnedVerificationKey
• plonk::ProvingKey
• plonk::Selector
• plonk::SingleVerifier
• plonk::TableColumn
• plonk::VerifyingKey
• plonk::VirtualCells
• poly::Coeff
• poly::EvaluationDomain
• poly::ExtendedLagrangeCoeff
• poly::LagrangeCoeff
• poly::PinnedEvaluationDomain
• poly::Polynomial
• poly::Rotation
• poly::commitment::Accumulator
• poly::commitment::Blind
• poly::commitment::Guard
• poly::commitment::MSM
• poly::commitment::Params
• poly::multiopen::ProverQuery
• poly::multiopen::VerifierQuery
• transcript::Blake2bRead
• transcript::Blake2bWrite
• transcript::Challenge255
• transcript::ChallengeScalar

Enums

• circuit::layouter::RegionColumn
• dev::FailureLocation
• dev::VerifyFailure
• plonk::Any
• plonk::Assigned
• plonk::Error
• plonk::Expression
• poly::Error

Traits

• arithmetic::CurveAffine
• arithmetic::CurveExt
• arithmetic::FftGroup
• arithmetic::Field
• circuit::Chip
• circuit::Layouter
• circuit::layouter::RegionLayouter
• circuit::layouter::TableLayouter
• plonk::Assignment
• plonk::Circuit
• plonk::ColumnType
• plonk::FloorPlanner
• plonk::VerificationStrategy
• poly::Basis
• transcript::EncodedChallenge
• transcript::Transcript
• transcript::TranscriptRead
• transcript::TranscriptWrite

Functions

• arithmetic::best_fft
• arithmetic::best_multiexp
• arithmetic::compute_inner_product
• arithmetic::eval_polynomial
• arithmetic::kate_division
• arithmetic::lagrange_interpolate
• arithmetic::parallelize
• arithmetic::recursive_butterfly_arithmetic
• arithmetic::small_multiexp
• dev::circuit_dot_graph
• plonk::create_proof
• plonk::keygen_pk
• plonk::keygen_vk
• plonk::verify_proof
• poly::commitment::create_proof
• poly::commitment::verify_proof
• poly::multiopen::create_proof
• poly::multiopen::verify_proof