Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | List of all members
bb::ClientIVCAPI Class Reference

#include <api_client_ivc.hpp>

Inheritance diagram for bb::ClientIVCAPI:
bb::API

Public Member Functions

void prove (const Flags &flags, const std::filesystem::path &input_path, const std::filesystem::path &output_dir)
 
bool verify (const Flags &flags, const std::filesystem::path &public_inputs_path, const std::filesystem::path &proof_path, const std::filesystem::path &vk_path) override
 
bool prove_and_verify (const std::filesystem::path &input_path)
 
void gates (const Flags &flags, const std::filesystem::path &bytecode_path) override
 
void write_solidity_verifier (const Flags &flags, const std::filesystem::path &output_path, const std::filesystem::path &vk_path) override
 
void write_vk (const Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &output_path) override
 
bool check_precomputed_vks (const Flags &flags, const std::filesystem::path &input_path)
 
bool check (const Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &witness_path) override
 

Detailed Description

Definition at line 11 of file api_client_ivc.hpp.

Member Function Documentation

◆ check()

bool bb::ClientIVCAPI::check ( const Flags &  flags,
const std::filesystem::path &  bytecode_path,
const std::filesystem::path &  witness_path 
)
overridevirtual

Implements bb::API.

Definition at line 219 of file api_client_ivc.cpp.

◆ check_precomputed_vks()

bool bb::ClientIVCAPI::check_precomputed_vks ( const Flags &  flags,
const std::filesystem::path &  input_path 
)

Definition at line 173 of file api_client_ivc.cpp.

◆ gates()

void bb::ClientIVCAPI::gates ( const Flags &  flags,
const std::filesystem::path &  bytecode_path 
)
overridevirtual

Implements bb::API.

Definition at line 161 of file api_client_ivc.cpp.

◆ prove()

void bb::ClientIVCAPI::prove ( const Flags &  flags,
const std::filesystem::path &  input_path,
const std::filesystem::path &  output_dir 
)

Definition at line 90 of file api_client_ivc.cpp.

◆ prove_and_verify()

bool bb::ClientIVCAPI::prove_and_verify ( const std::filesystem::path &  input_path)

Definition at line 149 of file api_client_ivc.cpp.

◆ verify()

bool bb::ClientIVCAPI::verify ( const Flags &  flags,
const std::filesystem::path &  public_inputs_path,
const std::filesystem::path &  proof_path,
const std::filesystem::path &  vk_path 
)
overridevirtual

Implements bb::API.

Definition at line 137 of file api_client_ivc.cpp.

◆ write_solidity_verifier()

void bb::ClientIVCAPI::write_solidity_verifier ( const Flags &  flags,
const std::filesystem::path &  output_path,
const std::filesystem::path &  vk_path 
)
overridevirtual

Implements bb::API.

Definition at line 166 of file api_client_ivc.cpp.

◆ write_vk()

void bb::ClientIVCAPI::write_vk ( const Flags &  flags,
const std::filesystem::path &  bytecode_path,
const std::filesystem::path &  output_path 
)
overridevirtual

Implements bb::API.

Definition at line 203 of file api_client_ivc.cpp.

The documentation for this class was generated from the following files: