Fuzzer for testing Poseidon2 and Pedersen hash Ultra circuits against native implementations. More...

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/crypto/pedersen_hash/pedersen.hpp"
#include "barretenberg/crypto/poseidon2/poseidon2.hpp"
#include "barretenberg/ecc/fields/field.fuzzer.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/stdlib/hash/pedersen/pedersen.hpp"
#include "barretenberg/stdlib/hash/poseidon2/poseidon2.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include <cassert>
#include <cstdint>
#include <cstring>
#include <iostream>
#include <vector>

Typedefs
using	Fr = fr

using	native_poseidon2 = crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams >

using	native_pedersen = crypto::pedersen_hash

Functions
std::vector< Fr >	parse_input_and_generate_elements (const uint8_t *data, size_t size)
	Parse input structure and generate field elements using FieldVM.

template<typename Builder >
bool	test_poseidon2_circuit (const std::vector< Fr > &inputs)
	Test Poseidon2 circuit with specified builder type.

template<typename Builder >
bool	test_pedersen_circuit (const std::vector< Fr > &inputs)
	Test Pedersen circuit with specified builder type.

int	LLVMFuzzerTestOneInput (const uint8_t *Data, size_t Size)
	Main fuzzer entry point.

Detailed Description

Fuzzer for testing Poseidon2 and Pedersen hash Ultra circuits against native implementations.

This fuzzer implements differential testing of both Poseidon2 and Pedersen hash function circuits by comparing Ultra circuit outputs with native implementation results. The fuzzer:

Dual Algorithm Testing: Tests both Poseidon2 and Pedersen hash functions in a single fuzzer
Algorithm Selection: Uses the first bit of input data to select between Poseidon2 (0) and Pedersen (1)
Structured Input Format: Uses FieldVM data for deterministic field element generation
Ultra Circuit Testing: Focuses on UltraCircuitBuilder for comprehensive circuit testing
Differential Testing: Compares circuit output with trusted native implementation
Variable Input Lengths: Tests inputs of any length (controlled by fuzzer configuration)
Edge Cases: Tests zero inputs, repeated inputs, and boundary conditions
Circuit Verification: Validates circuit correctness using CircuitChecker