|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Prove an AVM transaction from serialized inputs. The inputs are opaque msgpack bytes of AvmProvingInputs. Callers should call AvmVerify separately if they need to verify the resulting proof. More...
#include <bbapi_avm.hpp>
Classes | |
| struct | Response |
Public Member Functions | |
| SERIALIZATION_FIELDS (inputs) | |
| Response | execute (const BBApiRequest &request={}) && |
| bool | operator== (const AvmProve &) const =default |
Public Attributes | |
| std::vector< uint8_t > | inputs |
Static Public Attributes | |
| static constexpr const char | MSGPACK_SCHEMA_NAME [] = "AvmProve" |
Prove an AVM transaction from serialized inputs. The inputs are opaque msgpack bytes of AvmProvingInputs. Callers should call AvmVerify separately if they need to verify the resulting proof.
Definition at line 40 of file bbapi_avm.hpp.
| AvmProve::Response bb::bbapi::AvmProve::execute | ( | const BBApiRequest & | request = {} | ) | && |
Definition at line 29 of file bbapi_avm.cpp.
|
default |
| bb::bbapi::AvmProve::SERIALIZATION_FIELDS | ( | inputs | ) |
| std::vector<uint8_t> bb::bbapi::AvmProve::inputs |
Definition at line 52 of file bbapi_avm.hpp.
|
staticconstexpr |
Definition at line 41 of file bbapi_avm.hpp.