#include <r1cs_ppzksnark_verifier_gadget.hpp>

Inheritance diagram for libsnark::r1cs_ppzksnark_online_verifier_gadget< ppT >:

Collaboration diagram for libsnark::r1cs_ppzksnark_online_verifier_gadget< ppT >:

Public Types
typedef libff::Fr< ppT >	FieldT

Public Member Functions
	r1cs_ppzksnark_online_verifier_gadget (protoboard< FieldT > &pb, const r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT > &pvk, const pb_variable_array< FieldT > &input, const size_t elt_size, const r1cs_ppzksnark_proof_variable< ppT > &proof, const pb_variable< FieldT > &result, const std::string &annotation_prefix)

void	generate_r1cs_constraints ()

void	generate_r1cs_witness ()

Public Member Functions inherited from libsnark::gadget< libff::Fr< ppT > >
	gadget (protoboard< libff::Fr< ppT > > &pb, const std::string &annotation_prefix)

Public Attributes
r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >	pvk

pb_variable_array< FieldT >	input

size_t	elt_size

r1cs_ppzksnark_proof_variable< ppT >	proof

pb_variable< FieldT >	result

const size_t	input_len

std::shared_ptr< G1_variable< ppT > >	acc

std::shared_ptr< G1_multiscalar_mul_gadget< ppT > >	accumulate_input

std::shared_ptr< G1_variable< ppT > >	proof_g_A_g_acc

std::shared_ptr< G1_add_gadget< ppT > >	compute_proof_g_A_g_acc

std::shared_ptr< G1_variable< ppT > >	proof_g_A_g_acc_C

std::shared_ptr< G1_add_gadget< ppT > >	compute_proof_g_A_g_acc_C

std::shared_ptr< G1_precomputation< ppT > >	proof_g_A_h_precomp

std::shared_ptr< G1_precomputation< ppT > >	proof_g_A_g_acc_C_precomp

std::shared_ptr< G1_precomputation< ppT > >	proof_g_A_g_acc_precomp

std::shared_ptr< G1_precomputation< ppT > >	proof_g_A_g_precomp

std::shared_ptr< G1_precomputation< ppT > >	proof_g_B_h_precomp

std::shared_ptr< G1_precomputation< ppT > >	proof_g_C_h_precomp

std::shared_ptr< G1_precomputation< ppT > >	proof_g_C_g_precomp

std::shared_ptr< G1_precomputation< ppT > >	proof_g_K_precomp

std::shared_ptr< G1_precomputation< ppT > >	proof_g_H_precomp

std::shared_ptr< G2_precomputation< ppT > >	proof_g_B_g_precomp

std::shared_ptr< precompute_G1_gadget< ppT > >	compute_proof_g_A_h_precomp

std::shared_ptr< precompute_G1_gadget< ppT > >	compute_proof_g_A_g_acc_C_precomp

std::shared_ptr< precompute_G1_gadget< ppT > >	compute_proof_g_A_g_acc_precomp

std::shared_ptr< precompute_G1_gadget< ppT > >	compute_proof_g_A_g_precomp

std::shared_ptr< precompute_G1_gadget< ppT > >	compute_proof_g_B_h_precomp

std::shared_ptr< precompute_G1_gadget< ppT > >	compute_proof_g_C_h_precomp

std::shared_ptr< precompute_G1_gadget< ppT > >	compute_proof_g_C_g_precomp

std::shared_ptr< precompute_G1_gadget< ppT > >	compute_proof_g_K_precomp

std::shared_ptr< precompute_G1_gadget< ppT > >	compute_proof_g_H_precomp

std::shared_ptr< precompute_G2_gadget< ppT > >	compute_proof_g_B_g_precomp

std::shared_ptr< check_e_equals_e_gadget< ppT > >	check_kc_A_valid

std::shared_ptr< check_e_equals_e_gadget< ppT > >	check_kc_B_valid

std::shared_ptr< check_e_equals_e_gadget< ppT > >	check_kc_C_valid

std::shared_ptr< check_e_equals_ee_gadget< ppT > >	check_QAP_valid

std::shared_ptr< check_e_equals_ee_gadget< ppT > >	check_CC_valid

pb_variable< FieldT >	kc_A_valid

pb_variable< FieldT >	kc_B_valid

pb_variable< FieldT >	kc_C_valid

pb_variable< FieldT >	QAP_valid

pb_variable< FieldT >	CC_valid

pb_variable_array< FieldT >	all_test_results

std::shared_ptr< conjunction_gadget< FieldT > >	all_tests_pass

Additional Inherited Members
Protected Attributes inherited from libsnark::gadget< libff::Fr< ppT > >
protoboard< libff::Fr< ppT > > &	pb

const std::string	annotation_prefix

Detailed Description

template<typename ppT>
class libsnark::r1cs_ppzksnark_online_verifier_gadget< ppT >

Definition at line 168 of file r1cs_ppzksnark_verifier_gadget.hpp.

Member Typedef Documentation

◆ FieldT

template<typename ppT >

typedef libff::Fr<ppT> libsnark::r1cs_ppzksnark_online_verifier_gadget< ppT >::FieldT

Definition at line 171 of file r1cs_ppzksnark_verifier_gadget.hpp.

Constructor & Destructor Documentation

◆ r1cs_ppzksnark_online_verifier_gadget()

template<typename ppT >

libsnark::r1cs_ppzksnark_online_verifier_gadget< ppT >::r1cs_ppzksnark_online_verifier_gadget	(	protoboard< FieldT > &	pb,
		const r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT > &	pvk,
		const pb_variable_array< FieldT > &	input,
		const size_t	elt_size,
		const r1cs_ppzksnark_proof_variable< ppT > &	proof,
		const pb_variable< FieldT > &	result,
		const std::string &	annotation_prefix
	)