Barretenberg
The ZK-SNARK library at the core of Aztec
|
Stores the evaluations of op
, Px
, Py
, z1
, and z2
computed by the ECCVM Prover. These evaluations are batched and checked against the accumulated_result
, which is computed and verified by Translator.
More...
#include <translation_evaluations.hpp>
Public Member Functions | |
RefArray< BF, NUM_TRANSLATION_EVALUATIONS > | get_all () |
MSGPACK_FIELDS (op, Px, Py, z1, z2) | |
Static Public Member Functions | |
static size_t | size () |
Public Attributes | |
BF | op |
BF | Px |
BF | Py |
BF | z1 |
BF | z2 |
std::array< std::string, NUM_TRANSLATION_EVALUATIONS > | labels |
Stores the evaluations of op
, Px
, Py
, z1
, and z2
computed by the ECCVM Prover. These evaluations are batched and checked against the accumulated_result
, which is computed and verified by Translator.
BF | The base field of BN254, translation evaluations are represented in the base field. |
Definition at line 20 of file translation_evaluations.hpp.
|
inline |
Definition at line 24 of file translation_evaluations.hpp.
|
inlinestatic |
Definition at line 22 of file translation_evaluations.hpp.
std::array<std::string, NUM_TRANSLATION_EVALUATIONS> bb::TranslationEvaluations_< BF >::labels |
Definition at line 26 of file translation_evaluations.hpp.
BF bb::TranslationEvaluations_< BF >::op |
Definition at line 21 of file translation_evaluations.hpp.
BF bb::TranslationEvaluations_< BF >::Px |
Definition at line 21 of file translation_evaluations.hpp.
BF bb::TranslationEvaluations_< BF >::Py |
Definition at line 21 of file translation_evaluations.hpp.
BF bb::TranslationEvaluations_< BF >::z1 |
Definition at line 21 of file translation_evaluations.hpp.
BF bb::TranslationEvaluations_< BF >::z2 |
Definition at line 21 of file translation_evaluations.hpp.