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
 ►Narithmetic
 ►NbbEntry point for Barretenberg command-line interface
 ►Nblake3
 ►Ncdg
 ►Ncontrol_flow
 ►Nexecution_environment
 ►Nexternal_calls
 ►Nmsgpack
 ►Nserde
 ►Nsmt_circuit
 ►Nsmt_circuit_schema
 ►Nsmt_solver
 ►Nsmt_terms
 ►NstdSTL namespace
 ►Ntuplet
 ►Nuint_mutation
 ►NWitnesses
 CAcirFormatTests
 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
 CAES128RangeConstraintTest
 CAES128TestAllConstant
 CAES128TestAllWitness
 CAES128TestConstantIV
 CAES128TestConstantKey
 CAES128TestConstantPlaintext
 ►CAES128TestingFunctionsTesting functions to generate the AES128Test test suite
 CAND_16_InstructionMem[result_offset] = mem[a_address] & mem[b_address] (16-bit)
 CAND_8_InstructionMem[result_offset] = mem[a_address] & mem[b_address]
 CArithmeticConstraintParams
 ►CArithmeticConstraintsTestingFunctions
 CArithmeticFuzzHelperA templated class containing most of the fuzzing logic for a generic Arithmetic class
 CAvmRecursionConstraintTest
 ►CAvmRecursionConstraintTestingFunctions
 CAvmRecursionInnerCircuitTests
 ►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
 CBigQuadOpcodeGateCountTest
 CBitVectorCustom class to handle packed vectors of bits
 CBlake2sConstraintsTestInputConstant
 CBlake2sConstraintsTestInputWitness
 ►CBlake2sTestingFunctions
 Cblake3_test_vector
 CBlake3ConstraintsTestInputConstant
 CBlake3ConstraintsTestInputWitness
 ►CBlake3TestingFunctions
 CBlakeCircuit
 ►CBoolFuzzBaseThe class parametrizing ByteArray fuzzing instructions, execution, etc
 ►CBoolTest
 CBoomerangIPARecursiveTests
 CBoundarySelectionSelect from curated boundary values
 CBoundaryValues
 CBoundaryValues< uint128_t >
 CBoundaryValues< uint16_t >
 CBoundaryValues< uint32_t >
 CBoundaryValues< uint64_t >
 CBoundaryValues< uint8_t >
 ►CByteArrayFuzzBaseThe class parametrizing ByteArray fuzzing instructions, execution, etc
 CByteArrayTest
 CCALL_Instruction
 CCALLDATACOPY_Instruction
 CCalldataFuzzerInput
 CCalldataFuzzerInstance
 ►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
 ►CChonkRecursionConstraintTest
 CChonkTests
 CChonkTranscriptInvariantTestsTest fixture for Chonk transcript invariant tests
 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
 CDEBUGLOG_Instruction
 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
 CECADD_Instruction
 CEccFuzzerInput
 CECCOpQueueTest
 ►CEccOpsTableTest
 CECCVMRelationCorruptionTests
 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
 CEMITPUBLICLOG_Instruction
 CEmitPublicLogFuzzerInput
 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
 CExternalCallFuzzerInput
 CExternalCallFuzzerInstance
 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
 CFieldTest
 CFieldVMDataChunk
 CFileLockGuard
 CFinalizeWithReturnFinalizes the current block with Return and switches to the first non-terminated block
 CFinalizeWithRevertFinalizes the current block with Revert and switches to the first non-terminated block
 CFlavorSerializationTests
 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
 CFuzzerSimulationRequest
 CFuzzerTuple
 CFuzzerTxData
 CFuzzTest
 CGETCONTRACTINSTANCE_Instruction
 CGETENVVAR_InstructionGETENVVAR: M[result_offset] = getenvvar(type)
 CGoodExample
 CGrandProductTests
 CHavocSettings
 ►CHonkRecursionConstraintTestingFunctions
 CHonkRecursionConstraintTestWithoutPredicate
 CHonkRecursionConstraintTestWithPredicate
 CHonkRecursionTestParams
 CHonkTranscriptTests
 CHypernovaDeciderVerifierTests
 CHypernovaFoldingProverTests
 CHypernovaFoldingVerifierTests
 CHypernovaRecursionConstraintTest
 CIncrementBy1Increment by 1
 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
 CInternalCallFuzzerInput
 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
 CKeccak256TestVector
 CKeccakConstraintsTest
 CKECCAKF1600_InstructionKECCAKF1600: Perform Keccak-f[1600] permutation on 25 U64 values M[dst_address:dst_address+25] = keccakf1600(M[src_address:src_address+25])
 CKeccakF1600TestVector
 ►CKeccakTestingFunctions
 CL1TOL2MSGEXISTS_InstructionL1TOL2MSGEXISTS: Check if a L1 to L2 message exists M[result_address] = L1TOL2MSGEXISTS(M[msg_hash_address], M[leaf_index_address])
 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
 CMemoryFuzzerInput
 CMemoryManager
 CMemoryTagWrapperWrapper for MemoryTag to allow for msgpack packing and unpacking
 CMemoryTests_
 CMerkleCheckFuzzerInput
 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
 CMultiPhaseStats
 ►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_Instruction
 CNULLIFIEREXISTS_InstructionNULLIFIEREXISTS: checks if a siloed nullifier exists in the nullifier tree M[result_address] = NULLIFIEREXISTS(M[siloed_nullifier_address])
 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
 Coverloaded_cfg_instruction
 CPermutationHelperTests
 CPersistedContentAddressedAppendOnlyTreeTest
 CPersistedContentAddressedIndexedTreeTest
 CPolynomialTests
 CPoseidon2ConstraintsTest
 CPoseidon2FailureTests
 CPOSEIDON2PERM_InstructionPOSEIDON2PERM: Perform Poseidon2 permutation on 4 FF values M[dst_address:dst_address+4] = poseidon2_perm(M[src_address:src_address+4])
 ►CPoseidon2TestingFunctions
 CPrimeFieldCubeRootTest
 CPrimeFieldSqrtTest
 CPrimeFieldTest
 CPrimeFieldTwoFiftyFourTest
 CPrimeFieldTwoFiftySixTest
 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
 CResolvedAddressOutput of resolving an address in the memory manager In order to resolve a given absolute address with a given addressing mode, we might have needed to override the base pointer or to make use of indirection via a pointer address, or both
 CRETURNDATACOPY_Instruction
 CRETURNDATASIZE_Instruction
 ►CReturnDataTestingFunctions
 CReturnDataTests
 CReturnDataTestsParams
 CReturnOptions
 CRomTableTests
 CROMTest
 ►CROMTestingFunctions
 CROMTestParams
 ►CRowDisablingPolynomialTestTest fixture for RowDisablingPolynomial tests
 CScalarMultiplicationSafeModeTestTests for pippenger safe mode (handle_edge_cases=true) which is used in native batch_mul. These tests verify that pippenger correctly handles scenarios that would fail with the unsafe affine variant:
 CScalarMultiplicationTest
 CScalarMultiplicationTests
 CSENDL2TOL1MSG_Instruction
 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
 CSHA256COMPRESSION_InstructionSHA256COMPRESSION: Perform SHA256 compression M[dst_address:dst_address+8] = sha256_compression(M[state_address:state_address+8], M[input_address:input_address+16])
 CSha256ConstraintsTestInputConstant
 CSha256ConstraintsTestInputWitness
 CSha256Test
 ►CSha256TestingFunctions
 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]
 CStats
 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]
 CSUCCESSCOPY_Instruction
 CSumcheckTestsRealCircuit
 CSwitchToNonTerminatedBlockSwitches to the non-terminated block with the chosen index
 Ctest_vector
 CTestData
 CTestType
 CTimerGet the execution between a block of code
 CTORADIXBE_InstructionTORADIXBE: Convert a field element to a vector of limbs in big-endian radix representation M[dst_address:dst_address+num_limbs] = to_radix_be(M[value_address], radix, num_limbs)
 CTranslatorRelationConsistency
 CTranslatorRelationCorrectnessTests
 CTranslatorRelationFailureTests
 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
 CUnivariateCoefficientBasisTest
 CUnivariateTest
 CVariableRef
 CVKTestParams
 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