bb::BatchedHonkTranslatorVerifier_< Curve > Member List

This is the complete list of members for bb::BatchedHonkTranslatorVerifier_< Curve >, including all inherited members.

BatchedHonkTranslatorVerifier_(std::shared_ptr< MegaZKVKAndHash > mega_zk_vk_and_hash, std::shared_ptr< Transcript > transcript)	bb::BatchedHonkTranslatorVerifier_< Curve >
builder	bb::BatchedHonkTranslatorVerifier_< Curve >	private
Commitment typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
FF typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
IsRecursive	bb::BatchedHonkTranslatorVerifier_< Curve >	static
joint_challenge	bb::BatchedHonkTranslatorVerifier_< Curve >	private
libra_challenge	bb::BatchedHonkTranslatorVerifier_< Curve >	private
libra_commitments	bb::BatchedHonkTranslatorVerifier_< Curve >	private
libra_evaluation	bb::BatchedHonkTranslatorVerifier_< Curve >	private
mega_zk_evals	bb::BatchedHonkTranslatorVerifier_< Curve >	private
mega_zk_relation_parameters	bb::BatchedHonkTranslatorVerifier_< Curve >	private
mega_zk_verifier_instance	bb::BatchedHonkTranslatorVerifier_< Curve >	private
mega_zk_vk_and_hash	bb::BatchedHonkTranslatorVerifier_< Curve >	private
MegaZKFlavorT typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
MegaZKVerifierCommitments typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
MegaZKVerifierInstance typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
MegaZKVKAndHash typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
PairingPoints typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
Proof typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
REPEATED_COMMITMENTS	bb::BatchedHonkTranslatorVerifier_< Curve >	static
trans_evals	bb::BatchedHonkTranslatorVerifier_< Curve >	private
TransBF typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
transcript	bb::BatchedHonkTranslatorVerifier_< Curve >	private
Transcript typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
TransFlavor typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
translator_relation_parameters	bb::BatchedHonkTranslatorVerifier_< Curve >	private
TransVerifierCommitments typedef	bb::BatchedHonkTranslatorVerifier_< Curve >
verify(const Proof &joint_proof, const TransBF &evaluation_input_x, const TransBF &batching_challenge_v, const TransBF &accumulated_result, const std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > &op_queue_wire_commitments)	bb::BatchedHonkTranslatorVerifier_< Curve >
verify_joint_pcs(bool sumcheck_verified, MegaZKVerifierCommitments &mega_zk_commitments, TransVerifierCommitments &trans_commitments)	bb::BatchedHonkTranslatorVerifier_< Curve >	private
verify_joint_sumcheck()	bb::BatchedHonkTranslatorVerifier_< Curve >	private
verify_mega_zk_oink(const Proof &mega_zk_proof)	bb::BatchedHonkTranslatorVerifier_< Curve >
verify_translator_oink(const Proof &joint_proof, const TransBF &evaluation_input_x, const TransBF &batching_challenge_v, const TransBF &accumulated_result, const std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > &op_queue_wire_commitments)	bb::BatchedHonkTranslatorVerifier_< Curve >	private