diff --git a/rustdoc/poly_commitment/commitment/fn.absorb_commitment.html b/rustdoc/poly_commitment/commitment/fn.absorb_commitment.html index 3479e4a5ba..5b6fe5dc3c 100644 --- a/rustdoc/poly_commitment/commitment/fn.absorb_commitment.html +++ b/rustdoc/poly_commitment/commitment/fn.absorb_commitment.html @@ -1,4 +1,4 @@ -absorb_commitment in poly_commitment::commitment - Rust

Function poly_commitment::commitment::absorb_commitment

source · 
pub fn absorb_commitment<Fq: Field, G: Clone, Fr: PrimeField + SquareRootField, 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 + SquareRootField, 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 d8360661a7..26f1941dc9 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 + SquareRootField, 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 + SquareRootField, 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 8caa6be222..71c6f364eb 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: SquareRootField, 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: SquareRootField, 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 cd247841f4..1a1acd44a8 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: AffineCurve,
-    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.EndoCurve.html b/rustdoc/poly_commitment/commitment/trait.EndoCurve.html
index e95bb0a2ef..efadf04185 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>
Combine where x1 = one

 
source
fn combine(
     g1: &[Self],
@@ -36,7 +36,7 @@
     endo_q: Self::BaseField,
     g1: &[Self],
     g2: &[Self],
-    x2: ScalarChallenge<Self::ScalarField>
+    x2: ScalarChallenge<Self::ScalarField>
 ) -> Vec<Self>
source§
fn combine(
     g1: &[Self],
     g2: &[Self],
diff --git a/rustdoc/poly_commitment/evaluation_proof/struct.OpeningProof.html b/rustdoc/poly_commitment/evaluation_proof/struct.OpeningProof.html
index 3371e5f235..3101a28489 100644
--- a/rustdoc/poly_commitment/evaluation_proof/struct.OpeningProof.html
+++ b/rustdoc/poly_commitment/evaluation_proof/struct.OpeningProof.html
@@ -6,12 +6,12 @@
     pub sg: G,
 }
Fields§
§lr: Vec<(G, G)>
Vector of rounds of L & R commitments

 
§delta: G§z1: G::ScalarField§z2: G::ScalarField§sg: G
A final folded commitment base

-
Implementations§
source§
impl<G: AffineCurve> OpeningProof<G>
source
pub fn prechallenges<EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>>(
+
Implementations§
source§
impl<G: AffineCurve> OpeningProof<G>
source
pub fn prechallenges<EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>>(
     &self,
     sponge: &mut EFqSponge
-) -> Vec<ScalarChallenge<G::ScalarField>>
Computes a log-sized vector of scalar challenges for
+) -> Vec<ScalarChallenge<G::ScalarField>>
Computes a log-sized vector of scalar challenges for
 recombining elements inside the IPA.

