Function poly_commitment::commitment::absorb_commitment
source · pub fn absorb_commitment<Fq: Field, G: Clone, Fr: PrimeField, EFqSponge: FqSponge<Fq, G, Fr>>(
+absorb_commitment in poly_commitment::commitment - Rust Function poly_commitment::commitment::absorb_commitment
source · pub fn absorb_commitment<Fq: Field, G: Clone, Fr: PrimeField, EFqSponge: FqSponge<Fq, G, Fr>>(
sponge: &mut EFqSponge,
commitment: &PolyComm<G>
)
\ No newline at end of file
diff --git a/rustdoc/poly_commitment/commitment/fn.squeeze_challenge.html b/rustdoc/poly_commitment/commitment/fn.squeeze_challenge.html
index d1d24fbe8c..234138913e 100644
--- a/rustdoc/poly_commitment/commitment/fn.squeeze_challenge.html
+++ b/rustdoc/poly_commitment/commitment/fn.squeeze_challenge.html
@@ -1,4 +1,4 @@
-squeeze_challenge in poly_commitment::commitment - Rust Function poly_commitment::commitment::squeeze_challenge
source · pub fn squeeze_challenge<Fq: Field, G, Fr: PrimeField, EFqSponge: FqSponge<Fq, G, Fr>>(
+squeeze_challenge in poly_commitment::commitment - Rust Function poly_commitment::commitment::squeeze_challenge
source · pub fn squeeze_challenge<Fq: Field, G, Fr: PrimeField, EFqSponge: FqSponge<Fq, G, Fr>>(
endo_r: &Fr,
sponge: &mut EFqSponge
) -> Fr
\ No newline at end of file
diff --git a/rustdoc/poly_commitment/commitment/fn.squeeze_prechallenge.html b/rustdoc/poly_commitment/commitment/fn.squeeze_prechallenge.html
index 8f3d834806..5aee728f7f 100644
--- a/rustdoc/poly_commitment/commitment/fn.squeeze_prechallenge.html
+++ b/rustdoc/poly_commitment/commitment/fn.squeeze_prechallenge.html
@@ -1,3 +1,3 @@
-squeeze_prechallenge in poly_commitment::commitment - Rust Function poly_commitment::commitment::squeeze_prechallenge
source · pub fn squeeze_prechallenge<Fq: Field, G, Fr: Field, EFqSponge: FqSponge<Fq, G, Fr>>(
+squeeze_prechallenge in poly_commitment::commitment - Rust Function poly_commitment::commitment::squeeze_prechallenge
source · pub fn squeeze_prechallenge<Fq: Field, G, Fr: Field, EFqSponge: FqSponge<Fq, G, Fr>>(
sponge: &mut EFqSponge
-) -> ScalarChallenge<Fr>
\ No newline at end of file
+) -> ScalarChallenge<Fr>
\ No newline at end of file
diff --git a/rustdoc/poly_commitment/commitment/struct.BatchEvaluationProof.html b/rustdoc/poly_commitment/commitment/struct.BatchEvaluationProof.html
index 27bc6c4ea8..7a2ec0ccf3 100644
--- a/rustdoc/poly_commitment/commitment/struct.BatchEvaluationProof.html
+++ b/rustdoc/poly_commitment/commitment/struct.BatchEvaluationProof.html
@@ -1,6 +1,6 @@
BatchEvaluationProof in poly_commitment::commitment - Rust Struct poly_commitment::commitment::BatchEvaluationProof
source · pub struct BatchEvaluationProof<'a, G, EFqSponge, OpeningProof>where
G: AffineRepr,
- EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>,{
+ EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>,{
pub sponge: EFqSponge,
pub evaluations: Vec<Evaluation<G>>,
pub evaluation_points: Vec<G::ScalarField>,
diff --git a/rustdoc/poly_commitment/commitment/trait.CommitmentCurve.html b/rustdoc/poly_commitment/commitment/trait.CommitmentCurve.html
index a0732b1bfa..f955ba4282 100644
--- a/rustdoc/poly_commitment/commitment/trait.CommitmentCurve.html
+++ b/rustdoc/poly_commitment/commitment/trait.CommitmentCurve.html
@@ -1,6 +1,6 @@
CommitmentCurve in poly_commitment::commitment - Rust Trait poly_commitment::commitment::CommitmentCurve
source · pub trait CommitmentCurve: AffineRepr + Sub<Output = Self::Group> {
type Params: SWCurveConfig;
- type Map: GroupMap<Self::BaseField>;
+ type Map: GroupMap<Self::BaseField>;
// Required methods
fn to_coordinates(&self) -> Option<(Self::BaseField, Self::BaseField)>;
@@ -8,4 +8,4 @@
}
Expand description
A useful trait extending AffineRepr for commitments.
Unfortunately, we can’t specify that AffineRepr<BaseField : PrimeField>
,
so usage of this traits must manually bind G::BaseField: PrimeField
.
-Required Associated Types§
Required Methods§
sourcefn to_coordinates(&self) -> Option<(Self::BaseField, Self::BaseField)>
sourcefn of_coordinates(x: Self::BaseField, y: Self::BaseField) -> Self
Implementations on Foreign Types§
source§impl<P: SWCurveConfig + Clone> CommitmentCurve for SWJAffine<P>
Implementors§
\ No newline at end of file
+
Required Associated Types§
Required Methods§
sourcefn to_coordinates(&self) -> Option<(Self::BaseField, Self::BaseField)>
sourcefn of_coordinates(x: Self::BaseField, y: Self::BaseField) -> Self
Implementations on Foreign Types§
source§impl<P: SWCurveConfig + Clone> CommitmentCurve for SWJAffine<P>
§type Params = P
§type Map = BWParameters<P>
source§fn to_coordinates(&self) -> Option<(Self::BaseField, Self::BaseField)>
source§fn of_coordinates(x: P::BaseField, y: P::BaseField) -> SWJAffine<P>
Implementors§
\ No newline at end of file
diff --git a/rustdoc/poly_commitment/commitment/trait.EndoCurve.html b/rustdoc/poly_commitment/commitment/trait.EndoCurve.html
index 2a252d2dfd..bd3cf988b9 100644
--- a/rustdoc/poly_commitment/commitment/trait.EndoCurve.html
+++ b/rustdoc/poly_commitment/commitment/trait.EndoCurve.html
@@ -6,7 +6,7 @@
_endo_q: Self::BaseField,
g1: &[Self],
g2: &[Self],
- x2: ScalarChallenge<Self::ScalarField>
+ x2: ScalarChallenge<Self::ScalarField>
) -> Vec<Self> { ... }
fn combine(
g1: &[Self],
@@ -23,7 +23,7 @@
_endo_q: Self::BaseField,
g1: &[Self],
g2: &[Self],
- x2: ScalarChallenge<Self::ScalarField>
+ x2: ScalarChallenge<Self::ScalarField>
) -> Vec<Self>