translator.fuzzer.hpp File Reference

Contains common procedures used by the circuit builder fuzzer and the composer fuzzer. More...

#include "barretenberg/common/assert.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "translator_circuit_builder.hpp"

Go to the source code of this file.

Typedefs
using	Fr = curve::BN254::ScalarField
using	Fq = curve::BN254::BaseField
using	G1 = curve::BN254::AffineElement

Functions
uint256_t	read_uint256 (const uint8_t *data, size_t buffer_size=32)
std::vector< ECCVMOperation >	parse_operations (const unsigned char *data, size_t size)
	Parse raw operations for ECCOpQueue from the data stream.
std::optional< std::tuple< Fq, Fq, std::shared_ptr< ECCOpQueue > > >	parse_and_construct_opqueue (const unsigned char *data, size_t size)
	Try to parse out the batching and evaluating challenges and then the ECCOpQueue from the data.

Detailed Description

Contains common procedures used by the circuit builder fuzzer and the composer fuzzer.

Author

Rumata888

Date

2024-02-25

Definition in file translator.fuzzer.hpp.

Typedef Documentation

Fq

using Fq = curve::BN254::BaseField

Definition at line 21 of file translator.fuzzer.hpp.

Fr

using Fr = curve::BN254::ScalarField

Definition at line 20 of file translator.fuzzer.hpp.

G1

using G1 = curve::BN254::AffineElement

Definition at line 22 of file translator.fuzzer.hpp.

Function Documentation

parse_and_construct_opqueue()

std::optional< std::tuple< Fq, Fq, std::shared_ptr< ECCOpQueue > > > parse_and_construct_opqueue	(	const unsigned char *	data,
		size_t	size
	)

Try to parse out the batching and evaluating challenges and then the ECCOpQueue from the data.

Parameters

data	pointer to the buffer
size	size of the buffer

Returns

std::optional<std::tuple<Fq, Fq, std::shared_ptr<ECCOpQueue>>>

Definition at line 68 of file translator.fuzzer.hpp.

parse_operations()

std::vector< ECCVMOperation > parse_operations	(	const unsigned char *	data,
		size_t	size
	)

Parse raw operations for ECCOpQueue from the data stream.

Parameters

data	pointer to data
size	size in bytes

Returns

std::vector<ECCVMOperation>

Definition at line 46 of file translator.fuzzer.hpp.

read_uint256()

uint256_t read_uint256	(	const uint8_t *	data,
		size_t	buffer_size = 32
	)

Definition at line 26 of file translator.fuzzer.hpp.