Struct snarkvm_algorithms::snark::marlin::MarlinSNARK

pub struct MarlinSNARK<E: PairingEngine, FS: AlgebraicSponge<E::Fq, 2>, MM: MarlinMode>(_);

The Marlin proof system.

Implementations

impl<E: PairingEngine, FS: AlgebraicSponge<E::Fq, 2>, MM: MarlinMode> MarlinSNARK<E, FS, MM>

pub const PROTOCOL_NAME: &'static [u8] = b"MARLIN-2019"

The personalization string for this protocol. Used to personalize the Fiat-Shamir RNG.

pub fn batch_circuit_setup<C: ConstraintSynthesizer<E::Fr>>( universal_srs: &UniversalSRS<E>, circuits: &[&C] ) -> Result<Vec<(CircuitProvingKey<E, MM>, CircuitVerifyingKey<E>)>>

Trait Implementations

impl<E: Clone + PairingEngine, FS: Clone + AlgebraicSponge<E::Fq, 2>, MM: Clone + MarlinMode> Clone for MarlinSNARK<E, FS, MM>

fn clone(&self) -> MarlinSNARK<E, FS, MM>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Debug + PairingEngine, FS: Debug + AlgebraicSponge<E::Fq, 2>, MM: Debug + MarlinMode> Debug for MarlinSNARK<E, FS, MM>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<E: PairingEngine, FS, MM> SNARK for MarlinSNARK<E, FS, MM>where E::Fr: PrimeField, E::Fq: PrimeField, FS: AlgebraicSponge<E::Fq, 2>, MM: MarlinMode,

fn circuit_setup<C: ConstraintSynthesizer<E::Fr>>( universal_srs: &Self::UniversalSRS, circuit: &C ) -> Result<(Self::ProvingKey, Self::VerifyingKey)>

Generates the circuit proving and verifying keys. This is a deterministic algorithm that anyone can rerun.

fn prove_vk( universal_prover: &Self::UniversalProver, fs_parameters: &Self::FSParameters, verifying_key: &Self::VerifyingKey, proving_key: &Self::ProvingKey ) -> Result<Self::Certificate, SNARKError>

Prove that the verifying key indeed includes a part of the reference string, as well as the indexed circuit (i.e. the circuit as a set of linear-sized polynomials).

fn verify_vk<C: ConstraintSynthesizer<Self::ScalarField>>( universal_verifier: &Self::UniversalVerifier, fs_parameters: &Self::FSParameters, circuit: &C, verifying_key: &Self::VerifyingKey, certificate: &Self::Certificate ) -> Result<bool, SNARKError>

Verify that the verifying key indeed includes a part of the reference string, as well as the indexed circuit (i.e. the circuit as a set of linear-sized polynomials).

fn prove_batch<C: ConstraintSynthesizer<E::Fr>, R: Rng + CryptoRng>( universal_prover: &Self::UniversalProver, fs_parameters: &Self::FSParameters, keys_to_constraints: &BTreeMap<&CircuitProvingKey<E, MM>, &[C]>, zk_rng: &mut R ) -> Result<Self::Proof, SNARKError>

This is the main entrypoint for creating proofs. You can find a specification of the prover algorithm in: https://github.com/AleoHQ/protocol-docs/tree/main/marlin

fn verify_batch<B: Borrow<Self::VerifierInput>>( universal_verifier: &Self::UniversalVerifier, fs_parameters: &Self::FSParameters, keys_to_inputs: &BTreeMap<&Self::VerifyingKey, &[B]>, proof: &Self::Proof ) -> Result<bool, SNARKError>

This is the main entrypoint for verifying proofs. You can find a specification of the verifier algorithm in: https://github.com/AleoHQ/protocol-docs/tree/main/marlin

type BaseField = <E as PairingEngine>::Fq

type Certificate = Certificate<E>

A certificate that the indexing was performed correctly.

type FSParameters = <FS as AlgebraicSponge<<E as PairingEngine>::Fq, 2>>::Parameters

type FiatShamirRng = FS

type Proof = Proof<E>

type ProvingKey = CircuitProvingKey<E, MM>

type ScalarField = <E as PairingEngine>::Fr

type UniversalProver = UniversalProver<E>

type UniversalSRS = UniversalParams<E>

type UniversalVerifier = UniversalVerifier<E>

type VerifierInput = [<E as PairingEngine>::Fr]

type VerifyingKey = CircuitVerifyingKey<E>

fn universal_setup(max_degree: usize) -> Result<Self::UniversalSRS, SNARKError>

fn prove<C: ConstraintSynthesizer<Self::ScalarField>, R: Rng + CryptoRng>( universal_prover: &Self::UniversalProver, fs_parameters: &Self::FSParameters, proving_key: &Self::ProvingKey, constraints: &C, rng: &mut R ) -> Result<Self::Proof, SNARKError>

fn verify<B: Borrow<Self::VerifierInput>>( universal_verifier: &Self::UniversalVerifier, fs_parameters: &Self::FSParameters, verifying_key: &Self::VerifyingKey, input: B, proof: &Self::Proof ) -> Result<bool, SNARKError>