tx_data.hpp File Reference

#include <random>
#include <vector>
#include "barretenberg/avm_fuzzer/common/weighted_selection.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/fuzzer_context.hpp"
#include "barretenberg/avm_fuzzer/fuzz_lib/fuzzer_data.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/common/aztec_types.hpp"

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::fuzzer

Typedefs
using	TxMutationConfig = WeightedSelectionConfig< TxMutationOptions, 9 >
using	EnqueuedCallMutationConfig = WeightedSelectionConfig< EnqueuedCallMutation, 3 >

Enumerations
enum class	TxMutationOptions {   SetupEnqueuedCalls , AppLogicEnqueuedCalls , TearDownEnqueuedCall , NonRevertibleData ,   RevertibleData , GasSettings , GasFees , GasUsedByPrivate ,   FeePayer }
enum class	EnqueuedCallMutation { Add , Mutate , Remove }

Functions
void	bb::avm2::fuzzer::mutate_tx (Tx &tx, std::vector< AztecAddress > &contract_addresses, std::mt19937_64 &rng)
void	bb::avm2::fuzzer::mutate_fuzzer_data_vec (const FuzzerContext &context, std::vector< FuzzerData > &enqueued_calls, std::mt19937_64 &rng, size_t max_size)

Variables
constexpr TxMutationConfig	TX_MUTATION_CONFIGURATION
constexpr EnqueuedCallMutationConfig	ENQUEUED_CALL_MUTATION_CONFIGURATION

Typedef Documentation

EnqueuedCallMutationConfig

using EnqueuedCallMutationConfig = WeightedSelectionConfig<EnqueuedCallMutation, 3>

Definition at line 40 of file tx_data.hpp.

TxMutationConfig

using TxMutationConfig = WeightedSelectionConfig<TxMutationOptions, 9>

Definition at line 24 of file tx_data.hpp.

Enumeration Type Documentation

EnqueuedCallMutation

enum class EnqueuedCallMutation

strong

Enumerator
Add
Mutate
Remove

Definition at line 38 of file tx_data.hpp.

TxMutationOptions

enum class TxMutationOptions

strong

Enumerator
SetupEnqueuedCalls
AppLogicEnqueuedCalls
TearDownEnqueuedCall
NonRevertibleData
RevertibleData
GasSettings
GasFees
GasUsedByPrivate
FeePayer

Definition at line 12 of file tx_data.hpp.

Variable Documentation

ENQUEUED_CALL_MUTATION_CONFIGURATION

constexpr EnqueuedCallMutationConfig ENQUEUED_CALL_MUTATION_CONFIGURATION

constexpr

Initial value:

= EnqueuedCallMutationConfig({
    { EnqueuedCallMutation::Add, 30 },
    { EnqueuedCallMutation::Mutate, 50 },
    { EnqueuedCallMutation::Remove, 20 },
})

Definition at line 41 of file tx_data.hpp.

TX_MUTATION_CONFIGURATION

constexpr TxMutationConfig TX_MUTATION_CONFIGURATION

constexpr

Initial value:

= TxMutationConfig({
    { TxMutationOptions::SetupEnqueuedCalls, 30 },
    { TxMutationOptions::AppLogicEnqueuedCalls, 30 },
    { TxMutationOptions::TearDownEnqueuedCall, 10 },
    { TxMutationOptions::NonRevertibleData, 15 },
    { TxMutationOptions::RevertibleData, 15 },
    { TxMutationOptions::GasSettings, 5 },
    { TxMutationOptions::GasFees, 3 },
    { TxMutationOptions::GasUsedByPrivate, 1 },
    { TxMutationOptions::FeePayer, 1 },
})

Definition at line 26 of file tx_data.hpp.