fuzzer.hpp

Go to the documentation of this file.

#pragma once
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
 
// NOLINTBEGIN(cppcoreguidelines-macro-usage, google-runtime-int)
#define PARENS ()
 
// Rescan macro tokens 256 times
#define EXPAND(arg) EXPAND1(EXPAND1(EXPAND1(EXPAND1(arg))))
#define EXPAND1(arg) EXPAND2(EXPAND2(EXPAND2(EXPAND2(arg))))
#define EXPAND2(arg) EXPAND3(EXPAND3(EXPAND3(EXPAND3(arg))))
#define EXPAND3(arg) EXPAND4(EXPAND4(EXPAND4(EXPAND4(arg))))
#define EXPAND4(arg) arg
 
#define FOR_EACH(macro, ...) __VA_OPT__(EXPAND(FOR_EACH_HELPER(macro, __VA_ARGS__)))
#define FOR_EACH_HELPER(macro, a1, ...) macro(a1) __VA_OPT__(FOR_EACH_AGAIN PARENS(macro, __VA_ARGS__))
#define FOR_EACH_AGAIN() FOR_EACH_HELPER
 
#define ALL_POSSIBLE_OPCODES                                                                                           \
    CONSTANT, WITNESS, CONSTANT_WITNESS, ADD, SUBTRACT, MULTIPLY, DIVIDE, ADD_TWO, MADD, MULT_MADD, MSUB_DIV, SQR,     \
        ASSERT_EQUAL, ASSERT_NOT_EQUAL, SQR_ADD, ASSERT_EQUAL, ASSERT_NOT_EQUAL, SQR_ADD, SUBTRACT_WITH_CONSTRAINT,    \
        DIVIDE_WITH_CONSTRAINTS, SLICE, ASSERT_ZERO, ASSERT_NOT_ZERO, COND_NEGATE, ADD_MULTI, ASSERT_VALID,            \
        COND_SELECT, DOUBLE, RANDOMSEED, SELECT_IF_ZERO, SELECT_IF_EQ, REVERSE, GET_BIT, SET_BIT, SET, INVERT, AND,    \
        OR, XOR, MODULO, SHL, SHR, ROL, ROR, NOT, BATCH_MUL, COND_ASSIGN
 
struct HavocSettings {
    size_t GEN_LLVM_POST_MUTATION_PROB; // Controls frequency of additional mutation after structural ones
    size_t GEN_MUTATION_COUNT_LOG; // This is the logarithm of the number of micromutations applied during mutation of a
                                   // testcase
    size_t GEN_STRUCTURAL_MUTATION_PROBABILITY; // The probability of applying a structural mutation
                                                // (DELETION/DUPLICATION/INSERTION/SWAP)
    size_t GEN_VALUE_MUTATION_PROBABILITY;      // The probability of applying a value mutation
    size_t ST_MUT_DELETION_PROBABILITY;         // The probability of applying DELETION mutation
    size_t ST_MUT_DUPLICATION_PROBABILITY;      // The probability of applying DUPLICATION mutation
    size_t ST_MUT_INSERTION_PROBABILITY;        // The probability of applying INSERTION mutation
    size_t ST_MUT_MAXIMUM_DELETION_LOG;         // The logarithm of the maximum of deletions
    size_t ST_MUT_MAXIMUM_DUPLICATION_LOG;      // The logarithm of the maximum of duplication
    size_t ST_MUT_SWAP_PROBABILITY;             // The probability of a SWAP mutation
    size_t VAL_MUT_LLVM_MUTATE_PROBABILITY;     // The probablity of using the LLVM mutator on field element value
    size_t VAL_MUT_MONTGOMERY_PROBABILITY;     // The probability of converting to montgomery form before applying value
                                               // mutations
    size_t VAL_MUT_NON_MONTGOMERY_PROBABILITY; // The probability of not converting to montgomery form before applying
                                               // value mutations
    size_t VAL_MUT_SMALL_ADDITION_PROBABILITY; // The probability of performing small additions
    size_t VAL_MUT_SPECIAL_VALUE_PROBABILITY;  // The probability of assigning special values (0,1, p-1, p-2, p-1/2)
    std::vector<size_t> structural_mutation_distribution; // Holds the values to quickly select a structural mutation
                                                          // based on chosen probabilities
    std::vector<size_t> value_mutation_distribution; // Holds the values to quickly select a value mutation based on
                                                     // chosen probabilities
};
#ifdef HAVOC_TESTING
 
