nil::crypto3::zk::snark::tbcs_ppzksnark_generator< CurveType > Class Template Reference
#include <generator.hpp>
Collaboration diagram for nil::crypto3::zk::snark::tbcs_ppzksnark_generator< CurveType >:
Public Types | |
typedef policy_type::circuit_type | circuit_type |
typedef policy_type::keypair_type | keypair_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 circuit_type &circuit) |
Detailed Description
template<typename CurveType>
class nil::crypto3::zk::snark::tbcs_ppzksnark_generator< CurveType >
A generator algorithm for the TBCS ppzkSNARK.
Given a TBCS circuit C, this algorithm produces proving and verification keys for C.
Member Typedef Documentation
◆ circuit_type
template<typename CurveType >
typedef policy_type::circuit_type nil::crypto3::zk::snark::tbcs_ppzksnark_generator< CurveType >::circuit_type |
◆ keypair_type
template<typename CurveType >
typedef policy_type::keypair_type nil::crypto3::zk::snark::tbcs_ppzksnark_generator< CurveType >::keypair_type |
◆ proving_key_type
template<typename CurveType >
typedef policy_type::proving_key_type nil::crypto3::zk::snark::tbcs_ppzksnark_generator< CurveType >::proving_key_type |
◆ verification_key_type
template<typename CurveType >
typedef policy_type::verification_key_type nil::crypto3::zk::snark::tbcs_ppzksnark_generator< CurveType >::verification_key_type |
Member Function Documentation
◆ process()
template<typename CurveType >
|
inlinestatic |
The documentation for this class was generated from the following file: