ipa.fuzzer.cpp File Reference

#include "barretenberg/common/assert.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "./mock_transcript.hpp"
#include "barretenberg/commitment_schemes/commitment_key.hpp"
#include "barretenberg/commitment_schemes/verification_key.hpp"
#include "ipa.hpp"

Go to the source code of this file.

Classes
class	bb::ProxyCaller
	Class that allows us to call internal IPA methods, because it's friendly. More...

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

Macros
#define	IPA_FUZZ_TEST

Typedefs
using	bb::Curve = curve::Grumpkin

Functions
void	LLVMFuzzerInitialize (int *, char ***)
	Initialize SRS, commitment key, verification key.
uint256_t	read_uint256 (const uint8_t *data, size_t buffer_size=32)
int	LLVMFuzzerTestOneInput (const unsigned char *data, size_t size)
	A fuzzer for the IPA primitive.

Variables
constexpr size_t	bb::COMMITMENT_TEST_NUM_POINTS = 32
CommitmentKey< Curve >	bb::ck
VerifierCommitmentKey< Curve >	bb::vk

Macro Definition Documentation

IPA_FUZZ_TEST

#define IPA_FUZZ_TEST

Definition at line 9 of file ipa.fuzzer.cpp.

Function Documentation

LLVMFuzzerInitialize()

void LLVMFuzzerInitialize	(	int *	,
		char ***
	)

Initialize SRS, commitment key, verification key.

Definition at line 64 of file ipa.fuzzer.cpp.

LLVMFuzzerTestOneInput()

int LLVMFuzzerTestOneInput	(	const unsigned char *	data,
		size_t	size
	)

A fuzzer for the IPA primitive.

Parses the given data as a polynomial, a sequence of challenges for the transcript and the evaluation point, then opens the polynomial with IPA and verifies that the opening was correct

Definition at line 96 of file ipa.fuzzer.cpp.

read_uint256()

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

Definition at line 77 of file ipa.fuzzer.cpp.