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

#include <proof.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proof< CurveType >:

Public Types

typedef CurveType curve_type
 

Public Member Functions

std::size_t G1_size () const
 
std::size_t G2_size () const
 
bool is_well_formed () const
 
bool operator== (const r1cs_gg_ppzksnark_proof &other) const
 
 r1cs_gg_ppzksnark_proof ()
 
 r1cs_gg_ppzksnark_proof (const typename CurveType::template g1_type<>::value_type &g_A, const typename CurveType::template g2_type<>::value_type &g_B, const typename CurveType::template g1_type<>::value_type &g_C)
 
 r1cs_gg_ppzksnark_proof (typename CurveType::template g1_type<>::value_type &&g_A, typename CurveType::template g2_type<>::value_type &&g_B, typename CurveType::template g1_type<>::value_type &&g_C)
 
std::size_t size_in_bits () const
 

Public Attributes

CurveType::template g1_type ::value_type g_A
 
CurveType::template g2_type ::value_type g_B
 
CurveType::template g1_type ::value_type g_C
 

Member Typedef Documentation

◆ curve_type

template<typename CurveType >
typedef CurveType nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proof< CurveType >::curve_type

Constructor & Destructor Documentation

◆ r1cs_gg_ppzksnark_proof() [1/3]

template<typename CurveType >
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proof< CurveType >::r1cs_gg_ppzksnark_proof ( )
inline

◆ r1cs_gg_ppzksnark_proof() [2/3]

template<typename CurveType >
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proof< CurveType >::r1cs_gg_ppzksnark_proof ( const typename CurveType::template g1_type<>::value_type &  g_A,
const typename CurveType::template g2_type<>::value_type &  g_B,
const typename CurveType::template g1_type<>::value_type &  g_C 
)
inline

◆ r1cs_gg_ppzksnark_proof() [3/3]

template<typename CurveType >
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proof< CurveType >::r1cs_gg_ppzksnark_proof ( typename CurveType::template g1_type<>::value_type &&  g_A,
typename CurveType::template g2_type<>::value_type &&  g_B,
typename CurveType::template g1_type<>::value_type &&  g_C 
)
inline

Member Function Documentation

◆ G1_size()

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

◆ G2_size()

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

◆ is_well_formed()

template<typename CurveType >
bool nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proof< CurveType >::is_well_formed ( ) const
inline

◆ operator==()

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

◆ size_in_bits()

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

Member Data Documentation

◆ g_A

template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proof< CurveType >::g_A

◆ g_B

template<typename CurveType >
CurveType::template g2_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proof< CurveType >::g_B

◆ g_C

template<typename CurveType >
CurveType::template g1_type ::value_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_proof< CurveType >::g_C
The documentation for this struct was generated from the following file: