Crypto3 Cryptography Suite

ppzkSNARK for USCS More...

#include <uscs_ppzksnark.hpp>

Collaboration diagram for nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >:

Public Types
typedef policy_type::auxiliary_input_type	auxiliary_input_type

typedef policy_type::constraint_system_type	constraint_system_type

typedef policy_type::keypair_type	keypair_type

typedef policy_type::primary_input_type	primary_input_type

typedef policy_type::processed_verification_key_type	processed_verification_key_type

typedef policy_type::proof_type	proof_type

typedef policy_type::proving_key_type	proving_key_type

typedef policy_type::verification_key_type	verification_key_type

Static Public Member Functions
static keypair_type	generate (const constraint_system_type &constraint_system)

static proof_type	prove (const proving_key_type &pk, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input)

template<typename VerificationKey >
static bool	verify (const VerificationKey &vk, const primary_input_type &primary_input, const proof_type &proof)

Detailed Description

template<typename CurveType, typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>
class nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >

ppzkSNARK for USCS

Template Parameters

CurveType
Generator
Prover
Verifier	The implementation instantiates the protocol of [DFGK14], by following extending, and optimizing the approach described in [BCTV14].

Acronyms:

"ppzkSNARK" = "Pre-Processing Zero-Knowledge Succinct Non-interactive ARgument of Knowledge"
"USCS" = "Unitary-Square Constraint Systems"

References:

[BCTV14]: "Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture", Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza, USENIX Security 2014, http://eprint.iacr.org/2013/879

[DFGK14]: "Square Span Programs with Applications to Succinct NIZK Arguments" George Danezis, Cedric Fournet, Jens Groth, Markulf Kohlweiss, ASIACRYPT 2014, http://eprint.iacr.org/2014/718

Member Typedef Documentation

◆ auxiliary_input_type

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

typedef policy_type::auxiliary_input_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::auxiliary_input_type

◆ constraint_system_type

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

typedef policy_type::constraint_system_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::constraint_system_type

◆ keypair_type

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

typedef policy_type::keypair_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::keypair_type

◆ primary_input_type

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

typedef policy_type::primary_input_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::primary_input_type

◆ processed_verification_key_type

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

typedef policy_type::processed_verification_key_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::processed_verification_key_type

◆ proof_type

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

typedef policy_type::proof_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::proof_type

◆ proving_key_type

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

typedef policy_type::proving_key_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::proving_key_type

◆ verification_key_type

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

typedef policy_type::verification_key_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::verification_key_type

Member Function Documentation

◆ generate()

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

static keypair_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::generate ( const constraint_system_type & constraint_system )

inlinestatic

◆ prove()

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

static proof_type nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::prove	(	const proving_key_type &	pk,
		const primary_input_type &	primary_input,
		const auxiliary_input_type &	auxiliary_input
	)

inlinestatic

◆ verify()

template<typename CurveType , typename Generator = uscs_ppzksnark_generator<CurveType>, typename Prover = uscs_ppzksnark_prover<CurveType>, typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>

template<typename VerificationKey >

static bool nil::crypto3::zk::snark::uscs_ppzksnark< CurveType, Generator, Prover, Verifier >::verify	(	const VerificationKey &	vk,
		const primary_input_type &	primary_input,
		const proof_type &	proof
	)

inlinestatic

The documentation for this class was generated from the following file:

uscs_ppzksnark.hpp