|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <gt.hpp>
Static Public Member Functions | |
| static std::string | get_subrelation_label (size_t index) |
Static Public Member Functions inherited from bb::avm2::gtImpl< FF > | |
| 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 = "gt" |
| static constexpr size_t | SR_GT_RESULT = 8 |
Static Public Attributes inherited from bb::Relation< gtImpl< FF > > | |
| 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 Public Attributes inherited from bb::avm2::gtImpl< FF > | |
| static constexpr std::array< size_t, 9 > | SUBRELATION_PARTIAL_LENGTHS |
Additional Inherited Members | |
Public Types inherited from bb::Relation< gtImpl< FF > > | |
| using | FF = typename RelationImpl::FF |
| using | ProtogalaxyTupleOfUnivariatesOverSubrelationsNoOptimisticSkipping = TupleOfUnivariates< FF, compute_composed_subrelation_partial_lengths< NUM_INSTANCES >(SUBRELATION_TOTAL_LENGTHS)> |
| using | ProtogalaxyTupleOfUnivariatesOverSubrelations = TupleOfUnivariatesWithOptimisticSkipping< FF, compute_composed_subrelation_partial_lengths< NUM_INSTANCES >(SUBRELATION_TOTAL_LENGTHS), NUM_INSTANCES - 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 > |
Public Types inherited from bb::avm2::gtImpl< FF > | |
| using | FF = FF |
|
inlinestatic |
|
staticconstexpr |
|
staticconstexpr |