Zecale - Reconciling Privacy and Scalability on Smart-Contract Chains  0.5
Reference implementation of the Zecale protocol by Clearmatics
Public Types | List of all members
libzecale::pghr13_verifier_parameters< ppT > Class Template Reference

#include <pghr13_verifier_parameters.hpp>

Public Types

using snark = libzeth::pghr13_snark< libsnark::other_curve< ppT > >
 
using process_verification_key_gadget = libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >
 
using online_verifier_gadget = libsnark::r1cs_ppzksnark_online_verifier_gadget< ppT >
 
using verifier_gadget = libsnark::r1cs_ppzksnark_verifier_gadget< ppT >
 
using proof_variable_gadget = libsnark::r1cs_ppzksnark_proof_variable< ppT >
 
using verification_key_variable_gadget = libsnark::r1cs_ppzksnark_verification_key_variable< ppT >
 
using processed_verification_key_variable_gadget = libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >
 

Detailed Description

template<typename ppT>
class libzecale::pghr13_verifier_parameters< ppT >

Definition at line 14 of file pghr13_verifier_parameters.hpp.

Member Typedef Documentation

◆ online_verifier_gadget

template<typename ppT >
using libzecale::pghr13_verifier_parameters< ppT >::online_verifier_gadget = libsnark::r1cs_ppzksnark_online_verifier_gadget<ppT>

Definition at line 22 of file pghr13_verifier_parameters.hpp.

◆ process_verification_key_gadget

template<typename ppT >
using libzecale::pghr13_verifier_parameters< ppT >::process_verification_key_gadget = libsnark::r1cs_ppzksnark_verifier_process_vk_gadget<ppT>

Definition at line 20 of file pghr13_verifier_parameters.hpp.

◆ processed_verification_key_variable_gadget

template<typename ppT >
using libzecale::pghr13_verifier_parameters< ppT >::processed_verification_key_variable_gadget = libsnark:: r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT>

Definition at line 30 of file pghr13_verifier_parameters.hpp.

◆ proof_variable_gadget

template<typename ppT >
using libzecale::pghr13_verifier_parameters< ppT >::proof_variable_gadget = libsnark::r1cs_ppzksnark_proof_variable<ppT>

Definition at line 25 of file pghr13_verifier_parameters.hpp.

◆ snark

template<typename ppT >
using libzecale::pghr13_verifier_parameters< ppT >::snark = libzeth::pghr13_snark<libsnark::other_curve<ppT> >

Definition at line 17 of file pghr13_verifier_parameters.hpp.

◆ verification_key_variable_gadget

template<typename ppT >
using libzecale::pghr13_verifier_parameters< ppT >::verification_key_variable_gadget = libsnark::r1cs_ppzksnark_verification_key_variable<ppT>

Definition at line 27 of file pghr13_verifier_parameters.hpp.

◆ verifier_gadget

template<typename ppT >
using libzecale::pghr13_verifier_parameters< ppT >::verifier_gadget = libsnark::r1cs_ppzksnark_verifier_gadget<ppT>

Definition at line 23 of file pghr13_verifier_parameters.hpp.

The documentation for this class was generated from the following file:
Generated on Wed Jan 5 2022 09:17:53 for Zecale - Reconciling Privacy and Scalability on Smart-Contract Chains by   doxygen 1.8.17