Public Types | Static Public Member Functions | List of all members
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Aggregate > Class Template Reference

#include <verifier.hpp>

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

Public Types

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
 
typedef policy_type::verification_srs_type verification_srs_type
 

Static Public Member Functions

template<typename DistributionType , typename GeneratorType , typename Hash , typename InputPrimaryInputRange , typename InputIterator >
static std::enable_if< std::is_same< primary_input_type, typename std::iterator_traits< typename InputPrimaryInputRange::iterator >::value_type >::value, bool >::type process (const verification_srs_type &ip_verifier_srs, const verification_key_type &pvk, const InputPrimaryInputRange &public_inputs, const proof_type &proof, InputIterator transcript_include_first, InputIterator transcript_include_last)
 
template<typename VerificationKey >
static bool process (const VerificationKey &vk, const primary_input_type &primary_input, const basic_proof_type &proof)
 

Member Typedef Documentation

◆ primary_input_type

template<typename CurveType >
typedef policy_type::primary_input_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Aggregate >::primary_input_type

◆ proof_type

template<typename CurveType >
typedef policy_type::proof_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Aggregate >::proof_type

◆ verification_key_type

template<typename CurveType >
typedef policy_type::verification_key_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Aggregate >::verification_key_type

◆ verification_srs_type

template<typename CurveType >
typedef policy_type::verification_srs_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Aggregate >::verification_srs_type

Member Function Documentation

◆ process() [1/2]

template<typename CurveType >
template<typename DistributionType , typename GeneratorType , typename Hash , typename InputPrimaryInputRange , typename InputIterator >
static std::enable_if< std::is_same<primary_input_type, typename std::iterator_traits< typename InputPrimaryInputRange::iterator>::value_type>::value, bool>::type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Aggregate >::process ( const verification_srs_type &  ip_verifier_srs,
const verification_key_type &  pvk,
const InputPrimaryInputRange &  public_inputs,
const proof_type &  proof,
InputIterator  transcript_include_first,
InputIterator  transcript_include_last 
)
inlinestatic

◆ process() [2/2]

template<typename CurveType >
template<typename VerificationKey >
static bool nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Aggregate >::process ( const VerificationKey &  vk,
const primary_input_type &  primary_input,
const basic_proof_type &  proof 
)
inlinestatic
The documentation for this class was generated from the following file: