Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 123456]
 ►NAcir
 ►Nacir_format
 ►NbbEntry point for Barretenberg command-line interface
 ►Nblake3
 ►Nblake3_full
 ►Ncdg
 ►Nmsgpack
 ►Nserde
 ►Nsmt_circuit
 ►Nsmt_circuit_schema
 ►Nsmt_solver
 ►Nsmt_terms
 ►NstdSTL namespace
 ►Ntuplet
 ►Nuint_mutation
 ►NWitnesses
 CAcirAvm2RecursionConstraint
 CAcirHonkRecursionConstraint
 CAcirIntegrationSingleTest
 CAcirIntegrationTest
 CAcirToSmtLoaderClass for loading ACIR (Arithmetic Circuit Intermediate Representation) programs and converting them to SMT format
 CAdd2Circuit
 CADD_16_InstructionMem[result_offset] = mem[a_address] + mem[b_address] (16-bit)
 CADD_8_InstructionMem[result_offset] = mem[a_address] + mem[b_address]
 CAddRandomValueAdd a random value
 CAddressingModeWrapperWrapper for AddressingMode to allow for msgpack packing and unpacking
 CAddressRef
 CAND_16_InstructionMem[result_offset] = mem[a_address] & mem[b_address] (16-bit)
 CAND_8_InstructionMem[result_offset] = mem[a_address] & mem[b_address]
 CApiUltraHonkTest
 CArithmeticConstraintParams
 ►CArithmeticConstraintsTestingFunctions
 CArithmeticFuzzHelperA templated class containing most of the fuzzing logic for a generic Arithmetic class
 ►CBackingMemory
 CBadExampleCompileTimeError
 CBadExampleIncomplete
 CBadExampleOutOfObject
 CBadExampleOverlap
 CBarycentricDataTests
 CBBApiMsgpack
 CBBApiSerializationTest
 CBenchmarkInfoCollatorA class for saving benchmarks and printing them all at once in the end of the function
 ►CBigFieldBaseThe class parametrizing Bigfield fuzzing instructions, execution, etc
 CBigQuadConstraintTest
 CBitVectorCustom class to handle packed vectors of bits
 Cblake3_test_vector
 CBlakeCircuit
 ►CBoolFuzzBaseThe class parametrizing ByteArray fuzzing instructions, execution, etc
 ►CBoolTest
 CBoomerangIPARecursiveTests
 ►CByteArrayFuzzBaseThe class parametrizing ByteArray fuzzing instructions, execution, etc
 CByteArrayTest
 CCALLDATACOPY_InstructionCALLDATACOPY: M[dstOffset:dstOffset+M[copySizeOffset]] = calldata[M[cdStartOffset]:M[cdStartOffset]+M[copySizeOffset]]
 ►CCallDataTestingFunctions
 CCallDataTestParams
 CCallDataTests
 CCAST_16_InstructionCAST_16: cast mem[src_offset_index] to target_tag and store at dst_offset
 CCAST_8_InstructionCAST_8: cast mem[src_offset_index] to target_tag and store at dst_offset
 CChonkAPITests
 ►CChonkRecursionConstraintTest
 CChonkTests
 CComplicatedSchema
 CComposerLibTests
 CContentAddressedCacheTest
 CControlFlow
 CCppSimulatorUses barretenberg/vm2 to simulate the bytecode
 ►CCycleGroupBaseThe class parametrizing CycleGroup fuzzing instructions, execution, etc
 CCycleGroupTest
 CCycleScalarTest
 CDatabusInputElementsInput elements for DatabusLookupRelation testing
 CDatabusLookupRelationConsistency
 CDecrementBy1Decrement by 1
 CDIV_16_InstructionMem[result_offset] = mem[a_address] / mem[b_address] (16-bit)
 CDIV_8_InstructionMem[result_offset] = mem[a_address] / mem[b_address]
 CDoNothing
 CEccFuzzerInput
 CECCOpQueueTest
 ►CEccOpsTableTest
 CECCVMTests
 CECCVMTranscriptTests
 CEcdsaConstraintsTest
 ►CEcdsaTestingFunctions
 CEcdsaTests
 ►CEcOperationsTestingFunctionsTesting functions to generate the EcOperationTest test suite. Constancy specifies which inputs to the constraints should be constant
 CEcOperationsTestsBothConstant
 CEcOperationsTestsInput1Constant
 CEcOperationsTestsInput2Constant
 CEcOperationsTestsNoneConstant
 CEMITNOTEHASH_InstructionEMITNOTEHASH: M[note_hash_offset] = note_hash; emit note hash to the note hash tree
 CEMITNULLIFIER_InstructionEMITNULIFIER: inserts new nullifier to the nullifier tree
 CEmptyBlockConstraintTests
 CEQ_16_InstructionMem[result_offset] = mem[a_address] == mem[b_address] (16-bit)
 CEQ_8_InstructionMem[result_offset] = mem[a_address] == mem[b_address]
 CEqPolyTest
 Cextract_builder
 Cextract_builder< BigField< Builder, Params > >
 Cextract_fq_params
 Cextract_fq_params< BigField< Builder, Params > >
 CFastRandomClass for quickly deterministically creating new random values. We don't care about distribution much here
 CFDIV_16_Instruction
 CFDIV_8_Instruction
 ►CFieldBaseThe class parametrizing Field fuzzing instructions, execution, etc
 CFieldVMDataChunk
 CFileLockGuard
 CFinalizeWithReturnFinalizes the current block with Return and switches to the first non-terminated block
 CFlavorSerializationTests
 Cfull_test_vector
 Cfunc_traits
 Cfunc_traits< R(&)(Vs...)>
 Cfunc_traits< R(*)(Vs...)>
 Cfunc_traits< R(T::*)(Vs...) const >
 Cfunc_traits_base
 CFuzzerDataDescribes the data which will be used for fuzzing Should contain instructions, calldata, CFG instructions, options to disable/enable instructions, etc
 CFuzzerTuple
 CGETENVVAR_InstructionGETENVVAR: M[result_offset] = getenvvar(type)
 CGoodExample
 CGrandProductTests
 CHavocSettings
 CHypernovaDeciderVerifierTests
 CHypernovaFoldingProverTests
 CHypernovaFoldingVerifierTests
 CHypernovaRecursionConstraintTest
 CIncrementBy1Increment by 1
 CInnerCircuitData
 CInputElements
 CInsertInternalCallInserts INTERNALCALL instruction to the current block creates a new block and sets it as the current block
 CInsertSimpleInstructionBlockInsert instruction block to the current block
 Ciovs_struct
 Cis_iterable
 Cis_iterable< T, std::void_t< decltype(std::begin(std::declval< T & >())), decltype(std::end(std::declval< T & >()))> >
 CJsSimulatorUses the yarn-project/simulator to simulate the bytecode Singleton, because initializing the simulator is expensive
 CJumpIfToBlockFinalizes the current block with a JumpI and Jump instructions to the block, which does not create a loop in the graph (defined by get_reachable_blocks) and switches the current block to the first block defined by get_non_terminated_blocks
 CJumpIfToNewBlockFinalizes the current block with jump if, creates two new blocks, sets the first as the then block and the second as the else block, changes the current block to the then block
 CJumpToBlockFinalizes the current block with a jump to the block, which does not create a loop in the graph (defined by get_reachable_blocks) and switches the current block to the first block defined by get_non_terminated_blocks
 CJumpToNewBlockFinalizes the current block with jump, creates a new block and sets it as the current block
 Ckeccak256
 CLMDBEnvironmentTest
 CLMDBStoreTest
 CLMDBTreeStoreTest
 ►CLogicConstraintTestingFunctionsTesting functions to generate the LogicConstraintTest test suite. Constancy specifies which inputs to the constraints should be constant
 CLogicConstraintTestParams
 CLogicConstraintTestsBothConstant
 CLogicConstraintTestsInput1Constant
 CLogicConstraintTestsInput2Constant
 CLogicConstraintTestsNoneConstant
 CLogicTest
 CLT_16_InstructionMem[result_offset] = mem[a_address] < mem[b_address] (16-bit)
 CLT_8_InstructionMem[result_offset] = mem[a_address] < mem[b_address]
 CLTE_16_InstructionMem[result_offset] = mem[a_address] <= mem[b_address] (16-bit)
 CLTE_8_InstructionMem[result_offset] = mem[a_address] <= mem[b_address]
 CMegaHonkTests
 CMegaTranscriptTests
 CMemoryFuzzerInput
 CMemoryManager
 CMemoryTagWrapperWrapper for MemoryTag to allow for msgpack packing and unpacking
 CMemoryTests_
 CMockVerifierInputsTest
 CMOV_16_InstructionMOV_16 instruction: mem[dst_offset] = mem[src_offset]
 CMOV_8_InstructionMOV_8 instruction: mem[dst_offset] = mem[src_offset]
 CMsgpackSchemaPacker
 CMUL_16_InstructionMem[result_offset] = mem[a_address] * mem[b_address] (16-bit)
 CMUL_8_InstructionMem[result_offset] = mem[a_address] * mem[b_address]
 CMultilinearBatchingAccumulatorRelationConsistency
 CMultilinearBatchingInstanceRelationConsistency
 ►CMultiScalarMulTestingFunctionsTesting functions to generate the MultiScalarMul test suite. Constancy specifies which inputs to the constraints should be constant
 CMultiScalarMulTestsBothConstant
 CMultiScalarMulTestsNoneConstant
 CMultiScalarMulTestsPointsConstant
 CMultiScalarMulTestsScalarsConstant
 CNativeVerificationKeyTests
 CNestedContainers
 CNOT_16_Instruction
 CNOT_8_Instruction
 CNOTEHASHEXISTS_InstructionNOTEHASHEXISTS: M[result_offset] = NOTEHASHEXISTS(M[notehash_offset], M[leaf_index_offset]) len = length(memory_manager.emitted_note_hashes); M[notehash_offset] = unique_note_hash(CONTRACT_ADDRESS, memory_manager.emitted_note_hashes[notehash_index % len]); M[leaf_index_offset] = notehash_index % len; M[result_offset] = NOTEHASHEXISTS(M[notehash_offset], M[leaf_index_offset]);
 CNULLIFIEREXISTS_InstructionNULLIFIEREXISTS: checks if nullifier exists in the nullifier tree Gets contract's address by GETENVVAR(0) M[result_offset] = NULLIFIEREXISTS(M[nullifier_offset_index], GETENVVAR(0))
 COinkTests
 COpcodeGateCountTests
 COperationDetail
 COR_16_InstructionMem[result_offset] = mem[a_address] | mem[b_address] (16-bit)
 COR_8_InstructionMem[result_offset] = mem[a_address] | mem[b_address]
 Coverloaded_cfg_instruction
 Coverloaded_instruction
 CPermutationHelperTests
 CPersistedContentAddressedAppendOnlyTreeTest
 CPersistedContentAddressedIndexedTreeTest
 CPolynomialTests
 CPoseidon2ConstraintsTest
 CPoseidon2FailureTests
 ►CPoseidon2TestingFunctions
 CProcess
 CProgramBlock
 CProofOfPossessionTest
 CQuadConstraintTest
 CRamTableTests
 CRAMTest
 ►CRAMTestingFunctions
 CRAMTestParams
 CRandomDeletionDelete a random element at a random index
 CRandomElementMutationMutate a random element at a random index
 CRandomInsertionInsert a random element at a random index
 CRandomSelectionRandomly select a new field value
 CRandomSwapSwap two random elements at random indices
 CRawPointer
 CRelationManual
 ►CRelationWithTemplatedSkip
 CResultAddressRef
 ►CReturnDataTestingFunctions
 CReturnDataTests
 CReturnOptions
 CRomTableTests
 CROMTest
 ►CROMTestingFunctions
 CROMTestParams
 ►CRowDisablingPolynomialTestTest fixture for RowDisablingPolynomial tests
 ►CSafeUintFuzzBaseThe class parametrizing SafeUint fuzzing instructions, execution, etc
 CSafeUintTest
 CScalarMultiplicationTest
 CScalarMultiplicationTests
 CSET_128_InstructionSET_128 instruction
 CSET_16_InstructionSET_16 instruction
 CSET_32_InstructionSET_32 instruction
 CSET_64_InstructionSET_64 instruction
 CSET_8_InstructionSET_8 instruction
 CSET_FF_InstructionSET_FF instruction
 CSharedShiftedVirtualZeroesArrayA shared pointer array template that represents a virtual array filled with zeros up to virtual_size_, but with actual memory usage proportional to the region between start_ and end_
 CSHL_16_InstructionMem[result_offset] = mem[a_address] << mem[b_address] (16-bit)
 CSHL_8_InstructionMem[result_offset] = mem[a_address] << mem[b_address]
 CShpleminiMegaPCS
 CShpleminiRecursionTest
 CShpleminiUltraPCS
 CShplonkRecursionTest
 CSHR_16_InstructionMem[result_offset] = mem[a_address] >> mem[b_address] (16-bit)
 CSHR_8_InstructionMem[result_offset] = mem[a_address] >> mem[b_address]
 CSimulator
 CSimulatorResult
 CSingleOp
 CSLOAD_InstructionSLOAD: M[slot_offset] = slot; M[result_offset] = S[M[slotOffset]]
 CSSTORE_InstructionSSTORE: M[slot_offset_index] = slot; S[M[slotOffset]] = M[srcOffset]
 Cstdlib_bigfield
 Cstdlib_bigfield_edge_cases
 Cstdlib_biggroup
 Cstdlib_biggroup_goblin
 Cstdlib_field
 CstdlibBiggroupSecp256k1
 CStdlibPoseidon2
 CStdlibVerificationKeyTests
 CStrausLookupTableTest
 CStrausScalarSliceTest
 CSUB_16_InstructionMem[result_offset] = mem[a_address] - mem[b_address] (16-bit)
 CSUB_8_InstructionMem[result_offset] = mem[a_address] - mem[b_address]
 CSumcheckTestsRealCircuit
 CSwitchToNonTerminatedBlockSwitches to the non-terminated block with the chosen index
 Ctest_threads_data
 Ctest_vector
 CTestData
 CTestType
 CTimerGet the execution between a block of code
 CTranslatorRelationConsistency
 CTranslatorRelationCorrectnessTests
 CTranslatorTests
 CTwinRomTableTests
 CTypeTraits
 CTypeTraits< bool >
 CTypeTraits< double >
 CTypeTraits< std::string >
 CTypeTraits< T, typename std::enable_if< std::is_arithmetic< T >::value >::type >
 CUintTraits
 CUintTraits< uint128_t >
 CUintTraits< uint16_t >
 CUintTraits< uint32_t >
 CUintTraits< uint64_t >
 CUintTraits< uint8_t >
 ►CUltraCircuitBuilderArithmeticTest suite for UltraCircuitBuilder arithmetic gate methods
 ►CUltraCircuitBuilderElliptic
 CUltraCircuitBuilderLookup
 ►CUltraCircuitBuilderNonNativeTest suite for UltraCircuitBuilder non-native field methods
 CUltraRelationConsistency
 CUltraRelationCorrectnessTests
 CUltraTranscriptTests
 CUnivariateCoefficientBasisTest
 CUnivariateTest
 CVMPhaseHeaderHeader structure for each VM execution phase
 CWeightedSelectionConfig
 CWorldStateTest
 CXOR_16_InstructionMem[result_offset] = mem[a_address] ^ mem[b_address] (16-bit)
 CXOR_8_InstructionMem[result_offset] = mem[a_address] ^ mem[b_address]
 Czip_iteratorThe zip_iterator class
 Czip_view