-
source
pub fn challenges<EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>>(
+
source
pub fn challenges<EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>>(
     &self,
     endo_r: &G::ScalarField,
     sponge: &mut EFqSponge
@@ -38,14 +38,14 @@
     sponge: EFqSponge,
     rng: &mut RNG
 ) -> Selfwhere
-    EFqSponge: Clone + FqSponge<<G as AffineCurve>::BaseField, G, <G as AffineCurve>::ScalarField>,
+    EFqSponge: Clone + FqSponge<<G as AffineCurve>::BaseField, G, <G as AffineCurve>::ScalarField>,
     RNG: RngCore + CryptoRng,
Parameters: Read more
source§
fn verify<EFqSponge, RNG>(
     srs: &Self::SRS,
     group_map: &G::Map,
     batch: &mut [BatchEvaluationProof<'_, G, EFqSponge, Self>],
     rng: &mut RNG
 ) -> boolwhere
-    EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>,
+    EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>,
     RNG: RngCore + CryptoRng,
source§

impl<G> Serialize for OpeningProof<G>where G: CanonicalDeserialize + CanonicalSerialize + AffineCurve,

source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

§

impl<G> RefUnwindSafe for OpeningProof<G>where diff --git a/rustdoc/poly_commitment/pairing_proof/struct.PairingProof.html b/rustdoc/poly_commitment/pairing_proof/struct.PairingProof.html index 8d84ba85bc..bb0a745b33 100644 --- a/rustdoc/poly_commitment/pairing_proof/struct.PairingProof.html +++ b/rustdoc/poly_commitment/pairing_proof/struct.PairingProof.html @@ -34,7 +34,7 @@ _sponge: EFqSponge, _rng: &mut RNG ) -> Selfwhere - EFqSponge: Clone + FqSponge<<G as AffineCurve>::BaseField, G, F>, + EFqSponge: Clone + FqSponge<<G as AffineCurve>::BaseField, G, F>, RNG: RngCore + CryptoRng,

Parameters:

source§

impl<Pair: PairingEngine> Serialize for PairingProof<Pair>where Pair::G1Affine: CanonicalDeserialize + CanonicalSerialize,

source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

§

impl<Pair> RefUnwindSafe for PairingProof<Pair>where diff --git a/rustdoc/poly_commitment/srs/struct.SRS.html b/rustdoc/poly_commitment/srs/struct.SRS.html index d5b1ea7880..44dec2d73b 100644 --- a/rustdoc/poly_commitment/srs/struct.SRS.html +++ b/rustdoc/poly_commitment/srs/struct.SRS.html @@ -12,7 +12,7 @@ batch: &mut [BatchEvaluationProof<'_, G, EFqSponge, OpeningProof<G>>], rng: &mut RNG ) -> boolwhere - EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>, + EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>, RNG: RngCore + CryptoRng, G::BaseField: PrimeField,

This function verifies a batch of polynomial commitment opening proofs. Return true if the verification is successful, false otherwise.

@@ -26,7 +26,7 @@ sponge: EFqSponge, rng: &mut RNG ) -> OpeningProof<G>where - EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>, + EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>, RNG: RngCore + CryptoRng, G::BaseField: PrimeField, G: EndoCurve,

This function opens polynomial commitments in batch diff --git a/rustdoc/poly_commitment/trait.OpenProof.html b/rustdoc/poly_commitment/trait.OpenProof.html index 85c716d665..e3e1a7ee4f 100644 --- a/rustdoc/poly_commitment/trait.OpenProof.html +++ b/rustdoc/poly_commitment/trait.OpenProof.html @@ -12,7 +12,7 @@ sponge: EFqSponge, rng: &mut RNG ) -> Self - where EFqSponge: Clone + FqSponge<<G as AffineCurve>::BaseField, G, <G as AffineCurve>::ScalarField>, + where EFqSponge: Clone + FqSponge<<G as AffineCurve>::BaseField, G, <G as AffineCurve>::ScalarField>, RNG: RngCore + CryptoRng; fn verify<EFqSponge, RNG>( srs: &Self::SRS, @@ -20,7 +20,7 @@ batch: &mut [BatchEvaluationProof<'_, G, EFqSponge, Self>], rng: &mut RNG ) -> bool - where EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>, + where EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>, RNG: RngCore + CryptoRng; }

Required Associated Types§

source

type SRS: SRS<G>

Required Methods§

source

fn open<EFqSponge, RNG, D: EvaluationDomain<<G as AffineCurve>::ScalarField>>( srs: &Self::SRS, @@ -32,7 +32,7 @@ sponge: EFqSponge, rng: &mut RNG ) -> Selfwhere - EFqSponge: Clone + FqSponge<<G as AffineCurve>::BaseField, G, <G as AffineCurve>::ScalarField>, + EFqSponge: Clone + FqSponge<<G as AffineCurve>::BaseField, G, <G as AffineCurve>::ScalarField>, RNG: RngCore + CryptoRng,

Parameters:

  • srs: the structured reference string
    • @@ -51,5 +51,5 @@ batch: &mut [BatchEvaluationProof<'_, G, EFqSponge, Self>], rng: &mut RNG ) -> boolwhere - EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>, + EFqSponge: FqSponge<G::BaseField, G, G::ScalarField>, RNG: RngCore + CryptoRng,

Implementors§

source§

impl<BaseField: PrimeField, G: AffineCurve<BaseField = BaseField> + CommitmentCurve + EndoCurve> OpenProof<G> for OpeningProof<G>

§

type SRS = SRS<G>

source§

impl<F: PrimeField, G: CommitmentCurve<ScalarField = F>, G2: CommitmentCurve<ScalarField = F>, Pair: PairingEngine<G1Affine = G, G2Affine = G2>> OpenProof<G> for PairingProof<Pair>

§

type SRS = PairingSRS<Pair>

\ No newline at end of file