honk_proof_gen.cpp File Reference

#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "circuits/add_2_circuit.hpp"
#include "circuits/blake_circuit.hpp"
#include "circuits/ecdsa_circuit.hpp"
#include "circuits/recursive_circuit.hpp"
#include "utils/utils.hpp"
#include <iostream>
#include <sstream>

Go to the source code of this file.

Functions
template<typename Circuit , typename Flavor >
void	generate_proof (uint256_t inputs[])
std::string	pad_left (std::string input, size_t length)
int	main (int argc, char **argv)
	Main entry point for the proof generator. Expected inputs:

Function Documentation

generate_proof()

template<typename Circuit , typename Flavor >

void generate_proof

(

uint256_t

inputs[]

)

Definition at line 22 of file honk_proof_gen.cpp.

main()

int main	(	int	argc,
		char **	argv
	)

Main entry point for the proof generator. Expected inputs:

1. flavor: ultra_keccak
2. circuit_type: blake, add2
3. srs_path: path to the srs db
4. public_inputs: comma separated list of public inputs

Definition at line 68 of file honk_proof_gen.cpp.

pad_left()

std::string pad_left	(	std::string	input,
		size_t	length
	)

Definition at line 55 of file honk_proof_gen.cpp.