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: 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/snark/struct.ProverKey.html b/docs/arecibo/spartan/snark/struct.ProverKey.html
index c42f4a9f8..bf56113d8 100644
--- a/docs/arecibo/spartan/snark/struct.ProverKey.html
+++ b/docs/arecibo/spartan/snark/struct.ProverKey.html
@@ -1,10 +1,10 @@
ProverKey in arecibo::spartan::snark - Rust
- pub struct ProverKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the prover’s key
-Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for ProverKey<E, EE>where
+ pub struct ProverKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the prover’s key
+Trait Implementations§
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for ProverKey<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
§impl<E, EE> Send for ProverKey<E, EE>
§impl<E, EE> Sync for ProverKey<E, EE>
§impl<E, EE> Unpin for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: Unpin,
diff --git a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
index f42369e00..1dd9e2953 100644
--- a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
+++ b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
@@ -1,31 +1,31 @@
RelaxedR1CSSNARK in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
+ Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
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: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>where
+
Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>where
+ EE::EvaluationArgument: Clone,
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
- __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
source§fn prove(
+ EE::EvaluationArgument: Debug,
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
+ __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
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>
produces a succinct proof of satisfiability of a RelaxedR1CS instance
-source§fn verify(
&self,
vk: &Self::VerifierKey,
U: &RelaxedR1CSInstance<E>
) -> Result<(), NovaError>
verifies a proof of satisfiability of a RelaxedR1CS instance
-§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s key§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s keysource§fn setup(
ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>,
S: &R1CSShape<E>
) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
Produces the keys for the prover and the verifiersource§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for RelaxedR1CSSNARK<E, EE>where
<EE as EvaluationEngineTrait<E>>::EvaluationArgument: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
§impl<E, EE> Send for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Sync for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Unpin for RelaxedR1CSSNARK<E, EE>where
diff --git a/docs/arecibo/spartan/snark/struct.VerifierKey.html b/docs/arecibo/spartan/snark/struct.VerifierKey.html
index bda51dbcd..d521dc64d 100644
--- a/docs/arecibo/spartan/snark/struct.VerifierKey.html
+++ b/docs/arecibo/spartan/snark/struct.VerifierKey.html
@@ -1,11 +1,11 @@
VerifierKey in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
-Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>where
+ Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
+Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for VerifierKey<E, EE>where
<E as Engine>::Scalar: UnwindSafe + RefUnwindSafe,
<EE as EvaluationEngineTrait<E>>::VerifierKey: RefUnwindSafe,
§impl<E, EE> Send for VerifierKey<E, EE>
§impl<E, EE> Sync for VerifierKey<E, EE>
§impl<E, EE> Unpin for VerifierKey<E, EE>where
diff --git a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
index 35629d8d5..87e082c5c 100644
--- a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
+++ b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
@@ -4,4 +4,4 @@
fn digest(&self) -> E::Scalar;
}Expand description
A helper trait that defines the behavior of a verifier key of zkSNARK
Required Methods§
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
\ No newline at end of file
+
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
fn verify(
&self,
vk: &Self::VerifierKey,
U: &RelaxedR1CSInstance<E>
diff --git a/docs/arecibo/spartan/snark/struct.ProverKey.html b/docs/arecibo/spartan/snark/struct.ProverKey.html
index c42f4a9f8..bf56113d8 100644
--- a/docs/arecibo/spartan/snark/struct.ProverKey.html
+++ b/docs/arecibo/spartan/snark/struct.ProverKey.html
@@ -1,10 +1,10 @@
ProverKey in arecibo::spartan::snark - Rust
- pub struct ProverKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the prover’s key
-Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for ProverKey<E, EE>where
+ pub struct ProverKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the prover’s key
+Trait Implementations§
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for ProverKey<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
§impl<E, EE> Send for ProverKey<E, EE>
§impl<E, EE> Sync for ProverKey<E, EE>
§impl<E, EE> Unpin for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: Unpin,
diff --git a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
index f42369e00..1dd9e2953 100644
--- a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
+++ b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
@@ -1,31 +1,31 @@
RelaxedR1CSSNARK in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
+ Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
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: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>where
+
Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>where
+ EE::EvaluationArgument: Clone,
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
- __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
source§fn prove(
+ EE::EvaluationArgument: Debug,
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
+ __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
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>
produces a succinct proof of satisfiability of a RelaxedR1CS instance
-source§fn verify(
&self,
vk: &Self::VerifierKey,
U: &RelaxedR1CSInstance<E>
) -> Result<(), NovaError>
verifies a proof of satisfiability of a RelaxedR1CS instance
-§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s key§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s keysource§fn setup(
ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>,
S: &R1CSShape<E>
) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
Produces the keys for the prover and the verifiersource§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for RelaxedR1CSSNARK<E, EE>where
<EE as EvaluationEngineTrait<E>>::EvaluationArgument: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
§impl<E, EE> Send for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Sync for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Unpin for RelaxedR1CSSNARK<E, EE>where
diff --git a/docs/arecibo/spartan/snark/struct.VerifierKey.html b/docs/arecibo/spartan/snark/struct.VerifierKey.html
index bda51dbcd..d521dc64d 100644
--- a/docs/arecibo/spartan/snark/struct.VerifierKey.html
+++ b/docs/arecibo/spartan/snark/struct.VerifierKey.html
@@ -1,11 +1,11 @@
VerifierKey in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
-Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>where
+ Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
+Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for VerifierKey<E, EE>where
<E as Engine>::Scalar: UnwindSafe + RefUnwindSafe,
<EE as EvaluationEngineTrait<E>>::VerifierKey: RefUnwindSafe,
§impl<E, EE> Send for VerifierKey<E, EE>
§impl<E, EE> Sync for VerifierKey<E, EE>
§impl<E, EE> Unpin for VerifierKey<E, EE>where
diff --git a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
index 35629d8d5..87e082c5c 100644
--- a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
+++ b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
@@ -4,4 +4,4 @@
fn digest(&self) -> E::Scalar;
}Expand description
A helper trait that defines the behavior of a verifier key of zkSNARK
Required Methods§
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
\ No newline at end of file
+
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
pub struct ProverKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }Expand description
A type that represents the prover’s key
-Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for ProverKey<E, EE>where
+ pub struct ProverKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the prover’s key
+Trait Implementations§
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for ProverKey<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
§impl<E, EE> Send for ProverKey<E, EE>
§impl<E, EE> Sync for ProverKey<E, EE>
§impl<E, EE> Unpin for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: Unpin,
diff --git a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
index f42369e00..1dd9e2953 100644
--- a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
+++ b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
@@ -1,31 +1,31 @@
RelaxedR1CSSNARK in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
+ Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
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: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>where
+
Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>where
+ EE::EvaluationArgument: Clone,
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
- __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
source§fn prove(
+ EE::EvaluationArgument: Debug,
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
+ __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
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>
produces a succinct proof of satisfiability of a RelaxedR1CS instance
-source§fn verify(
&self,
vk: &Self::VerifierKey,
U: &RelaxedR1CSInstance<E>
) -> Result<(), NovaError>
verifies a proof of satisfiability of a RelaxedR1CS instance
-§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s key§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s keysource§fn setup(
ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>,
S: &R1CSShape<E>
) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
Produces the keys for the prover and the verifiersource§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for RelaxedR1CSSNARK<E, EE>where
<EE as EvaluationEngineTrait<E>>::EvaluationArgument: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
§impl<E, EE> Send for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Sync for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Unpin for RelaxedR1CSSNARK<E, EE>where
diff --git a/docs/arecibo/spartan/snark/struct.VerifierKey.html b/docs/arecibo/spartan/snark/struct.VerifierKey.html
index bda51dbcd..d521dc64d 100644
--- a/docs/arecibo/spartan/snark/struct.VerifierKey.html
+++ b/docs/arecibo/spartan/snark/struct.VerifierKey.html
@@ -1,11 +1,11 @@
VerifierKey in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
-Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>where
+ Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
+Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for VerifierKey<E, EE>where
<E as Engine>::Scalar: UnwindSafe + RefUnwindSafe,
<EE as EvaluationEngineTrait<E>>::VerifierKey: RefUnwindSafe,
§impl<E, EE> Send for VerifierKey<E, EE>
§impl<E, EE> Sync for VerifierKey<E, EE>
§impl<E, EE> Unpin for VerifierKey<E, EE>where
diff --git a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
index 35629d8d5..87e082c5c 100644
--- a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
+++ b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
@@ -4,4 +4,4 @@
fn digest(&self) -> E::Scalar;
}Expand description
A helper trait that defines the behavior of a verifier key of zkSNARK
Required Methods§
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
\ No newline at end of file
+
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for ProverKey<E, EE>where
+ pub struct ProverKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the prover’s key
+Trait Implementations§
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for ProverKey<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
§impl<E, EE> Send for ProverKey<E, EE>
§impl<E, EE> Sync for ProverKey<E, EE>
§impl<E, EE> Unpin for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: Unpin,
diff --git a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
index f42369e00..1dd9e2953 100644
--- a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
+++ b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
@@ -1,31 +1,31 @@
RelaxedR1CSSNARK in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
+ Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
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: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>where
+
Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>where
+ EE::EvaluationArgument: Clone,
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
- __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
source§fn prove(
+ EE::EvaluationArgument: Debug,
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
+ __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
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>
produces a succinct proof of satisfiability of a RelaxedR1CS instance
-source§fn verify(
&self,
vk: &Self::VerifierKey,
U: &RelaxedR1CSInstance<E>
) -> Result<(), NovaError>
verifies a proof of satisfiability of a RelaxedR1CS instance
-§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s key§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s keysource§fn setup(
ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>,
S: &R1CSShape<E>
) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
Produces the keys for the prover and the verifiersource§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for RelaxedR1CSSNARK<E, EE>where
<EE as EvaluationEngineTrait<E>>::EvaluationArgument: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
§impl<E, EE> Send for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Sync for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Unpin for RelaxedR1CSSNARK<E, EE>where
diff --git a/docs/arecibo/spartan/snark/struct.VerifierKey.html b/docs/arecibo/spartan/snark/struct.VerifierKey.html
index bda51dbcd..d521dc64d 100644
--- a/docs/arecibo/spartan/snark/struct.VerifierKey.html
+++ b/docs/arecibo/spartan/snark/struct.VerifierKey.html
@@ -1,11 +1,11 @@
VerifierKey in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
-Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>where
+ Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
+Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for VerifierKey<E, EE>where
<E as Engine>::Scalar: UnwindSafe + RefUnwindSafe,
<EE as EvaluationEngineTrait<E>>::VerifierKey: RefUnwindSafe,
§impl<E, EE> Send for VerifierKey<E, EE>
§impl<E, EE> Sync for VerifierKey<E, EE>
§impl<E, EE> Unpin for VerifierKey<E, EE>where
diff --git a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
index 35629d8d5..87e082c5c 100644
--- a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
+++ b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
@@ -4,4 +4,4 @@
fn digest(&self) -> E::Scalar;
}Expand description
A helper trait that defines the behavior of a verifier key of zkSNARK
Required Methods§
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
\ No newline at end of file
+
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
pub struct ProverKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }Expand description
A type that represents the prover’s key
+Trait Implementations§
Auto Trait Implementations§
impl<E, EE> RefUnwindSafe for ProverKey<E, EE>
Auto Trait Implementations§
impl<E, EE> RefUnwindSafe for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
impl<E, EE> Send for ProverKey<E, EE>
impl<E, EE> Sync for ProverKey<E, EE>
impl<E, EE> Unpin for ProverKey<E, EE>where
<EE as EvaluationEngineTrait<E>>::ProverKey: Unpin,
diff --git a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
index f42369e00..1dd9e2953 100644
--- a/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
+++ b/docs/arecibo/spartan/snark/struct.RelaxedR1CSSNARK.html
@@ -1,31 +1,31 @@
RelaxedR1CSSNARK in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
+ Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
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: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>where
+
Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>where
+ EE::EvaluationArgument: Clone,
source§fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
- __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
source§fn prove(
+ EE::EvaluationArgument: Debug,
source§impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
+ __D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read moresource§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
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>
produces a succinct proof of satisfiability of a RelaxedR1CS instance
-source§fn verify(
&self,
vk: &Self::VerifierKey,
U: &RelaxedR1CSInstance<E>
) -> Result<(), NovaError>
verifies a proof of satisfiability of a RelaxedR1CS instance
-§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s key§type VerifierKey = VerifierKey<E, EE>
A type that represents the verifier’s keysource§fn setup(
ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>,
S: &R1CSShape<E>
) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
Produces the keys for the prover and the verifiersource§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for RelaxedR1CSSNARK<E, EE>where
<EE as EvaluationEngineTrait<E>>::EvaluationArgument: RefUnwindSafe,
<E as Engine>::Scalar: RefUnwindSafe,
§impl<E, EE> Send for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Sync for RelaxedR1CSSNARK<E, EE>
§impl<E, EE> Unpin for RelaxedR1CSSNARK<E, EE>where
diff --git a/docs/arecibo/spartan/snark/struct.VerifierKey.html b/docs/arecibo/spartan/snark/struct.VerifierKey.html
index bda51dbcd..d521dc64d 100644
--- a/docs/arecibo/spartan/snark/struct.VerifierKey.html
+++ b/docs/arecibo/spartan/snark/struct.VerifierKey.html
@@ -1,11 +1,11 @@
VerifierKey in arecibo::spartan::snark - Rust
- Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
-Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>where
+ Struct arecibo::spartan::snark::VerifierKey
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }
Expand description
A type that represents the verifier’s key
+Trait Implementations§
source§impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§fn clone(&self) -> VerifierKey<E, EE>
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
Auto Trait Implementations§
§impl<E, EE> RefUnwindSafe for VerifierKey<E, EE>where
<E as Engine>::Scalar: UnwindSafe + RefUnwindSafe,
<EE as EvaluationEngineTrait<E>>::VerifierKey: RefUnwindSafe,
§impl<E, EE> Send for VerifierKey<E, EE>
§impl<E, EE> Sync for VerifierKey<E, EE>
§impl<E, EE> Unpin for VerifierKey<E, EE>where
diff --git a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
index 35629d8d5..87e082c5c 100644
--- a/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
+++ b/docs/arecibo/traits/snark/trait.DigestHelperTrait.html
@@ -4,4 +4,4 @@
fn digest(&self) -> E::Scalar;
}Expand description
A helper trait that defines the behavior of a verifier key of zkSNARK
Required Methods§
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
\ No newline at end of file
+
Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
Object Safety§
This trait is not object safe.Implementors§
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
source§impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
§type ProverKey = ProverKey<E, EE>
§type VerifierKey = VerifierKey<E, EE>
Struct arecibo::spartan::snark::RelaxedR1CSSNARK
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }Expand description
A succinct proof of knowledge of a witness to a relaxed R1CS instance
+ A succinct proof of knowledge of a witness to a relaxed R1CS instance
The proof is produced using Spartan’s combination of the sum-check and
the commitment to a vector viewed as a polynomial commitment produces a succinct proof of satisfiability of a verifies a proof of satisfiability of a A type that represents the verifier’s key A type that represents the verifier’s key A helper trait that defines the behavior of a verifier key of Struct arecibo::
source · pub struct RelaxedR1CSSNARK<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }Expand description
Trait Implementations§
impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>
Trait Implementations§
impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for RelaxedR1CSSNARK<E, EE>
fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
fn clone_from(&mut self, source: &Self)
source. Read moreimpl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>
fn clone(&self) -> RelaxedR1CSSNARK<E, EE>
fn clone_from(&mut self, source: &Self)
source. Read moreimpl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for RelaxedR1CSSNARK<E, EE>
impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
fn prove(
+ EE::EvaluationArgument: Debug,
impl<'de, E: Engine, EE: EvaluationEngineTrait<E>> Deserialize<'de> for RelaxedR1CSSNARK<E, EE>
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for RelaxedR1CSSNARK<E, EE>
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>
RelaxedR1CS instancefn verify(
&self,
vk: &Self::VerifierKey,
U: &RelaxedR1CSInstance<E>
) -> Result<(), NovaError>
RelaxedR1CS instancetype VerifierKey = VerifierKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
fn setup(
ck: Arc<<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey>,
S: &R1CSShape<E>
) -> Result<(Self::ProverKey, Self::VerifierKey), NovaError>
impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for RelaxedR1CSSNARK<E, EE>
Auto Trait Implementations§
impl<E, EE> RefUnwindSafe for RelaxedR1CSSNARK<E, EE>
impl<E, EE> Send for RelaxedR1CSSNARK<E, EE>
impl<E, EE> Sync for RelaxedR1CSSNARK<E, EE>
impl<E, EE> Unpin for RelaxedR1CSSNARK<E, EE>
Struct arecibo::
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }Expand description
Trait Implementations§
impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>
Struct arecibo::
source · pub struct VerifierKey<E: Engine, EE: EvaluationEngineTrait<E>> { /* private fields */ }Expand description
Trait Implementations§
impl<E: Clone + Engine, EE: Clone + EvaluationEngineTrait<E>> Clone for VerifierKey<E, EE>
fn clone(&self) -> VerifierKey<E, EE>
fn clone_from(&mut self, source: &Self)
source. Read moreimpl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
fn clone(&self) -> VerifierKey<E, EE>
fn clone_from(&mut self, source: &Self)
source. Read moreimpl<E: Debug + Engine, EE: Debug + EvaluationEngineTrait<E>> Debug for VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> Serialize for VerifierKey<E, EE>
Auto Trait Implementations§
impl<E, EE> RefUnwindSafe for VerifierKey<E, EE>
impl<E, EE> Send for VerifierKey<E, EE>
impl<E, EE> Sync for VerifierKey<E, EE>
impl<E, EE> Unpin for VerifierKey<E, EE>
Expand description
zkSNARKRequired Methods§
Implementors§
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
Implementors§
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched::VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::batched_ppsnark::VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::ppsnark::VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> DigestHelperTrait<E> for arecibo::spartan::snark::VerifierKey<E, EE>
Object Safety§
Implementors§
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
type ProverKey = ProverKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
type ProverKey = ProverKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
type ProverKey = ProverKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
type ProverKey = ProverKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
Object Safety§
Implementors§
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched::BatchedRelaxedR1CSSNARK<E, EE>
type ProverKey = ProverKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::batched_ppsnark::BatchedRelaxedR1CSSNARK<E, EE>
type ProverKey = ProverKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::ppsnark::RelaxedR1CSSNARK<E, EE>
type ProverKey = ProverKey<E, EE>
type VerifierKey = VerifierKey<E, EE>
impl<E: Engine, EE: EvaluationEngineTrait<E>> RelaxedR1CSSNARKTrait<E> for arecibo::spartan::snark::RelaxedR1CSSNARK<E, EE>
type ProverKey = ProverKey<E, EE>
type VerifierKey = VerifierKey<E, EE>