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

#include <api_ultra_honk.hpp>

Inheritance diagram for bb::UltraHonkAPI:
bb::API

Public Member Functions

bool check (const Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &witness_path) override
 
void prove (const Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &witness_path, const std::filesystem::path &vk_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 Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &witness_path)
 
void write_vk (const Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &output_path) override
 
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
 

Detailed Description

Definition at line 12 of file api_ultra_honk.hpp.

Member Function Documentation

◆ check()

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

Implements bb::API.

Definition at line 47 of file api_ultra_honk.cpp.

◆ gates()

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

Implements bb::API.

Definition at line 155 of file api_ultra_honk.cpp.

◆ prove()

void bb::UltraHonkAPI::prove ( const Flags &  flags,
const std::filesystem::path &  bytecode_path,
const std::filesystem::path &  witness_path,
const std::filesystem::path &  vk_path,
const std::filesystem::path &  output_dir 
)

Definition at line 55 of file api_ultra_honk.cpp.

◆ prove_and_verify()

bool bb::UltraHonkAPI::prove_and_verify ( const Flags &  flags,
const std::filesystem::path &  bytecode_path,
const std::filesystem::path &  witness_path 
)

Definition at line 122 of file api_ultra_honk.cpp.

◆ verify()

bool bb::UltraHonkAPI::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 96 of file api_ultra_honk.cpp.

◆ write_solidity_verifier()

void bb::UltraHonkAPI::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 207 of file api_ultra_honk.cpp.

◆ write_vk()

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

Implements bb::API.

Definition at line 130 of file api_ultra_honk.cpp.

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