Struct libspartan::SNARK
source · pub struct SNARK { /* private fields */ }
Expand description
SNARK
holds a proof produced by Spartan SNARK
Implementations§
source§impl SNARK
impl SNARK
sourcepub fn encode(
inst: &Instance,
gens: &SNARKGens
) -> (ComputationCommitment, ComputationDecommitment)
pub fn encode(
inst: &Instance,
gens: &SNARKGens
) -> (ComputationCommitment, ComputationDecommitment)
A public computation to create a commitment to an R1CS instance
sourcepub fn prove(
inst: &Instance,
comm: &ComputationCommitment,
decomm: &ComputationDecommitment,
vars: VarsAssignment,
inputs: &InputsAssignment,
gens: &SNARKGens,
transcript: &mut Transcript
) -> Self
pub fn prove(
inst: &Instance,
comm: &ComputationCommitment,
decomm: &ComputationDecommitment,
vars: VarsAssignment,
inputs: &InputsAssignment,
gens: &SNARKGens,
transcript: &mut Transcript
) -> Self
A method to produce a SNARK proof of the satisfiability of an R1CS instance
sourcepub fn verify(
&self,
comm: &ComputationCommitment,
input: &InputsAssignment,
transcript: &mut Transcript,
gens: &SNARKGens
) -> Result<(), ProofVerifyError>
pub fn verify(
&self,
comm: &ComputationCommitment,
input: &InputsAssignment,
transcript: &mut Transcript,
gens: &SNARKGens
) -> Result<(), ProofVerifyError>
A method to verify the SNARK proof of the satisfiability of an R1CS instance
Trait Implementations§
source§impl<'de> Deserialize<'de> for SNARK
impl<'de> Deserialize<'de> for SNARK
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>,
Deserialize this value from the given Serde deserializer. Read more