From b94f0ff565a9c51bfda2ed5fb0d8bad93928f37d Mon Sep 17 00:00:00 2001 From: volhovm Date: Tue, 9 Jul 2024 18:46:15 +0000 Subject: [PATCH] deploy: 575fc2d4050970c1f597c700f5db22adce88bb2d --- .../implementors/core/clone/trait.Clone.js | 2 +- rustdoc/implementors/core/fmt/trait.Debug.js | 2 +- .../circuits/expr/trait.ColumnEnvironment.js | 2 +- .../circuits/expr/trait.ColumnEvaluations.js | 2 +- .../circuits/expr/trait.FormattedOutput.js | 2 +- rustdoc/ivc/prover/fn.prove.html | 2 +- rustdoc/ivc/prover/index.html | 2 +- .../capabilities/trait.ColAccessCap.html | 2 +- .../struct.ConstraintBuilderEnv.html | 6 ++--- .../column_env/struct.ColumnEnvironment.html | 24 +++++++++---------- rustdoc/kimchi_msm/columns/enum.Column.html | 2 +- rustdoc/kimchi_msm/expr/type.E.html | 2 +- .../kimchi_msm/logup/prover/struct.Env.html | 6 ++--- .../kimchi_msm/logup/struct.LogupWitness.html | 2 +- .../lookups/type.LookupWitness.html | 2 +- .../precomputed_srs/fn.get_bn254_srs.html | 2 +- .../struct.TestPairingSRS.html | 6 ++--- rustdoc/kimchi_msm/proof/struct.Proof.html | 4 ++-- .../proof/struct.ProofCommitments.html | 2 +- .../proof/struct.ProofEvaluations.html | 8 +++---- .../kimchi_msm/proof/struct.ProofInputs.html | 2 +- rustdoc/kimchi_msm/prover/fn.prove.html | 4 ++-- rustdoc/kimchi_msm/verifier/fn.verify.html | 4 ++-- rustdoc/src/ivc/prover.rs.html | 20 +++++++--------- 24 files changed, 55 insertions(+), 57 deletions(-) diff --git a/rustdoc/implementors/core/clone/trait.Clone.js b/rustdoc/implementors/core/clone/trait.Clone.js index 6345c88b00..93b47d3b41 100644 --- a/rustdoc/implementors/core/clone/trait.Clone.js +++ b/rustdoc/implementors/core/clone/trait.Clone.js @@ -3,7 +3,7 @@ "groupmap":[["impl<G: Clone + SWModelParameters> Clone for BWParameters<G>where\n G::BaseField: Clone,"]], "ivc":[["impl<const N_WIT: usize, G: Clone + KimchiCurve> Clone for ProofCommitments<N_WIT, G>"],["impl<G: Clone + KimchiCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> Clone for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>where\n G::ScalarField: Clone,"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone> Clone for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F>"],["impl Clone for IVCColumn"],["impl<const STATE_SIZE: usize, const NB_FULL_ROUND: usize, const NB_PARTIAL_ROUND: usize> Clone for PoseidonColumn<STATE_SIZE, NB_FULL_ROUND, NB_PARTIAL_ROUND>"],["impl Clone for PlonkSpongeConstantsIVC"],["impl Clone for PlonkishChallengeIter"],["impl Clone for ProverError"],["impl<const N_COL: usize, const N_FSEL: usize, F: Clone + Field, Evals: Clone> Clone for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>"],["impl Clone for PlonkSpongeConstantsIVC"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Clone + KimchiCurve, OpeningProof: Clone + OpenProof<G>> Clone for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof>where\n G::ScalarField: Clone,"],["impl<const STATE_SIZE: usize, const NB_FULL_ROUND: usize> Clone for PoseidonColumn<STATE_SIZE, NB_FULL_ROUND>"],["impl Clone for PlonkishChallenge"],["impl<const STATE_SIZE: usize, const NB_FULL_ROUND: usize> Clone for PoseidonColumn<STATE_SIZE, NB_FULL_ROUND>"],["impl<Ff: Clone> Clone for IVCLookupTable<Ff>"]], "kimchi":[["impl<G: Clone> Clone for TestSRS<G>"],["impl<C: Clone, Column: Clone> Clone for ExprInner<C, Column>"],["impl Clone for RotMode"],["impl Clone for Domain"],["impl<F: Clone + FftField> Clone for LookupShifts<F>"],["impl Clone for Traces"],["impl<G: Clone + AffineCurve, OpeningProof: Clone> Clone for ProverProof<G, OpeningProof>where\n G::ScalarField: Clone,"],["impl<E: Clone, Column: Clone> Clone for Linearization<E, Column>"],["impl<F: Clone + PrimeField> Clone for ColumnEvaluations<F>"],["impl<T: Clone> Clone for DisjointSet<T>"],["impl<F: Clone + FftField> Clone for LookupEvals<F>"],["impl<F: Clone> Clone for FullChallenge<F>"],["impl<G: Clone + AffineCurve> Clone for LookupCommitments<G>"],["impl<Column: Clone> Clone for Variable<Column>"],["impl Clone for ProverError"],["impl<F: Clone> Clone for GenericGateSpec<F>"],["impl<F: Clone> Clone for Alphas<F>"],["impl<Evals: Clone> Clone for PointEvaluations<Evals>"],["impl Clone for RuntimeTableSpec"],["impl<F: Clone + FftField> Clone for EvaluationDomains<F>"],["impl<T: Clone> Clone for LookupSelectors<T>"],["impl Clone for GateType"],["impl Clone for SnarkyRuntimeError"],["impl Clone for Column"],["impl<F: Clone> Clone for ForeignElement<F>"],["impl<CamlG: Clone, CamlF: Clone> Clone for CamlRecursionChallenge<CamlG, CamlF>"],["impl<G> Clone for RecursionChallenge<G>where\n G: AffineCurve + Clone,\n G::ScalarField: Clone,"],["impl Clone for FeatureFlags"],["impl<F: Clone + 'static> Clone for Constants<F>"],["impl<F: Clone + Field> Clone for Constants<F>"],["impl<F: Clone + FftField> Clone for LookupConstraintSystem<F>"],["impl<F: Clone> Clone for RuntimeTableCfg<F>"],["impl<F: Clone + Field> Clone for RandomOracles<F>"],["impl<CamlG: Clone> Clone for CamlLookupCommitments<CamlG>"],["impl<F: Clone> Clone for LookupConfiguration<F>"],["impl Clone for RowOffset"],["impl Clone for GateLookupTable"],["impl<SingleLookup: Clone, LookupTableID: Clone> Clone for JointLookup<SingleLookup, LookupTableID>"],["impl<F: Clone + FftField> Clone for WitnessEvals<F>"],["impl Clone for LookupTableID"],["impl<Field> Clone for SnarkyConstraintSystem<Field>where\n Field: PrimeField + Clone,"],["impl Clone for SnarkyCompilationError"],["impl<F: Clone + FftField> Clone for WitnessOverDomains<F>"],["impl<F: Clone + PrimeField> Clone for ConstraintSystem<F>"],["impl<F: Clone + FftField> Clone for LookupPolys<F>"],["impl<F: Clone + PrimeField> Clone for CircuitGate<F>"],["impl<F: Clone> Clone for RuntimeTable<F>"],["impl Clone for CircuitGateError"],["impl<F: Clone + PrimeField> Clone for Boolean<F>"],["impl<CamlF: Clone> Clone for CamlProofEvaluations<CamlF>"],["impl<F: Clone + FftField> Clone for DomainConstantEvaluations<F>"],["impl Clone for CacheId"],["impl Clone for FFOps"],["impl<G: Clone + CommitmentCurve> Clone for LookupVerifierIndex<G>"],["impl Clone for LookupPatterns"],["impl Clone for LookupError"],["impl<F: Clone> Clone for LookupTable<F>"],["impl Clone for FeatureFlag"],["impl Clone for SnarkyError"],["impl<Evals: Clone> Clone for ProofEvaluations<Evals>"],["impl<CamlG: Clone> Clone for CamlProverCommitments<CamlG>"],["impl<F> Clone for FieldVar<F>where\n F: PrimeField + Clone,"],["impl<F: Clone + PrimeField> Clone for EvaluatedColumnCoefficients<F>"],["impl Clone for Wire"],["impl<G: Clone + AffineCurve> Clone for ProverCommitments<G>"],["impl Clone for StoredSRSType"],["impl Clone for LookupPatternIter"],["impl<F: Clone> Clone for ConstantExprInner<F>"],["impl<F: Clone, Column: Clone> Clone for PolishToken<F, Column>"],["impl<F: Clone + FftField> Clone for WitnessShifts<F>"],["impl Clone for LookupFeatures"],["impl<F: Clone> Clone for SingleLookup<F>"],["impl Clone for VerifierIndexError"],["impl Clone for ArgumentType"],["impl Clone for DomainCreationError"],["impl Clone for LookupInfo"],["impl<T: Clone> Clone for Operations<T>"],["impl<G: Clone + KimchiCurve, OpeningProof: Clone + OpenProof<G>> Clone for ProverIndex<G, OpeningProof>where\n G::ScalarField: Clone,\n OpeningProof::SRS: Clone,\n G::BaseField: Clone,"],["impl Clone for VerifyError"],["impl Clone for GateLookupTables"],["impl Clone for CurrOrNext"],["impl<G: Clone + KimchiCurve, OpeningProof: Clone + OpenProof<G>> Clone for VerifierIndex<G, OpeningProof>where\n G::ScalarField: Clone,\n OpeningProof::SRS: Clone,"],["impl<F: Clone> Clone for ConstantTerm<F>"],["impl Clone for SetupError"],["impl Clone for LookupPattern"],["impl Clone for LocalPosition"],["impl Clone for ChallengeTerm"]], -"kimchi_msm":[["impl<Ff> Clone for LookupTableIter<Ff>"],["impl Clone for Column"],["impl<const N_WIT: usize, F: Clone + PrimeField, ID: Clone + LookupTableID> Clone for ProofInputs<N_WIT, F, ID>"],["impl<Ff> Clone for LookupTableIter<Ff>"],["impl Clone for FECColumn"],["impl<Ff: Clone> Clone for LookupTable<Ff>"],["impl<F: Clone, ID: Clone + LookupTableID> Clone for Logup<F, ID>"],["impl Clone for TestColumn"],["impl<Ff: Clone> Clone for LookupTable<Ff>"],["impl<const N_WIT: usize, T: Clone> Clone for Witness<N_WIT, T>"],["impl<const N_WIT: usize, G: Clone + KimchiCurve, ID: Clone + LookupTableID> Clone for ProofCommitments<N_WIT, G, ID>"],["impl<T: Clone, ID: Clone> Clone for LookupProof<T, ID>"],["impl Clone for DummyLookupTable"],["impl Clone for LookupTableIter"],["impl Clone for SerializationColumn"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Clone + KimchiCurve, OpeningProof: Clone + OpenProof<G>, ID: Clone + LookupTableID> Clone for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>where\n G::ScalarField: Clone,"],["impl Clone for ProverError"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone, ID: Clone + LookupTableID> Clone for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>"],["impl Clone for FFAColumn"],["impl Clone for LookupTableIDs"],["impl Clone for LookupTable"],["impl<Pair: Clone + PairingEngine> Clone for TestPairingSRS<Pair>where\n Pair::G1Affine: Clone,\n Pair::G2Affine: Clone,"],["impl Clone for FECColumnOutput"],["impl<F: Clone, ID: Clone + LookupTableID> Clone for LookupTable<F, ID>"],["impl<T: Clone> Clone for IdMPrism<T>"],["impl Clone for FECColumnInter"],["impl<F: Clone, ID: Clone + LookupTableID> Clone for LogupWitness<F, ID>"],["impl Clone for FECColumnInput"]], +"kimchi_msm":[["impl<Ff> Clone for LookupTableIter<Ff>"],["impl Clone for Column"],["impl<const N_WIT: usize, F: Clone + PrimeField, ID: Clone + LookupTableID> Clone for ProofInputs<N_WIT, F, ID>"],["impl<Ff> Clone for LookupTableIter<Ff>"],["impl Clone for FECColumn"],["impl<Ff: Clone> Clone for LookupTable<Ff>"],["impl<F: Clone, ID: Clone + LookupTableID> Clone for Logup<F, ID>"],["impl Clone for TestColumn"],["impl<Ff: Clone> Clone for LookupTable<Ff>"],["impl<const N_WIT: usize, T: Clone> Clone for Witness<N_WIT, T>"],["impl<const N_WIT: usize, G: Clone + KimchiCurve, ID: Clone + LookupTableID> Clone for ProofCommitments<N_WIT, G, ID>"],["impl<T: Clone, ID: Clone> Clone for LookupProof<T, ID>"],["impl Clone for DummyLookupTable"],["impl Clone for LookupTableIter"],["impl Clone for SerializationColumn"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Clone + KimchiCurve, OpeningProof: Clone + OpenProof<G>, ID: Clone + LookupTableID> Clone for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>where\n G::ScalarField: Clone,"],["impl Clone for ProverError"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone, ID: Clone + LookupTableID> Clone for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>"],["impl Clone for FFAColumn"],["impl Clone for LookupTableIDs"],["impl Clone for LookupTable"],["impl<Pair: Clone + PairingEngine> Clone for TestPairingSRS<Pair>where\n Pair::G1Affine: Clone,\n Pair::G2Affine: Clone,"],["impl Clone for FECColumnOutput"],["impl<F: Clone, ID: Clone + LookupTableID> Clone for LookupTable<F, ID>"],["impl<T: Clone> Clone for IdMPrism<T>"],["impl Clone for FECColumnInter"],["impl<F: Clone, ID: Clone + LookupTableID> Clone for LogupWitness<F, ID>"],["impl Clone for FECColumnInput"]], "mina_curves":[["impl Clone for PallasParameters"],["impl Clone for LegacyPallasParameters"],["impl Clone for LegacyVestaParameters"],["impl Clone for VestaParameters"]], "mina_hasher":[["impl Clone for ROInput"]], "mina_poseidon":[["impl Clone for SpongeState"],["impl<CamlF: Clone> Clone for CamlScalarChallenge<CamlF>"],["impl<F: Clone> Clone for ScalarChallenge<F>"],["impl Clone for PlonkSpongeConstantsLegacy"],["impl<F: Clone + Field, SC: Clone + SpongeConstants> Clone for ArithmeticSponge<F, SC>"],["impl<P: Clone + SWModelParameters, SC: Clone + SpongeConstants> Clone for DefaultFqSponge<P, SC>where\n P::BaseField: Clone,"],["impl Clone for PlonkSpongeConstantsKimchi"],["impl<F: Clone + Field> Clone for ArithmeticSpongeParams<F>"]], diff --git a/rustdoc/implementors/core/fmt/trait.Debug.js b/rustdoc/implementors/core/fmt/trait.Debug.js index a80513be6a..a8278dcaef 100644 --- a/rustdoc/implementors/core/fmt/trait.Debug.js +++ b/rustdoc/implementors/core/fmt/trait.Debug.js @@ -3,7 +3,7 @@ "folding":[["impl<C> Debug for FoldingCompatibleExprInner<C>where\n C: FoldingConfig,"],["impl Debug for Degree"],["impl<C> Debug for FoldingExp<C>where\n C: FoldingConfig,"],["impl<G: Debug + CommitmentCurve, W: Debug + Witness<G>> Debug for ExtendedWitness<G, W>where\n G::ScalarField: Debug,"],["impl Debug for Column"],["impl<F: Debug + Field> Debug for Alphas<F>"],["impl<C> Debug for Term<C>where\n C: Debug + FoldingConfig,"],["impl<C> Debug for ExtendedFoldingColumn<C>where\n C: FoldingConfig,"],["impl<G: Debug + CommitmentCurve, W: Debug + Witness<G>> Debug for RelaxedWitness<G, W>where\n G::ScalarField: Debug,"],["impl<G, Col, Chall, I, W, Sel, Str> Debug for StandardConfig<G, Col, Chall, I, W, Sel, Str>"],["impl<'a, F: Debug> Debug for EvalLeaf<'a, F>"],["impl<C> Debug for IntegratedFoldingExpr<C>where\n C: FoldingConfig,"],["impl<C> Debug for FoldingCompatibleExpr<C>where\n C: FoldingConfig,"],["impl Debug for Sign"],["impl<C> Debug for ExpExtension<C>where\n C: FoldingConfig,"]], "ivc":[["impl<const N_WIT: usize, G: Debug + KimchiCurve> Debug for ProofCommitments<N_WIT, G>"],["impl<const N_COL: usize, const N_FSEL: usize, F: Debug + Field, Evals: Debug> Debug for PlonkishWitnessGeneric<N_COL, N_FSEL, F, Evals>"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Debug + KimchiCurve, OpeningProof: Debug + OpenProof<G>> Debug for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof>where\n G::ScalarField: Debug,"],["impl<G: Debug + KimchiCurve, const N_COL: usize, const N_CHALS: usize, const N_ALPHAS: usize> Debug for PlonkishInstance<G, N_COL, N_CHALS, N_ALPHAS>where\n G::ScalarField: Debug,"],["impl<const STATE_SIZE: usize, const NB_FULL_ROUND: usize, const NB_PARTIAL_ROUND: usize> Debug for PoseidonColumn<STATE_SIZE, NB_FULL_ROUND, NB_PARTIAL_ROUND>"],["impl Debug for PlonkishChallengeIter"],["impl<Ff: Debug> Debug for IVCLookupTable<Ff>"],["impl Debug for PlonkishChallenge"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Debug> Debug for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F>"],["impl Debug for IVCColumn"],["impl<const STATE_SIZE: usize, const NB_FULL_ROUND: usize> Debug for PoseidonColumn<STATE_SIZE, NB_FULL_ROUND>"],["impl<const STATE_SIZE: usize, const NB_FULL_ROUND: usize> Debug for PoseidonColumn<STATE_SIZE, NB_FULL_ROUND>"],["impl Debug for ProverError"]], "kimchi":[["impl<Var: Debug> Debug for EcAddCompleteInput<Var>"],["impl Debug for CurrOrNext"],["impl<F: Debug, Column: Debug> Debug for PolishToken<F, Column>"],["impl Debug for RuntimeTableSpec"],["impl<G: Debug + AffineCurve> Debug for LookupCommitments<G>"],["impl<A: Debug> Debug for EndoscaleScalarRound<A>"],["impl Debug for SetupError"],["impl<F: Debug + FftField> Debug for DomainConstantEvaluations<F>"],["impl<G: Debug + AffineCurve> Debug for ProverCommitments<G>"],["impl<Field> Debug for SnarkyConstraintSystem<Field>where\n Field: PrimeField + Debug,"],["impl Debug for FeatureFlag"],["impl<F: Debug> Debug for RuntimeTable<F>"],["impl<F: Debug + PrimeField> Debug for CircuitGate<F>"],["impl Debug for DomainCreationError"],["impl<F: Debug> Debug for LookupConfiguration<F>"],["impl Debug for RowOffset"],["impl<C: Debug, Column: Debug> Debug for ExprInner<C, Column>"],["impl Debug for LookupPatternIter"],["impl<F: Debug + FftField> Debug for EvaluationDomains<F>"],["impl<F: Debug> Debug for Witness<F>"],["impl<F: Debug + PrimeField> Debug for Boolean<F>"],["impl<G: Debug + KimchiCurve, OpeningProof: Debug + OpenProof<G>> Debug for VerifierIndex<G, OpeningProof>where\n G::ScalarField: Debug,\n OpeningProof::SRS: Debug,"],["impl<Var: Debug, Field: Debug> Debug for BasicInput<Var, Field>"],["impl Debug for ProverError"],["impl Debug for CamlTraces"],["impl<E: Debug, Column: Debug> Debug for Linearization<E, Column>"],["impl Debug for GateLookupTable"],["impl Debug for GateLookupTables"],["impl<G: Debug> Debug for TestSRS<G>"],["impl<T: Debug> Debug for DisjointSet<T>"],["impl<F: Debug + PrimeField> Debug for ConstraintSystem<F>"],["impl Debug for LookupInfo"],["impl Debug for FeatureFlags"],["impl<Evals: Debug> Debug for PointEvaluations<Evals>"],["impl<F> Debug for RunState<F>where\n F: PrimeField + Debug,"],["impl<Var: Debug, Field: Debug> Debug for KimchiConstraint<Var, Field>"],["impl Debug for LookupError"],["impl<F: Debug + FftField> Debug for LookupConstraintSystem<F>"],["impl Debug for RotMode"],["impl Debug for RealSnarkyError"],["impl<F: Debug + Field> Debug for Constants<F>"],["impl Debug for SnarkyCompilationError"],["impl<F: Debug + PrimeField> Debug for Constraint<F>"],["impl<G: Debug + AffineCurve, OpeningProof: Debug> Debug for ProverProof<G, OpeningProof>where\n G::ScalarField: Debug,"],["impl Debug for Wire"],["impl Debug for GateType"],["impl Debug for VerifyError"],["impl<Var: Debug> Debug for EcEndoscaleInput<Var>"],["impl<Var: Debug> Debug for PoseidonInput<Var>"],["impl<G> Debug for RecursionChallenge<G>where\n G: AffineCurve + Debug,\n G::ScalarField: Debug,"],["impl Debug for GateError"],["impl Debug for ChallengeTerm"],["impl Debug for VerifierIndexError"],["impl<F: Debug> Debug for ForeignElement<F>"],["impl<Column: Debug> Debug for ExprError<Column>"],["impl<I, T> Debug for MustConsumeIterator<I, T>where\n I: Iterator<Item = T> + Debug,\n T: Display + Debug,"],["impl<SingleLookup: Debug, LookupTableID: Debug> Debug for JointLookup<SingleLookup, LookupTableID>"],["impl Debug for Traces"],["impl<A: Debug> Debug for EndoscaleRound<A>"],["impl<F: Debug> Debug for FullChallenge<F>"],["impl<G: Debug + KimchiCurve, OpeningProof: Debug + OpenProof<G>> Debug for ProverIndex<G, OpeningProof>where\n G::ScalarField: Debug,\n OpeningProof::SRS: Debug,\n G::BaseField: Debug,"],["impl<F: Debug + PrimeField> Debug for ColumnEvaluations<F>"],["impl Debug for ArgumentType"],["impl<T: Debug> Debug for Operations<T>"],["impl<T: Debug> Debug for LookupSelectors<T>"],["impl Debug for LookupPatterns"],["impl Debug for CacheId"],["impl<F: Debug> Debug for Alphas<F>"],["impl<F: Debug> Debug for RuntimeTableCfg<F>"],["impl Debug for LookupFeatures"],["impl<Evals: Debug> Debug for ProofEvaluations<Evals>"],["impl<F: Debug> Debug for ConstantTerm<F>"],["impl Debug for FFOps"],["impl<A: Debug> Debug for ScaleRound<A>"],["impl Debug for Domain"],["impl Debug for LookupTableID"],["impl<F: Debug + Field> Debug for RandomOracles<F>"],["impl<F: Debug + PrimeField> Debug for EvaluatedColumnCoefficients<F>"],["impl Debug for SnarkyError"],["impl Debug for LocalPosition"],["impl Debug for CircuitGateError"],["impl<F: Debug> Debug for LookupTable<F>"],["impl<G: Debug + CommitmentCurve> Debug for LookupVerifierIndex<G>"],["impl<F: Debug> Debug for ConstantExprInner<F>"],["impl<F> Debug for FieldVar<F>where\n F: PrimeField + Debug,"],["impl<Column: Debug> Debug for Variable<Column>"],["impl Debug for Column"],["impl Debug for SnarkyRuntimeError"],["impl<Var: Debug> Debug for BasicSnarkyConstraint<Var>"],["impl Debug for LookupPattern"]], -"kimchi_msm":[["impl Debug for FECColumnOutput"],["impl Debug for Column"],["impl<F: Debug, ID: Debug + LookupTableID> Debug for LookupTable<F, ID>"],["impl Debug for LookupTableIDs"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Debug, ID: Debug + LookupTableID> Debug for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>"],["impl<Ff> Debug for LookupTableIter<Ff>"],["impl Debug for FFAColumn"],["impl Debug for TestColumn"],["impl<T: Debug> Debug for IdMPrism<T>"],["impl Debug for FECColumn"],["impl<const N_WIT: usize, F: Debug + PrimeField, ID: Debug + LookupTableID> Debug for ProofInputs<N_WIT, F, ID>"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Debug + KimchiCurve, OpeningProof: Debug + OpenProof<G>, ID: Debug + LookupTableID> Debug for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>where\n G::ScalarField: Debug,"],["impl<Ff> Debug for LookupTableIter<Ff>"],["impl<Pair: Debug + PairingEngine> Debug for TestPairingSRS<Pair>where\n Pair::G1Affine: Debug,\n Pair::G2Affine: Debug,"],["impl<Ff: Debug> Debug for LookupTable<Ff>"],["impl<F: Debug, ID: Debug + LookupTableID> Debug for Logup<F, ID>"],["impl<Ff: Debug> Debug for LookupTable<Ff>"],["impl Debug for ProverError"],["impl Debug for DummyLookupTable"],["impl Debug for LookupTable"],["impl<const N_WIT: usize, T: Debug> Debug for Witness<N_WIT, T>"],["impl<const N_WIT: usize, G: Debug + KimchiCurve, ID: Debug + LookupTableID> Debug for ProofCommitments<N_WIT, G, ID>"],["impl Debug for FECColumnInter"],["impl Debug for FECColumnInput"],["impl Debug for LookupTableIter"],["impl<F: Debug, ID: Debug + LookupTableID> Debug for LogupWitness<F, ID>"],["impl<T: Debug, ID: Debug> Debug for LookupProof<T, ID>"],["impl Debug for SerializationColumn"]], +"kimchi_msm":[["impl Debug for FECColumnOutput"],["impl Debug for Column"],["impl<F: Debug, ID: Debug + LookupTableID> Debug for LookupTable<F, ID>"],["impl Debug for LookupTableIDs"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Debug, ID: Debug + LookupTableID> Debug for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>"],["impl<Ff> Debug for LookupTableIter<Ff>"],["impl Debug for FFAColumn"],["impl Debug for TestColumn"],["impl<T: Debug> Debug for IdMPrism<T>"],["impl Debug for FECColumn"],["impl<const N_WIT: usize, F: Debug + PrimeField, ID: Debug + LookupTableID> Debug for ProofInputs<N_WIT, F, ID>"],["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Debug + KimchiCurve, OpeningProof: Debug + OpenProof<G>, ID: Debug + LookupTableID> Debug for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>where\n G::ScalarField: Debug,"],["impl<Ff> Debug for LookupTableIter<Ff>"],["impl<Pair: Debug + PairingEngine> Debug for TestPairingSRS<Pair>where\n Pair::G1Affine: Debug,\n Pair::G2Affine: Debug,"],["impl<Ff: Debug> Debug for LookupTable<Ff>"],["impl<F: Debug, ID: Debug + LookupTableID> Debug for Logup<F, ID>"],["impl<Ff: Debug> Debug for LookupTable<Ff>"],["impl Debug for ProverError"],["impl Debug for DummyLookupTable"],["impl Debug for LookupTable"],["impl<const N_WIT: usize, T: Debug> Debug for Witness<N_WIT, T>"],["impl<const N_WIT: usize, G: Debug + KimchiCurve, ID: Debug + LookupTableID> Debug for ProofCommitments<N_WIT, G, ID>"],["impl Debug for FECColumnInter"],["impl Debug for FECColumnInput"],["impl Debug for LookupTableIter"],["impl<F: Debug, ID: Debug + LookupTableID> Debug for LogupWitness<F, ID>"],["impl<T: Debug, ID: Debug> Debug for LookupProof<T, ID>"],["impl Debug for SerializationColumn"]], "kimchi_visu":[["impl<F> Debug for Witness<F>where\n F: Field + Debug,"]], "mina_curves":[["impl Debug for PallasParameters"],["impl Debug for VestaParameters"]], "mina_hasher":[["impl Debug for ROInput"]], diff --git a/rustdoc/implementors/kimchi/circuits/expr/trait.ColumnEnvironment.js b/rustdoc/implementors/kimchi/circuits/expr/trait.ColumnEnvironment.js index 0a04846b6d..c0d87c2be5 100644 --- a/rustdoc/implementors/kimchi/circuits/expr/trait.ColumnEnvironment.js +++ b/rustdoc/implementors/kimchi/circuits/expr/trait.ColumnEnvironment.js @@ -1,4 +1,4 @@ (function() {var implementors = { "kimchi":[], -"kimchi_msm":[["impl<'a, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: FftField, ID: LookupTableID> ColumnEnvironment<'a, F> for ColumnEnvironment<'a, N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>"]] +"kimchi_msm":[["impl<'a, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: FftField, ID: LookupTableID> ColumnEnvironment<'a, F> for ColumnEnvironment<'a, N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/rustdoc/implementors/kimchi/circuits/expr/trait.ColumnEvaluations.js b/rustdoc/implementors/kimchi/circuits/expr/trait.ColumnEvaluations.js index 04304cfbdd..4323a195b8 100644 --- a/rustdoc/implementors/kimchi/circuits/expr/trait.ColumnEvaluations.js +++ b/rustdoc/implementors/kimchi/circuits/expr/trait.ColumnEvaluations.js @@ -1,5 +1,5 @@ (function() {var implementors = { "ivc":[["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone> ColumnEvaluations<F> for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F>"]], "kimchi":[], -"kimchi_msm":[["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone, ID: LookupTableID> ColumnEvaluations<F> for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>"]] +"kimchi_msm":[["impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone, ID: LookupTableID> ColumnEvaluations<F> for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/rustdoc/implementors/kimchi/circuits/expr/trait.FormattedOutput.js b/rustdoc/implementors/kimchi/circuits/expr/trait.FormattedOutput.js index ac84a3524e..f7e6e11ef6 100644 --- a/rustdoc/implementors/kimchi/circuits/expr/trait.FormattedOutput.js +++ b/rustdoc/implementors/kimchi/circuits/expr/trait.FormattedOutput.js @@ -1,4 +1,4 @@ (function() {var implementors = { "kimchi":[], -"kimchi_msm":[["impl FormattedOutput for Column"]] +"kimchi_msm":[["impl FormattedOutput for Column"]] };if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})() \ No newline at end of file diff --git a/rustdoc/ivc/prover/fn.prove.html b/rustdoc/ivc/prover/fn.prove.html index 525c36aac9..231ede45ea 100644 --- a/rustdoc/ivc/prover/fn.prove.html +++ b/rustdoc/ivc/prover/fn.prove.html @@ -1,4 +1,4 @@ -prove in ivc::prover - Rust

Function ivc::prover::prove

source · 
pub fn prove<EFqSponge: Clone + FqSponge<Fq, G, Fp>, EFrSponge: FrSponge<Fp>, FC: FoldingConfig<Column = GenericColumn, Curve = G, Challenge = PlonkishChallenge>, RNG, const N_WIT: usize, const N_WIT_QUAD: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, const N_ALPHAS: usize>(
+prove in ivc::prover - Rust
Function ivc::prover::prove
source · 
pub fn prove<EFqSponge: Clone + FqSponge<Fq, G, Fp>, EFrSponge: FrSponge<Fp>, FC: FoldingConfig<Column = GenericColumn, Curve = G, Challenge = PlonkishChallenge>, RNG, const N_WIT: usize, const N_WIT_QUAD: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, const N_ALPHAS: usize>(
     domain: EvaluationDomains<Fp>,
     srs: &PairingSRS<Pairing>,
     combined_expr: &FoldingCompatibleExpr<FC>,
diff --git a/rustdoc/ivc/prover/index.html b/rustdoc/ivc/prover/index.html
index 6a8466a073..bbe2365d31 100644
--- a/rustdoc/ivc/prover/index.html
+++ b/rustdoc/ivc/prover/index.html
@@ -1,2 +1,2 @@
-ivc::prover - Rust
Module ivc::prover
source · 
Structs
Enums
Functions
Type Definitions
Implementors§
source§
impl<'a, F: PrimeField, CIx1: ColumnIndexer, CIx2: ColumnIndexer, Env1: ColAccessCap<F, CIx1>, L: MPrism<Source = CIx1, Target = CIx2>> ColAccessCap<F, CIx2> for SubEnvColumn<'a, F, CIx1, Env1, L>
§
type Variable = <Env1 as ColAccessCap<F, CIx1>>::Variable
source§
impl<'a, F: PrimeField, CIx1: ColumnIndexer, Env1: ColAccessCap<F, CIx1>, L> ColAccessCap<F, CIx1> for SubEnvLookup<'a, F, CIx1, Env1, L>
§
type Variable = <Env1 as ColAccessCap<F, CIx1>>::Variable
source§
impl<F: PrimeField, CIx: ColumnIndexer, LT: LookupTableID> ColAccessCap<F, CIx> for ConstraintBuilderEnv<F, LT>
§
type Variable = Operations<ExprInner<Operations<ConstantExprInner<F>>, Column>>
source§
impl<F: PrimeField, CIx: ColumnIndexer, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, LT: LookupTableID> ColAccessCap<F, CIx> for WitnessBuilderEnv<F, CIx, N_WIT, N_REL, N_DSEL, N_FSEL, LT>
§
type Variable = F

\ No newline at end of file
+

Implementors§

source§

impl<'a, F: PrimeField, CIx1: ColumnIndexer, CIx2: ColumnIndexer, Env1: ColAccessCap<F, CIx1>, L: MPrism<Source = CIx1, Target = CIx2>> ColAccessCap<F, CIx2> for SubEnvColumn<'a, F, CIx1, Env1, L>

§

type Variable = <Env1 as ColAccessCap<F, CIx1>>::Variable

source§

impl<'a, F: PrimeField, CIx1: ColumnIndexer, Env1: ColAccessCap<F, CIx1>, L> ColAccessCap<F, CIx1> for SubEnvLookup<'a, F, CIx1, Env1, L>

§

type Variable = <Env1 as ColAccessCap<F, CIx1>>::Variable

source§

impl<F: PrimeField, CIx: ColumnIndexer, LT: LookupTableID> ColAccessCap<F, CIx> for ConstraintBuilderEnv<F, LT>

§

type Variable = Operations<ExprInner<Operations<ConstantExprInner<F>>, Column>>

source§

impl<F: PrimeField, CIx: ColumnIndexer, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, LT: LookupTableID> ColAccessCap<F, CIx> for WitnessBuilderEnv<F, CIx, N_WIT, N_REL, N_DSEL, N_FSEL, LT>

§

type Variable = F

\ No newline at end of file diff --git a/rustdoc/kimchi_msm/circuit_design/constraints/struct.ConstraintBuilderEnv.html b/rustdoc/kimchi_msm/circuit_design/constraints/struct.ConstraintBuilderEnv.html index 4e0963b055..b8ce2dbbc9 100644 --- a/rustdoc/kimchi_msm/circuit_design/constraints/struct.ConstraintBuilderEnv.html +++ b/rustdoc/kimchi_msm/circuit_design/constraints/struct.ConstraintBuilderEnv.html @@ -1,14 +1,14 @@ ConstraintBuilderEnv in kimchi_msm::circuit_design::constraints - Rust

Struct kimchi_msm::circuit_design::constraints::ConstraintBuilderEnv

source · 
pub struct ConstraintBuilderEnv<F: PrimeField, LT: LookupTableID> {
-    pub constraints: Vec<Expr<ConstantExpr<F>, Column>>,
+    pub constraints: Vec<Expr<ConstantExpr<F>, Column>>,
     pub lookups: BTreeMap<LT, Vec<Logup<E<F>, LT>>>,
     pub assert_mapper: Box<dyn Fn(E<F>) -> E<F>>,
-}

Fields§

§constraints: Vec<Expr<ConstantExpr<F>, Column>>

An indexed set of constraints.

+}

Fields§

§constraints: Vec<Expr<ConstantExpr<F>, Column>>

An indexed set of constraints.

§lookups: BTreeMap<LT, Vec<Logup<E<F>, LT>>>

Aggregated lookups.

§assert_mapper: Box<dyn Fn(E<F>) -> E<F>>

The function that maps the argument of assert_zero.

Implementations§

source§

impl<F: PrimeField, LT: LookupTableID> ConstraintBuilderEnv<F, LT>

source

pub fn create() -> Self

source§

impl<F: PrimeField, LT: LookupTableID> ConstraintBuilderEnv<F, LT>

source

pub fn get_relation_constraints(&self) -> Vec<E<F>>

Get constraints related to the application logic itself.

source

pub fn get_lookup_constraints(&self) -> Vec<E<F>>

Get constraints related to the lookup argument.

source

pub fn get_constraints(&self) -> Vec<E<F>>

Get all relevant constraints generated by the constraint builder.

-

Trait Implementations§

source§

impl<F: PrimeField, CIx: ColumnIndexer, LT: LookupTableID> ColAccessCap<F, CIx> for ConstraintBuilderEnv<F, LT>

§

type Variable = Operations<ExprInner<Operations<ConstantExprInner<F>>, Column>>

source§

fn assert_zero(&mut self, cst: Self::Variable)

Asserts that the value is zero.
source§

fn set_assert_mapper( +

Trait Implementations§

source§

impl<F: PrimeField, CIx: ColumnIndexer, LT: LookupTableID> ColAccessCap<F, CIx> for ConstraintBuilderEnv<F, LT>

§

type Variable = Operations<ExprInner<Operations<ConstantExprInner<F>>, Column>>

source§

fn assert_zero(&mut self, cst: Self::Variable)

Asserts that the value is zero.
source§

fn set_assert_mapper( &mut self, mapper: Box<dyn Fn(Self::Variable) -> Self::Variable> )

Sets an assert predicate f(X) such that when assert_zero is diff --git a/rustdoc/kimchi_msm/column_env/struct.ColumnEnvironment.html b/rustdoc/kimchi_msm/column_env/struct.ColumnEnvironment.html index 3e4ceb0204..44ad5e3f45 100644 --- a/rustdoc/kimchi_msm/column_env/struct.ColumnEnvironment.html +++ b/rustdoc/kimchi_msm/column_env/struct.ColumnEnvironment.html @@ -2,9 +2,9 @@ pub witness: &'a Witness<N, Evaluations<F, Radix2EvaluationDomain<F>>>, pub fixed_selectors: &'a [Evaluations<F, Radix2EvaluationDomain<F>>; N_FSEL], pub l0_1: F, - pub constants: Constants<F>, - pub challenges: Challenges<F>, - pub domain: EvaluationDomains<F>, + pub constants: Constants<F>, + pub challenges: Challenges<F>, + pub domain: EvaluationDomains<F>, pub lookup: Option<QuotientPolynomialEnvironment<'a, F, ID>>, }
Expand description

The collection of polynomials (all in evaluation form) and constants required to evaluate an expression as a polynomial.

@@ -17,22 +17,22 @@ fixed.

§l0_1: F

The value prod_{j != 1} (1 - omega^j), used for efficiently computing the evaluations of the unnormalized Lagrange basis polynomials.

-
§constants: Constants<F>

Constant values required

-
§challenges: Challenges<F>

Challenges from the IOP.

-
§domain: EvaluationDomains<F>

The domains used in the PLONK argument.

+
§constants: Constants<F>

Constant values required

+
§challenges: Challenges<F>

Challenges from the IOP.

+
§domain: EvaluationDomains<F>

The domains used in the PLONK argument.

§lookup: Option<QuotientPolynomialEnvironment<'a, F, ID>>

Lookup specific polynomials

-

Trait Implementations§

source§

impl<'a, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: FftField, ID: LookupTableID> ColumnEnvironment<'a, F> for ColumnEnvironment<'a, N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>

§

type Column = Column

The generic type of column the environment can use. +

Trait Implementations§

source§

impl<'a, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: FftField, ID: LookupTableID> ColumnEnvironment<'a, F> for ColumnEnvironment<'a, N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>

§

type Column = Column

The generic type of column the environment can use. In other words, with the multi-variate polynomial analogy, it is the variables the multi-variate polynomials are defined upon. i.e. for a polynomial P(X, Y, Z), the type will represent the variable -X, Y and Z.
source§

fn get_column( +X, Y and Z.

source§

fn get_column( &self, - col: &Self::Column -) -> Option<&'a Evaluations<F, Radix2EvaluationDomain<F>>>

Return the evaluation of the given column, over the domain.
source§

fn get_domain(&self, d: Domain) -> Radix2EvaluationDomain<F>

source§

fn column_domain(&self, col: &Self::Column) -> Domain

Defines the domain over which the column is evaluated
source§

fn get_constants(&self) -> &Constants<F>

Return the constants parameters that the expression might use. + col: &Self::Column +) -> Option<&'a Evaluations<F, Radix2EvaluationDomain<F>>>
Return the evaluation of the given column, over the domain.
source§

fn get_domain(&self, d: Domain) -> Radix2EvaluationDomain<F>

source§

fn column_domain(&self, col: &Self::Column) -> Domain

Defines the domain over which the column is evaluated
source§

fn get_constants(&self) -> &Constants<F>

Return the constants parameters that the expression might use. For instance, it can be the matrix used by the linear layer in the -permutation.
source§

fn get_challenges(&self) -> &Challenges<F>

Return the challenges, coined by the verifier.
source§

fn vanishes_on_zero_knowledge_and_previous_rows( +permutation.

source§

fn get_challenges(&self) -> &Challenges<F>

Return the challenges, coined by the verifier.
source§

fn vanishes_on_zero_knowledge_and_previous_rows( &self -) -> &'a Evaluations<F, Radix2EvaluationDomain<F>>

source§

fn l0_1(&self) -> F

Return the value prod_{j != 1} (1 - omega^j), used for efficiently +) -> &'a Evaluations<F, Radix2EvaluationDomain<F>>
source§

fn l0_1(&self) -> F

Return the value prod_{j != 1} (1 - omega^j), used for efficiently computing the evaluations of the unnormalized Lagrange basis polynomials.

Auto Trait Implementations§

§

impl<'a, const N: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID> RefUnwindSafe for ColumnEnvironment<'a, N, N_REL, N_DSEL, N_FSEL, F, ID>where F: RefUnwindSafe, ID: RefUnwindSafe,

§

impl<'a, const N: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID> Send for ColumnEnvironment<'a, N, N_REL, N_DSEL, N_FSEL, F, ID>

§

impl<'a, const N: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID> Sync for ColumnEnvironment<'a, N, N_REL, N_DSEL, N_FSEL, F, ID>

§

impl<'a, const N: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID> Unpin for ColumnEnvironment<'a, N, N_REL, N_DSEL, N_FSEL, F, ID>where diff --git a/rustdoc/kimchi_msm/columns/enum.Column.html b/rustdoc/kimchi_msm/columns/enum.Column.html index cf4b45a8b4..562359bbf5 100644 --- a/rustdoc/kimchi_msm/columns/enum.Column.html +++ b/rustdoc/kimchi_msm/columns/enum.Column.html @@ -16,7 +16,7 @@

§

LookupAggregation

The lookup aggregation, i.e. phi

§

LookupFixedTable(u32)

The fixed tables. The parameter is considered to the indexed table.

Implementations§

source§

impl Column

source

pub fn add_rel_offset(self, offset: usize) -> Column

Adds offset if the column is Relation. Fails otherwise.

-

Trait Implementations§

source§

impl Clone for Column

source§

fn clone(&self) -> Column

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for Column

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl FoldingColumnTrait for Column

source§

fn is_witness(&self) -> bool

§

fn degree(&self) -> Degree

Return the degree of the column Read more
source§

impl FormattedOutput for Column

source§

fn latex(&self, _cache: &mut HashMap<CacheId, Self>) -> String

source§

fn text(&self, _cache: &mut HashMap<CacheId, Self>) -> String

source§

fn ocaml(&self, _cache: &mut HashMap<CacheId, Self>) -> String

source§

fn is_alpha(&self) -> bool

source§

impl Hash for Column

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where +

Trait Implementations§

source§

impl Clone for Column

source§

fn clone(&self) -> Column

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for Column

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl FoldingColumnTrait for Column

source§

fn is_witness(&self) -> bool

§

fn degree(&self) -> Degree

Return the degree of the column Read more
source§

impl FormattedOutput for Column

source§

fn latex(&self, _cache: &mut HashMap<CacheId, Self>) -> String

source§

fn text(&self, _cache: &mut HashMap<CacheId, Self>) -> String

source§

fn ocaml(&self, _cache: &mut HashMap<CacheId, Self>) -> String

source§

fn is_alpha(&self) -> bool

source§

impl Hash for Column

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq<Column> for Column

source§

fn eq(&self, other: &Column) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always diff --git a/rustdoc/kimchi_msm/expr/type.E.html b/rustdoc/kimchi_msm/expr/type.E.html index c510548edf..47dd422c2b 100644 --- a/rustdoc/kimchi_msm/expr/type.E.html +++ b/rustdoc/kimchi_msm/expr/type.E.html @@ -1,4 +1,4 @@ -E in kimchi_msm::expr - Rust

Type Definition kimchi_msm::expr::E

source · 
pub type E<F> = Expr<ConstantExpr<F>, Column>;
Expand description

An expression over /generic/ (not circuit-specific) columns +E in kimchi_msm::expr - Rust

Type Definition kimchi_msm::expr::E

source · 
pub type E<F> = Expr<ConstantExpr<F>, Column>;
Expand description

An expression over /generic/ (not circuit-specific) columns defined in the msm project. To represent constraints as multi variate polynomials. The variables are over the columns.

For instance, if there are 3 columns X1, X2, X3, then to constraint X3 to be diff --git a/rustdoc/kimchi_msm/logup/prover/struct.Env.html b/rustdoc/kimchi_msm/logup/prover/struct.Env.html index 2124e161b9..a547ddf894 100644 --- a/rustdoc/kimchi_msm/logup/prover/struct.Env.html +++ b/rustdoc/kimchi_msm/logup/prover/struct.Env.html @@ -1,4 +1,4 @@ -Env in kimchi_msm::logup::prover - Rust

Struct kimchi_msm::logup::prover::Env

source · 
pub struct Env<G: KimchiCurve, ID: LookupTableID> {
Show 14 fields
+Env in kimchi_msm::logup::prover - Rust
Struct kimchi_msm::logup::prover::Env
source · 
pub struct Env<G: KimchiCurve, ID: LookupTableID> {
Show 14 fields
     pub lookup_counters_poly_d1: BTreeMap<ID, DensePolynomial<G::ScalarField>>,
     pub lookup_counters_comm_d1: BTreeMap<ID, PolyComm<G>>,
     pub lookup_terms_poly_d1: BTreeMap<ID, Vec<DensePolynomial<G::ScalarField>>>,
@@ -22,9 +22,9 @@
 
§lookup_aggregation_comm_d1: PolyComm<G>
The commitment to the aggregation polynomial.

 
§lookup_counters_evals_d8: BTreeMap<ID, Evaluations<G::ScalarField, D<G::ScalarField>>>§lookup_terms_evals_d8: BTreeMap<ID, Vec<Evaluations<G::ScalarField, D<G::ScalarField>>>>§lookup_aggregation_evals_d8: Evaluations<G::ScalarField, D<G::ScalarField>>§fixed_lookup_tables_poly_d1: BTreeMap<ID, DensePolynomial<G::ScalarField>>§fixed_lookup_tables_comms_d1: BTreeMap<ID, PolyComm<G>>§fixed_lookup_tables_evals_d8: BTreeMap<ID, Evaluations<G::ScalarField, D<G::ScalarField>>>§joint_combiner: G::ScalarField
The combiner used for vector lookups

 
§beta: G::ScalarField
The evaluation point used for the lookup polynomials.

-
Implementations§
source§
impl<G: KimchiCurve, ID: LookupTableID> Env<G, ID>
source
pub fn create<OpeningProof: OpenProof<G>, Sponge: FqSponge<G::BaseField, G, G::ScalarField>>(
+
Implementations§
source§
impl<G: KimchiCurve, ID: LookupTableID> Env<G, ID>
source
pub fn create<OpeningProof: OpenProof<G>, Sponge: FqSponge<G::BaseField, G, G::ScalarField>>(
     lookups: Vec<LogupWitness<G::ScalarField, ID>>,
-    domain: EvaluationDomains<G::ScalarField>,
+    domain: EvaluationDomains<G::ScalarField>,
     fq_sponge: &mut Sponge,
     srs: &OpeningProof::SRS
 ) -> Selfwhere
diff --git a/rustdoc/kimchi_msm/logup/struct.LogupWitness.html b/rustdoc/kimchi_msm/logup/struct.LogupWitness.html
index 409551c135..2c71880def 100644
--- a/rustdoc/kimchi_msm/logup/struct.LogupWitness.html
+++ b/rustdoc/kimchi_msm/logup/struct.LogupWitness.html
@@ -1,5 +1,5 @@
 LogupWitness in kimchi_msm::logup - Rust
Struct kimchi_msm::logup::LogupWitness
source · 
pub struct LogupWitness<F, ID: LookupTableID> { /* private fields */ }
Expand description
Represents a witness of one instance of the lookup argument

-
Implementations§
source§
impl<F: FftField> LogupWitness<F, LookupTableIDs>
source
pub fn random(domain: EvaluationDomains<F>) -> Self
Generate a random number of correct lookups in the table RangeCheck16

+
Implementations§
source§
impl<F: FftField> LogupWitness<F, LookupTableIDs>
source
pub fn random(domain: EvaluationDomains<F>) -> Self
Generate a random number of correct lookups in the table RangeCheck16

 
Trait Implementations§
source§
impl<F: Clone, ID: Clone + LookupTableID> Clone for LogupWitness<F, ID>
source§
fn clone(&self) -> LogupWitness<F, ID>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl<F: Debug, ID: Debug + LookupTableID> Debug for LogupWitness<F, ID>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
source§
impl<F: PartialEq, ID: PartialEq + LookupTableID> PartialEq<LogupWitness<F, ID>> for LogupWitness<F, ID>
source§
fn eq(&self, other: &LogupWitness<F, ID>) -> bool
This method tests for self and other values to be equal, and is used
 by ==.
1.0.0 · source§
fn ne(&self, other: &Rhs) -> bool
This method tests for !=. The default implementation is almost always
 sufficient, and should not be overridden without very good reason.
source§
impl<F: Eq, ID: Eq + LookupTableID> Eq for LogupWitness<F, ID>
source§
impl<F, ID: LookupTableID> StructuralEq for LogupWitness<F, ID>
source§
impl<F, ID: LookupTableID> StructuralPartialEq for LogupWitness<F, ID>
Auto Trait Implementations§
§
impl<F, ID> RefUnwindSafe for LogupWitness<F, ID>where
diff --git a/rustdoc/kimchi_msm/lookups/type.LookupWitness.html b/rustdoc/kimchi_msm/lookups/type.LookupWitness.html
index 5b6906b6b8..a846b638df 100644
--- a/rustdoc/kimchi_msm/lookups/type.LookupWitness.html
+++ b/rustdoc/kimchi_msm/lookups/type.LookupWitness.html
@@ -1,3 +1,3 @@
 LookupWitness in kimchi_msm::lookups - Rust
Type Definition kimchi_msm::lookups::LookupWitness
source · 
pub type LookupWitness<F> = LogupWitness<F, LookupTableIDs>;
Expand description
Represents a witness of one instance of the lookup argument of the MSM project

-
Implementations§
source§
impl<F: FftField> LookupWitness<F>
source
pub fn random(domain: EvaluationDomains<F>) -> Self
Generate a random number of correct lookups in the table RangeCheck16

+
Implementations§
source§
impl<F: FftField> LookupWitness<F>
source
pub fn random(domain: EvaluationDomains<F>) -> Self
Generate a random number of correct lookups in the table RangeCheck16

 

\ No newline at end of file
diff --git a/rustdoc/kimchi_msm/precomputed_srs/fn.get_bn254_srs.html b/rustdoc/kimchi_msm/precomputed_srs/fn.get_bn254_srs.html
index 25036eb56c..e7b603af5c 100644
--- a/rustdoc/kimchi_msm/precomputed_srs/fn.get_bn254_srs.html
+++ b/rustdoc/kimchi_msm/precomputed_srs/fn.get_bn254_srs.html
@@ -1,2 +1,2 @@
-get_bn254_srs in kimchi_msm::precomputed_srs - Rust
Function kimchi_msm::precomputed_srs::get_bn254_srs
source · 
pub fn get_bn254_srs(domain: EvaluationDomains<Fp>) -> PairingSRS<BN254>
Expand description
Obtains an SRS for a specific curve from disk, or generates it if absent.

+get_bn254_srs in kimchi_msm::precomputed_srs - Rust
Function kimchi_msm::precomputed_srs::get_bn254_srs
source · 
pub fn get_bn254_srs(domain: EvaluationDomains<Fp>) -> PairingSRS<BN254>
Expand description
Obtains an SRS for a specific curve from disk, or generates it if absent.

 

\ No newline at end of file
diff --git a/rustdoc/kimchi_msm/precomputed_srs/struct.TestPairingSRS.html b/rustdoc/kimchi_msm/precomputed_srs/struct.TestPairingSRS.html
index afa95ba30a..d96d1963ac 100644
--- a/rustdoc/kimchi_msm/precomputed_srs/struct.TestPairingSRS.html
+++ b/rustdoc/kimchi_msm/precomputed_srs/struct.TestPairingSRS.html
@@ -1,8 +1,8 @@
 TestPairingSRS in kimchi_msm::precomputed_srs - Rust
Struct kimchi_msm::precomputed_srs::TestPairingSRS
source · 
pub struct TestPairingSRS<Pair: PairingEngine> {
-    pub full_srs: TestSRS<Pair::G1Affine>,
-    pub verifier_srs: TestSRS<Pair::G2Affine>,
+    pub full_srs: TestSRS<Pair::G1Affine>,
+    pub verifier_srs: TestSRS<Pair::G2Affine>,
 }
Expand description
A clone of the PairingSRS that is serialized in a test-optimised way.

-
Fields§
§full_srs: TestSRS<Pair::G1Affine>§verifier_srs: TestSRS<Pair::G2Affine>
Trait Implementations§
source§
impl<Pair: Clone + PairingEngine> Clone for TestPairingSRS<Pair>where
+
Fields§
§full_srs: TestSRS<Pair::G1Affine>§verifier_srs: TestSRS<Pair::G2Affine>
Trait Implementations§
source§
impl<Pair: Clone + PairingEngine> Clone for TestPairingSRS<Pair>where
     Pair::G1Affine: Clone,
     Pair::G2Affine: Clone,
source§
fn clone(&self) -> TestPairingSRS<Pair>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl<Pair: Debug + PairingEngine> Debug for TestPairingSRS<Pair>where
     Pair::G1Affine: Debug,
diff --git a/rustdoc/kimchi_msm/proof/struct.Proof.html b/rustdoc/kimchi_msm/proof/struct.Proof.html
index 6c13d682dc..4b23505384 100644
--- a/rustdoc/kimchi_msm/proof/struct.Proof.html
+++ b/rustdoc/kimchi_msm/proof/struct.Proof.html
@@ -1,5 +1,5 @@
-Proof in kimchi_msm::proof - Rust
Struct kimchi_msm::proof::Proof
source · 
pub struct Proof<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: KimchiCurve, OpeningProof: OpenProof<G>, ID: LookupTableID> { /* private fields */ }
Trait Implementations§
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Clone + KimchiCurve, OpeningProof: Clone + OpenProof<G>, ID: Clone + LookupTableID> Clone for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>where
-    G::ScalarField: Clone,
source§
fn clone(&self) -> Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Debug + KimchiCurve, OpeningProof: Debug + OpenProof<G>, ID: Debug + LookupTableID> Debug for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>where
+Proof in kimchi_msm::proof - Rust
Struct kimchi_msm::proof::Proof
source · 
pub struct Proof<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: KimchiCurve, OpeningProof: OpenProof<G>, ID: LookupTableID> { /* private fields */ }
Trait Implementations§
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Clone + KimchiCurve, OpeningProof: Clone + OpenProof<G>, ID: Clone + LookupTableID> Clone for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>where
+    G::ScalarField: Clone,
source§
fn clone(&self) -> Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G: Debug + KimchiCurve, OpeningProof: Debug + OpenProof<G>, ID: Debug + LookupTableID> Debug for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>where
     G::ScalarField: Debug,
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
Auto Trait Implementations§
§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, G, OpeningProof, ID> RefUnwindSafe for Proof<N_WIT, N_REL, N_DSEL, N_FSEL, G, OpeningProof, ID>where
     G: RefUnwindSafe,
     ID: RefUnwindSafe,
diff --git a/rustdoc/kimchi_msm/proof/struct.ProofCommitments.html b/rustdoc/kimchi_msm/proof/struct.ProofCommitments.html
index 0797a438e3..fd0085f0ce 100644
--- a/rustdoc/kimchi_msm/proof/struct.ProofCommitments.html
+++ b/rustdoc/kimchi_msm/proof/struct.ProofCommitments.html
@@ -1,4 +1,4 @@
-ProofCommitments in kimchi_msm::proof - Rust
Struct kimchi_msm::proof::ProofCommitments
source · 
pub struct ProofCommitments<const N_WIT: usize, G: KimchiCurve, ID: LookupTableID> { /* private fields */ }
Trait Implementations§
source§
impl<const N_WIT: usize, G: Clone + KimchiCurve, ID: Clone + LookupTableID> Clone for ProofCommitments<N_WIT, G, ID>
source§
fn clone(&self) -> ProofCommitments<N_WIT, G, ID>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl<const N_WIT: usize, G: Debug + KimchiCurve, ID: Debug + LookupTableID> Debug for ProofCommitments<N_WIT, G, ID>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
Auto Trait Implementations§
§
impl<const N_WIT: usize, G, ID> RefUnwindSafe for ProofCommitments<N_WIT, G, ID>where
+ProofCommitments in kimchi_msm::proof - Rust
Struct kimchi_msm::proof::ProofCommitments
source · 
pub struct ProofCommitments<const N_WIT: usize, G: KimchiCurve, ID: LookupTableID> { /* private fields */ }
Trait Implementations§
source§
impl<const N_WIT: usize, G: Clone + KimchiCurve, ID: Clone + LookupTableID> Clone for ProofCommitments<N_WIT, G, ID>
source§
fn clone(&self) -> ProofCommitments<N_WIT, G, ID>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl<const N_WIT: usize, G: Debug + KimchiCurve, ID: Debug + LookupTableID> Debug for ProofCommitments<N_WIT, G, ID>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
Auto Trait Implementations§
§
impl<const N_WIT: usize, G, ID> RefUnwindSafe for ProofCommitments<N_WIT, G, ID>where
     G: RefUnwindSafe,
     ID: RefUnwindSafe,
§
impl<const N_WIT: usize, G, ID> Send for ProofCommitments<N_WIT, G, ID>
§
impl<const N_WIT: usize, G, ID> Sync for ProofCommitments<N_WIT, G, ID>
§
impl<const N_WIT: usize, G, ID> Unpin for ProofCommitments<N_WIT, G, ID>where
     G: Unpin,
§
impl<const N_WIT: usize, G, ID> UnwindSafe for ProofCommitments<N_WIT, G, ID>where
diff --git a/rustdoc/kimchi_msm/proof/struct.ProofEvaluations.html b/rustdoc/kimchi_msm/proof/struct.ProofEvaluations.html
index ddab5cd9a0..c71f94d1a0 100644
--- a/rustdoc/kimchi_msm/proof/struct.ProofEvaluations.html
+++ b/rustdoc/kimchi_msm/proof/struct.ProofEvaluations.html
@@ -1,10 +1,10 @@
-ProofEvaluations in kimchi_msm::proof - Rust
Struct kimchi_msm::proof::ProofEvaluations
source · 
pub struct ProofEvaluations<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID: LookupTableID> { /* private fields */ }
Trait Implementations§
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone, ID: Clone + LookupTableID> Clone for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>
source§
fn clone(&self) -> ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone, ID: LookupTableID> ColumnEvaluations<F> for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>
The trait ColumnEvaluations is used by the verifier.
+ProofEvaluations in kimchi_msm::proof - Rust
Struct kimchi_msm::proof::ProofEvaluations
source · 
pub struct ProofEvaluations<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID: LookupTableID> { /* private fields */ }
Trait Implementations§
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone, ID: Clone + LookupTableID> Clone for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>
source§
fn clone(&self) -> ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Clone, ID: LookupTableID> ColumnEvaluations<F> for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>
The trait ColumnEvaluations is used by the verifier.
 It will return the evaluation of the corresponding column at the
 evaluation points coined by the verifier during the protocol.

-
§
type Column = Column
source§
fn evaluate(
+
§
type Column = Column
source§
fn evaluate(
     &self,
-    col: Self::Column
-) -> Result<PointEvaluations<F>, ExprError<Self::Column>>
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Debug, ID: Debug + LookupTableID> Debug for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
Auto Trait Implementations§
§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID> RefUnwindSafe for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>where
+    col: Self::Column
+) -> Result<PointEvaluations<F>, ExprError<Self::Column>>
source§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F: Debug, ID: Debug + LookupTableID> Debug for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
Auto Trait Implementations§
§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID> RefUnwindSafe for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>where
     F: RefUnwindSafe,
     ID: RefUnwindSafe,
§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID> Send for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>where
     F: Send,
§
impl<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, F, ID> Sync for ProofEvaluations<N_WIT, N_REL, N_DSEL, N_FSEL, F, ID>where
diff --git a/rustdoc/kimchi_msm/proof/struct.ProofInputs.html b/rustdoc/kimchi_msm/proof/struct.ProofInputs.html
index fee3e235d3..93afbae5d9 100644
--- a/rustdoc/kimchi_msm/proof/struct.ProofInputs.html
+++ b/rustdoc/kimchi_msm/proof/struct.ProofInputs.html
@@ -3,7 +3,7 @@
     pub logups: Vec<LogupWitness<F, ID>>,
 }

Fields§

§evaluations: Witness<N_WIT, Vec<F>>

Actual values w_i of the witness columns. “Evaluations” as in evaluations of polynomial P_w that interpolates w_i.

-
§logups: Vec<LogupWitness<F, ID>>

Implementations§

source§

impl<const N_WIT: usize, F: PrimeField> ProofInputs<N_WIT, F, LookupTableIDs>

source

pub fn random(domain: EvaluationDomains<F>) -> Self

Trait Implementations§

source§

impl<const N_WIT: usize, F: Clone + PrimeField, ID: Clone + LookupTableID> Clone for ProofInputs<N_WIT, F, ID>

source§

fn clone(&self) -> ProofInputs<N_WIT, F, ID>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<const N_WIT: usize, F: Debug + PrimeField, ID: Debug + LookupTableID> Debug for ProofInputs<N_WIT, F, ID>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<const N_WIT: usize, F: PrimeField, ID: LookupTableID> Default for ProofInputs<N_WIT, F, ID>

source§

fn default() -> Self

Creates a default proof instance. Note that such an empty “zero” instance will not satisfy any constraint. +

§logups: Vec<LogupWitness<F, ID>>

Implementations§

source§

impl<const N_WIT: usize, F: PrimeField> ProofInputs<N_WIT, F, LookupTableIDs>

source

pub fn random(domain: EvaluationDomains<F>) -> Self

Trait Implementations§

source§

impl<const N_WIT: usize, F: Clone + PrimeField, ID: Clone + LookupTableID> Clone for ProofInputs<N_WIT, F, ID>

source§

fn clone(&self) -> ProofInputs<N_WIT, F, ID>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<const N_WIT: usize, F: Debug + PrimeField, ID: Debug + LookupTableID> Debug for ProofInputs<N_WIT, F, ID>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<const N_WIT: usize, F: PrimeField, ID: LookupTableID> Default for ProofInputs<N_WIT, F, ID>

source§

fn default() -> Self

Creates a default proof instance. Note that such an empty “zero” instance will not satisfy any constraint. E.g. some constraints that have constants inside of them (A - const = 0) cannot be satisfied by it.

source§

impl<const N_WIT: usize, F: PartialEq + PrimeField, ID: PartialEq + LookupTableID> PartialEq<ProofInputs<N_WIT, F, ID>> for ProofInputs<N_WIT, F, ID>

source§

fn eq(&self, other: &ProofInputs<N_WIT, F, ID>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always diff --git a/rustdoc/kimchi_msm/prover/fn.prove.html b/rustdoc/kimchi_msm/prover/fn.prove.html index b049bee4f7..24af5cf948 100644 --- a/rustdoc/kimchi_msm/prover/fn.prove.html +++ b/rustdoc/kimchi_msm/prover/fn.prove.html @@ -1,5 +1,5 @@ -prove in kimchi_msm::prover - Rust

Function kimchi_msm::prover::prove

source · 
pub fn prove<G: KimchiCurve, OpeningProof: OpenProof<G>, EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>, EFrSponge: FrSponge<G::ScalarField>, RNG, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, ID: LookupTableID>(
-    domain: EvaluationDomains<G::ScalarField>,
+prove in kimchi_msm::prover - Rust
Function kimchi_msm::prover::prove
source · 
pub fn prove<G: KimchiCurve, OpeningProof: OpenProof<G>, EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>, EFrSponge: FrSponge<G::ScalarField>, RNG, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, ID: LookupTableID>(
+    domain: EvaluationDomains<G::ScalarField>,
     srs: &OpeningProof::SRS,
     constraints: &Vec<E<G::ScalarField>>,
     fixed_selectors: Box<[Vec<G::ScalarField>; N_FSEL]>,
diff --git a/rustdoc/kimchi_msm/verifier/fn.verify.html b/rustdoc/kimchi_msm/verifier/fn.verify.html
index 38b23a9ea8..9941507597 100644
--- a/rustdoc/kimchi_msm/verifier/fn.verify.html
+++ b/rustdoc/kimchi_msm/verifier/fn.verify.html
@@ -1,5 +1,5 @@
-verify in kimchi_msm::verifier - Rust
Function kimchi_msm::verifier::verify
source · 
pub fn verify<G: KimchiCurve, OpeningProof: OpenProof<G>, EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>, EFrSponge: FrSponge<G::ScalarField>, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, const NPUB: usize, ID: LookupTableID>(
-    domain: EvaluationDomains<G::ScalarField>,
+verify in kimchi_msm::verifier - Rust
Function kimchi_msm::verifier::verify
source · 
pub fn verify<G: KimchiCurve, OpeningProof: OpenProof<G>, EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>, EFrSponge: FrSponge<G::ScalarField>, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, const NPUB: usize, ID: LookupTableID>(
+    domain: EvaluationDomains<G::ScalarField>,
     srs: &OpeningProof::SRS,
     constraints: &Vec<E<G::ScalarField>>,
     fixed_selectors: Box<[Vec<G::ScalarField>; N_FSEL]>,
diff --git a/rustdoc/src/ivc/prover.rs.html b/rustdoc/src/ivc/prover.rs.html
index 5786108b0b..d107971a3f 100644
--- a/rustdoc/src/ivc/prover.rs.html
+++ b/rustdoc/src/ivc/prover.rs.html
@@ -500,7 +500,6 @@
 500
 501
 502
-503
 
#![allow(clippy::type_complexity)]
 #![allow(clippy::boxed_local)]
 
@@ -768,34 +767,33 @@
         let evaluation_domain = domain.d2;
 
         let enlarge_to_domain_generic =
-            |evaluations: Evaluations<Fp, R2D<Fp>>, new_domain: R2D<Fp>| {
+            |evaluations: &Evaluations<Fp, R2D<Fp>>, new_domain: R2D<Fp>| {
                 assert!(evaluations.domain() == domain.d1);
                 evaluations
-                    .interpolate()
+                    .interpolate_by_ref()
                     .evaluate_over_domain_by_ref(new_domain)
             };
 
-        let enlarge_to_domain = |evaluations: Evaluations<Fp, R2D<Fp>>| {
+        let enlarge_to_domain = |evaluations: &Evaluations<Fp, R2D<Fp>>| {
             enlarge_to_domain_generic(evaluations, evaluation_domain)
         };
 
         let simple_eval_env: SimpleEvalEnv<G, N_WIT, N_FSEL> = {
             let ext_witness = ExtendedWitness {
                 witness: PlonkishWitness {
-                    witness: witness_main
+                    witness: (&witness_main)
                         .into_par_iter()
                         .map(enlarge_to_domain)
                         .collect(),
-                    fixed_selectors: fixed_selectors_evals_d1
-                        .to_vec()
+                    fixed_selectors: (&fixed_selectors_evals_d1.to_vec())
                         .into_par_iter()
                         .map(enlarge_to_domain)
                         .collect(),
                     phantom: std::marker::PhantomData,
                 },
-                extended: witness_ext
-                    .into_iter()
-                    .map(|(ix, evals)| (ix, enlarge_to_domain(evals)))
+                extended: (&witness_ext)
+                    .into_par_iter()
+                    .map(|(ix, evals)| (*ix, enlarge_to_domain(evals)))
                     .collect(),
             };
 
@@ -803,7 +801,7 @@
                 ext_witness,
                 alphas: folded_instance.extended_instance.instance.alphas.clone(),
                 challenges: folded_instance.extended_instance.instance.challenges,
-                error_vec: enlarge_to_domain(folded_witness.error_vec.clone()),
+                error_vec: enlarge_to_domain(&folded_witness.error_vec),
                 u: folded_instance.u,
             }
         };