nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType > Class Template Reference

#include <generator.hpp>

Collaboration diagram for nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >:

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	process (const constraint_system_type &constraint_system)

Detailed Description

template<typename CurveType>
class nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >

A generator algorithm for the USCS ppzkSNARK.

Given a USCS constraint system CS, this algorithm produces proving and verification keys for CS.

Member Typedef Documentation

auxiliary_input_type

template<typename CurveType >

typedef policy_type::auxiliary_input_type nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >::auxiliary_input_type

constraint_system_type

template<typename CurveType >

typedef policy_type::constraint_system_type nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >::constraint_system_type

keypair_type

template<typename CurveType >

typedef policy_type::keypair_type nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >::keypair_type

primary_input_type

template<typename CurveType >

typedef policy_type::primary_input_type nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >::primary_input_type

processed_verification_key_type

template<typename CurveType >

typedef policy_type::processed_verification_key_type nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >::processed_verification_key_type

proof_type

template<typename CurveType >

typedef policy_type::proof_type nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >::proof_type

proving_key_type

template<typename CurveType >

typedef policy_type::proving_key_type nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >::proving_key_type

verification_key_type

template<typename CurveType >

typedef policy_type::verification_key_type nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >::verification_key_type

Member Function Documentation

process()

template<typename CurveType >

static keypair_type nil::crypto3::zk::snark::uscs_ppzksnark_generator< CurveType >::process ( const constraint_system_type &  constraint_system )

inlinestatic

---

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

• uscs_ppzksnark/generator.hpp