HavocSettings fuzzer_havoc_settings;
#endif
// This is an external function in Libfuzzer used internally by custom mutators
extern "C" size_t LLVMFuzzerMutate(uint8_t* Data, size_t Size, size_t MaxSize);
 
class FastRandom {
    uint32_t state;
 
  public:
    FastRandom(uint32_t seed) { reseed(seed); }
    uint32_t next()
    {
        state = static_cast<uint32_t>(
            (static_cast<uint64_t>(state) * static_cast<uint64_t>(363364578) + static_cast<uint64_t>(537)) %
            static_cast<uint64_t>(3758096939));
        return state;
    }
    void reseed(uint32_t seed)
    {
        if (seed == 0) {
            seed = 1;
        }
        state = seed;
    }
};
 
// Sample a uint256_t value from log distribution
// That is we first sample the bit count in [0..255]
// And then shrink the random [0..2^255] value
// This helps to get smaller values more frequently
template <typename T> static inline uint256_t fast_log_distributed_uint256(T& rng)
{
    uint256_t temp;
    // Generate a random mask_size-bit value
    // We want to sample from log distribution instead of uniform
    uint16_t* p = (uint16_t*)&temp;
    uint8_t mask_size = static_cast<uint8_t>(rng.next() & 0xff);
    for (size_t i = 0; i < 16; i++) {
        *(p + i) = static_cast<uint16_t>(rng.next() & 0xffff);
    }
    uint256_t mask = (uint256_t(1) << mask_size) - 1;
    temp &= mask;
    temp += 1; // I believe we want to avoid lots of infs
    return temp;
}
 
// Read uint256_t from raw bytes.
// Don't use dereference casts, since the data may be not aligned and it causes segfault
uint256_t read_uint256(const uint8_t* data, size_t buffer_size = 32)
{
    BB_ASSERT_LTE(buffer_size, 32U);
 
    uint64_t parts[4] = { 0, 0, 0, 0 };
 
    for (size_t i = 0; i < (buffer_size + 7) / 8; i++) {
        size_t to_read = (buffer_size - (i * 8)) < 8 ? buffer_size - (i * 8) : 8;
        std::memcpy(&parts[i], data + (i * 8), to_read);
    }
    return uint256_t(parts[0], parts[1], parts[2], parts[3]);
}
 
// Convert preprocessor flag to constexpr for cleaner call sites
#ifdef FUZZING_SHOW_INFORMATION
constexpr bool SHOW_FUZZING_INFO = true;
#else
constexpr bool SHOW_FUZZING_INFO = false;
#endif
 
template <typename... Args> inline void debug_log(Args&&... args)
{
    if constexpr (SHOW_FUZZING_INFO) {
        (std::cout << ... << std::forward<Args>(args));
    }
}
 
#ifdef FUZZING_SHOW_INFORMATION
struct FormattedArgs {
    std::string lhs;
    std::string rhs;
    std::string out;
};
 
template <typename Stack>
inline FormattedArgs format_single_arg(const Stack& stack, size_t first_index, size_t output_index)
{
    std::string rhs = stack[first_index].cycle_group.is_constant() ? "c" : "w";
    std::string out = rhs;
    rhs += std::to_string(first_index);
    out += std::to_string(output_index >= stack.size() ? stack.size() : output_index);
    out = (output_index >= stack.size() ? "auto " : "") + out;
    return FormattedArgs{ .lhs = "", .rhs = rhs, .out = out };
}
 
template <typename Stack>
inline FormattedArgs format_two_arg(const Stack& stack, size_t first_index, size_t second_index, size_t output_index)
{
    std::string lhs = stack[first_index].cycle_group.is_constant() ? "c" : "w";
    std::string rhs = stack[second_index].cycle_group.is_constant() ? "c" : "w";
    std::string out =
        (stack[first_index].cycle_group.is_constant() && stack[second_index].cycle_group.is_constant()) ? "c" : "w";
    lhs += std::to_string(first_index);
    rhs += std::to_string(second_index);
    out += std::to_string(output_index >= stack.size() ? stack.size() : output_index);
    out = (output_index >= stack.size() ? "auto " : "") + out;
    return FormattedArgs{ .lhs = lhs, .rhs = rhs, .out = out };
}
#endif
 
template <typename T>
concept SimpleRng = requires(T a) {
    { a.next() } -> std::convertible_to<uint32_t>;
};
template <typename T>
concept InstructionArgumentSizes = requires {
    {
        std::make_tuple(T::CONSTANT,
                        T::WITNESS,
                        T::CONSTANT_WITNESS,
                        T::ADD,
                        T::SUBTRACT,
                        T::MULTIPLY,
                        T::DIVIDE,
                        T::ADD_TWO,
                        T::MADD,
                        T::MULT_MADD,
                        T::MSUB_DIV,
                        T::SQR,
                        T::SQR_ADD,
                        T::SUBTRACT_WITH_CONSTRAINT,
                        T::DIVIDE_WITH_CONSTRAINTS,
                        T::SLICE,
                        T::ASSERT_ZERO,
                        T::ASSERT_NOT_ZERO)
    } -> std::same_as<std::tuple<size_t>>;
};
 
template <typename T>
concept HavocConfigConstraint = requires {
    {
        std::make_tuple(T::GEN_MUTATION_COUNT_LOG, T::GEN_STRUCTURAL_MUTATION_PROBABILITY)
    } -> std::same_as<std::tuple<size_t>>;
    T::GEN_MUTATION_COUNT_LOG <= 7;
};
template <typename T>
concept ArithmeticFuzzHelperConstraint = requires {
    typename T::ArgSizes;
    typename T::Instruction;
    typename T::ExecutionState;
    typename T::ExecutionHandler;
    InstructionArgumentSizes<typename T::ArgSizes>;
};
 
template <typename T>
concept CheckableComposer = requires(T a) {
    { bb::CircuitChecker::check(a) } -> std::same_as<bool>;
};
 
template <typename T, typename Composer, typename Context>
concept PostProcessingEnabled = requires(Composer composer, Context context) {
    { T::postProcess(&composer, context) } -> std::same_as<bool>;
};
 
template <typename T>
concept InstructionWeightsEnabled = requires {
    typename T::InstructionWeights;
    T::InstructionWeights::_LIMIT;
};
 
template <typename T, typename FF>
inline static FF mutateFieldElement(FF e, T& rng)
    requires SimpleRng<T>
{
    // With a certain probability, we apply changes to the Montgomery form, rather than the plain form. This
    // has merit, since the computation is performed in montgomery form and comparisons are often performed
    // in it, too. Libfuzzer comparison tracing logic can then be enabled in Montgomery form
    bool convert_to_montgomery = (rng.next() & 1);
    uint256_t value_data;
    // Conversion at the start
#define MONT_CONVERSION_LOCAL                                                                                          \
    if (convert_to_montgomery) {                                                                                       \
        value_data = uint256_t(e.to_montgomery_form());                                                                \
    } else {                                                                                                           \
        value_data = uint256_t(e);                                                                                     \
    }
    // Inverse conversion at the end
#define INV_MONT_CONVERSION_LOCAL                                                                                      \
    if (convert_to_montgomery) {                                                                                       \
        e = FF(value_data).from_montgomery_form();                                                                     \
    } else {                                                                                                           \
        e = FF(value_data);                                                                                            \
    }
 
    // Pick the last value from the mutation distribution vector
    // Choose mutation
    const size_t choice = rng.next() % 4;
    // 50% probability to use standard mutation
    if (choice < 2) {
        // Delegate mutation to libfuzzer (bit/byte mutations, autodictionary, etc)
        MONT_CONVERSION_LOCAL
        // NOLINTNEXTLINE(cppcoreguidelines-pro-type-reinterpret-cast)
        LLVMFuzzerMutate(reinterpret_cast<uint8_t*>(&value_data), sizeof(uint256_t), sizeof(uint256_t));
        INV_MONT_CONVERSION_LOCAL
    } else if (choice < 3) { // 25% to use small additions
 
        // Small addition/subtraction
        if (convert_to_montgomery) {
            e = e.to_montgomery_form();
        }
        if (rng.next() & 1) {
            e += FF(rng.next() & 0xff);
        } else {
            e -= FF(rng.next() & 0xff);
        }
        if (convert_to_montgomery) {
            e = e.from_montgomery_form();
        }
    } else { // 25% to use special values
 
        // Substitute field element with a special value
        switch (rng.next() % 8) {
        case 0:
            e = FF::zero();
            break;
        case 1:
            e = FF::one();
            break;
        case 2:
            e = -FF::one();
            break;
        case 3:
            e = FF::one().sqrt().second;
            break;
        case 4:
            e = FF::one().sqrt().second.invert();
            break;
        case 5:
            e = FF::get_root_of_unity(8);
            break;
        case 6:
            e = FF(2);
            break;
        case 7:
            e = FF((FF::modulus - 1) / 2);
            break;
        default:
            abort();
            break;
        }
        if (convert_to_montgomery) {
            e = e.from_montgomery_form();
        }
    }
    // Return instruction
    return e;
}
 
