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
template<typename CurveType >
typedef policy_type::constraint_system_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate >::constraint_system_type |
◆ keypair_type
template<typename CurveType >
typedef policy_type::keypair_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate >::keypair_type |
◆ proving_key_type
template<typename CurveType >
typedef policy_type::proving_key_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate >::proving_key_type |
◆ srs_pair_type
template<typename CurveType >
typedef policy_type::srs_pair_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate >::srs_pair_type |
◆ srs_type
template<typename CurveType >
typedef policy_type::srs_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate >::srs_type |
◆ verification_key_type
template<typename CurveType >
typedef policy_type::verification_key_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate >::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>
|
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>
|
inlinestatic |
The documentation for this class was generated from the following file: