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 |