List of all items
Structs
- circuit::AssignedCell
- circuit::Cell
- circuit::NamespacedLayouter
- circuit::Region
- circuit::RegionIndex
- circuit::RegionStart
- circuit::SimpleFloorPlanner
- circuit::SimpleTableLayouter
- circuit::Table
- circuit::Value
- circuit::layouter::RegionShape
- dev::CircuitGates
- dev::MockProver
- dev::TracingFloorPlanner
- dev::metadata::Column
- dev::metadata::Constraint
- dev::metadata::Gate
- dev::metadata::Region
- dev::metadata::VirtualCell
- fft::recursive::FFTData
- fft::recursive::FFTStage
- plonk::Advice
- plonk::AdviceQuery
- plonk::BatchVerifier
- plonk::Challenge
- plonk::Column
- plonk::Constraint
- plonk::ConstraintSystem
- plonk::Constraints
- plonk::FirstPhase
- plonk::Fixed
- plonk::FixedQuery
- plonk::Gate
- plonk::Instance
- plonk::InstanceQuery
- plonk::PinnedConstraintSystem
- plonk::PinnedVerificationKey
- plonk::ProvingKey
- plonk::SecondPhase
- plonk::Selector
- plonk::TableColumn
- plonk::ThirdPhase
- plonk::VerifyingKey
- plonk::VirtualCell
- plonk::VirtualCells
- plonk::permutation::Argument
- plonk::permutation::Assembly
- plonk::permutation::VerifyingKey
- poly::Coeff
- poly::EvaluationDomain
- poly::ExtendedLagrangeCoeff
- poly::LagrangeCoeff
- poly::PinnedEvaluationDomain
- poly::Polynomial
- poly::ProverQuery
- poly::Rotation
- poly::VerifierQuery
- poly::commitment::Blind
- poly::ipa::commitment::IPACommitmentScheme
- poly::ipa::commitment::ParamsIPA
- poly::ipa::msm::MSMIPA
- poly::ipa::multiopen::ProverIPA
- poly::ipa::multiopen::VerifierIPA
- poly::ipa::strategy::Accumulator
- poly::ipa::strategy::AccumulatorStrategy
- poly::ipa::strategy::GuardIPA
- poly::ipa::strategy::SingleStrategy
- poly::kzg::commitment::KZGCommitmentScheme
- poly::kzg::commitment::ParamsKZG
- poly::kzg::msm::DualMSM
- poly::kzg::msm::MSMKZG
- poly::kzg::multiopen::ProverGWC
- poly::kzg::multiopen::ProverSHPLONK
- poly::kzg::multiopen::VerifierGWC
- poly::kzg::multiopen::VerifierSHPLONK
- poly::kzg::strategy::AccumulatorStrategy
- poly::kzg::strategy::GuardKZG
- poly::kzg::strategy::SingleStrategy
- transcript::Blake2bRead
- transcript::Blake2bWrite
- transcript::Challenge255
- transcript::ChallengeScalar
- transcript::Keccak256Read
- transcript::Keccak256Write
Enums
- SerdeFormat
- circuit::layouter::RegionColumn
- dev::AdviceCellValue
- dev::CellValue
- dev::FailureLocation
- dev::VerifyFailure
- plonk::Any
- plonk::Assigned
- plonk::Error
- plonk::Expression
- plonk::TableError
- poly::Error
Traits
- arithmetic::CurveAffine
- arithmetic::CurveExt
- arithmetic::FftGroup
- arithmetic::Field
- circuit::Chip
- circuit::Layouter
- circuit::TableLayouter
- circuit::layouter::RegionLayouter
- circuit::layouter::SyncDeps
- circuit::layouter::TableLayouter
- fft::parallel::CurveAffine
- fft::parallel::CurveExt
- fft::parallel::Field
- fft::recursive::CurveAffine
- fft::recursive::CurveExt
- fft::recursive::Field
- plonk::Assignment
- plonk::Circuit
- plonk::ColumnType
- plonk::FloorPlanner
- plonk::Phase
- poly::Basis
- poly::Guard
- poly::VerificationStrategy
- poly::commitment::CommitmentScheme
- poly::commitment::MSM
- poly::commitment::Params
- poly::commitment::ParamsProver
- poly::commitment::ParamsVerifier
- poly::commitment::Prover
- poly::commitment::Verifier
- transcript::EncodedChallenge
- transcript::Transcript
- transcript::TranscriptRead
- transcript::TranscriptReadBuffer
- transcript::TranscriptWrite
- transcript::TranscriptWriterBuffer
Functions
- arithmetic::best_fft
- arithmetic::best_multiexp
- arithmetic::bitreverse
- arithmetic::compute_inner_product
- arithmetic::eval_polynomial
- arithmetic::g_to_lagrange
- arithmetic::kate_division
- arithmetic::lagrange_interpolate
- arithmetic::log2_floor
- arithmetic::parallelize
- arithmetic::small_multiexp
- fft::baseline::fft
- fft::fft
- fft::parallel::fft
- fft::recursive::fft
- plonk::create_proof
- plonk::keygen_pk
- plonk::keygen_pk2
- plonk::keygen_pk_impl
- plonk::keygen_vk
- plonk::keygen_vk_custom
- plonk::verify_proof
- poly::ipa::commitment::create_proof
- poly::ipa::commitment::verify_proof