nil::crypto3::zk::snark::r1cs_se_ppzksnark_proof< CurveType > Class Template Reference
#include <proof.hpp>
Collaboration diagram for nil::crypto3::zk::snark::r1cs_se_ppzksnark_proof< CurveType >:
Public Member Functions | |
std::size_t | G1_size () const |
std::size_t | G2_size () const |
bool | is_well_formed () const |
bool | operator== (const r1cs_se_ppzksnark_proof &other) const |
r1cs_se_ppzksnark_proof () | |
r1cs_se_ppzksnark_proof (typename g1_type::value_type &&A, typename g2_type::value_type &&B, typename g1_type::value_type &&C) | |
std::size_t | size_in_bits () const |
Public Attributes | |
g1_type::value_type | A |
g2_type::value_type | B |
g1_type::value_type | C |
Detailed Description
template<typename CurveType>
class nil::crypto3::zk::snark::r1cs_se_ppzksnark_proof< CurveType >
A proof for the R1CS SEppzkSNARK.
While the proof has a structure, externally one merely opaquely produces, serializes/deserializes, and verifies proofs. We only expose some information about the structure for statistics purposes.
Constructor & Destructor Documentation
◆ r1cs_se_ppzksnark_proof() [1/2]
template<typename CurveType >
|
inline |
◆ r1cs_se_ppzksnark_proof() [2/2]
template<typename CurveType >
|
inline |
Member Function Documentation
◆ G1_size()
template<typename CurveType >
|
inline |
◆ G2_size()
template<typename CurveType >
|
inline |
◆ is_well_formed()
template<typename CurveType >
|
inline |
◆ operator==()
template<typename CurveType >
|
inline |
◆ size_in_bits()
template<typename CurveType >
|
inline |
Member Data Documentation
◆ A
template<typename CurveType >
g1_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_proof< CurveType >::A |
◆ B
template<typename CurveType >
g2_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_proof< CurveType >::B |
◆ C
template<typename CurveType >
g1_type::value_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_proof< CurveType >::C |
The documentation for this class was generated from the following file: