Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/circuit_checker/translator_circuit_checker.hpp"
#include "barretenberg/translator_vm/translator.fuzzer.hpp"
#include "barretenberg/translator_vm/translator_prover.hpp"
#include "barretenberg/translator_vm/translator_verifier.hpp"
Go to the source code of this file.
Functions | |
void | LLVMFuzzerInitialize (int *, char ***) |
int | LLVMFuzzerTestOneInput (const unsigned char *data, size_t size) |
A very primitive fuzzer for the composer. | |
void LLVMFuzzerInitialize | ( | int * | , |
char *** | |||
) |
Definition at line 11 of file translator_composer.fuzzer.cpp.
int LLVMFuzzerTestOneInput | ( | const unsigned char * | data, |
size_t | size | ||
) |
A very primitive fuzzer for the composer.
Super-slow. Shouldn't be run on its own. First you need to run the circuit builder fuzzer, then minimize the corpus and then just use that corpus
Definition at line 22 of file translator_composer.fuzzer.cpp.