|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
This is the complete list of members for bb::ClientIVCAPI, including all inherited members.
| check(const Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &witness_path) override | bb::ClientIVCAPI | virtual |
| check_precomputed_vks(const Flags &flags, const std::filesystem::path &input_path) | bb::ClientIVCAPI | |
| gates(const Flags &flags, const std::filesystem::path &bytecode_path) override | bb::ClientIVCAPI | virtual |
| prove(const Flags &flags, const std::filesystem::path &input_path, const std::filesystem::path &output_dir) | bb::ClientIVCAPI | |
| prove_and_verify(const std::filesystem::path &input_path) | 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) override | bb::ClientIVCAPI | virtual |
| write_solidity_verifier(const Flags &flags, const std::filesystem::path &output_path, const std::filesystem::path &vk_path) override | bb::ClientIVCAPI | virtual |
| write_vk(const Flags &flags, const std::filesystem::path &bytecode_path, const std::filesystem::path &output_path) override | bb::ClientIVCAPI | virtual |