nil::crypto3::zk::snark::r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate > Class Template Reference

#include <generator.hpp>

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

Public Types

typedef policy_type::constraint_system_type constraint_system_type
 
typedef policy_type::keypair_type keypair_type
 
typedef policy_type::proving_key_type proving_key_type
 
typedef policy_type::srs_pair_type srs_pair_type
 
typedef policy_type::srs_type srs_type
 
typedef policy_type::verification_key_type verification_key_type
 

Static Public Member Functions

template<typename DistributionType = boost::random::uniform_int_distribution<typename scalar_field_type::integral_type>, typename GeneratorType = boost::random::mt19937>
static keypair_type process (const constraint_system_type &constraint_system)
 
template<typename DistributionType = boost::random::uniform_int_distribution<typename scalar_field_type::integral_type>, typename GeneratorType = boost::random::mt19937>
static srs_pair_type process (std::size_t num_proofs)
 

Member Typedef Documentation

◆ constraint_system_type

◆ keypair_type

◆ proving_key_type

◆ srs_pair_type

◆ srs_type

◆ verification_key_type

Member Function Documentation

◆ process() [1/2]

template<typename CurveType >
template<typename DistributionType = boost::random::uniform_int_distribution<typename scalar_field_type::integral_type>, typename GeneratorType = boost::random::mt19937>
static keypair_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate >::process ( const constraint_system_type constraint_system)
inlinestatic

◆ process() [2/2]

template<typename CurveType >
template<typename DistributionType = boost::random::uniform_int_distribution<typename scalar_field_type::integral_type>, typename GeneratorType = boost::random::mt19937>
static srs_pair_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate >::process ( std::size_t  num_proofs)
inlinestatic

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