#include <verifier.hpp>

Collaboration diagram for nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::EncryptedInput >:

Public Types
typedef policy_type::keypair_type	keypair_type

typedef policy_type::primary_input_type	primary_input_type

typedef policy_type::proof_type	proof_type

typedef policy_type::verification_key_type	verification_key_type

Static Public Member Functions
template<typename CipherTextIterator , typename PublicKey >
static std::enable_if< std::is_same< typename g1_type::value_type, typename std::iterator_traits< CipherTextIterator >::value_type >::value, bool >::type	process (CipherTextIterator first, CipherTextIterator last, const verification_key_type &gg_vk, const PublicKey &pubkey, const primary_input_type &unencrypted_primary_input, const proof_type &proof)

Member Typedef Documentation

◆ keypair_type

template<typename CurveType >

template<typename CurveType >

template<typename CurveType >

template<typename CurveType >

template<typename CurveType >

template<typename CipherTextIterator , typename PublicKey >

static std::enable_if< std::is_same<typename g1_type::value_type, typename std::iterator_traits<CipherTextIterator>::value_type>::value, bool>::type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::EncryptedInput >::process	(	CipherTextIterator	first,
		CipherTextIterator	last,
		const verification_key_type &	gg_vk,
		const PublicKey &	pubkey,
		const primary_input_type &	unencrypted_primary_input,
		const proof_type &	proof
	)

inlinestatic

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