libzecale::groth16_verifier_parameters< ppT > Class Template Reference

Type definitions to use the groth16 verifier circuit. More...

#include <groth16_verifier_parameters.hpp>

Public Types
using	snark = libzeth::groth16_snark< libsnark::other_curve< ppT > >
using	process_verification_key_gadget = libsnark::r1cs_gg_ppzksnark_verifier_process_vk_gadget< ppT >
using	online_verifier_gadget = libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >
using	verifier_gadget = libsnark::r1cs_gg_ppzksnark_verifier_gadget< ppT >
using	proof_variable_gadget = libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >
using	verification_key_variable_gadget = libsnark::r1cs_gg_ppzksnark_verification_key_variable< ppT >
using	processed_verification_key_variable_gadget = libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT >

Detailed Description

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

Type definitions to use the groth16 verifier circuit.

Definition at line 15 of file groth16_verifier_parameters.hpp.

Member Typedef Documentation

online_verifier_gadget

template<typename ppT >

using libzecale::groth16_verifier_parameters< ppT >::online_verifier_gadget = libsnark::r1cs_gg_ppzksnark_online_verifier_gadget<ppT>

Definition at line 23 of file groth16_verifier_parameters.hpp.

process_verification_key_gadget

template<typename ppT >

using libzecale::groth16_verifier_parameters< ppT >::process_verification_key_gadget = libsnark::r1cs_gg_ppzksnark_verifier_process_vk_gadget<ppT>

Definition at line 21 of file groth16_verifier_parameters.hpp.

processed_verification_key_variable_gadget

template<typename ppT >

using libzecale::groth16_verifier_parameters< ppT >::processed_verification_key_variable_gadget = libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable<ppT>

Definition at line 31 of file groth16_verifier_parameters.hpp.

proof_variable_gadget

template<typename ppT >

using libzecale::groth16_verifier_parameters< ppT >::proof_variable_gadget = libsnark::r1cs_gg_ppzksnark_proof_variable<ppT>

Definition at line 27 of file groth16_verifier_parameters.hpp.

snark

template<typename ppT >

using libzecale::groth16_verifier_parameters< ppT >::snark = libzeth::groth16_snark<libsnark::other_curve<ppT> >

Definition at line 18 of file groth16_verifier_parameters.hpp.

verification_key_variable_gadget

template<typename ppT >

using libzecale::groth16_verifier_parameters< ppT >::verification_key_variable_gadget = libsnark::r1cs_gg_ppzksnark_verification_key_variable<ppT>

Definition at line 29 of file groth16_verifier_parameters.hpp.

verifier_gadget

template<typename ppT >

using libzecale::groth16_verifier_parameters< ppT >::verifier_gadget = libsnark::r1cs_gg_ppzksnark_verifier_gadget<ppT>

Definition at line 24 of file groth16_verifier_parameters.hpp.

---

The documentation for this class was generated from the following file:

• /home/runner/work/zecale/zecale/libzecale/circuits/groth16_verifier/groth16_verifier_parameters.hpp