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_keyoperator= (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 >
nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::uscs_ppzksnark_proving_key ( )
inline

◆ uscs_ppzksnark_proving_key() [2/4]

template<typename CurveType , typename ConstraintSystem >
nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::uscs_ppzksnark_proving_key ( const uscs_ppzksnark_proving_key< CurveType, ConstraintSystem > &  other)
default

◆ uscs_ppzksnark_proving_key() [3/4]

template<typename CurveType , typename ConstraintSystem >
nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::uscs_ppzksnark_proving_key ( uscs_ppzksnark_proving_key< CurveType, ConstraintSystem > &&  other)
default

◆ uscs_ppzksnark_proving_key() [4/4]

template<typename CurveType , typename ConstraintSystem >
nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::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 
)
inline

Member Function Documentation

◆ G1_size()

template<typename CurveType , typename ConstraintSystem >
std::size_t nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::G1_size ( ) const
inline

◆ G1_sparse_size()

template<typename CurveType , typename ConstraintSystem >
std::size_t nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::G1_sparse_size ( ) const
inline

◆ G2_size()

template<typename CurveType , typename ConstraintSystem >
std::size_t nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::G2_size ( ) const
inline

◆ G2_sparse_size()

template<typename CurveType , typename ConstraintSystem >
std::size_t nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::G2_sparse_size ( ) const
inline

◆ operator=()

template<typename CurveType , typename ConstraintSystem >
uscs_ppzksnark_proving_key& nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::operator= ( const uscs_ppzksnark_proving_key< CurveType, ConstraintSystem > &  other)
default

◆ operator==()

template<typename CurveType , typename ConstraintSystem >
bool nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::operator== ( const uscs_ppzksnark_proving_key< CurveType, ConstraintSystem > &  other) const
inline

◆ size_in_bits()

template<typename CurveType , typename ConstraintSystem >
std::size_t nil::crypto3::zk::snark::uscs_ppzksnark_proving_key< CurveType, ConstraintSystem >::size_in_bits ( ) const
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: