|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <random>#include "barretenberg/avm_fuzzer/common/weighted_selection.hpp"#include "barretenberg/avm_fuzzer/mutations/configuration.hpp"#include "barretenberg/vm2/common/avm_io.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 | bb::avm2::fuzzer::AccumulatedDataMutationConfig = WeightedSelectionConfig< AccumulatedDataMutationOptions, 6 > |
Functions | |
| template<typename T > | |
| void | bb::avm2::fuzzer::mutate_vec_with_limit (std::vector< T > &vec, std::mt19937_64 &rng, std::function< void(T &, std::mt19937_64 &)> mutate_element_function, std::function< T(std::mt19937_64 &)> generate_random_element_function, const VecMutationConfig &config, size_t vec_limit) |
| AccumulatedData | bb::avm2::fuzzer::generate_non_revertible_accumulated_data (std::mt19937_64 &rng) |
| void | bb::avm2::fuzzer::mutate_non_revertible_accumulated_data (AccumulatedData &data, std::mt19937_64 &rng) |
| AccumulatedData | bb::avm2::fuzzer::generate_revertible_accumulated_data (std::mt19937_64 &rng) |
| void | bb::avm2::fuzzer::mutate_revertible_accumulated_data (AccumulatedData &data, std::mt19937_64 &rng) |
Variables | |
| constexpr AccumulatedDataMutationConfig | bb::avm2::fuzzer::ACCUMULATED_DATA_MUTATION_CONFIGURATION |