|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Computes Sumcheck proof length from flavor traits. More...
#include <proof_length.hpp>
Static Public Member Functions | |
| static constexpr size_t | LENGTH (size_t log_n) |
Additional Inherited Members | |
Public Types inherited from bb::ProofLength::CodecConstants< Flavor > | |
| using | Codec = typename Flavor::Codec |
| using | Commitment = typename Flavor::Commitment |
| using | FF = typename Flavor::FF |
Static Public Attributes inherited from bb::ProofLength::CodecConstants< Flavor > | |
| static constexpr size_t | num_frs_in_comm = Codec::template calc_num_fields<Commitment>() |
| static constexpr size_t | num_frs_in_scalar = Codec::template calc_num_fields<FF>() |
Computes Sumcheck proof length from flavor traits.
Sumcheck sends univariates (one per round) and final evaluations. ZK flavors add Libra masking data.
Definition at line 48 of file proof_length.hpp.
|
inlinestaticconstexpr |
Definition at line 52 of file proof_length.hpp.