template <typename T>
    requires ArithmeticFuzzHelperConstraint<T>
class ArithmeticFuzzHelper {
  private:
    inline static void swapTwoInstructions(std::vector<typename T::Instruction>& instructions, FastRandom& rng)
    {
        const size_t instructions_count = instructions.size();
        if (instructions_count <= 2) {
            return;
        }
        const size_t first_element_index = rng.next() % instructions_count;
        size_t second_element_index = rng.next() % instructions_count;
        if (first_element_index == second_element_index) {
            second_element_index = (second_element_index + 1) % instructions_count;
        }
        std::iter_swap(instructions.begin() + static_cast<int>(first_element_index),
                       instructions.begin() + static_cast<int>(second_element_index));
    }
 
    inline static void deleteInstructions(std::vector<typename T::Instruction>& instructions,
                                          FastRandom& rng,
                                          HavocSettings& havoc_settings)
    {
 
        const size_t instructions_count = instructions.size();
        if (instructions_count == 0) {
            return;
        }
        if ((rng.next() & 1) != 0U) {
            instructions.erase(instructions.begin() + (rng.next() % instructions_count));
        } else {
            // We get the logarithm of number of instructions and subtract 1 to delete at most half
            const size_t max_deletion_log =
                std::min(static_cast<size_t>(64 - __builtin_clzll(static_cast<uint64_t>(instructions_count)) - 1),
                         havoc_settings.ST_MUT_MAXIMUM_DELETION_LOG);
 
            if (max_deletion_log == 0) {
                return;
            }
            const size_t deletion_size = 1 << (rng.next() % max_deletion_log);
            const size_t start = rng.next() % (instructions_count + 1 - deletion_size);
            instructions.erase(instructions.begin() + static_cast<int>(start),
                               instructions.begin() + static_cast<int>(start + deletion_size));
        }
    }
    inline static void duplicateInstruction(std::vector<typename T::Instruction>& instructions,
                                            FastRandom& rng,
                                            HavocSettings& havoc_settings)
    {
        const size_t instructions_count = instructions.size();
        if (instructions_count == 0) {
            return;
        }
        const size_t duplication_size = 1 << (rng.next() % havoc_settings.ST_MUT_MAXIMUM_DUPLICATION_LOG);
        typename T::Instruction chosen_instruction = instructions[rng.next() % instructions_count];
        instructions.insert(
            instructions.begin() + (rng.next() % (instructions_count + 1)), duplication_size, chosen_instruction);
    }
    inline static void insertRandomInstruction(std::vector<typename T::Instruction>& instructions,
                                               FastRandom& rng,
                                               HavocSettings& havoc_settings)
    {
        (void)havoc_settings;
        instructions.insert(instructions.begin() + static_cast<int>(rng.next() % (instructions.size() + 1)),
                            T::Instruction::template generateRandom<FastRandom>(rng));
    }
    inline static void mutateInstructionStructure(std::vector<typename T::Instruction>& instructions,
                                                  FastRandom& rng,
                                                  HavocSettings& havoc_settings)
    {
        const size_t structural_mutators_count = havoc_settings.structural_mutation_distribution.size();
        const size_t prob_pool = havoc_settings.structural_mutation_distribution[structural_mutators_count - 1];
        const size_t choice = rng.next() % prob_pool;
        if (choice < havoc_settings.structural_mutation_distribution[0]) {
            deleteInstructions(instructions, rng, havoc_settings);
        } else if (choice < havoc_settings.structural_mutation_distribution[1]) {
 
            duplicateInstruction(instructions, rng, havoc_settings);
        } else if (choice < havoc_settings.structural_mutation_distribution[2]) {
            insertRandomInstruction(instructions, rng, havoc_settings);
        } else {
 
            swapTwoInstructions(instructions, rng);
        }
    }
    inline static void mutateInstructionValue(std::vector<typename T::Instruction>& instructions,
                                              FastRandom& rng,
                                              HavocSettings& havoc_settings)
    {
 
        const size_t instructions_count = instructions.size();
        if (instructions_count == 0) {
            return;
        }
        const size_t chosen = rng.next() % instructions_count;
        instructions[chosen] =
            T::Instruction::template mutateInstruction<FastRandom>(instructions[chosen], rng, havoc_settings);
    }
 
    static void mutateInstructionVector(std::vector<typename T::Instruction>& instructions, FastRandom& rng)
    {
#ifdef HAVOC_TESTING
        // If we are testing which havoc settings are best, then we use global parameters
        const size_t mutation_count = 1 << fuzzer_havoc_settings.GEN_MUTATION_COUNT_LOG;
#else
        const size_t mutation_count = 1 << T::HavocConfig::MUTATION_COUNT_LOG;
        HavocSettings fuzzer_havoc_settings;
        // FILL the values
#endif
        for (size_t i = 0; i < mutation_count; i++) {
            uint32_t val = rng.next();
            if ((val % (fuzzer_havoc_settings.GEN_STRUCTURAL_MUTATION_PROBABILITY +
                        fuzzer_havoc_settings.GEN_VALUE_MUTATION_PROBABILITY)) <
                fuzzer_havoc_settings.GEN_STRUCTURAL_MUTATION_PROBABILITY) {
                // mutate structure
                mutateInstructionStructure(instructions, rng, fuzzer_havoc_settings);
            } else {
                // mutate a single instruction vector
 
                mutateInstructionValue(instructions, rng, fuzzer_havoc_settings);
            }
        }
    }
 
  public:
    static std::vector<typename T::Instruction> crossoverInstructionVector(
        const std::vector<typename T::Instruction>& vecA,
        const std::vector<typename T::Instruction>& vecB,
        FastRandom& rng)
    {
        // Get vector sizes
        const size_t vecA_size = vecA.size();
        const size_t vecB_size = vecB.size();
        // If one of them is empty, just return the other one
        if (vecA_size == 0) {
            return vecB;
        }
        if (vecB_size == 0) {
            return vecA;
        }
        std::vector<typename T::Instruction> result;
        // Choose the size of th resulting vector
        const size_t final_result_size = rng.next() % (vecA_size + vecB_size) + 1;
        size_t indexA = 0;
        size_t indexB = 0;
        size_t* inIndex = &indexA;
        size_t inSize = vecA_size;
        auto inIterator = vecA.begin();
        size_t current_result_size = 0;
        bool currentlyUsingA = true;
        // What we do is basically pick a sequence from one, follow with a sequence from the other
        while (current_result_size < final_result_size && (indexA < vecA_size || indexB < vecB_size)) {
            // Get the size left
            size_t result_size_left = final_result_size - current_result_size;
            // If we can still read from this vector
            if (*inIndex < inSize) {
                // Get the size left in this vector and in the output vector and pick the lowest
                size_t inSizeLeft = inSize - *inIndex;
                size_t maxExtraSize = std::min(result_size_left, inSizeLeft);
                if (maxExtraSize != 0) {
                    // If not zero, get a random number of elements from input
                    size_t copySize = (rng.next() % maxExtraSize) + 1;
                    result.insert(result.begin() + static_cast<long>(current_result_size),
                                  inIterator + static_cast<long>((*inIndex)),
 
                                  inIterator + static_cast<long>((*inIndex) + copySize));
                    // Update indexes and sizes
                    *inIndex += copySize;
                    current_result_size += copySize;
                }
            }
            // Switch input vector
            inIndex = currentlyUsingA ? &indexB : &indexA;
            inSize = currentlyUsingA ? vecB_size : vecA_size;
            inIterator = currentlyUsingA ? vecB.begin() : vecA.begin();
            currentlyUsingA = !currentlyUsingA;
        }
        // Return spliced vector
        return result;
    }
    static std::vector<typename T::Instruction> parseDataIntoInstructions(const uint8_t* Data, size_t Size)
    {
        std::vector<typename T::Instruction> fuzzingInstructions;
        // NOLINTNEXTLINE(cppcoreguidelines-pro-type-const-cast)
        auto* pData = const_cast<uint8_t*>(Data);
        size_t size_left = Size;
        while (size_left != 0) {
            uint8_t chosen_operation = *pData;
            size_left -= 1;
            pData++;
            // If the opcode is enabled (exists and arguments' size is not -1), check if it's the right opcode. If it
            // is, parse it with a designated function
#define PARSE_OPCODE(name)                                                                                             \
    if constexpr (requires { T::ArgSizes::name; })                                                                     \
        if constexpr (T::ArgSizes::name != size_t(-1)) {                                                               \
            if (chosen_operation == T::Instruction::OPCODE::name) {                                                    \
                if (size_left < T::ArgSizes::name) {                                                                   \
                    return fuzzingInstructions;                                                                        \
                }                                                                                                      \
                fuzzingInstructions.push_back(                                                                         \
                    T::Parser::template parseInstructionArgs<T::Instruction::OPCODE::name>(pData));                    \
                size_left -= T::ArgSizes::name;                                                                        \
                pData += T::ArgSizes::name;                                                                            \
                continue;                                                                                              \
            }                                                                                                          \
        }
            // Create handlers for all opcodes that are in ArgsSizes
#define PARSE_ALL_OPCODES(...) FOR_EACH(PARSE_OPCODE, __VA_ARGS__)
 
            PARSE_ALL_OPCODES(ALL_POSSIBLE_OPCODES)
        }
        return fuzzingInstructions;
    }
    static size_t writeInstructionsToBuffer(std::vector<typename T::Instruction>& instructions,
                                            uint8_t* Data,
                                            size_t MaxSize)
    {
        uint8_t* pData = Data;
        size_t size_left = MaxSize;
        for (auto& instruction : instructions) {
            // If the opcode is enabled and it's this opcode, use a designated function to serialize it
#define WRITE_OPCODE_IF(name)                                                                                          \
    if constexpr (requires { T::ArgSizes::name; })                                                                     \
        if constexpr (T::ArgSizes::name != (size_t)-1) {                                                               \
            if (instruction.id == T::Instruction::OPCODE::name) {                                                      \
                if (size_left >= (T::ArgSizes::name + 1)) {                                                            \
                    T::Parser::template writeInstruction<T::Instruction::OPCODE::name>(instruction, pData);            \
                    size_left -= (T::ArgSizes::name + 1);                                                              \
                    pData += (T::ArgSizes::name + 1);                                                                  \
                } else {                                                                                               \
                    return MaxSize - size_left;                                                                        \
                }                                                                                                      \
                continue;                                                                                              \
            }                                                                                                          \
        }
            // Create handlers for all opcodes that are in ArgsSizes
#define WRITE_ALL_OPCODES(...) FOR_EACH(WRITE_OPCODE_IF, __VA_ARGS__)
 
            WRITE_ALL_OPCODES(ALL_POSSIBLE_OPCODES)
        }
        return MaxSize - size_left;
    }
 
