Here is a list of all class members with links to the classes they belong to:
- r -
- r1cs_constraint()
: libsnark::r1cs_constraint< FieldT >
- r1cs_constraint_system()
: libsnark::r1cs_constraint_system< FieldT >
- r1cs_example()
: libsnark::r1cs_example< FieldT >
- r1cs_gg_ppzksnark_keypair()
: libsnark::r1cs_gg_ppzksnark_keypair< ppT >
- r1cs_gg_ppzksnark_online_verifier_gadget()
: libsnark::r1cs_gg_ppzksnark_online_verifier_gadget< ppT >
- r1cs_gg_ppzksnark_preprocessed_verification_key_variable()
: libsnark::r1cs_gg_ppzksnark_preprocessed_verification_key_variable< ppT >
- r1cs_gg_ppzksnark_proof()
: libsnark::r1cs_gg_ppzksnark_proof< ppT >
- r1cs_gg_ppzksnark_proof_variable()
: libsnark::r1cs_gg_ppzksnark_proof_variable< ppT >
- r1cs_gg_ppzksnark_proving_key()
: libsnark::r1cs_gg_ppzksnark_proving_key< ppT >
- r1cs_gg_ppzksnark_verification_key()
: libsnark::r1cs_gg_ppzksnark_verification_key< ppT >
- r1cs_gg_ppzksnark_verification_key_variable()
: libsnark::r1cs_gg_ppzksnark_verification_key_variable< ppT >
- r1cs_gg_ppzksnark_verifier_gadget()
: libsnark::r1cs_gg_ppzksnark_verifier_gadget< ppT >
- r1cs_gg_ppzksnark_verifier_process_vk_gadget()
: libsnark::r1cs_gg_ppzksnark_verifier_process_vk_gadget< ppT >
- r1cs_input
: libsnark::ram_to_r1cs< ramT >
- r1cs_mp_ppzkpcd_keypair()
: libsnark::r1cs_mp_ppzkpcd_keypair< PCD_ppT >
- r1cs_mp_ppzkpcd_processed_verification_key()
: libsnark::r1cs_mp_ppzkpcd_processed_verification_key< PCD_ppT >
- r1cs_mp_ppzkpcd_proof()
: libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >
- r1cs_mp_ppzkpcd_proving_key()
: libsnark::r1cs_mp_ppzkpcd_proving_key< PCD_ppT >
- r1cs_mp_ppzkpcd_verification_key()
: libsnark::r1cs_mp_ppzkpcd_verification_key< PCD_ppT >
- r1cs_pcd_compliance_predicate()
: libsnark::r1cs_pcd_compliance_predicate< FieldT >
- r1cs_pcd_compliance_predicate_auxiliary_input()
: libsnark::r1cs_pcd_compliance_predicate_auxiliary_input< FieldT >
- r1cs_pcd_compliance_predicate_primary_input()
: libsnark::r1cs_pcd_compliance_predicate_primary_input< FieldT >
- r1cs_pcd_local_data()
: libsnark::r1cs_pcd_local_data< FieldT >
- r1cs_pcd_local_data_variable()
: libsnark::r1cs_pcd_local_data_variable< FieldT >
- r1cs_pcd_message()
: libsnark::r1cs_pcd_message< FieldT >
- r1cs_pcd_message_variable()
: libsnark::r1cs_pcd_message_variable< FieldT >
- r1cs_pk
: libsnark::bacs_ppzksnark_proving_key< ppT >
, libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT >
- r1cs_ppzkadsnark_auth_data()
: libsnark::r1cs_ppzkadsnark_auth_data< ppT >
- r1cs_ppzkadsnark_auth_keys()
: libsnark::r1cs_ppzkadsnark_auth_keys< ppT >
- r1cs_ppzkadsnark_keypair()
: libsnark::r1cs_ppzkadsnark_keypair< ppT >
- r1cs_ppzkadsnark_proof()
: libsnark::r1cs_ppzkadsnark_proof< ppT >
- r1cs_ppzkadsnark_proving_key()
: libsnark::r1cs_ppzkadsnark_proving_key< ppT >
- r1cs_ppzkadsnark_pub_auth_key()
: libsnark::r1cs_ppzkadsnark_pub_auth_key< ppT >
- r1cs_ppzkadsnark_pub_auth_prms()
: libsnark::r1cs_ppzkadsnark_pub_auth_prms< ppT >
- r1cs_ppzkadsnark_sec_auth_key()
: libsnark::r1cs_ppzkadsnark_sec_auth_key< ppT >
- r1cs_ppzkadsnark_verification_key()
: libsnark::r1cs_ppzkadsnark_verification_key< ppT >
- r1cs_ppzksnark_keypair()
: libsnark::r1cs_ppzksnark_keypair< ppT >
- r1cs_ppzksnark_online_verifier_gadget()
: libsnark::r1cs_ppzksnark_online_verifier_gadget< ppT >
- r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable()
: libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >
- r1cs_ppzksnark_proof()
: libsnark::r1cs_ppzksnark_proof< ppT >
- r1cs_ppzksnark_proof_variable()
: libsnark::r1cs_ppzksnark_proof_variable< ppT >
- r1cs_ppzksnark_proving_key()
: libsnark::r1cs_ppzksnark_proving_key< ppT >
- r1cs_ppzksnark_verification_key()
: libsnark::r1cs_ppzksnark_verification_key< ppT >
- r1cs_ppzksnark_verifier_gadget()
: libsnark::r1cs_ppzksnark_verifier_gadget< ppT >
- r1cs_ppzksnark_verifier_process_vk_gadget()
: libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >
- r1cs_proof
: libsnark::r1cs_mp_ppzkpcd_proof< PCD_ppT >
- r1cs_se_ppzksnark_keypair()
: libsnark::r1cs_se_ppzksnark_keypair< ppT >
- r1cs_se_ppzksnark_proof()
: libsnark::r1cs_se_ppzksnark_proof< ppT >
- r1cs_se_ppzksnark_proving_key()
: libsnark::r1cs_se_ppzksnark_proving_key< ppT >
- r1cs_se_ppzksnark_verification_key()
: libsnark::r1cs_se_ppzksnark_verification_key< ppT >
- r1cs_sp_ppzkpcd_keypair()
: libsnark::r1cs_sp_ppzkpcd_keypair< PCD_ppT >
- r1cs_sp_ppzkpcd_processed_verification_key()
: libsnark::r1cs_sp_ppzkpcd_processed_verification_key< PCD_ppT >
- r1cs_sp_ppzkpcd_proving_key()
: libsnark::r1cs_sp_ppzkpcd_proving_key< PCD_ppT >
- r1cs_sp_ppzkpcd_verification_key()
: libsnark::r1cs_sp_ppzkpcd_verification_key< PCD_ppT >
- r1cs_vk
: libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >
- R1P_Elem()
: gadgetlib2::R1P_Elem
- R1P_Gadget()
: gadgetlib2::R1P_Gadget
- rA_i_Z_g1
: libsnark::r1cs_ppzkadsnark_proving_key< ppT >
- ra_memory()
: libsnark::ra_memory
- ram_compliance_predicate_handler()
: libsnark::ram_compliance_predicate_handler< ramT >
- ram_pcd_local_data()
: libsnark::ram_pcd_local_data< ramT >
- ram_pcd_local_data_variable()
: libsnark::ram_pcd_local_data_variable< ramT >
- ram_pcd_message()
: libsnark::ram_pcd_message< ramT >
- ram_pcd_message_variable()
: libsnark::ram_pcd_message_variable< ramT >
- ram_ppzksnark_keypair()
: libsnark::ram_ppzksnark_keypair< ram_ppzksnark_ppT >
- ram_ppzksnark_proving_key()
: libsnark::ram_ppzksnark_proving_key< ram_ppzksnark_ppT >
- ram_ppzksnark_verification_key()
: libsnark::ram_ppzksnark_verification_key< ram_ppzksnark_ppT >
- ram_to_r1cs()
: libsnark::ram_to_r1cs< ramT >
- ram_universal_gadget()
: libsnark::ram_universal_gadget< ramT >
- ram_zksnark_keypair()
: libsnark::ram_zksnark_keypair< ram_zksnark_ppT >
- ram_zksnark_proof()
: libsnark::ram_zksnark_proof< ram_zksnark_ppT >
- ram_zksnark_proving_key()
: libsnark::ram_zksnark_proving_key< ram_zksnark_ppT >
- ram_zksnark_verification_key()
: libsnark::ram_zksnark_verification_key< ram_zksnark_ppT >
- random_shuffle()
: libsnark::integer_permutation
- Rank1Constraint()
: gadgetlib2::Rank1Constraint
- ratio
: libsnark::check_e_equals_e_gadget< ppT >
, libsnark::check_e_equals_ee_gadget< ppT >
, libsnark::check_e_equals_eee_gadget< ppT >
- rC_Z_g2
: libsnark::r1cs_ppzkadsnark_verification_key< ppT >
, libsnark::r1cs_ppzksnark_verification_key< ppT >
, libsnark::r1cs_ppzksnark_verification_key_variable< ppT >
- read_successful
: libsnark::merkle_tree_check_read_gadget< FieldT, HashT >
- reduce_output
: libsnark::sha256_compression_function_gadget< FieldT >
- reduced_output
: libsnark::sha256_compression_function_gadget< FieldT >
- reg_arg_or_imm_width()
: libsnark::tinyram_architecture_params
- reg_arg_width()
: libsnark::tinyram_architecture_params
- relies_on_same_type_inputs
: libsnark::compliance_predicate_handler< FieldT, protoboardT >
, libsnark::r1cs_pcd_compliance_predicate< FieldT >
- report_linear_constraint_statistics()
: libsnark::r1cs_constraint_system< FieldT >
, libsnark::uscs_constraint_system< FieldT >
- resetVariableIndex()
: gadgetlib2::GadgetLibAdapter
- resize()
: gadgetlib2::DualWord
, gadgetlib2::MultiPackedWord
- rest
: libsnark::accumulation_vector< T >
- result
: libsnark::add_variable_and_variable_or_identity< ppT, groupT, variableT, variableSelectorT, addGadgetT >
, libsnark::add_variable_or_identity< ppT, groupT, variableT, variableSelectorT, addGadgetT >
, libsnark::ALU_arithmetic_gadget< FieldT >
, libsnark::ALU_control_flow_gadget< FieldT >
, libsnark::bar_gadget< FieldT >
, libsnark::bls12_377_ate_compute_f_ell_P< ppT >
, libsnark::bls12_377_exp_by_z_gadget< ppT >
, libsnark::bls12_377_final_exp_first_part_gadget< ppT >
, libsnark::bls12_377_final_exp_last_part_gadget< ppT >
, libsnark::bls12_377_miller_loop_gadget< ppT >
, libsnark::check_e_equals_e_gadget< ppT >
, libsnark::check_e_equals_ee_gadget< ppT >
, libsnark::check_e_equals_eee_gadget< ppT >
, libsnark::choice_gadget< FieldT >
, libsnark::dbl_variable_or_identity< ppT, groupT, groupVariableT, dblGadgetT >
, libsnark::exponentiation_gadget< FpkT, Fpk_variableT, Fpk_mul_gadgetT, Fpk_sqr_gadgetT, m >
, libsnark::Fp12_2over3over2_cyclotomic_square_gadget< Fp12T >
, libsnark::Fp12_2over3over2_inv_gadget< Fp12T >
, libsnark::Fp12_2over3over2_mul_by_024_gadget< Fp12T >
, libsnark::Fp12_2over3over2_mul_gadget< Fp12T >
, libsnark::Fp12_2over3over2_square_gadget< Fp12T >
, libsnark::Fp2_mul_by_lc_gadget< Fp2T >
, libsnark::Fp2_mul_gadget< Fp2T >
, libsnark::Fp2_sqr_gadget< Fp2T >
, libsnark::Fp3_mul_by_lc_gadget< Fp3T >
, libsnark::Fp3_mul_gadget< Fp3T >
, libsnark::Fp3_sqr_gadget< Fp3T >
, libsnark::Fp4_cyclotomic_sqr_gadget< Fp4T >
, libsnark::Fp4_direct_mul_gadget< Fp4T >
, libsnark::Fp4_sqr_gadget< Fp4T >
, libsnark::Fp4_tower_mul_gadget< Fp4T >
, libsnark::Fp6_2over3_cyclotomic_sqr_gadget< Fp6T >
, libsnark::Fp6_2over3_mul_by_2345_gadget< Fp6T >
, libsnark::Fp6_2over3_mul_gadget< Fp6T >
, libsnark::Fp6_2over3_sqr_gadget< Fp6T >
, libsnark::G1_add_gadget< ppT >
, libsnark::G1_dbl_gadget< ppT >
, libsnark::G1_multiscalar_mul_gadget< ppT >
, libsnark::G1_variable_selector_gadget< ppT >
, libsnark::G2_add_gadget< wppT >
, libsnark::G2_dbl_gadget< wppT >
, libsnark::G2_variable_selector_gadget< ppT >
, libsnark::inner_product_gadget< FieldT >
, libsnark::kzg10_verifier_gadget< ppT >
, libsnark::lastbits_gadget< FieldT >
, libsnark::loose_multiplexing_gadget< FieldT >
, libsnark::majority_gadget< FieldT >
, libsnark::mnt4_final_exp_gadget< ppT >
, libsnark::mnt6_final_exp_gadget< ppT >
, libsnark::mnt_e_over_e_miller_loop_gadget< ppT >
, libsnark::mnt_e_times_e_over_e_miller_loop_gadget< ppT >
, libsnark::mnt_e_times_e_times_e_over_e_miller_loop_gadget< ppT >
, libsnark::mnt_miller_loop_gadget< ppT >
, libsnark::point_mul_by_const_scalar_gadget< groupT, groupVariableT, add_gadget, dbl_gadget, scalarT >
, libsnark::point_mul_by_scalar_gadget< ppT, groupT, groupVarT, selectorGadgetT, addGadgetT, dblGadgetT >
, libsnark::r1cs_ppzksnark_online_verifier_gadget< ppT >
, libsnark::variable_and_variable_or_identity_selector< ppT, groupT, variableT, variableSelectorT >
- result_
: gadgetlib2::R1P_EqualsConst_Gadget
, gadgetlib2::R1P_InnerProduct_Gadget
, gadgetlib2::R1P_OR_Gadget
- result_bits
: libsnark::big_sigma_gadget< FieldT >
, libsnark::lastbits_gadget< FieldT >
, libsnark::small_sigma_gadget< FieldT >
- result_c1_plus_v0_plus_v1
: libsnark::Fp4_sqr_gadget< Fp4T >
, libsnark::Fp4_tower_mul_gadget< Fp4T >
, libsnark::Fp6_2over3_mul_by_2345_gadget< Fp6T >
, libsnark::Fp6_2over3_mul_gadget< Fp6T >
- result_c1_plus_v0_plus_v1_c0
: libsnark::Fp4_sqr_gadget< Fp4T >
, libsnark::Fp4_tower_mul_gadget< Fp4T >
, libsnark::Fp6_2over3_mul_by_2345_gadget< Fp6T >
, libsnark::Fp6_2over3_mul_gadget< Fp6T >
- result_c1_plus_v0_plus_v1_c1
: libsnark::Fp4_sqr_gadget< Fp4T >
, libsnark::Fp4_tower_mul_gadget< Fp4T >
, libsnark::Fp6_2over3_mul_by_2345_gadget< Fp6T >
, libsnark::Fp6_2over3_mul_gadget< Fp6T >
- result_c1_plus_v0_plus_v1_c2
: libsnark::Fp6_2over3_mul_by_2345_gadget< Fp6T >
, libsnark::Fp6_2over3_mul_gadget< Fp6T >
- result_flag
: libsnark::ALU_arithmetic_gadget< FieldT >
- result_is_identity
: libsnark::variable_or_identity_selector< ppT, groupT, variableT, variableSelectorT >
- result_is_one
: libsnark::mnt4_final_exp_gadget< ppT >
, libsnark::mnt6_final_exp_gadget< ppT >
- rhs
: libsnark::bacs_gate< FieldT >
- rhs1_G1
: libsnark::check_e_equals_ee_gadget< ppT >
, libsnark::check_e_equals_eee_gadget< ppT >
- rhs1_G2
: libsnark::check_e_equals_ee_gadget< ppT >
, libsnark::check_e_equals_eee_gadget< ppT >
- rhs2_G1
: libsnark::check_e_equals_ee_gadget< ppT >
, libsnark::check_e_equals_eee_gadget< ppT >
- rhs2_G2
: libsnark::check_e_equals_ee_gadget< ppT >
, libsnark::check_e_equals_eee_gadget< ppT >
- rhs3_G1
: libsnark::check_e_equals_eee_gadget< ppT >
- rhs3_G2
: libsnark::check_e_equals_eee_gadget< ppT >
- rhs_G1
: libsnark::check_e_equals_e_gadget< ppT >
- rhs_G2
: libsnark::check_e_equals_e_gadget< ppT >
- right
: libsnark::digest_selector_gadget< FieldT >
- right_digests
: libsnark::merkle_authentication_path_variable< FieldT, HashT >
- right_wire
: libsnark::tbcs_gate
- root
: libsnark::merkle_tree_check_read_gadget< FieldT, HashT >
, libsnark::ram_pcd_message< ramT >
, libsnark::ram_pcd_message_variable< ramT >
- root_digest
: libsnark::set_commitment_gadget< FieldT, HashT >
- root_initial
: libsnark::ram_pcd_message< ramT >
, libsnark::ram_pcd_message_variable< ramT >
- root_size_in_bits()
: libsnark::merkle_tree_check_read_gadget< FieldT, HashT >
, libsnark::merkle_tree_check_update_gadget< FieldT, HashT >
, libsnark::set_commitment_gadget< FieldT, HashT >
- round_a
: libsnark::sha256_compression_function_gadget< FieldT >
- round_b
: libsnark::sha256_compression_function_gadget< FieldT >
- round_c
: libsnark::sha256_compression_function_gadget< FieldT >
- round_d
: libsnark::sha256_compression_function_gadget< FieldT >
- round_e
: libsnark::sha256_compression_function_gadget< FieldT >
- round_f
: libsnark::sha256_compression_function_gadget< FieldT >
- round_functions
: libsnark::sha256_compression_function_gadget< FieldT >
- round_g
: libsnark::sha256_compression_function_gadget< FieldT >
- round_h
: libsnark::sha256_compression_function_gadget< FieldT >
- routed_memory_lines
: libsnark::ram_universal_gadget< ramT >
- routing_input_bits
: libsnark::as_waksman_routing_gadget< FieldT >
, libsnark::benes_routing_gadget< FieldT >
- routing_inputs
: libsnark::ram_universal_gadget< ramT >
- routing_network
: libsnark::ram_universal_gadget< ramT >
- routing_output_bits
: libsnark::as_waksman_routing_gadget< FieldT >
, libsnark::benes_routing_gadget< FieldT >
- routing_outputs
: libsnark::ram_universal_gadget< ramT >
- RX
: libsnark::mnt_precompute_G2_gadget_coeffs< ppT >
- Rx_constraint
: libsnark::G2_add_gadget< wppT >
- RX_minus_next_RX
: libsnark::mnt_precompute_G2_gadget_addition_step< ppT >
, libsnark::mnt_precompute_G2_gadget_doubling_step< ppT >
- RX_minus_QX
: libsnark::mnt_precompute_G2_gadget_addition_step< ppT >
- RXsquared
: libsnark::mnt_precompute_G2_gadget_doubling_step< ppT >
- RY
: libsnark::mnt_precompute_G2_gadget_coeffs< ppT >
- Ry_constraint
: libsnark::G2_add_gadget< wppT >
- RY_minus_QY
: libsnark::mnt_precompute_G2_gadget_addition_step< ppT >
- RY_plus_next_RY
: libsnark::mnt_precompute_G2_gadget_addition_step< ppT >
, libsnark::mnt_precompute_G2_gadget_doubling_step< ppT >