Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
ecc_trace.test.cpp
Go to the documentation of this file.
1#include <gmock/gmock.h>
2#include <gtest/gtest.h>
3
4#include "barretenberg/vm2/common/field.hpp"
5#include "barretenberg/vm2/testing/macros.hpp"
6#include "barretenberg/vm2/tracegen/ecc_trace.hpp"
7#include "barretenberg/vm2/tracegen/test_trace_container.hpp"
8
9namespace bb::avm2::tracegen {
10namespace {
11
12using testing::ElementsAre;
13using testing::Field;
14
15using R = TestTraceContainer::Row;
16
17TEST(EccTraceGenTest, TraceGenerationAdd)
18{
19 TestTraceContainer trace;
20 EccTraceBuilder builder;
21
22 FF p_x("0x04c95d1b26d63d46918a156cae92db1bcbc4072a27ec81dc82ea959abdbcf16a");
23 FF p_y("0x035b6dd9e63c1370462c74775765d07fc21fd1093cc988149d3aa763bb3dbb60");
24 EmbeddedCurvePoint p(p_x, p_y);
25 FF q_x("0x009242167ec31949c00cbe441cd36757607406e87844fa2c8c4364a4403e66d7");
26 FF q_y("0x0fe3016d64cfa8045609f375284b6b739b5fa282e4cbb75cc7f1687ecc7420e3");
27 EmbeddedCurvePoint q(q_x, q_y);
28 FF r_x("0x2b01df0ef6d941a826bea23bece8243cbcdc159d5e97fbaa2171f028e05ba9b6");
29 FF r_y("0x0cc4c71e882bc62b7b3d1964a8540cb5211339dfcddd2e095fd444bf1aed4f09");
30 EmbeddedCurvePoint r(r_x, r_y);
31 builder.process_add({ { .p = p, .q = q, .result = r } }, trace);
32
33 EXPECT_THAT(trace.as_rows(),
34 ElementsAre(
35 // Only one row.
36 AllOf(ROW_FIELD_EQ(ecc_add_op, 1),
37 ROW_FIELD_EQ(ecc_double_op, 0),
38 ROW_FIELD_EQ(ecc_inv_2_p_y, FF::zero()),
39 ROW_FIELD_EQ(ecc_inv_x_diff, (q.x() - p.x()).invert()),
40 ROW_FIELD_EQ(ecc_inv_y_diff, (q.y() - p.y()).invert()),
41 ROW_FIELD_EQ(ecc_lambda, (q.y() - p.y()) / (q.x() - p.x())),
42 ROW_FIELD_EQ(ecc_p_is_inf, p.is_infinity()),
43 ROW_FIELD_EQ(ecc_p_x, p.x()),
44 ROW_FIELD_EQ(ecc_p_y, p.y()),
45 ROW_FIELD_EQ(ecc_q_is_inf, q.is_infinity()),
46 ROW_FIELD_EQ(ecc_q_x, q.x()),
47 ROW_FIELD_EQ(ecc_q_y, q.y()),
48 ROW_FIELD_EQ(ecc_r_x, r.x()),
49 ROW_FIELD_EQ(ecc_r_y, r.y()),
50 ROW_FIELD_EQ(ecc_result_infinity, r.is_infinity()),
51 ROW_FIELD_EQ(ecc_sel, 1),
52 ROW_FIELD_EQ(ecc_x_match, 0),
53 ROW_FIELD_EQ(ecc_y_match, 0))));
54}
55
56TEST(EccTraceGenTest, TraceGenerationDouble)
57{
58 TestTraceContainer trace;
59 EccTraceBuilder builder;
60
61 FF p_x("0x04c95d1b26d63d46918a156cae92db1bcbc4072a27ec81dc82ea959abdbcf16a");
62 FF p_y("0x035b6dd9e63c1370462c74775765d07fc21fd1093cc988149d3aa763bb3dbb60");
63 EmbeddedCurvePoint p(p_x, p_y);
64 EmbeddedCurvePoint q = p;
65 FF r_x("0x2b01df0ef6d941a826bea23bece8243cbcdc159d5e97fbaa2171f028e05ba9b6");
66 FF r_y("0x0cc4c71e882bc62b7b3d1964a8540cb5211339dfcddd2e095fd444bf1aed4f09");
67 EmbeddedCurvePoint r(r_x, r_y);
68
69 builder.process_add({ { .p = p, .q = q, .result = r } }, trace);
70
71 EXPECT_THAT(trace.as_rows(),
72 ElementsAre(
73 // Only one row.
74 AllOf(ROW_FIELD_EQ(ecc_add_op, 0),
75 ROW_FIELD_EQ(ecc_double_op, 1),
76 ROW_FIELD_EQ(ecc_inv_2_p_y, (p.y() * 2).invert()),
77 ROW_FIELD_EQ(ecc_inv_x_diff, FF::zero()),
78 ROW_FIELD_EQ(ecc_inv_y_diff, FF::zero()),
79 ROW_FIELD_EQ(ecc_lambda, (p.x() * p.x() * 3) / (p.y() * 2)),
80 ROW_FIELD_EQ(ecc_p_is_inf, p.is_infinity()),
81 ROW_FIELD_EQ(ecc_p_x, p.x()),
82 ROW_FIELD_EQ(ecc_p_y, p.y()),
83 ROW_FIELD_EQ(ecc_q_is_inf, q.is_infinity()),
84 ROW_FIELD_EQ(ecc_q_x, p.x()),
85 ROW_FIELD_EQ(ecc_q_y, p.y()),
86 ROW_FIELD_EQ(ecc_r_x, r.x()),
87 ROW_FIELD_EQ(ecc_r_y, r.y()),
88 ROW_FIELD_EQ(ecc_result_infinity, r.is_infinity()),
89 ROW_FIELD_EQ(ecc_sel, 1),
90 ROW_FIELD_EQ(ecc_x_match, 1),
91 ROW_FIELD_EQ(ecc_y_match, 1))));
92}
93
94TEST(EccTraceGenTest, TraceGenerationInfResult)
95{
96 TestTraceContainer trace;
97 EccTraceBuilder builder;
98
99 FF p_x("0x04c95d1b26d63d46918a156cae92db1bcbc4072a27ec81dc82ea959abdbcf16a");
100 FF p_y("0x035b6dd9e63c1370462c74775765d07fc21fd1093cc988149d3aa763bb3dbb60");
101 EmbeddedCurvePoint p(p_x, p_y);
102
103 EmbeddedCurvePoint q(p.x(), -p.y());
104 EmbeddedCurvePoint r = p + q;
105
106 builder.process_add({ { .p = p, .q = q, .result = r } }, trace);
107
108 EXPECT_THAT(trace.as_rows(),
109 ElementsAre(
110 // Only one row.
111 AllOf(ROW_FIELD_EQ(ecc_add_op, 0),
112 ROW_FIELD_EQ(ecc_double_op, 0),
113 ROW_FIELD_EQ(ecc_inv_2_p_y, 0),
114 ROW_FIELD_EQ(ecc_inv_x_diff, FF::zero()),
115 ROW_FIELD_EQ(ecc_inv_y_diff, (q.y() - p.y()).invert()),
116 ROW_FIELD_EQ(ecc_lambda, 0),
117 ROW_FIELD_EQ(ecc_p_is_inf, p.is_infinity()),
118 ROW_FIELD_EQ(ecc_p_x, p.x()),
119 ROW_FIELD_EQ(ecc_p_y, p.y()),
120 ROW_FIELD_EQ(ecc_q_is_inf, q.is_infinity()),
121 ROW_FIELD_EQ(ecc_q_x, q.x()),
122 ROW_FIELD_EQ(ecc_q_y, q.y()),
123 ROW_FIELD_EQ(ecc_r_x, r.x()),
124 ROW_FIELD_EQ(ecc_r_y, r.y()),
125 ROW_FIELD_EQ(ecc_result_infinity, r.is_infinity()),
126 ROW_FIELD_EQ(ecc_sel, 1),
127 ROW_FIELD_EQ(ecc_x_match, 1),
128 ROW_FIELD_EQ(ecc_y_match, 0))));
129}
130
131TEST(EccTraceGenTest, TraceGenerationInfAdd)
132{
133 TestTraceContainer trace;
134 EccTraceBuilder builder;
135
136 FF p_x("0x04c95d1b26d63d46918a156cae92db1bcbc4072a27ec81dc82ea959abdbcf16a");
137 FF p_y("0x035b6dd9e63c1370462c74775765d07fc21fd1093cc988149d3aa763bb3dbb60");
138 EmbeddedCurvePoint p(p_x, p_y);
139
140 // We always assume infinity coordinates have been normalized to (0,0) before reaching tracegen
141 EmbeddedCurvePoint q = EmbeddedCurvePoint::infinity();
142 EmbeddedCurvePoint r = p;
143
144 builder.process_add({ { .p = p, .q = q, .result = r } }, trace);
145
146 EXPECT_THAT(trace.as_rows(),
147 ElementsAre(
148 // Only one row.
149 AllOf(ROW_FIELD_EQ(ecc_add_op, 1),
150 ROW_FIELD_EQ(ecc_double_op, 0),
151 ROW_FIELD_EQ(ecc_inv_2_p_y, 0),
152 ROW_FIELD_EQ(ecc_inv_x_diff, (q.x() - p.x()).invert()),
153 ROW_FIELD_EQ(ecc_inv_y_diff, (q.y() - p.y()).invert()),
154 ROW_FIELD_EQ(ecc_lambda, (q.y() - p.y()) / (q.x() - p.x())),
155 ROW_FIELD_EQ(ecc_p_is_inf, p.is_infinity()),
156 ROW_FIELD_EQ(ecc_p_x, p.x()),
157 ROW_FIELD_EQ(ecc_p_y, p.y()),
158 ROW_FIELD_EQ(ecc_q_is_inf, q.is_infinity()),
159 ROW_FIELD_EQ(ecc_q_x, q.x()),
160 ROW_FIELD_EQ(ecc_q_y, q.y()),
161 ROW_FIELD_EQ(ecc_r_x, r.x()),
162 ROW_FIELD_EQ(ecc_r_y, r.y()),
163 ROW_FIELD_EQ(ecc_result_infinity, r.is_infinity()),
164 ROW_FIELD_EQ(ecc_sel, 1),
165 ROW_FIELD_EQ(ecc_x_match, 0),
166 ROW_FIELD_EQ(ecc_y_match, 0))));
167}
168
169TEST(EccTraceGenTest, TraceGenerationInfDouble)
170{
171 TestTraceContainer trace;
172 EccTraceBuilder builder;
173
174 EmbeddedCurvePoint p = EmbeddedCurvePoint::infinity();
175 EmbeddedCurvePoint r = p;
176
177 builder.process_add({ { .p = p, .q = p, .result = r } }, trace);
178
179 EXPECT_THAT(trace.as_rows(),
180 ElementsAre(
181 // Only one row.
182 AllOf(ROW_FIELD_EQ(ecc_add_op, 0),
183 ROW_FIELD_EQ(ecc_double_op, 1),
184 ROW_FIELD_EQ(ecc_inv_2_p_y, 0),
185 ROW_FIELD_EQ(ecc_inv_x_diff, 0),
186 ROW_FIELD_EQ(ecc_inv_y_diff, 0),
187 ROW_FIELD_EQ(ecc_lambda, 0),
188 ROW_FIELD_EQ(ecc_p_is_inf, p.is_infinity()),
189 ROW_FIELD_EQ(ecc_p_x, p.x()),
190 ROW_FIELD_EQ(ecc_p_y, p.y()),
191 ROW_FIELD_EQ(ecc_q_is_inf, p.is_infinity()),
192 ROW_FIELD_EQ(ecc_q_x, p.x()),
193 ROW_FIELD_EQ(ecc_q_y, p.y()),
194 ROW_FIELD_EQ(ecc_r_x, r.x()),
195 ROW_FIELD_EQ(ecc_r_y, r.y()),
196 ROW_FIELD_EQ(ecc_result_infinity, r.is_infinity()),
197 ROW_FIELD_EQ(ecc_sel, 1),
198 ROW_FIELD_EQ(ecc_x_match, 1),
199 ROW_FIELD_EQ(ecc_y_match, 1))));
200}
201
202} // namespace
203} // namespace bb::avm2::tracegen
bb::avm2::tracegen::TestTraceContainer::as_rows
std::vector< AvmFullRowConstRef > as_rows() const
Definition test_trace_container.cpp:28
builder
AluTraceBuilder builder
Definition alu.test.cpp:124
trace
TestTraceContainer trace
Definition data_copy.test.cpp:63
ecc_trace.hpp
ROW_FIELD_EQ
#define ROW_FIELD_EQ(field_name, expression)
Definition macros.hpp:7
bb::avm2::EmbeddedCurvePoint
StandardAffinePoint< AvmFlavorSettings::EmbeddedCurve::AffineElement > EmbeddedCurvePoint
Definition field.hpp:12
bb::TEST
TEST(BoomerangMegaCircuitBuilder, BasicCircuit)
Definition graph_description_megacircuitbuilder.test.cpp:22
test_trace_container.hpp