nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem > Class Template Reference
#include <proving_key.hpp>
Collaboration diagram for nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >:
Public Types | |
typedef ConstraintSystem | constraint_system_type |
Public Member Functions | |
std::size_t | G1_size () const |
std::size_t | G1_sparse_size () const |
std::size_t | G2_size () const |
std::size_t | G2_sparse_size () const |
uscs_ppzksnark_proving_key & | operator= (const uscs_ppzksnark_proving_key &other)=default |
bool | operator== (const uscs_ppzksnark_proving_key &other) const |
std::size_t | size_in_bits () const |
uscs_ppzksnark_proving_key () | |
uscs_ppzksnark_proving_key (const uscs_ppzksnark_proving_key &other)=default | |
uscs_ppzksnark_proving_key (std::vector< typename g1_type::value_type > &&V_g1_query, std::vector< typename g1_type::value_type > &&alpha_V_g1_query, std::vector< typename g1_type::value_type > &&H_g1_query, std::vector< typename g2_type::value_type > &&V_g2_query, constraint_system_type &&constraint_system) | |
uscs_ppzksnark_proving_key (uscs_ppzksnark_proving_key &&other)=default | |
Public Attributes | |
std::vector< typename g1_type::value_type > | alpha_V_g1_query |
constraint_system_type | constraint_system |
std::vector< typename g1_type::value_type > | H_g1_query |
std::vector< typename g1_type::value_type > | V_g1_query |
std::vector< typename g2_type::value_type > | V_g2_query |
Detailed Description
template<typename CurveType, typename ConstraintSystem>
class nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >
A proving key for the USCS ppzkSNARK.
Member Typedef Documentation
◆ constraint_system_type
template<typename CurveType , typename ConstraintSystem >
typedef ConstraintSystem nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::constraint_system_type |
Constructor & Destructor Documentation
◆ uscs_ppzksnark_proving_key() [1/4]
template<typename CurveType , typename ConstraintSystem >
|
inline |
◆ uscs_ppzksnark_proving_key() [2/4]
template<typename CurveType , typename ConstraintSystem >
|
default |
◆ uscs_ppzksnark_proving_key() [3/4]
template<typename CurveType , typename ConstraintSystem >
|
default |
◆ uscs_ppzksnark_proving_key() [4/4]
template<typename CurveType , typename ConstraintSystem >
|
inline |
Member Function Documentation
◆ G1_size()
template<typename CurveType , typename ConstraintSystem >
|
inline |
◆ G1_sparse_size()
template<typename CurveType , typename ConstraintSystem >
|
inline |
◆ G2_size()
template<typename CurveType , typename ConstraintSystem >
|
inline |
◆ G2_sparse_size()
template<typename CurveType , typename ConstraintSystem >
|
inline |
◆ operator=()
template<typename CurveType , typename ConstraintSystem >
|
default |
◆ operator==()
template<typename CurveType , typename ConstraintSystem >
|
inline |
◆ size_in_bits()
template<typename CurveType , typename ConstraintSystem >
|
inline |
Member Data Documentation
◆ alpha_V_g1_query
template<typename CurveType , typename ConstraintSystem >
std::vector<typename g1_type::value_type> nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::alpha_V_g1_query |
◆ constraint_system
template<typename CurveType , typename ConstraintSystem >
constraint_system_type nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::constraint_system |
◆ H_g1_query
template<typename CurveType , typename ConstraintSystem >
std::vector<typename g1_type::value_type> nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::H_g1_query |
◆ V_g1_query
template<typename CurveType , typename ConstraintSystem >
std::vector<typename g1_type::value_type> nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::V_g1_query |
◆ V_g2_query
template<typename CurveType , typename ConstraintSystem >
std::vector<typename g2_type::value_type> nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::V_g2_query |
The documentation for this class was generated from the following file: