Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <sha256.hpp>
Static Public Member Functions | |
static std::string | get_subrelation_label (size_t index) |
![]() | |
static bool | skip (const AllEntities &in) |
static void | accumulate (ContainerOverSubrelations &evals, const AllEntities &in, const RelationParameters< FF > &, const FF &scaling_factor) |
Static Public Attributes | |
static constexpr const std::string_view | NAME = "sha256" |
![]() | |
static constexpr std::array< size_t, RelationImpl::SUBRELATION_PARTIAL_LENGTHS.size()> | SUBRELATION_TOTAL_LENGTHS |
static constexpr size_t | RELATION_LENGTH |
static constexpr size_t | TOTAL_RELATION_LENGTH |
![]() | |
static constexpr std::array< size_t, 89 > | SUBRELATION_PARTIAL_LENGTHS |
Additional Inherited Members | |
![]() | |
using | FF = typename RelationImpl::FF |
using | ProtogalaxyTupleOfUnivariatesOverSubrelationsNoOptimisticSkipping = TupleOfUnivariates< FF, compute_composed_subrelation_partial_lengths< NUM_KEYS >(SUBRELATION_TOTAL_LENGTHS)> |
using | ProtogalaxyTupleOfUnivariatesOverSubrelations = TupleOfUnivariatesWithOptimisticSkipping< FF, compute_composed_subrelation_partial_lengths< NUM_KEYS >(SUBRELATION_TOTAL_LENGTHS), NUM_KEYS - 1 > |
using | SumcheckTupleOfUnivariatesOverSubrelations = TupleOfUnivariates< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS > |
using | SumcheckArrayOfValuesOverSubrelations = ArrayOfValues< FF, RelationImpl::SUBRELATION_PARTIAL_LENGTHS > |
using | UnivariateAccumulator0 = std::tuple_element_t< 0, SumcheckTupleOfUnivariatesOverSubrelations > |
using | ValueAccumulator0 = std::tuple_element_t< 0, SumcheckArrayOfValuesOverSubrelations > |
![]() | |
using | FF = FF |
Definition at line 37 of file sha256.hpp.
|
inlinestatic |
Definition at line 41 of file sha256.hpp.
|
staticconstexpr |
Definition at line 39 of file sha256.hpp.