List of all items

Structs

• circuit::AssignedCell
• circuit::Cell
• circuit::NamespacedLayouter
• circuit::Region
• circuit::RegionIndex
• circuit::SimpleFloorPlanner
• circuit::Table
• circuit::Value
• circuit::floor_planner::V1
• circuit::floor_planner::V1Pass
• circuit::floor_planner::single_pass::SimpleFloorPlanner
• circuit::floor_planner::single_pass::SingleChipLayouter
• circuit::floor_planner::v1::AssignmentPass
• circuit::floor_planner::v1::MeasurementPass
• circuit::floor_planner::v1::V1
• circuit::floor_planner::v1::V1Pass
• dev::CircuitLayout
• dev::MockProver
• dev::cost_model::CostOptions
• dev::cost_model::Lookup
• dev::cost_model::ModelCircuit
• dev::cost_model::Permutation
• dev::cost_model::Poly
• dev::cost_model::Shuffle
• dev::metadata::Column
• dev::metadata::Constraint
• dev::metadata::Gate
• dev::metadata::Region
• dev::metadata::VirtualCell
• plonk::Advice
• plonk::Challenge
• plonk::Column
• plonk::ConstraintSystem
• plonk::ConstraintSystemMid
• plonk::Constraints
• plonk::FirstPhase
• plonk::Fixed
• plonk::FixedQuery
• plonk::Instance
• plonk::ProvingKey
• plonk::SecondPhase
• plonk::Selector
• plonk::TableColumn
• plonk::ThirdPhase
• plonk::VerifyingKey
• plonk::VirtualCells
• poly::EvaluationDomain
• poly::Rotation
• poly::commitment::Blind
• poly::kzg::commitment::KZGCommitmentScheme
• poly::kzg::commitment::ParamsKZG
• poly::kzg::commitment::ParamsVerifierKZG
• 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

Enums

• SerdeFormat
• dev::CellValue
• dev::FailureLocation
• dev::InstanceValue
• dev::VerifyFailure
• dev::cost_model::CommitmentScheme
• plonk::Any
• plonk::Assigned
• plonk::Error
• plonk::ErrorBack
• plonk::ErrorFront
• plonk::Expression

Traits

• arithmetic::CurveAffine
• arithmetic::CurveExt
• arithmetic::Field
• circuit::Chip
• circuit::Layouter
• plonk::Assignment
• plonk::Circuit
• plonk::ColumnType
• plonk::FloorPlanner
• plonk::Phase
• 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::parallelize
• dev::circuit_dot_graph
• dev::cost_model::from_circuit_to_cost_model_options
• dev::cost_model::from_circuit_to_model_circuit
• plonk::create_proof
• plonk::create_proof_with_engine
• plonk::keygen_pk
• plonk::keygen_pk_custom
• plonk::keygen_vk
• plonk::keygen_vk_custom
• plonk::pk_read
• plonk::verify_proof_multi
• plonk::vk_read