nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType > Member List

This is the complete list of members for nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >, including all inherited members.

acc	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
accumulate_input	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
all_test_results	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
all_tests_pass	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
bp	nil::crypto3::zk::components::component< CurveType::scalar_field_type >	protected
CC_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
check_CC_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
check_kc_A_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
check_kc_B_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
check_kc_C_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
check_QAP_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
component(blueprint< CurveType::scalar_field_type > &bp)	nil::crypto3::zk::components::component< CurveType::scalar_field_type >	inline
compute_proof_g_A_g_acc	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_A_g_acc_C	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_A_g_acc_C_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_A_g_acc_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_A_g_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_A_h_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_B_g_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_B_h_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_C_g_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_C_h_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_H_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
compute_proof_g_K_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
elt_size	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
FieldType typedef	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
generate_r1cs_constraints()	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >	inline
generate_r1cs_witness()	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >	inline
input	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
input_len	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
kc_A_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
kc_B_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
kc_C_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_A_g_acc	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_A_g_acc_C	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_A_g_acc_C_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_A_g_acc_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_A_g_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_A_h_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_B_g_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_B_h_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_C_g_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_C_h_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_H_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
proof_g_K_precomp	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
pvk	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
QAP_valid	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >
r1cs_ppzksnark_online_verifier_component(blueprint< FieldType > &bp, const r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< CurveType > &pvk, const blueprint_variable_vector< FieldType > &input, const std::size_t elt_size, const r1cs_ppzksnark_proof_variable< CurveType > &proof, const blueprint_variable< FieldType > &result)	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >	inline
result	nil::crypto3::zk::snark::components::r1cs_ppzksnark_online_verifier_component< CurveType >