nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem > Class Template Reference

#include <proving_key.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >:

Public Types

typedef ConstraintSystem constraint_system_type
 

Public Member Functions

std::size_t G1_size () const
 
std::size_t G2_size () const
 
r1cs_se_ppzksnark_proving_keyoperator= (const r1cs_se_ppzksnark_proving_key &other)=default
 
bool operator== (const r1cs_se_ppzksnark_proving_key &other) const
 
 r1cs_se_ppzksnark_proving_key ()
 
 r1cs_se_ppzksnark_proving_key (const r1cs_se_ppzksnark_proving_key &other)=default
 
 r1cs_se_ppzksnark_proving_key (r1cs_se_ppzksnark_proving_key &&other)=default
 
 r1cs_se_ppzksnark_proving_key (std::vector< typename g1_type::value_type > &&A_query, std::vector< typename g2_type::value_type > &&B_query, std::vector< typename g1_type::value_type > &&C_query_1, std::vector< typename g1_type::value_type > &&C_query_2, typename g1_type::value_type &G_gamma_Z, typename g2_type::value_type &H_gamma_Z, typename g1_type::value_type &G_ab_gamma_Z, typename g1_type::value_type &G_gamma2_Z2, std::vector< typename g1_type::value_type > &&G_gamma2_Z_t, constraint_system_type &&constraint_system)
 
std::size_t size_in_bits () const
 

Public Attributes

std::vector< typename g1_type::value_type > A_query
 
std::vector< typename g2_type::value_type > B_query
 
std::vector< typename g1_type::value_type > C_query_1
 
std::vector< typename g1_type::value_type > C_query_2
 
constraint_system_type constraint_system
 
g1_type::value_type G_ab_gamma_Z
 
g1_type::value_type G_gamma2_Z2
 
std::vector< typename g1_type::value_type > G_gamma2_Z_t
 
g1_type::value_type G_gamma_Z
 
g2_type::value_type H_gamma_Z
 

Detailed Description

template<typename CurveType, typename ConstraintSystem>
class nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >

A proving key for the R1CS ppzkSNARK.

Member Typedef Documentation

◆ constraint_system_type

template<typename CurveType , typename ConstraintSystem >
typedef ConstraintSystem nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::constraint_system_type

Constructor & Destructor Documentation

◆ r1cs_se_ppzksnark_proving_key() [1/4]

template<typename CurveType , typename ConstraintSystem >
nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::r1cs_se_ppzksnark_proving_key ( )
inline

◆ r1cs_se_ppzksnark_proving_key() [2/4]

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

◆ r1cs_se_ppzksnark_proving_key() [3/4]

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

◆ r1cs_se_ppzksnark_proving_key() [4/4]

template<typename CurveType , typename ConstraintSystem >
nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::r1cs_se_ppzksnark_proving_key ( std::vector< typename g1_type::value_type > &&  A_query,
std::vector< typename g2_type::value_type > &&  B_query,
std::vector< typename g1_type::value_type > &&  C_query_1,
std::vector< typename g1_type::value_type > &&  C_query_2,
typename g1_type::value_type &  G_gamma_Z,
typename g2_type::value_type &  H_gamma_Z,
typename g1_type::value_type &  G_ab_gamma_Z,
typename g1_type::value_type &  G_gamma2_Z2,
std::vector< typename g1_type::value_type > &&  G_gamma2_Z_t,
constraint_system_type &&  constraint_system 
)
inline

Member Function Documentation

◆ G1_size()

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

◆ G2_size()

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

◆ operator=()

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

◆ operator==()

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

◆ size_in_bits()

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

Member Data Documentation

◆ A_query

template<typename CurveType , typename ConstraintSystem >
std::vector<typename g1_type::value_type> nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::A_query

◆ B_query

template<typename CurveType , typename ConstraintSystem >
std::vector<typename g2_type::value_type> nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::B_query

◆ C_query_1

template<typename CurveType , typename ConstraintSystem >
std::vector<typename g1_type::value_type> nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::C_query_1

◆ C_query_2

template<typename CurveType , typename ConstraintSystem >
std::vector<typename g1_type::value_type> nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::C_query_2

◆ constraint_system

template<typename CurveType , typename ConstraintSystem >
constraint_system_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::constraint_system

◆ G_ab_gamma_Z

template<typename CurveType , typename ConstraintSystem >
g1_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::G_ab_gamma_Z

◆ G_gamma2_Z2

template<typename CurveType , typename ConstraintSystem >
g1_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::G_gamma2_Z2

◆ G_gamma2_Z_t

template<typename CurveType , typename ConstraintSystem >
std::vector<typename g1_type::value_type> nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::G_gamma2_Z_t

◆ G_gamma_Z

template<typename CurveType , typename ConstraintSystem >
g1_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::G_gamma_Z

◆ H_gamma_Z

template<typename CurveType , typename ConstraintSystem >
g2_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_proving_key< CurveType, ConstraintSystem >::H_gamma_Z

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