MCPcopy Create free account

hub / github.com/ZK-Garage/plonk / types & classes

Types & classes64 in github.com/ZK-Garage/plonk

⨍ Functions 420◇ Types & classes 64
↓ 29 callersClassMatrix
plonk-hashing/src/poseidon/matrix.rs:7
↓ 4 callersClassMultiSet
plonk-core/src/lookup/multiset.rs:31
↓ 2 callersClassVariable
plonk-core/src/constraint_system/variable.rs:15
ClassArithmeticGate
plonk-core/src/constraint_system/arithmetic.rs:14
ClassBenchCircuit
benches/plonk.rs:26
ClassCAVals
Values needed for the computation of the Curve Addition gate constraint.
plonk-core/src/proof_system/widget/ecc/curve_addition.rs:19
InterfaceCircuit
Trait that should be implemented for any circuit function to provide to it the capabilities of automatically being able to generate, and verify proofs
plonk-core/src/circuit.rs:208
ClassCurveAddition
plonk-core/src/proof_system/widget/ecc/curve_addition.rs:50
ClassCustomEvaluations
plonk-core/src/proof_system/linearisation_poly.rs:110
InterfaceCustomValues
Set of values needed for a custom gate
plonk-core/src/proof_system/widget/mod.rs:29
EnumError
plonk-core/src/error.rs:11
InterfaceEvaluationDomainExt
Evaluation Domain Extension Trait
plonk-core/src/util.rs:24
ClassFBSMVals
Values needed for the computation of the Fixed Base Multiplication gate constraint.
plonk-core/src/proof_system/widget/ecc/fixed_base_scalar_mul.rs:32
ClassFixedBaseScalarMul
plonk-core/src/proof_system/widget/ecc/fixed_base_scalar_mul.rs:75
InterfaceGateConstraint
Gate Constraint
plonk-core/src/proof_system/widget/mod.rs:61
ClassGrainLFSR
adapted from: https://github.com/filecoin-project/neptune/blob/master/src/round_constants.rs
plonk-hashing/src/poseidon/round_constant.rs:84
InterfaceHomomorphicCommitment
A homomorphic polynomial commitment
plonk-core/src/commitment.rs:8
ClassLine
A parsed line from `parameters/round_numbers.txt`.
plonk-hashing/src/poseidon/round_numbers.rs:142
ClassLogic
plonk-core/src/proof_system/widget/logic.rs:54
ClassLogicVals
Values needed for the computation of the logic gate constraint.
plonk-core/src/proof_system/widget/logic.rs:18
ClassLookupEvaluations
plonk-core/src/proof_system/linearisation_poly.rs:76
ClassLookupTable
plonk-core/src/lookup/lookup_table.rs:18
ClassMdsMatrices
plonk-hashing/src/poseidon/mds.rs:7
ClassNativeSpecRef
plonk-hashing/src/poseidon/poseidon_ref.rs:241
ClassPermutation
plonk-core/src/permutation/mod.rs:27
ClassPermutationEvaluations
plonk-core/src/proof_system/linearisation_poly.rs:55
ClassPlonkSpecRef
plonk-hashing/src/poseidon/zprize_constraints.rs:315
ClassPlonkSpecRef
plonk-hashing/src/poseidon/poseidon_ref.rs:284
ClassPlonkSpecZZ
plonk-hashing/src/poseidon/zprize_constraints.rs:128
ClassPoint
plonk-core/src/constraint_system/ecc/mod.rs:23
ClassPoseidonConstants
plonk-hashing/src/poseidon/constants.rs:11
EnumPoseidonError
plonk-hashing/src/poseidon/mod.rs:13
ClassPoseidonRef
plonk-hashing/src/poseidon/poseidon_ref.rs:138
InterfacePoseidonRefSpec
plonk-hashing/src/poseidon/poseidon_ref.rs:12
ClassPoseidonZZRef
plonk-hashing/src/poseidon/zprize_constraints.rs:22
ClassPreprocessedLookupTable
plonk-core/src/lookup/preprocess.rs:18
ClassProof
plonk-core/src/proof_system/proof.rs:51
ClassProofEvaluations
plonk-core/src/proof_system/linearisation_poly.rs:145
ClassProver
Abstraction structure designed to construct a circuit and generate [`Proof`]s for it.
plonk-core/src/proof_system/prover.rs:32
ClassProverKey
plonk-core/src/proof_system/permutation.rs:30
ClassProverKey
plonk-core/src/proof_system/widget/mod.rs:301
ClassProverKey
plonk-core/src/proof_system/widget/arithmetic.rs:22
ClassProverKey
plonk-core/src/proof_system/widget/lookup.rs:21
ClassPublicInputs
plonk-core/src/proof_system/pi.rs:30
ClassRange
plonk-core/src/proof_system/widget/range.rs:37
ClassRangeVals
Values needed for the computation of the range gate constraint.
plonk-core/src/proof_system/widget/range.rs:17
ClassSelectorPolynomials
Struct that contains all of the selector and permutation [`Polynomial`]s in PLONK. [`Polynomial`]: DensePolynomial
plonk-core/src/proof_system/preprocess.rs:30
ClassSparseMatrix
plonk-hashing/src/poseidon/mds.rs:124
ClassStandardComposer
plonk-core/src/constraint_system/composer.rs:57
ClassTestCircuit
examples/simple_circuit.rs:36
ClassTestCircuit
examples/example_poly.rs:38
ClassTestCircuit
plonk-core/src/circuit.rs:337
InterfaceTranscriptProtocol
Transcript adds an abstraction over the Merlin transcript For convenience
plonk-core/src/transcript.rs:16
ClassVerifier
Abstraction structure designed verify [`Proof`]s.
plonk-core/src/proof_system/verifier.rs:24
ClassVerifierData
plonk-core/src/circuit.rs:32
ClassVerifierKey
plonk-core/src/proof_system/permutation.rs:305
ClassVerifierKey
plonk-core/src/proof_system/widget/mod.rs:148
ClassVerifierKey
plonk-core/src/proof_system/widget/arithmetic.rs:112
ClassVerifierKey
plonk-core/src/proof_system/widget/lookup.rs:215
EnumWireData
plonk-core/src/constraint_system/variable.rs:29
ClassWireEvaluations
plonk-core/src/proof_system/linearisation_poly.rs:34
ClassWitnessTable
plonk-core/src/lookup/witness_table.rs:15
ClassWitnessValues
plonk-core/src/proof_system/widget/mod.rs:43
ClassWnafRound
plonk-core/src/constraint_system/ecc/curve_addition/fixed_base_gate.rs:17