Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::ChonkAPI Class Reference

#include <api_chonk.hpp>

Inheritance diagram for bb::ChonkAPI:
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 10 of file api_chonk.hpp.

Member Function Documentation

◆ check()

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

Implements bb::API.

Definition at line 202 of file api_chonk.cpp.

◆ check_precomputed_vks()

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

Definition at line 148 of file api_chonk.cpp.

◆ gates()

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

Implements bb::API.

Definition at line 134 of file api_chonk.cpp.

◆ prove()

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

Definition at line 58 of file api_chonk.cpp.

◆ prove_and_verify()

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

Definition at line 121 of file api_chonk.cpp.

◆ verify()

bool bb::ChonkAPI::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 105 of file api_chonk.cpp.

◆ write_solidity_verifier()

void bb::ChonkAPI::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 140 of file api_chonk.cpp.

◆ write_vk()

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

Implements bb::API.

Definition at line 183 of file api_chonk.cpp.


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