Public Types | Public Member Functions | Public Attributes | List of all members
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem > Struct Template Reference

#include <proving_key.hpp>

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

Public Types

typedef r1cs_constraint_system< typename CurveType::scalar_field_type > constraint_system_type
 
typedef CurveType curve_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
 
r1cs_gg_ppzksnark_proving_key & operator= (const r1cs_gg_ppzksnark_proving_key &other)=default
 
bool operator== (const r1cs_gg_ppzksnark_proving_key &other) const
 
 r1cs_gg_ppzksnark_proving_key ()
 
 r1cs_gg_ppzksnark_proving_key (const r1cs_gg_ppzksnark_proving_key &other)=default
 
 r1cs_gg_ppzksnark_proving_key (const typename CurveType::template g1_type<>::value_type &alpha_g1, const typename CurveType::template g1_type<>::value_type &beta_g1, const typename CurveType::template g2_type<>::value_type &beta_g2, const typename CurveType::template g1_type<>::value_type &delta_g1, const typename CurveType::template g2_type<>::value_type &delta_g2, const std::vector< typename CurveType::template g1_type<>::value_type > &A_query, const knowledge_commitment_vector< typename CurveType::template g2_type<>, typename CurveType::template g1_type<>> &B_query, const std::vector< typename CurveType::template g1_type<>::value_type > &H_query, const std::vector< typename CurveType::template g1_type<>::value_type > &L_query, const constraint_system_type &constraint_system)
 
 r1cs_gg_ppzksnark_proving_key (r1cs_gg_ppzksnark_proving_key &&other)=default
 
 r1cs_gg_ppzksnark_proving_key (typename CurveType::template g1_type<>::value_type &&alpha_g1, typename CurveType::template g1_type<>::value_type &&beta_g1, typename CurveType::template g2_type<>::value_type &&beta_g2, typename CurveType::template g1_type<>::value_type &&delta_g1, typename CurveType::template g2_type<>::value_type &&delta_g2, std::vector< typename CurveType::template g1_type<>::value_type > &&A_query, knowledge_commitment_vector< typename CurveType::template g2_type<>, typename CurveType::template g1_type<>> &&B_query, std::vector< typename CurveType::template g1_type<>::value_type > &&H_query, std::vector< typename CurveType::template g1_type<>::value_type > &&L_query, constraint_system_type &&constraint_system)
 
std::size_t size_in_bits () const
 

Public Attributes

std::vector< typename CurveType::template g1_type<>::value_type > A_query
 
CurveType::template g1_type ::value_type alpha_g1
 
knowledge_commitment_vector< typename CurveType::template g2_type<>, typename CurveType::template g1_type<> > B_query
 
CurveType::template g1_type ::value_type beta_g1
 
CurveType::template g2_type ::value_type beta_g2
 
constraint_system_type constraint_system
 
CurveType::template g1_type ::value_type delta_g1
 
CurveType::template g2_type ::value_type delta_g2
 
std::vector< typename CurveType::template g1_type<>::value_type > H_query
 
std::vector< typename CurveType::template g1_type<>::value_type > L_query
 

Member Typedef Documentation

◆ constraint_system_type

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
typedef r1cs_constraint_system<typename CurveType::scalar_field_type> nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::constraint_system_type

◆ curve_type

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
typedef CurveType nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::curve_type

Constructor & Destructor Documentation

◆ r1cs_gg_ppzksnark_proving_key() [1/5]

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::r1cs_gg_ppzksnark_proving_key ( )
inline

◆ r1cs_gg_ppzksnark_proving_key() [2/5]

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::r1cs_gg_ppzksnark_proving_key ( const r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem > &  other)
default

◆ r1cs_gg_ppzksnark_proving_key() [3/5]

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::r1cs_gg_ppzksnark_proving_key ( r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem > &&  other)
default

◆ r1cs_gg_ppzksnark_proving_key() [4/5]

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::r1cs_gg_ppzksnark_proving_key ( const typename CurveType::template g1_type<>::value_type &  alpha_g1,
const typename CurveType::template g1_type<>::value_type &  beta_g1,
const typename CurveType::template g2_type<>::value_type &  beta_g2,
const typename CurveType::template g1_type<>::value_type &  delta_g1,
const typename CurveType::template g2_type<>::value_type &  delta_g2,
const std::vector< typename CurveType::template g1_type<>::value_type > &  A_query,
const knowledge_commitment_vector< typename CurveType::template g2_type<>, typename CurveType::template g1_type<>> &  B_query,
const std::vector< typename CurveType::template g1_type<>::value_type > &  H_query,
const std::vector< typename CurveType::template g1_type<>::value_type > &  L_query,
const constraint_system_type &  constraint_system 
)
inline

◆ r1cs_gg_ppzksnark_proving_key() [5/5]

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::r1cs_gg_ppzksnark_proving_key ( typename CurveType::template g1_type<>::value_type &&  alpha_g1,
typename CurveType::template g1_type<>::value_type &&  beta_g1,
typename CurveType::template g2_type<>::value_type &&  beta_g2,
typename CurveType::template g1_type<>::value_type &&  delta_g1,
typename CurveType::template g2_type<>::value_type &&  delta_g2,
std::vector< typename CurveType::template g1_type<>::value_type > &&  A_query,
knowledge_commitment_vector< typename CurveType::template g2_type<>, typename CurveType::template g1_type<>> &&  B_query,
std::vector< typename CurveType::template g1_type<>::value_type > &&  H_query,
std::vector< typename CurveType::template g1_type<>::value_type > &&  L_query,
constraint_system_type &&  constraint_system 
)
inline

Member Function Documentation

◆ G1_size()

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
std::size_t nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::G1_size ( ) const
inline

◆ G1_sparse_size()

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
std::size_t nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::G1_sparse_size ( ) const
inline

◆ G2_size()

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
std::size_t nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::G2_size ( ) const
inline

◆ G2_sparse_size()

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
std::size_t nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::G2_sparse_size ( ) const
inline

◆ operator=()

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

◆ operator==()

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

◆ size_in_bits()

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
std::size_t nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::size_in_bits ( ) const
inline

Member Data Documentation

◆ A_query

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
std::vector<typename CurveType::template g1_type<>::value_type> nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::A_query

◆ alpha_g1

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::alpha_g1

◆ B_query

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
knowledge_commitment_vector<typename CurveType::template g2_type<>, typename CurveType::template g1_type<> > nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::B_query

◆ beta_g1

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::beta_g1

◆ beta_g2

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::beta_g2

◆ constraint_system

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
constraint_system_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::constraint_system

◆ delta_g1

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::delta_g1

◆ delta_g2

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::delta_g2

◆ H_query

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
std::vector<typename CurveType::template g1_type<>::value_type> nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::H_query

◆ L_query

template<typename CurveType , typename ConstraintSystem = r1cs_constraint_system<typename CurveType::scalar_field_type>>
std::vector<typename CurveType::template g1_type<>::value_type> nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proving_key< CurveType, ConstraintSystem >::L_query
The documentation for this struct was generated from the following file: