prove_tube.cpp File Reference

#include "prove_tube.hpp"
#include "barretenberg/api/file_io.hpp"
#include "barretenberg/common/map.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/stdlib/client_ivc_verifier/client_ivc_recursive_verifier.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"

Go to the source code of this file.

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

Functions
void	bb::prove_tube (const std::string &output_path, const std::string &vk_path)
	Creates a Honk Proof for the Tube circuit responsible for recursively verifying a ClientIVC proof.