Trait snarkvm_algorithms::traits::snark::SNARK

pub trait SNARK {
    type AssignedCircuit;
    type Circuit;
    type Proof: Clone + Debug + ToBytes + FromBytes;
    type PreparedVerificationParameters: Clone + From<Self::VerificationParameters> + From<Self::ProvingParameters>;
    type ProvingParameters: Clone + ToBytes + FromBytes;
    type VerificationParameters: Clone + ToBytes + FromBytes + From<Self::PreparedVerificationParameters> + From<Self::ProvingParameters>;
    type VerifierInput: ?Sized;
    fn setup<R: Rng>(
        circuit: &Self::Circuit, 
        rng: &mut R
    ) -> Result<(Self::ProvingParameters, Self::PreparedVerificationParameters), SNARKError>;
    fn prove<R: Rng>(
        parameter: &Self::ProvingParameters, 
        input_and_witness: &Self::AssignedCircuit, 
        rng: &mut R
    ) -> Result<Self::Proof, SNARKError>;
    fn verify(
        verifier_key: &Self::PreparedVerificationParameters, 
        input: &Self::VerifierInput, 
        proof: &Self::Proof
    ) -> Result<bool, SNARKError>;
}

Associated Types

type AssignedCircuit

type Circuit

type Proof: Clone + Debug + ToBytes + FromBytes

type PreparedVerificationParameters: Clone + From<Self::VerificationParameters> + From<Self::ProvingParameters>

type ProvingParameters: Clone + ToBytes + FromBytes

type VerificationParameters: Clone + ToBytes + FromBytes + From<Self::PreparedVerificationParameters> + From<Self::ProvingParameters>

type VerifierInput: ?Sized

Loading content...

Required methods

fn setup<R: Rng>(
    circuit: &Self::Circuit,
    rng: &mut R
) -> Result<(Self::ProvingParameters, Self::PreparedVerificationParameters), SNARKError>

fn prove<R: Rng>(
    parameter: &Self::ProvingParameters,
    input_and_witness: &Self::AssignedCircuit,
    rng: &mut R
) -> Result<Self::Proof, SNARKError>

fn verify(
    verifier_key: &Self::PreparedVerificationParameters,
    input: &Self::VerifierInput,
    proof: &Self::Proof
) -> Result<bool, SNARKError>

Loading content...

Implementors

impl<E: PairingEngine, C: ConstraintSynthesizer<E::Fr>, V: ToConstraintField<E::Fr> + ?Sized> SNARK for GM17<E, C, V>

type AssignedCircuit = C

type Circuit = C

type PreparedVerificationParameters = PreparedVerifyingKey<E>

type Proof = Proof<E>

type ProvingParameters = Parameters<E>

type VerificationParameters = VerifyingKey<E>

type VerifierInput = V

fn setup<R: Rng>(
    circuit: &Self::Circuit,
    rng: &mut R
) -> Result<(Self::ProvingParameters, Self::PreparedVerificationParameters), SNARKError>

fn prove<R: Rng>(
    pp: &Self::ProvingParameters,
    input_and_witness: &Self::AssignedCircuit,
    rng: &mut R
) -> Result<Self::Proof, SNARKError>

fn verify(
    vk: &Self::PreparedVerificationParameters,
    input: &Self::VerifierInput,
    proof: &Self::Proof
) -> Result<bool, SNARKError>

impl<E: PairingEngine, C: ConstraintSynthesizer<E::Fr>, V: ToConstraintField<E::Fr> + ?Sized> SNARK for Groth16<E, C, V>

type AssignedCircuit = C

type Circuit = C

type PreparedVerificationParameters = PreparedVerifyingKey<E>

type Proof = Proof<E>

type ProvingParameters = Parameters<E>

type VerificationParameters = VerifyingKey<E>

type VerifierInput = V

fn setup<R: Rng>(
    circuit: &Self::Circuit,
    rng: &mut R
) -> Result<(Self::ProvingParameters, Self::PreparedVerificationParameters), SNARKError>

fn prove<R: Rng>(
    pp: &Self::ProvingParameters,
    input_and_witness: &Self::AssignedCircuit,
    rng: &mut R
) -> Result<Self::Proof, SNARKError>

fn verify(
    vk: &Self::PreparedVerificationParameters,
    input: &Self::VerifierInput,
    proof: &Self::Proof
) -> Result<bool, SNARKError>

Loading content...