#include <api.hpp>
|
virtual bool | check (const Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &witness_path)=0 |
|
virtual bool | verify (const Flags &flags, const std::filesystem::path &public_inputs_path, const std::filesystem::path &proof_path, const std::filesystem::path &vk_path)=0 |
|
virtual void | write_vk (const Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &output_path)=0 |
|
virtual void | gates (const Flags &flags, const std::filesystem::path &bytecode_path)=0 |
|
virtual void | write_solidity_verifier (const Flags &flags, const std::filesystem::path &output_path, const std::filesystem::path &vk_path)=0 |
|
Definition at line 7 of file api.hpp.
◆ check()
virtual bool bb::API::check |
( |
const Flags & |
flags, |
|
|
const std::filesystem::path & |
bytecode_path, |
|
|
const std::filesystem::path & |
witness_path |
|
) |
| |
|
pure virtual |
◆ gates()
virtual void bb::API::gates |
( |
const Flags & |
flags, |
|
|
const std::filesystem::path & |
bytecode_path |
|
) |
| |
|
pure virtual |
◆ verify()
virtual bool bb::API::verify |
( |
const Flags & |
flags, |
|
|
const std::filesystem::path & |
public_inputs_path, |
|
|
const std::filesystem::path & |
proof_path, |
|
|
const std::filesystem::path & |
vk_path |
|
) |
| |
|
pure virtual |
◆ write_solidity_verifier()
virtual void bb::API::write_solidity_verifier |
( |
const Flags & |
flags, |
|
|
const std::filesystem::path & |
output_path, |
|
|
const std::filesystem::path & |
vk_path |
|
) |
| |
|
pure virtual |
◆ write_vk()
virtual void bb::API::write_vk |
( |
const Flags & |
flags, |
|
|
const std::filesystem::path & |
bytecode_path, |
|
|
const std::filesystem::path & |
output_path |
|
) |
| |
|
pure virtual |
The documentation for this class was generated from the following file: