Public Member Functions | Public Attributes | List of all members
nil::crypto3::zk::snark::gipa_tuz< CurveType > Class Template Reference

#include <verifier.hpp>

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

Public Member Functions

 gipa_tuz ()
 
 gipa_tuz (const typename curve_type::gt_type::value_type &tab, const typename curve_type::gt_type::value_type &uab, const typename curve_type::gt_type::value_type &zab, const typename curve_type::gt_type::value_type &tc, const typename curve_type::gt_type::value_type &uc, const typename g1_type::value_type &zc)
 
void merge (const gipa_tuz &other)
 

Public Attributes

curve_type::gt_type::value_type tab
 
curve_type::gt_type::value_type tc
 
curve_type::gt_type::value_type uab
 
curve_type::gt_type::value_type uc
 
curve_type::gt_type::value_type zab
 
g1_type::value_type zc
 

Detailed Description

template<typename CurveType>
class nil::crypto3::zk::snark::gipa_tuz< CurveType >

Keeps track of the variables that have been sent by the prover and must be multiplied together by the verifier. Both MIPP and TIPP are merged together.

Constructor & Destructor Documentation

◆ gipa_tuz() [1/2]

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

◆ gipa_tuz() [2/2]

template<typename CurveType >
nil::crypto3::zk::snark::gipa_tuz< CurveType >::gipa_tuz ( const typename curve_type::gt_type::value_type &  tab,
const typename curve_type::gt_type::value_type &  uab,
const typename curve_type::gt_type::value_type &  zab,
const typename curve_type::gt_type::value_type &  tc,
const typename curve_type::gt_type::value_type &  uc,
const typename g1_type::value_type &  zc 
)
inline

Member Function Documentation

◆ merge()

template<typename CurveType >
void nil::crypto3::zk::snark::gipa_tuz< CurveType >::merge ( const gipa_tuz< CurveType > &  other)
inline

Member Data Documentation

◆ tab

template<typename CurveType >
curve_type::gt_type::value_type nil::crypto3::zk::snark::gipa_tuz< CurveType >::tab

◆ tc

template<typename CurveType >
curve_type::gt_type::value_type nil::crypto3::zk::snark::gipa_tuz< CurveType >::tc

◆ uab

template<typename CurveType >
curve_type::gt_type::value_type nil::crypto3::zk::snark::gipa_tuz< CurveType >::uab

◆ uc

template<typename CurveType >
curve_type::gt_type::value_type nil::crypto3::zk::snark::gipa_tuz< CurveType >::uc

◆ zab

template<typename CurveType >
curve_type::gt_type::value_type nil::crypto3::zk::snark::gipa_tuz< CurveType >::zab

◆ zc

template<typename CurveType >
g1_type::value_type nil::crypto3::zk::snark::gipa_tuz< CurveType >::zc
The documentation for this class was generated from the following file: