Here is a list of all class members with links to the classes they belong to:
- a -
- a : acir_format::LogicConstraint, BadExampleCompileTimeError, BadExampleIncomplete, BadExampleOutOfObject, BadExampleOverlap, bb::add_quad_< FF >, bb::add_triple_< FF >, bb::arithmetic_triple_< FF >, bb::avm2::simulation::AluEvent, bb::avm2::simulation::BitwiseEvent, bb::avm2::simulation::FieldGreaterThanEvent, bb::avm2::simulation::GreaterThanEvent, bb::Bn254G1Params, bb::Bn254G2Params, bb::grumpkin::G1Params, bb::mul_quad_< FF >, bb::non_native_multiplication_witnesses< FF >, bb::non_native_partial_multiplication_witnesses< FF >, bb::poseidon2_external_gate_< FF >, bb::poseidon2_initial_external_gate_< FF >, bb::poseidon2_internal_gate_< FF >, bb::poseidon2_quad_internal_gate_< FF >, bb::poseidon2_transition_entry_gate_< FF >, bb::secp256k1::G1Params, bb::secp256r1::G1Params, bb::UltraCircuitBuilder_< ExecutionTrace_ >::cached_partial_non_native_field_multiplication, bb::VerifierEqPolynomial< FF >, GoodExample, UltraCircuitBuilderArithmetic::AddQuadData, UltraCircuitBuilderArithmetic::AddTripleData, UltraCircuitBuilderArithmetic::ArithTripleData, UltraCircuitBuilderArithmetic::MulQuadData
- A2_one : bb::crypto::Poseidon2QuadBn254Params, bb::Poseidon2TransitionEntryRelationImpl< FF_ >
- a_address : ADD_16_Instruction, ADD_8_Instruction, AND_16_Instruction, AND_8_Instruction, DIV_16_Instruction, DIV_8_Instruction, EQ_16_Instruction, EQ_8_Instruction, FDIV_16_Instruction, FDIV_8_Instruction, LT_16_Instruction, LT_8_Instruction, LTE_16_Instruction, LTE_8_Instruction, MUL_16_Instruction, MUL_8_Instruction, NOT_16_Instruction, NOT_8_Instruction, OR_16_Instruction, OR_8_Instruction, SHL_16_Instruction, SHL_8_Instruction, SHR_16_Instruction, SHR_8_Instruction, SUB_16_Instruction, SUB_8_Instruction, XOR_16_Instruction, XOR_8_Instruction
- a_limbs : bb::avm2::simulation::FieldGreaterThanEvent
- A_one : bb::crypto::Poseidon2QuadBn254Params, bb::Poseidon2TransitionEntryRelationImpl< FF_ >
- a_scaling : bb::add_quad_< FF >, bb::add_triple_< FF >, bb::mul_quad_< FF >, UltraCircuitBuilderArithmetic::AddQuadData, UltraCircuitBuilderArithmetic::AddTripleData, UltraCircuitBuilderArithmetic::MulQuadData
- abort() : bb::lmdblib::LMDBTransaction
- absolute_address : ResolvedAddress
- absorb() : bb::crypto::FieldSponge< FF, rate, capacity, t, Permutation >, bb::stdlib::FieldSponge< Builder >
- accept() : bb::ipc::IpcServer, bb::ipc::SocketServer
- access_count : bb::RamTranscript
- access_type : acir_format::MemOp, bb::RamRecord
- AccessType : bb::RamRecord
- accumulate() : bb::ArithmeticRelationImpl< FF_ >, bb::avm2::address_derivationImpl< FF_ >, bb::avm2::addressingImpl< FF_ >, bb::avm2::aluImpl< FF_ >, bb::avm2::bc_decompositionImpl< FF_ >, bb::avm2::bc_hashingImpl< FF_ >, bb::avm2::bc_retrievalImpl< FF_ >, bb::avm2::bitwiseImpl< FF_ >, bb::avm2::calldata_hashingImpl< FF_ >, bb::avm2::calldataImpl< FF_ >, bb::avm2::class_id_derivationImpl< FF_ >, bb::avm2::context_stackImpl< FF_ >, bb::avm2::contextImpl< FF_ >, bb::avm2::contract_instance_retrievalImpl< FF_ >, bb::avm2::data_copyImpl< FF_ >, bb::avm2::discardImpl< FF_ >, bb::avm2::ecc_memImpl< FF_ >, bb::avm2::eccImpl< FF_ >, bb::avm2::emit_notehashImpl< FF_ >, bb::avm2::emit_nullifierImpl< FF_ >, bb::avm2::emit_public_logImpl< FF_ >, bb::avm2::executionImpl< FF_ >, bb::avm2::external_callImpl< FF_ >, bb::avm2::ff_gtImpl< FF_ >, bb::avm2::gasImpl< FF_ >, bb::avm2::get_contract_instanceImpl< FF_ >, bb::avm2::get_env_varImpl< FF_ >, bb::avm2::gtImpl< FF_ >, bb::avm2::indexed_tree_checkImpl< FF_ >, bb::avm2::instr_fetchingImpl< FF_ >, bb::avm2::internal_call_stackImpl< FF_ >, bb::avm2::internal_callImpl< FF_ >, bb::avm2::keccak_memoryImpl< FF_ >, bb::avm2::keccakf1600Impl< FF_ >, bb::avm2::l1_to_l2_message_existsImpl< FF_ >, bb::avm2::l1_to_l2_message_tree_checkImpl< FF_ >, bb::avm2::lookup_relation_base< FF_, Settings_ >, bb::avm2::memoryImpl< FF_ >, bb::avm2::merkle_checkImpl< FF_ >, bb::avm2::note_hash_tree_checkImpl< FF_ >, bb::avm2::notehash_existsImpl< FF_ >, bb::avm2::nullifier_existsImpl< FF_ >, bb::avm2::optimized_poseidon2_permImpl< FF_ >, bb::avm2::poseidon2_hashImpl< FF_ >, bb::avm2::poseidon2_memImpl< FF_ >, bb::avm2::public_data_checkImpl< FF_ >, bb::avm2::public_data_squashImpl< FF_ >, bb::avm2::range_checkImpl< FF_ >, bb::avm2::registersImpl< FF_ >, bb::avm2::scalar_mulImpl< FF_ >, bb::avm2::send_l2_to_l1_msgImpl< FF_ >, bb::avm2::sha256_memImpl< FF_ >, bb::avm2::sha256Impl< FF_ >, bb::avm2::sloadImpl< FF_ >, bb::avm2::sstoreImpl< FF_ >, bb::avm2::to_radix_memImpl< FF_ >, bb::avm2::to_radixImpl< FF_ >, bb::avm2::tx_contextImpl< FF_ >, bb::avm2::tx_discardImpl< FF_ >, bb::avm2::txImpl< FF_ >, bb::avm2::update_checkImpl< FF_ >, bb::Chonk, bb::DatabusLookupRelationImpl< FF_ >, bb::DeltaRangeConstraintRelationImpl< FF_ >, bb::DependentTestRelationImpl< FF_ >, bb::EccOpQueueRelationImpl< FF_ >, bb::ECCVMBoolsRelationImpl< FF_ >, bb::ECCVMLookupRelationImpl< FF_ >, bb::ECCVMMSMRelationImpl< FF_ >, bb::ECCVMPointTableRelationImpl< FF_ >, bb::ECCVMSetRelationImpl< FF_ >, bb::ECCVMTranscriptRelationImpl< FF_ >, bb::ECCVMWnafRelationImpl< FF_ >, bb::EllipticRelationImpl< FF_ >, bb::GenericLookupRelationImpl< Settings, FF_ >, bb::GenericPermutationRelationImpl< Settings, FF_ >, bb::IVCBase, bb::LogDerivLookupRelationImpl< FF_ >, bb::MemoryRelationImpl< FF_ >, bb::MultilinearBatchingAccumulatorRelationImpl< FF_ >, bb::MultilinearBatchingInstanceRelationImpl< FF_ >, bb::NonNativeFieldRelationImpl< FF_ >, bb::Poseidon2ExternalRelationImpl< FF_ >, bb::Poseidon2InitialExternalRelationImpl< FF_ >, bb::Poseidon2InternalRelationImpl< FF_ >, bb::Poseidon2QuadInternalRelationImpl< FF_ >, bb::Poseidon2QuadInternalTerminalRelationImpl< FF_ >, bb::Poseidon2TransitionEntryRelationImpl< FF_ >, bb::PrivateExecutionSteps, bb::stdlib::field_t< Builder_ >, bb::TranslatorAccumulatorTransferRelationImpl< FF_ >, bb::TranslatorDecompositionRelationImpl< FF_ >, bb::TranslatorDeltaRangeConstraintRelationImpl< FF_ >, bb::TranslatorNonNativeFieldRelationImpl< FF_ >, bb::TranslatorOpcodeConstraintRelationImpl< FF_ >, bb::TranslatorPermutationRelationImpl< FF_ >, bb::TranslatorZeroConstraintsRelationImpl< FF_ >, bb::UltraPermutationRelationImpl< FF_ >
- accumulate_and_fold() : bb::Chonk
- accumulate_and_prove_ivc() : ChonkTests
- accumulate_buckets() : bb::scalar_multiplication::MSM< Curve >
- accumulate_hiding_kernel() : bb::Chonk
- accumulate_relation_evaluations() : bb::RelationUtils< Flavor >
- accumulate_relation_evaluations_without_skipping() : bb::RelationUtils< Flavor >
- accumulate_relation_univariates() : bb::SumcheckProverRound< Flavor >
- accumulate_relation_univariates_public() : bb::SumcheckProverRound< Flavor >
- accumulate_single_relation() : bb::RelationUtils< Flavor >
- accumulate_subrelation_contributions() : bb::DatabusLookupRelationImpl< FF_ >
- accumulated_data : bb::avm2::PublicInputs
- accumulated_data_array_lengths : bb::avm2::PublicInputs
- accumulated_result : bb::ECCVMVerifier_< Flavor >, bb::RelationParameters< T >, bb::TranslatorInputData_< FF >, bb::TranslatorRecursiveTests::RecursiveVerifierInputs, bb::TranslatorVerifier_< Flavor >
- accumulated_result_native : bb::TranslatorRecursiveTests::RecursiveVerifierInputs
- AccumulateHook : ChonkTests
- accumulator : bb::ECCOpQueue
- Accumulator : bb::ECCVMTranscriptBuilder
- accumulator : bb::ECCVMTranscriptBuilder::VMState
- Accumulator : bb::HypernovaDeciderProver, bb::HypernovaDeciderVerifier< Flavor_ >, bb::HypernovaFoldingProver, bb::HypernovaFoldingVerifier< Flavor_ >
- accumulator : bb::stdlib::cycle_group< Builder >::batch_mul_internal_output
- Accumulator : GenericLookupRelationTest< Settings >, GenericPermutationRelationTest< Settings >
- accumulator_challenge : bb::MultilinearBatchingFlavor::ProvingKey, bb::SumcheckProver< Flavor >
- accumulator_claim : bb::MultilinearBatchingVerifier< Flavor_ >
- ACCUMULATOR_EMPTY_UPDATE : bb::ECCVMTranscriptRelationImpl< FF_ >
- accumulator_evaluations : bb::MultilinearBatchingFlavor::ProvingKey
- ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_0 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_1 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_2 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_3 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_4 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_HIGH_LIMBS_RANGE_CONSTRAINT_TAIL : bb::TranslatorCircuitBuilder
- ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_0 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_1 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_2 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_3 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_4 : bb::TranslatorCircuitBuilder
- ACCUMULATOR_LOW_LIMBS_RANGE_CONSTRAINT_TAIL : bb::TranslatorCircuitBuilder
- accumulator_not_empty : bb::ECCVMTranscriptBuilder::TranscriptRow
- ACCUMULATOR_NOT_EMPTY_INIT : bb::ECCVMTranscriptRelationImpl< FF_ >
- accumulator_x : bb::ECCVMMSMMBuilder::MSMRow, bb::ECCVMTranscriptBuilder::TranscriptRow
- ACCUMULATOR_X_UPDATE : bb::ECCVMTranscriptRelationImpl< FF_ >
- accumulator_y : bb::ECCVMMSMMBuilder::MSMRow, bb::ECCVMTranscriptBuilder::TranscriptRow
- ACCUMULATOR_Y_UPDATE : bb::ECCVMTranscriptRelationImpl< FF_ >
- ACCUMULATORS_BINARY_LIMBS_0 : bb::TranslatorCircuitBuilder
- ACCUMULATORS_BINARY_LIMBS_1 : bb::TranslatorCircuitBuilder
- ACCUMULATORS_BINARY_LIMBS_2 : bb::TranslatorCircuitBuilder
- ACCUMULATORS_BINARY_LIMBS_3 : bb::TranslatorCircuitBuilder
- acir_index : Acir::OpcodeLocation::Brillig
- acir_opcodes : bb::bbapi::ChonkStats::Response
- AcirConstraint : acir_format::TestClass< Base_ >, acir_format::TestClassWithPredicate< Base_ >, AES128TestingFunctions< Builder_, IsPlaintextConstant, IsKeyConstant, IsIVConstant >, ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >, ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >, AvmRecursionConstraintTestingFunctions, Blake2sTestingFunctions< BuilderType, IsInputConstant >, Blake3TestingFunctions< BuilderType, IsInputConstant >, CallDataTestingFunctions< calldata_type, calldata_size, num_reads >, EcdsaTestingFunctions< Curve >, EcOperationsTestingFunctions< Builder_, Constancy >, HonkRecursionConstraintTestingFunctions< RecursiveFlavor, IsRootRollup, N, LayerSizes >, KeccakTestingFunctions< BuilderType >, LogicConstraintTestingFunctions< Builder_, Constancy, num_bits, is_xor_gate >, MultiScalarMulTestingFunctions< Builder_, Constancy >, Poseidon2TestingFunctions< BuilderType >, RAMTestingFunctions< Builder_, table_size, num_reads, num_writes >, ReturnDataTestingFunctions< returndata_size >, ROMTestingFunctions< Builder_, table_size, num_reads >, Sha256TestingFunctions< BuilderType, IsInputConstant >
- AcirToSmtLoader() : AcirToSmtLoader
- acquire() : bb::nodejs::msgpack_client::MsgpackClientAsync
- action_counter : bb::avm2::CheckpointActionNoStateChangeHint, bb::avm2::RevertCheckpointHint, bb::avm2::simulation::HintedRawContractDB
- active_range_endpoints : bb::PolyData< FF >
- actual_data_size_ : bb::GeminiProver_< Curve >::PolynomialBatcher
- actual_vk : bb::bbapi::ChonkCheckPrecomputedVk::Response
- add() : bb::avm2::simulation::Alu, bb::avm2::simulation::AluInterface, bb::avm2::simulation::Ecc, bb::avm2::simulation::EccInterface, bb::avm2::simulation::Execution, bb::avm2::simulation::PureAlu, bb::avm2::tracegen::InteractionDefinition, bb::EccOpCode, bb::ECCVMMSMMBuilder::MSMRow::AddState, bb::field< Params_ >
- ADD : BigFieldBase< Builder >::ArgSizes, BigFieldBase< Builder >::Instruction, BigFieldBase< Builder >::InstructionWeights, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ArgSizes, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::Instruction, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights, ByteArrayFuzzBase< Builder >::ArgSizes, ByteArrayFuzzBase< Builder >::Instruction, CycleGroupBase< Builder >::ArgSizes, CycleGroupBase< Builder >::Instruction, CycleGroupBase< Builder >::InstructionWeights, FieldBase< Builder >::ArgSizes, FieldBase< Builder >::Instruction, FieldBase< Builder >::InstructionWeights
- ADD1_DECOMPOSITION : bb::ECCVMMSMRelationImpl< FF_ >
- ADD_ACC_X : bb::ECCVMMSMRelationImpl< FF_ >
- ADD_ACC_Y : bb::ECCVMMSMRelationImpl< FF_ >
- add_accum_op_idx : bb::MegaCircuitBuilder_< FF >
- add_accumulate() : bb::ECCOpQueue
- add_add_gate_variables() : UltraCircuitBuilderElliptic
- add_affine_coordinates_to_transcript() : bb::ECCVMTranscriptBuilder
- add_affine_points() : bb::scalar_multiplication::MSM< Curve >
- add_arithmetic_gates() : bb::MockCircuits
- add_arithmetic_gates_with_public_inputs() : bb::MockCircuits
- add_batch_internal() : bb::crypto::merkle_tree::ContentAddressedAppendOnlyTree< Store, HashingPolicy >
- add_block() : bb::crypto::merkle_tree::BlockIndexPayload
- add_challenge() : bb::TranscriptManifest
- add_checkpoint() : bb::detail::MemoryProfile
- add_checkpoint_listener() : bb::avm2::simulation::MerkleDB, bb::avm2::simulation::PureMerkleDB
- ADD_CONTINUITY_2 : bb::ECCVMMSMRelationImpl< FF_ >
- ADD_CONTINUITY_3 : bb::ECCVMMSMRelationImpl< FF_ >
- ADD_CONTINUITY_4 : bb::ECCVMMSMRelationImpl< FF_ >
- add_contract_address() : bb::avm2::fuzzer::FuzzerContext
- add_contract_class() : bb::avm2::fuzzer::FuzzerContractDB
- add_contract_instance() : bb::avm2::fuzzer::FuzzerContractDB
- add_contracts() : bb::avm2::fuzzer::FuzzerContractDB, bb::avm2::simulation::ContractDB, bb::avm2::simulation::ContractDBInterface, bb::avm2::simulation::HintedRawContractDB, bb::avm2::simulation::HintingContractsDB, bb::avm2::simulation::PureContractDB, bb::nodejs::TsCallbackContractDB
- add_contracts_callback_ : bb::nodejs::TsCallbackContractDB
- ADD_CROSS_ROW_CONTINUITY : bb::ECCVMMSMRelationImpl< FF_ >
- add_data_result : bb::crypto::merkle_tree::AddIndexedDataResponse< LeafValueType >, bb::crypto::merkle_tree::AddIndexedDataSequentiallyResponse< LeafValueType >
- add_dbl_gate_variables() : UltraCircuitBuilderElliptic
- add_default() : bb::DefaultIO, bb::HidingKernelIO, bb::RollupIO, bb::stdlib::recursion::honk::DefaultIO< Builder_ >, bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >, bb::stdlib::recursion::honk::KernelIO_< N >, bb::stdlib::recursion::honk::RollupIO
- add_ecc_op_wires_to_prover_instance() : bb::TraceToPolynomials< Flavor >
- add_element_frs_to_hash_buffer() : bb::BaseTranscript< Codec_, HashFunction_ >
- add_elements : BigFieldBase< Builder >::Instruction::MultAddArgs, BigFieldBase< Builder >::Instruction::MultOpArgs
- add_elements_count : BigFieldBase< Builder >::Instruction::MultAddArgs, BigFieldBase< Builder >::Instruction::MultOpArgs, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::Instruction::BatchMulArgs, CycleGroupBase< Builder >::Instruction::BatchMulArgs
- add_entry() : bb::detail::GlobalBenchStatsContainer, bb::TranscriptManifest
- add_erroneous_equality_op_for_testing() : bb::ECCOpQueue
- add_events : bb::avm2::simulation::Ecc
- add_in_place() : bb::BatchedAffineAddition< Curve >
- add_input() : bb::avm2::ExecInstructionSpec::RegisterInfo
- add_inputs() : bb::avm2::ExecInstructionSpec::RegisterInfo
- add_internal() : bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >
- add_l2_to_l1_message() : bb::avm2::simulation::SideEffectTracker, bb::avm2::simulation::SideEffectTrackerInterface
- add_log() : bb::avm2::PublicLogs
- add_lookup_gates() : bb::MockCircuits
- add_malicious_variable() : bb::MaliciousWitnessInjector< Flavor >
- add_masking() : bb::Polynomial< Fr >
- add_memory_events : bb::avm2::simulation::Ecc
- add_mixed_ops() : BatchedHonkTranslatorTests, bb::TranslatorRecursiveTests, TranslatorTests
- add_nested_tuples() : bb::RelationUtils< Flavor >
- add_new_edge() : cdg::StaticAnalyzer_< FF, CircuitBuilder >
- add_note_hash() : bb::avm2::simulation::SideEffectTracker, bb::avm2::simulation::SideEffectTrackerInterface
- add_nullifier() : bb::avm2::simulation::SideEffectTracker, bb::avm2::simulation::SideEffectTrackerInterface
- add_or_update_value() : bb::crypto::merkle_tree::ContentAddressedIndexedTree< Store, HashingPolicy >
- add_or_update_values() : bb::crypto::merkle_tree::ContentAddressedIndexedTree< Store, HashingPolicy >
- add_or_update_values_internal() : bb::crypto::merkle_tree::ContentAddressedIndexedTree< Store, HashingPolicy >
- add_or_update_values_sequentially() : bb::crypto::merkle_tree::ContentAddressedIndexedTree< Store, HashingPolicy >
- add_or_update_values_sequentially_internal() : bb::crypto::merkle_tree::ContentAddressedIndexedTree< Store, HashingPolicy >
- add_output() : bb::avm2::ExecInstructionSpec::RegisterInfo
- add_public_calldata() : bb::MegaCircuitBuilder_< FF >
- add_public_log() : bb::avm2::simulation::SideEffectTracker, bb::avm2::simulation::SideEffectTrackerInterface
- add_public_return_data() : bb::MegaCircuitBuilder_< FF >
- add_public_variable() : bb::CircuitBuilderBase< FF_ >
- add_RAM_gates() : bb::MockCircuits
- add_ram_rom_memory_records_to_wire_4() : bb::OinkProver< Flavor >
- add_random_ops() : BatchedHonkTranslatorTests, bb::TranslatorRecursiveTests, TranslatorTests
- add_round_constants() : bb::crypto::Poseidon2Permutation< Params >
- add_scaled() : bb::Polynomial< Fr >
- add_scaled_chunk() : bb::Polynomial< Fr >
- add_shifted_tail() : bb::GeminiProver_< Curve >::PolynomialBatcher
- add_simple : bb::UltraCircuitBuilder_< ExecutionTrace_ >, UltraCircuitBuilderNonNative
- ADD_SLOPE_1 : bb::ECCVMMSMRelationImpl< FF_ >
- ADD_SLOPE_2 : bb::ECCVMMSMRelationImpl< FF_ >
- ADD_SLOPE_3 : bb::ECCVMMSMRelationImpl< FF_ >
- ADD_SLOPE_4 : bb::ECCVMMSMRelationImpl< FF_ >
- add_some_ecc_op_gates() : bb::GoblinMockCircuits
- add_state : bb::ECCVMMSMMBuilder::MSMRow
- add_storage_write() : bb::avm2::simulation::SideEffectTracker, bb::avm2::simulation::SideEffectTrackerInterface
- add_thread_time_sample() : bb::detail::AggregateEntry
- add_to_batch() : bb::CommitmentKey< Curve >::CommitBatch
- add_to_hash_buffer() : bb::BaseTranscript< Codec_, HashFunction_ >, bb::MockTranscript
- add_to_lower_limb() : bb::stdlib::bigfield< Builder, T >
- add_tuples() : bb::RelationUtils< Flavor >
- add_two() : bb::stdlib::bigfield< Builder, T >, bb::stdlib::field_t< Builder_ >
- ADD_TWO : BigFieldBase< Builder >::ArgSizes
- add_two() : BigFieldBase< Builder >::ExecutionHandler
- ADD_TWO : BigFieldBase< Builder >::Instruction, BigFieldBase< Builder >::InstructionWeights, FieldBase< Builder >::ArgSizes
- add_two() : FieldBase< Builder >::ExecutionHandler
- ADD_TWO : FieldBase< Builder >::Instruction, FieldBase< Builder >::InstructionWeights
- add_unshifted_tail() : bb::GeminiProver_< Curve >::PolynomialBatcher
- add_value() : bb::crypto::merkle_tree::ContentAddressedAppendOnlyTree< Store, HashingPolicy >
- add_values() : bb::crypto::merkle_tree::ContentAddressedAppendOnlyTree< Store, HashingPolicy >
- add_values_internal() : bb::crypto::merkle_tree::ContentAddressedAppendOnlyTree< Store, HashingPolicy >
- add_variable() : bb::CircuitBuilderBase< FF_ >
- add_variables() : bb::UltraHonkTests< Flavor >
- ADD_X : bb::ECCVMPointTableRelationImpl< FF_ >
- ADD_X_EQUAL_CHECK : bb::ECCVMTranscriptRelationImpl< FF_ >
- ADD_Y : bb::ECCVMPointTableRelationImpl< FF_ >
- ADD_Y_EQUAL_CHECK : bb::ECCVMTranscriptRelationImpl< FF_ >
- add_zk_data() : bb::ShpleminiVerifier_< Curve, HasZK >
- addc() : bb::field< Params_ >, bb::numeric::uint256_t
- addc_discard_hi() : bb::numeric::uint256_t
- AddCompletionCallback : bb::crypto::merkle_tree::ContentAddressedIndexedTree< Store, HashingPolicy >
- AddCompletionCallbackWithWitness : bb::crypto::merkle_tree::ContentAddressedIndexedTree< Store, HashingPolicy >
- addconstp : UltraCircuitBuilderNonNative::AddSubData
- addconsts : UltraCircuitBuilderNonNative::AddSubData
- AddDataResponse() : bb::crypto::merkle_tree::AddDataResponse
- addEntries : bb::nodejs::lmdb_store::Batch
- AddIndexedDataResponse() : bb::crypto::merkle_tree::AddIndexedDataResponse< LeafValueType >
- AddIndexedDataSequentiallyResponse() : bb::crypto::merkle_tree::AddIndexedDataSequentiallyResponse< LeafValueType >
- addition_result_bucket_destinations : bb::scalar_multiplication::MSM< Curve >::AffineAdditionData
- addition_sequences : bb::BatchedAffineAddition< Curve >::ThreadData
- ADDITIONS_PER_ROW : bb::ECCVMCircuitBuilder, bb::ECCVMMSMMBuilder
- additive_constant : bb::stdlib::field_t< Builder_ >
- addr : bb::avm2::simulation::MemoryEvent
- address : AddressRef, bb::avm2::ContractInstanceHint, bb::avm2::DebugFunctionNameHint, bb::avm2::simulation::AddressDerivationEvent, bb::avm2::simulation::BaseContext, bb::avm2::simulation::BytecodeManager, bb::avm2::simulation::BytecodeRetrievalEvent, bb::avm2::simulation::ContractInstanceRetrievalEvent, bb::avm2::simulation::IndexedTreeSiloingParameters, bb::avm2::simulation::NoteHashSiloingData, bb::avm2::simulation::UpdateCheckEvent
- address_derivation : bb::avm2::simulation::ContractDB, bb::avm2::simulation::EventsContainer
- address_point : bb::avm2::simulation::AddressDerivationEvent
- AddressDerivation() : bb::avm2::simulation::AddressDerivation
- addresses : EccFuzzerInput
- Addressing() : bb::avm2::simulation::Addressing
- addressing_event : bb::avm2::simulation::ExecutionEvent
- addressing_event_emitters : bb::avm2::simulation::ExecutionComponentsProvider
- addressing_gas : bb::avm2::simulation::GasEvent
- addressing_mode : bb::avm2::simulation::Instruction
- AddressingException() : bb::avm2::simulation::AddressingException
- AddressingModeWrapper() : AddressingModeWrapper
- AddSequentiallyCompletionCallbackWithWitness : bb::crypto::merkle_tree::ContentAddressedIndexedTree< Store, HashingPolicy >
- advance_cursor() : bb::nodejs::lmdb_store::LMDBStoreWrapper
- advance_cursor_count() : bb::nodejs::lmdb_store::LMDBStoreWrapper
- advance_finalized_block() : bb::crypto::merkle_tree::ContentAddressedCachedTreeStore< LeafValueType >
- aes128_constraints : acir_format::AcirFormat, acir_format::AcirFormatOriginalOpcodeIndices
- affine_add_with_denominator() : bb::BatchedAffineAddition< Curve >
- affine_data : bb::scalar_multiplication::MSM< Curve >
- affine_element : bb::group< Fq_, Fr_, Params >, bb::group_elements::affine_element< Fq_, Fr_, Params_ >, bb::plookup::fixed_base::FixedBaseTableTest, bb::plookup::fixed_base::table, stdlib_biggroup< TestType >, stdlib_biggroup_goblin< Curve >, stdlibBiggroupSecp256k1< Curve >, UltraCircuitBuilderElliptic
- affine_one : bb::group< Fq_, Fr_, Params >
- affine_pippenger_with_transformed_scalars() : bb::scalar_multiplication::MSM< Curve >
- affine_point_at_infinity : bb::group< Fq_, Fr_, Params >
- AFFINE_TRICK_SAVINGS_PER_OP : bb::scalar_multiplication::MSM< Curve >
- AFFINE_TRICK_THRESHOLD : bb::scalar_multiplication::MSM< Curve >
- AffineAdditionData() : bb::scalar_multiplication::MSM< Curve >::AffineAdditionData
- AffineElement : bb::crypto::generator_data< Curve >, bb::crypto::pedersen_commitment_base< Curve >, bb::crypto::pedersen_hash_base< Curve >, bb::curve::BN254, bb::curve::Grumpkin, bb::curve::SECP256K1, bb::curve::SECP256R1, bb::ECCVMCircuitBuilder, bb::ECCVMMSMMBuilder, bb::ECCVMOperation, bb::ECCVMPointTablePrecomputationBuilder, bb::ECCVMTranscriptBuilder, bb::scalar_multiplication::MSM< Curve >, bb::stdlib::bn254< CircuitBuilder >, bb::stdlib::cycle_group< Builder >, bb::stdlib::grumpkin< CircuitBuilder >, bb::stdlib::secp256k1< CircuitType >, bb::stdlib::secp256r1< CircuitType >, bb::stdlib::straus_lookup_table< Builder >, bb::stdlib::straus_plookup_table< Builder >, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >, CycleGroupBase< Builder >, CycleGroupTest< Builder >, EcdsaNativeTests< EcdsaTestParams >, grumpkin_curve, ScalarMultiplicationSafeModeTest< Curve >, ScalarMultiplicationTest< Curve >, secp256k1_curve, secp256r1_curve, StrausLookupTableTest< Builder >
- AffineElementNative : bb::stdlib::bn254< CircuitBuilder >, bb::stdlib::grumpkin< CircuitBuilder >, bb::stdlib::secp256k1< CircuitType >, bb::stdlib::secp256r1< CircuitType >
- after_context_event : bb::avm2::simulation::ExecutionEvent
- after_relative : bb::avm2::simulation::OperandResolutionInfo
- aggregate() : bb::detail::GlobalBenchStatsContainer, bb::PairingPoints< Curve_ >, bb::stdlib::recursion::PairingPoints< Curve >
- aggregate_multiple() : bb::stdlib::recursion::PairingPoints< Curve >
- aligned_memory : BackingMemory< Fr >
- all() : tuplet::tuple< T >, tuplet::tuple<>
- all_checks_passed : bb::ChonkBatchVerifier::ReduceResult, bb::ChonkVerifier< IsRecursive >::IPAReductionResult, bb::ChonkVerifier< IsRecursive >::ReductionResult, bb::GoblinVerifier_< Curve >::ReductionResult
- all_entries_written_to_with_constant_index : bb::stdlib::ram_table< Builder >
- all_inputs : BoolTest< Builder_ >
- all_multi_tables : bb::plookup::fixed_base::table
- AllEntities : bb::MegaFlavor, bb::UltraFlavor, bb::UltraKeccakZKFlavor, bb::UltraZKFlavor, GenericLookupRelationTest< Settings >, GenericPermutationRelationTest< Settings >, SettingsBasicLookup, SettingsBasicPermutation, SettingsCustomizedLookup, SettingsMixedLookup
- allocate() : BackingMemory< Fr >
- allocate_aligned() : BackingMemory< Fr >
- allocate_backing_memory() : bb::Polynomial< Fr >
- allocate_databus_polynomials() : bb::ProverInstance_< Flavor_ >
- allocate_ecc_op_polynomials() : bb::ProverInstance_< Flavor_ >
- allocate_lagrange_polynomials() : bb::ProverInstance_< Flavor_ >
- allocate_permutation_argument_polynomials() : bb::ProverInstance_< Flavor_ >
- allocate_selectors() : bb::ProverInstance_< Flavor_ >
- allocate_table_lookup_polynomials() : bb::ProverInstance_< Flavor_ >
- allocate_wires() : bb::ProverInstance_< Flavor_ >
- allow_download_ : bb::srs::factories::NativeBn254CrsFactory, bb::srs::factories::NativeGrumpkinCrsFactory
- AllSubrelationFailures : bb::RelationChecker< Flavor >
- AllValues : bb::avm2::AvmFlavor, bb::MegaFlavor, bb::TranslatorCircuitChecker, bb::UltraFlavor, bb::UltraKeccakZKFlavor, bb::UltraZKFlavor
- alpha : bb::ProverInstance_< Flavor_ >, bb::VerifierInstance_< Flavor_ >, RowDisablingPolynomialTest< Flavor >::SumcheckSetup
- alpha_1_1 : bb::crypto::Poseidon2QuadBn254Params
- alpha_1_2 : bb::crypto::Poseidon2QuadBn254Params
- alpha_1_3 : bb::crypto::Poseidon2QuadBn254Params
- alpha_2_1 : bb::crypto::Poseidon2QuadBn254Params
- alpha_2_2 : bb::crypto::Poseidon2QuadBn254Params
- alpha_2_3 : bb::crypto::Poseidon2QuadBn254Params
- alpha_3_1 : bb::crypto::Poseidon2QuadBn254Params
- alpha_3_2 : bb::crypto::Poseidon2QuadBn254Params
- alpha_3_3 : bb::crypto::Poseidon2QuadBn254Params
- alphas : bb::SumcheckProver< Flavor >, bb::SumcheckVerifier< Flavor >, RowDisablingPolynomialTest< Flavor >::SumcheckSetup
- already_present : bb::avm2::GetPreviousValueIndexHint
- alreadyPresent : bb::nodejs::FindLowLeafResponse, bb::wsdb::WsdbFindLowLeaf::Response
- Alu() : bb::avm2::simulation::Alu
- alu : bb::avm2::simulation::EventsContainer, bb::avm2::simulation::Execution
- AluException() : bb::avm2::simulation::AluException
- analyze_circuit() : bb::stdlib::recursion::goblin::BoomerangRecursiveMergeVerifierTest< RecursiveBuilder >, cdg::StaticAnalyzer_< FF, CircuitBuilder >
- AND : BoolFuzzBase< Builder >::ArgSizes, BoolFuzzBase< Builder >::Instruction
- and_op() : bb::avm2::simulation::Bitwise, bb::avm2::simulation::BitwiseInterface, bb::avm2::simulation::Execution, bb::avm2::simulation::PureBitwise
- any() : tuplet::tuple< T >, tuplet::tuple<>
- ANY_TAG : bb::avm2::ExecInstructionSpec::RegisterInfo
- app_calldata : bb::stdlib::databus< Builder >
- app_logic : bb::avm2::simulation::PhaseLengths
- app_logic_calls : bb::avm2::PublicCallRequestArrayLengths
- app_logic_enqueued_calls : bb::avm2::Tx
- app_return_data : bb::stdlib::recursion::honk::KernelIO_< N >, bb::stdlib::recursion::honk::KernelIOSerde_< N >
- app_return_data_commitment_exists : bb::stdlib::DataBusDepot< Builder >
- app_return_data_commitments : bb::stdlib::DataBusDepot< Builder >
- app_return_data_slots_are_empty() : bb::stdlib::DataBusDepot< Builder >
- append() : bb::BusVector, EccOpsTableTest::MockUltraOpsTable
- append_data : bb::avm2::simulation::IndexedTreeReadWriteEvent, bb::avm2::simulation::NoteHashTreeReadWriteEvent
- append_eccvm_op() : bb::ECCOpQueue
- append_hiding_op() : bb::ECCOpQueue
- append_l2_l1_msg : bb::avm2::tracegen::TxPhaseSpec
- append_leaf() : bb::avm2::simulation::IndexedMemoryTree< LeafType, HashingPolicy >
- append_leaves() : bb::avm2::simulation::HintedRawMerkleDB, bb::avm2::simulation::HintingRawDB, bb::avm2::simulation::LowLevelMerkleDBInterface, bb::avm2::simulation::PureRawMerkleDB, bb::nodejs::WorldStateWrapper, bb::world_state::WorldState, bb::wsdb::WsdbIpcClient, bb::wsdb_client::WsdbIpcMerkleDB
- append_leaves_hints : bb::avm2::ExecutionHints, bb::avm2::simulation::HintedRawMerkleDB, bb::avm2::simulation::MappedMerkleHints
- append_note_hash() : bb::avm2::simulation::NoteHashTreeCheck, bb::avm2::simulation::NoteHashTreeCheckInterface, bb::avm2::tracegen::TxPhaseSpec
- append_note_hash_internal() : bb::avm2::simulation::NoteHashTreeCheck
- append_note_hashes() : bb::avm2::fuzzer::FuzzerWorldStateManager
- append_nullifier : bb::avm2::tracegen::TxPhaseSpec
- append_siloed_note_hash() : bb::avm2::simulation::NoteHashTreeCheck, bb::avm2::simulation::NoteHashTreeCheckInterface
- append_slot() : MemoryManager
- append_to_bus_vector() : bb::MegaCircuitBuilder_< FF >
- APPEND_TRACE_OFFSET : bb::UltraEccOpsTable
- append_unique_note_hash() : bb::avm2::simulation::NoteHashTreeCheck, bb::avm2::simulation::NoteHashTreeCheckInterface
- append_zero_rows() : EccOpsTableTest::MockUltraOpsTable
- AppendCompletionCallback : bb::crypto::merkle_tree::ContentAddressedAppendOnlyTree< Store, HashingPolicy >
- AppIO : bb::Chonk
- apply() : func_traits_base< R, Vs >, tuplet::tuple< T >, tuplet::tuple<>
- apply2() : zip_iterator< T >
- apply2_impl() : zip_iterator< T >
- apply_databus_selectors() : bb::MegaCircuitBuilder_< FF >
- apply_memory_selectors() : bb::UltraCircuitBuilder_< ExecutionTrace_ >
- apply_nnf_selectors() : bb::UltraCircuitBuilder_< ExecutionTrace_ >
- apply_sbox() : bb::crypto::Poseidon2Permutation< Params >
- apply_single_sbox() : bb::crypto::Poseidon2Permutation< Params >
- apply_to_tuple_of_arrays() : bb::RelationUtils< Flavor >
- apply_to_tuple_of_arrays_elements() : bb::RelationUtils< Flavor >
- apply_to_tuple_of_tuples() : bb::RelationUtils< Flavor >
- apply_zk_corrections() : bb::VerifierZKCorrectionHandler< Flavor, HasZK >, bb::VerifierZKCorrectionHandler< Flavor, true >
- applyStringFormatting() : bb::avm2::simulation::DebugLogger
- AppReturnDataCommitments : bb::stdlib::recursion::honk::KernelIO_< N >
- archiveStore : bb::world_state::WorldStateStores
- archiveTreeMeta : bb::world_state::WorldStateMeta
- archiveTreeStats : bb::world_state::WorldStateDBStats
- arg_indexes : zip_view< S >
- Args : func_traits_base< R, Vs >
- args : func_traits_base< R, Vs >, zip_view< S >
- ArgumentContents() : BigFieldBase< Builder >::Instruction::ArgumentContents, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::Instruction::ArgumentContents, CycleGroupBase< Builder >::Instruction::ArgumentContents
- arguments : BigFieldBase< Builder >::Instruction, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::Instruction, BoolFuzzBase< Builder >::Instruction, ByteArrayFuzzBase< Builder >::Instruction, CycleGroupBase< Builder >::Instruction, FieldBase< Builder >::Instruction
- arithmetic : bb::MegaTraceBlockData
- Arithmetic : bb::UltraCircuitChecker
- arithmetic : bb::UltraTraceBlockData
- ARITHMETIC : smt_circuit::BlockType
- array : bb::RefArray< T, N >::iterator, bb::RefSpan< T >::iterator, ComplicatedSchema
- array_size : bb::RefSpan< T >
- ArrayStore() : bb::crypto::merkle_tree::ArrayStore< PersistedStore >
- ArrayTuple : bb::avm2::tracegen::CheckingPermutationBuilder< PermutationSettings >
- artifact_hash : bb::avm2::ContractClass, bb::avm2::ContractClassHint, bb::avm2::ContractClassWithCommitment, bb::avm2::simulation::ClassIdDerivationEvent
- as() : bb::avm2::TaggedValue, tuplet::tuple< T >, tuplet::tuple<>
- as_ff() : bb::avm2::TaggedValue
- as_rows() : bb::avm2::tracegen::TestTraceContainer
- as_string() : ByteArrayFuzzBase< Builder >::Instruction::Element
- as_unconstrained() : bb::avm2::simulation::HighLevelMerkleDBInterface, bb::avm2::simulation::MerkleDB, bb::avm2::simulation::PureMerkleDB, bb::avm2::simulation::SideEffectTrackingDB
- as_vector() : ByteArrayFuzzBase< Builder >::Instruction::Element
- assert_calldata_hash() : bb::avm2::simulation::CalldataHasher, bb::avm2::simulation::CalldataHashingInterface, bb::avm2::simulation::NoopCalldataHasher
- assert_coarse_form() : bb::field< Params_ >
- assert_constant() : bb::BarycentricDataFunctions< Fr, domain_end, num_evals >
- assert_coordinates_in_field() : bb::stdlib::element_default::element< Builder_, Fq, Fr, NativeGroup >
- assert_derivation() : bb::avm2::simulation::AddressDerivation, bb::avm2::simulation::AddressDerivationInterface, bb::avm2::simulation::ClassIdDerivation, bb::avm2::simulation::ClassIdDerivationInterface
- assert_equal() : bb::CircuitBuilderBase< FF_ >, bb::stdlib::bigfield< Builder, T >, bb::stdlib::bool_t< Builder >, bb::stdlib::cycle_group< Builder >, bb::stdlib::field_t< Builder_ >, bb::stdlib::goblin_field< Builder >
- ASSERT_EQUAL : BigFieldBase< Builder >::ArgSizes
- assert_equal() : BigFieldBase< Builder >::ExecutionHandler
- ASSERT_EQUAL : BigFieldBase< Builder >::Instruction, BigFieldBase< Builder >::InstructionWeights, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::ArgSizes, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::Instruction, BigGroupBase< Builder, BigGroupType, _use_bigfield, BigfieldScalar >::InstructionWeights, BoolFuzzBase< Builder >::ArgSizes
- assert_equal() : BoolFuzzBase< Builder >::ExecutionHandler
- ASSERT_EQUAL : BoolFuzzBase< Builder >::Instruction, CycleGroupBase< Builder >::ArgSizes
- assert_equal() : CycleGroupBase< Builder >::ExecutionHandler
- ASSERT_EQUAL : CycleGroupBase< Builder >::Instruction, CycleGroupBase< Builder >::InstructionWeights, FieldBase< Builder >::ArgSizes
- assert_equal() : FieldBase< Builder >::ExecutionHandler
- ASSERT_EQUAL : FieldBase< Builder >::Instruction, FieldBase< Builder >::InstructionWeights
- assert_equal_constant() : bb::UltraCircuitBuilder_< ExecutionTrace_ >
- assert_is_in_field() : bb::stdlib::bigfield< Builder, T >, bb::stdlib::goblin_field< Builder >
- assert_is_in_set() : bb::stdlib::field_t< Builder_ >
- assert_is_not_equal() : bb::stdlib::bigfield< Builder, T >
- assert_is_not_zero() : bb::stdlib::field_t< Builder_ >
- assert_is_zero() : bb::stdlib::field_t< Builder_ >
- assert_less_than() : bb::stdlib::bigfield< Builder, T >
- assert_membership() : bb::avm2::simulation::MerkleCheck, bb::avm2::simulation::MerkleCheckInterface
- assert_messages : Acir::Circuit
- assert_not_equal() : bb::stdlib::field_t< Builder_ >
- ASSERT_NOT_EQUAL : BigFieldBase< Builder >::ArgSizes
- assert_not_equal() : BigFieldBase< Builder >::ExecutionHandler
- ASSERT_NOT_EQUAL : BigFieldBase< Builder >::Instruction, BigFieldBase< Builder >::InstructionWeights, FieldBase< Builder >::ArgSizes
- assert_not_equal() : FieldBase< Builder >::ExecutionHandler
- ASSERT_NOT_EQUAL : FieldBase< Builder >::Instruction, FieldBase< Builder >::InstructionWeights
- ASSERT_NOT_ZERO : FieldBase< Builder >::ArgSizes
- assert_not_zero() : FieldBase< Builder >::ExecutionHandler
- ASSERT_NOT_ZERO : FieldBase< Builder >::Instruction, FieldBase< Builder >::InstructionWeights
- assert_public_bytecode_commitment() : bb::avm2::simulation::BytecodeHasher, bb::avm2::simulation::BytecodeHashingInterface
- assert_range() : bb::avm2::simulation::RangeCheck, bb::avm2::simulation::RangeCheckInterface
- assert_read() : bb::avm2::simulation::IndexedTreeCheck, bb::avm2::simulation::IndexedTreeCheckInterface, bb::avm2::simulation::PublicDataTreeCheck, bb::avm2::simulation::PublicDataTreeCheckInterface
- assert_term() : smt_terms::Bool
- assert_valid_variables() : bb::CircuitBuilderBase< FF_ >
- assert_well_formed_accumulation_input() : bb::TranslatorCircuitBuilder
- assert_well_formed_ultra_op() : bb::TranslatorCircuitBuilder
- ASSERT_ZERO : FieldBase< Builder >::ArgSizes
- assert_zero() : FieldBase< Builder >::ExecutionHandler
- ASSERT_ZERO : FieldBase< Builder >::Instruction, FieldBase< Builder >::InstructionWeights
- assert_zero_if() : bb::stdlib::bigfield< Builder, T >
- asserted : smt_terms::Bool
- assertFormula() : smt_solver::Solver
- AssertGuard() : bb::AssertGuard
- assign() : tuplet::pair< First, Second >, tuplet::tuple<>
- assign_tag() : bb::UltraCircuitBuilder_< ExecutionTrace_ >
- AsyncOperation() : bb::nodejs::AsyncOperation
- at() : bb::Polynomial< Fr >
- attempt_tree_resync() : bb::world_state::WorldState
- available() : bb::ipc::SpscShm
- AVM2_ALL_ENTITIES : bb::avm2::AvmFullRow, bb::avm2::AvmFullRowConstRef
- avm_mode : bb::Goblin, bb::TranslatorCircuitBuilder
- avm_recursion_constraints : acir_format::AcirFormat, acir_format::AcirFormatOriginalOpcodeIndices
- AvmAPI() : bb::avm2::AvmAPI
- AvmProof : bb::avm2::AvmAPI
- AvmProver : AvmRecursionConstraintTestingFunctions, bb::avm2::AvmProver, bb::stdlib::recursion::honk::BoomerangTwoLayerAvmRecursiveVerifierTests
- AvmProvingHelper() : bb::avm2::AvmProvingHelper
- AvmRecursiveVerifier() : bb::avm2::AvmRecursiveVerifier
- AvmSimAPI() : bb::avm2::AvmSimAPI
- AvmTraceGenHelper() : bb::avm2::AvmTraceGenHelper
- AvmVerificationKey : bb::avm2::AvmAPI
- AvmVerifier() : bb::avm2::AvmVerifier