    template <typename Composer>
    // TODO(@Rumata888)(from Zac: maybe try to fix? not comfortable refactoring this myself. Issue #1807)
    // NOLINTNEXTLINE(readability-function-size, google-readability-function-size)
    inline static void executeInstructions(std::vector<typename T::Instruction>& instructions)
        requires CheckableComposer<Composer>
    {
        typename T::ExecutionState state;
        Composer composer = Composer();
        // This is a global variable, so that the execution handling class could alter it and signal to the input tester
        circuit_should_fail = false;
        size_t total_instruction_weight = 0;
        (void)total_instruction_weight;
        for (auto& instruction : instructions) {
            // If instruction enabled and this is it, delegate to the handler
#define EXECUTE_OPCODE_IF(name)                                                                                        \
    if constexpr (requires { T::ArgSizes::name; })                                                                     \
        if constexpr (T::ArgSizes::name != size_t(-1)) {                                                               \
            if (instruction.id == T::Instruction::OPCODE::name) {                                                      \
                if constexpr (InstructionWeightsEnabled<T>) {                                                          \
                    if (!((total_instruction_weight + T::InstructionWeights::name) > T::InstructionWeights::_LIMIT)) { \
                        total_instruction_weight += T::InstructionWeights::name;                                       \
                        if (T::ExecutionHandler::execute_##name(&composer, state, instruction)) {                      \
                            return;                                                                                    \
                        }                                                                                              \
                    } else {                                                                                           \
                        return;                                                                                        \
                    }                                                                                                  \
                } else {                                                                                               \
                                                                                                                       \
                    if (T::ExecutionHandler::execute_##name(&composer, state, instruction)) {                          \
                        return;                                                                                        \
                    }                                                                                                  \
                }                                                                                                      \
            }                                                                                                          \
        }
#define EXECUTE_ALL_OPCODES(...) FOR_EACH(EXECUTE_OPCODE_IF, __VA_ARGS__)
 
            EXECUTE_ALL_OPCODES(ALL_POSSIBLE_OPCODES)
        }
        bool final_value_check = true;
        // If there is a posprocessing function, use it
        if constexpr (PostProcessingEnabled<T, Composer, std::vector<typename T::ExecutionHandler>>) {
            final_value_check = T::postProcess(&composer, state);
 
#ifdef FUZZING_SHOW_INFORMATION
            if (!final_value_check) {
                std::cerr << "Final value check failed" << std::endl;
            }
#endif
        }
        bool check_result = bb::CircuitChecker::check(composer) && final_value_check;
#ifndef FUZZING_DISABLE_WARNINGS
        if (circuit_should_fail) {
            info("circuit should fail");
        }
#endif
        // If the circuit is correct, but it should fail, abort
        if (check_result && circuit_should_fail) {
            abort();
        }
        // If the circuit is incorrect, but there's no reason, abort
        if ((!check_result) && (!circuit_should_fail)) {
            if (!final_value_check) {
                std::cerr << "Final value check failed" << std::endl;
            } else {
                std::cerr << "Circuit failed" << std::endl;
            }
 
            abort();
        }
    }
 
    static size_t MutateInstructionBuffer(uint8_t* Data, size_t Size, size_t MaxSize, FastRandom& rng)
    {
        // Parse the vector
        std::vector<typename T::Instruction> instructions = parseDataIntoInstructions(Data, Size);
        // Mutate the vector of instructions
        mutateInstructionVector(instructions, rng);
        // Serialize the vector of instructions back to buffer
        return writeInstructionsToBuffer(instructions, Data, MaxSize);
    }
};
 
template <template <typename> class Fuzzer, typename Composer>
constexpr void RunWithBuilder(const uint8_t* Data, const size_t Size, FastRandom& VarianceRNG)
{
    VarianceRNG.reseed(0);
    auto instructions = ArithmeticFuzzHelper<Fuzzer<Composer>>::parseDataIntoInstructions(Data, Size);
    ArithmeticFuzzHelper<Fuzzer<Composer>>::template executeInstructions<Composer>(instructions);
}
 
template <template <typename> class Fuzzer, uint64_t Composers>
constexpr void RunWithBuilders(const uint8_t* Data, const size_t Size, FastRandom& VarianceRNG)
{
    RunWithBuilder<Fuzzer, bb::UltraCircuitBuilder>(Data, Size, VarianceRNG);
}
 
// NOLINTEND(cppcoreguidelines-macro-usage, google-runtime-int)