Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
proof.hpp
Go to the documentation of this file.
1// === AUDIT STATUS ===
2// internal: { status: not started, auditors: [], date: YYYY-MM-DD }
3// external_1: { status: not started, auditors: [], date: YYYY-MM-DD }
4// external_2: { status: not started, auditors: [], date: YYYY-MM-DD }
5// =====================
6
7#pragma once
10#include <vector>
11
12namespace bb {
13
14using PublicInputsVector = std::vector<fr>;
15using HonkProof = std::vector<fr>;
16template <typename Proof> struct PublicInputsAndProof {
18 Proof proof;
19
21 bool operator==(const PublicInputsAndProof&) const = default;
22};
23
25
26} // namespace bb
Entry point for Barretenberg command-line interface.
Definition api.hpp:5
std::vector< fr > HonkProof
Definition proof.hpp:15
std::vector< bb::stdlib::field_t< Builder > > StdlibPublicInputsVector
Definition proof.hpp:24
std::vector< fr > PublicInputsVector
Definition proof.hpp:14
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13
PublicInputsVector public_inputs
Definition proof.hpp:17
MSGPACK_FIELDS(public_inputs, proof)
bool operator==(const PublicInputsAndProof &) const =default