BF typedef | bb::TranslatorRecursiveVerifier | |
Builder typedef | bb::TranslatorRecursiveVerifier | |
builder | bb::TranslatorRecursiveVerifier | |
Commitment typedef | bb::TranslatorRecursiveVerifier | |
FF typedef | bb::TranslatorRecursiveVerifier | |
Flavor typedef | bb::TranslatorRecursiveVerifier | |
GroupElement typedef | bb::TranslatorRecursiveVerifier | |
key | bb::TranslatorRecursiveVerifier | |
NativeBF typedef | bb::TranslatorRecursiveVerifier | |
NativeVerificationKey typedef | bb::TranslatorRecursiveVerifier | |
op_queue_commitments | bb::TranslatorRecursiveVerifier | |
PairingPoints typedef | bb::TranslatorRecursiveVerifier | |
pcs_verification_key | bb::TranslatorRecursiveVerifier | |
put_translation_data_in_relation_parameters(const BF &evaluation_input_x, const BF &batching_challenge_v, const BF &accumulated_result) | bb::TranslatorRecursiveVerifier | |
relation_parameters | bb::TranslatorRecursiveVerifier | |
RelationParams typedef | bb::TranslatorRecursiveVerifier | |
StdlibProof typedef | bb::TranslatorRecursiveVerifier | |
transcript | bb::TranslatorRecursiveVerifier | |
Transcript typedef | bb::TranslatorRecursiveVerifier | |
TranslationEvaluations typedef | bb::TranslatorRecursiveVerifier | |
TranslatorRecursiveVerifier(Builder *builder, const std::shared_ptr< NativeVerificationKey > &native_verifier_key, const std::shared_ptr< Transcript > &transcript) | bb::TranslatorRecursiveVerifier | |
VerificationKey typedef | bb::TranslatorRecursiveVerifier | |
VerifierCommitmentKey typedef | bb::TranslatorRecursiveVerifier | |
verify_consistency_with_final_merge(const std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > &merge_commitments) | bb::TranslatorRecursiveVerifier | |
verify_proof(const HonkProof &proof, const BF &evaluation_input_x, const BF &batching_challenge_v) | bb::TranslatorRecursiveVerifier | |
verify_proof(const StdlibProof &proof, const BF &evaluation_input_x, const BF &batching_challenge_v) | bb::TranslatorRecursiveVerifier | |
verify_translation(const TranslationEvaluations &translation_evaluations, const BF &translation_masking_term_eval) | bb::TranslatorRecursiveVerifier | |
vk_hash | bb::TranslatorRecursiveVerifier | |