Struct arecibo::spartan::batched::BatchedRelaxedR1CSSNARK
source · pub struct BatchedRelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a batch of relaxed R1CS instances The proof is produced using Spartan’s combination of the sum-check and the commitment to a vector viewed as a polynomial commitment
-Trait Implementations§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> BatchedRelaxedR1CSSNARKTrait<E> for BatchedRelaxedR1CSSNARK<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> BatchedRelaxedR1CSSNARKTrait<E> for BatchedRelaxedR1CSSNARK<E, EE>
§type VerifierKey = VerifierKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
Trait Implementations§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> BatchedRelaxedR1CSSNARKTrait<E> for BatchedRelaxedR1CSSNARK<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> BatchedRelaxedR1CSSNARKTrait<E> for BatchedRelaxedR1CSSNARK<E, EE>
§type VerifierKey = VerifierKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
source§fn setup(
ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>,
S: Vec<&R1CSShape<E>>
-) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
fn setup( ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>, S: Vec<&R1CSShape<E>> -) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
source§fn prove(
+) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
fn prove( +) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
source§fn prove(
ck: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey,
pk: &Self::ProverKey,
S: Vec<&R1CSShape<E>>,
U: &[RelaxedR1CSInstance<E>],
W: &[RelaxedR1CSWitness<E>]
-) -> Result<Self, NovaError>
fn prove( ck: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey, pk: &Self::ProverKey, S: Vec<&R1CSShape<E>>, U: &[RelaxedR1CSInstance<E>], W: &[RelaxedR1CSWitness<E>] -) -> Result<Self, NovaError>
source§fn verify(
&self,
vk: &Self::VerifierKey,
U: &[RelaxedR1CSInstance<E>]
-) -> Result<(), NovaError>
fn verify( &self, vk: &Self::VerifierKey, U: &[RelaxedR1CSInstance<E>] -) -> Result<(), NovaError>
source§fn ck_floor() -> Box<dyn for<'a> Fn(&'a R1CSShape<E>) -> usize>
fn ck_floor() -> Box<dyn for<'a> Fn(&'a R1CSShape<E>) -> usize>
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for BatchedRelaxedR1CSSNARK<E, EE>where
@@ -23,19 +23,19 @@
EE::EvaluationArgument: Clone,
impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for BatchedRelaxedR1CSSNARK<E, EE>where
@@ -23,19 +23,19 @@
EE::EvaluationArgument: Clone,
source§fn clone(&self) -> BatchedRelaxedR1CSSNARK<E, EE>
fn clone(&self) -> BatchedRelaxedR1CSSNARK<E, EE>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for BatchedRelaxedR1CSSNARK<E, EE>
impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for BatchedRelaxedR1CSSNARK<E, EE>
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for BatchedRelaxedR1CSSNARK<E, EE>
impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for BatchedRelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
- __D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
- __D: Deserializer<'de>,
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for BatchedRelaxedR1CSSNARK<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for BatchedRelaxedR1CSSNARK<E, EE>
§type VerifierKey = VerifierKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for BatchedRelaxedR1CSSNARK<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for BatchedRelaxedR1CSSNARK<E, EE>
§type VerifierKey = VerifierKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
source§fn setup(
ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>,
S: &R1CSShape<E>
-) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
fn setup( ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>, S: &R1CSShape<E> -) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
source§fn prove(
+) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
fn prove( +) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
source§fn prove(
ck: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey,
pk: &Self::ProverKey,
S: &R1CSShape<E>,
U: &RelaxedR1CSInstance<E>,
W: &RelaxedR1CSWitness<E>
-) -> Result<Self, NovaError>
fn prove( ck: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey, pk: &Self::ProverKey, S: &R1CSShape<E>, U: &RelaxedR1CSInstance<E>, W: &RelaxedR1CSWitness<E> -) -> Result<Self, NovaError>
source§fn verify(
&self,
vk: &Self::VerifierKey,
U: &RelaxedR1CSInstance<E>
diff --git a/docs/arecibo/spartan/polys/multilinear/struct.MultilinearPolynomial.html b/docs/arecibo/spartan/polys/multilinear/struct.MultilinearPolynomial.html
index 2112d9dd2..771fb96a4 100644
--- a/docs/arecibo/spartan/polys/multilinear/struct.MultilinearPolynomial.html
+++ b/docs/arecibo/spartan/polys/multilinear/struct.MultilinearPolynomial.html
@@ -28,9 +28,9 @@ Panics
fn verify(
&self,
vk: &Self::VerifierKey,
U: &RelaxedR1CSInstance<E>
diff --git a/docs/arecibo/spartan/polys/multilinear/struct.MultilinearPolynomial.html b/docs/arecibo/spartan/polys/multilinear/struct.MultilinearPolynomial.html
index 2112d9dd2..771fb96a4 100644
--- a/docs/arecibo/spartan/polys/multilinear/struct.MultilinearPolynomial.html
+++ b/docs/arecibo/spartan/polys/multilinear/struct.MultilinearPolynomial.html
@@ -28,9 +28,9 @@ Panics
sourcepub fn evaluate_with_chis(Z: &[Scalar], chis: &[Scalar]) -> Scalar
pub fn evaluate_with_chis(Z: &[Scalar], chis: &[Scalar]) -> Scalar
Evaluates the polynomial with the given evaluations and chi coefficients
Trait Implementations§
source§impl<Scalar: PrimeField> Add for MultilinearPolynomial<Scalar>
impl<Scalar: PrimeField> Add for MultilinearPolynomial<Scalar>
Adds another multilinear polynomial to self
.
Assumes the two polynomials have the same number of variables.
source§impl<Scalar: Clone> Clone for MultilinearPolynomial<Scalar>
impl<Scalar: Clone> Clone for MultilinearPolynomial<Scalar>
source§fn clone(&self) -> MultilinearPolynomial<Scalar>
fn clone(&self) -> MultilinearPolynomial<Scalar>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<Scalar: Debug> Debug for MultilinearPolynomial<Scalar>
impl<Scalar: Debug> Debug for MultilinearPolynomial<Scalar>
source§impl<'de, Scalar> Deserialize<'de> for MultilinearPolynomial<Scalar>where
+
impl<'de, Scalar> Deserialize<'de> for MultilinearPolynomial<Scalar>where
+
source§impl<Scalar: Clone> Clone for MultilinearPolynomial<Scalar>
impl<Scalar: Clone> Clone for MultilinearPolynomial<Scalar>
source§fn clone(&self) -> MultilinearPolynomial<Scalar>
fn clone(&self) -> MultilinearPolynomial<Scalar>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<Scalar: Debug> Debug for MultilinearPolynomial<Scalar>
impl<Scalar: Debug> Debug for MultilinearPolynomial<Scalar>
source§impl<'de, Scalar> Deserialize<'de> for MultilinearPolynomial<Scalar>where
Scalar: Deserialize<'de>,
impl<'de, Scalar> Deserialize<'de> for MultilinearPolynomial<Scalar>where
Scalar: Deserialize<'de>,
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
- __D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
- __D: Deserializer<'de>,
source§impl<Scalar: PrimeField> Index<usize> for MultilinearPolynomial<Scalar>
impl<Scalar: PrimeField> Index<usize> for MultilinearPolynomial<Scalar>
source§impl<Scalar: PartialEq> PartialEq for MultilinearPolynomial<Scalar>
impl<Scalar: PartialEq> PartialEq for MultilinearPolynomial<Scalar>
source§impl<Scalar: PrimeField> Index<usize> for MultilinearPolynomial<Scalar>
impl<Scalar: PrimeField> Index<usize> for MultilinearPolynomial<Scalar>
source§impl<Scalar: PartialEq> PartialEq for MultilinearPolynomial<Scalar>
impl<Scalar: PartialEq> PartialEq for MultilinearPolynomial<Scalar>
source§fn eq(&self, other: &MultilinearPolynomial<Scalar>) -> bool
fn eq(&self, other: &MultilinearPolynomial<Scalar>) -> bool
self
and other
values to be equal, and is used
by ==
.source§impl<Scalar> Serialize for MultilinearPolynomial<Scalar>where
Scalar: Serialize,
impl<Scalar> Serialize for MultilinearPolynomial<Scalar>where
Scalar: Serialize,
source§fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
diff --git a/docs/arecibo/supernova/snark/index.html b/docs/arecibo/supernova/snark/index.html
index 8c0412d87..3f653e3d6 100644
--- a/docs/arecibo/supernova/snark/index.html
+++ b/docs/arecibo/supernova/snark/index.html
@@ -1,3 +1,3 @@
arecibo::supernova::snark - Rust
- Expand description
This module defines a final compressing SNARK for supernova proofs
+ Expand description
This module defines a final compressing SNARK for supernova proofs
Structs
- A SNARK that proves the knowledge of a valid
RecursiveSNARK
- A type that holds the prover key for
CompressedSNARK
- A type that holds the verifier key for
CompressedSNARK
\ No newline at end of file
diff --git a/docs/arecibo/traits/trait.Group.html b/docs/arecibo/traits/trait.Group.html
index 825e4130d..161ba8646 100644
--- a/docs/arecibo/traits/trait.Group.html
+++ b/docs/arecibo/traits/trait.Group.html
@@ -10,4 +10,4 @@
Required Associated Types§
sourcetype Base: PrimeFieldBits + Serialize + for<'de> Deserialize<'de>
A type representing an element of the base field of the group
sourcetype Scalar: PrimeFieldBits + PrimeFieldExt + Send + Sync + Serialize + for<'de> Deserialize<'de>
A type representing an element of the scalar field of the group
Required Methods§
Object Safety§
This trait is not object safe.Implementations on Foreign Types§
Implementors§
fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
diff --git a/docs/arecibo/supernova/snark/index.html b/docs/arecibo/supernova/snark/index.html
index 8c0412d87..3f653e3d6 100644
--- a/docs/arecibo/supernova/snark/index.html
+++ b/docs/arecibo/supernova/snark/index.html
@@ -1,3 +1,3 @@
arecibo::supernova::snark - Rust
- Expand description
This module defines a final compressing SNARK for supernova proofs
+ Expand description
This module defines a final compressing SNARK for supernova proofs
Structs
- A SNARK that proves the knowledge of a valid
RecursiveSNARK
- A type that holds the prover key for
CompressedSNARK
- A type that holds the verifier key for
CompressedSNARK
\ No newline at end of file
diff --git a/docs/arecibo/traits/trait.Group.html b/docs/arecibo/traits/trait.Group.html
index 825e4130d..161ba8646 100644
--- a/docs/arecibo/traits/trait.Group.html
+++ b/docs/arecibo/traits/trait.Group.html
@@ -10,4 +10,4 @@
Required Associated Types§
sourcetype Base: PrimeFieldBits + Serialize + for<'de> Deserialize<'de>
A type representing an element of the base field of the group
sourcetype Scalar: PrimeFieldBits + PrimeFieldExt + Send + Sync + Serialize + for<'de> Deserialize<'de>
A type representing an element of the scalar field of the group
Required Methods§
Object Safety§
This trait is not object safe.Implementations on Foreign Types§
Implementors§
Expand description
This module defines a final compressing SNARK for supernova proofs
+Expand description
This module defines a final compressing SNARK for supernova proofs
Structs
- A SNARK that proves the knowledge of a valid
RecursiveSNARK
- A type that holds the prover key for
CompressedSNARK
- A type that holds the verifier key for
CompressedSNARK
Required Associated Types§
sourcetype Base: PrimeFieldBits + Serialize + for<'de> Deserialize<'de>
type Base: PrimeFieldBits + Serialize + for<'de> Deserialize<'de>
A type representing an element of the base field of the group
sourcetype Scalar: PrimeFieldBits + PrimeFieldExt + Send + Sync + Serialize + for<'de> Deserialize<'de>
type Scalar: PrimeFieldBits + PrimeFieldExt + Send + Sync + Serialize + for<'de> Deserialize<'de>
A type representing an element of the scalar field of the group