|
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.