Skip to content

Instantly share code, notes, and snippets.

@dkuehr

dkuehr/gist:b93f4fe23465ec1dad354764093d815c

Created February 27, 2025 19:03
Show Gist options
  • Save dkuehr/b93f4fe23465ec1dad354764093d815c to your computer and use it in GitHub Desktop.
Save dkuehr/b93f4fe23465ec1dad354764093d815c to your computer and use it in GitHub Desktop.
Download ZIP
evaluations Expr
Raw
gistfile1.txt
This file has been truncated, but you can view the full file.
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
Generic,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
1,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
3,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Coefficient(
4,
),
row: Curr,
},
),
),
BinOp(
Mul,
Constant(
Fp(20639433679820548683670800764260994622566536987798392994301801112227803882781),
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
5,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
6,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
8,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Coefficient(
9,
),
row: Curr,
},
),
),
),
),
)
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
CompleteAdd,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Sub,
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
Cache(
CacheId(
0,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
BinOp(
Sub,
Constant(
Fp(1),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
Constant(
Fp(20639433679820548683670800764260994622566536987798392994301801112227803882781),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cache(
CacheId(
0,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(8450862976887177421952887624076656086869361397352756148724438444553006102955),
),
BinOp(
Add,
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
BinOp(
Mul,
Double(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
Double(
Cache(
CacheId(
2,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
Cache(
CacheId(
2,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Constant(
Fp(1),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
0,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Cache(
CacheId(
1,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9710715372990124975052108073522201085846988643571847023586883706250810407096),
),
BinOp(
Sub,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9654307986583073232806021632687131907593581009356573864212257034563683061483),
),
BinOp(
Sub,
BinOp(
Sub,
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(35409083774827463253962098214196728311681801457005282193496598084689263407),
),
BinOp(
Mul,
Cache(
CacheId(
1,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14880437238394681283252577345543516871887832450651248098731048225084680189502),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
1,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
),
),
)
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
VarBaseMul,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
BinOp(
Add,
Cell(
Variable {
col: Witness(
6,
),
row: Next,
},
),
Double(
BinOp(
Add,
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
Double(
BinOp(
Add,
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
Double(
BinOp(
Add,
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
Double(
BinOp(
Add,
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
Double(
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
),
),
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(20639433679820548683670800764260994622566536987798392994301801112227803882781),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(8450862976887177421952887624076656086869361397352756148724438444553006102955),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
),
Constant(
Fp(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9710715372990124975052108073522201085846988643571847023586883706250810407096),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
5,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
),
Cache(
CacheId(
5,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9654307986583073232806021632687131907593581009356573864212257034563683061483),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cache(
CacheId(
5,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(35409083774827463253962098214196728311681801457005282193496598084689263407),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14880437238394681283252577345543516871887832450651248098731048225084680189502),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
),
Constant(
Fp(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(2061564738479689643345615478534524016342398528330233741336311808877553214421),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
8,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
),
Cache(
CacheId(
8,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(25372612832631360131077010933968654998104315859473291821119535715341578772645),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cache(
CacheId(
8,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14598255724872508043018468667453147648655252149611104259667350746234850826706),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(28539520793734999207349868824110782063906421227155664970899555772768757616699),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
Constant(
Fp(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9546957452697340572914519398357426598968750026517165415719447151032758520923),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
11,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
),
Cache(
CacheId(
11,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(21796977864982190868637086155411681174226009823241402789136793701556196603507),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cache(
CacheId(
11,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(20283159610828504837483426899414298425812954166106439661549247945447332733317),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(11650083406714793489984153221891580610037999491624473471377249311945184503965),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
),
Constant(
Fp(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(15418700638206650550185127446428857784516150996574485514721379666836438591962),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
14,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
),
Cache(
CacheId(
14,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(11165386940430161059036045166802975721449212908434977775416752389216041514279),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cache(
CacheId(
14,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(11246181645104923958548304810781978810092193670724921629398244500679890558181),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
6,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Next,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(8289318364903396617255442907312888300425725524664588739929166132113971615837),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
6,
),
row: Next,
},
),
),
Constant(
Fp(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(16438291388395218691387307628799327223438966146781164272750596386287582890818),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
17,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
16,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
15,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
),
Cache(
CacheId(
17,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
16,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
15,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cache(
CacheId(
16,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
15,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
16,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
15,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
0,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cache(
CacheId(
15,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(1873354760915135548791135935362537220254743165389767296635967482955401197299),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
1,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
Cache(
CacheId(
16,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
15,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Next,
},
),
),
Cache(
CacheId(
17,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
16,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
15,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Next,
},
),
),
),
),
),
),
),
),
)
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
EndoMul,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
BinOp(
Mul,
Constant(
Fp(20639433679820548683670800764260994622566536987798392994301801112227803882781),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(8450862976887177421952887624076656086869361397352756148724438444553006102955),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9710715372990124975052108073522201085846988643571847023586883706250810407096),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9654307986583073232806021632687131907593581009356573864212257034563683061483),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cache(
CacheId(
18,
),
BinOp(
Mul,
BinOp(
Add,
Constant(
Fp(1),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
Constant(
Fp(20444556541222657078399132219657928148671392403212669005631716460534733845831),
),
Constant(
Fp(1),
),
),
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Constant(
Fp(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(35409083774827463253962098214196728311681801457005282193496598084689263407),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
Cache(
CacheId(
20,
),
Square(
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
18,
),
BinOp(
Mul,
BinOp(
Add,
Constant(
Fp(1),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
Constant(
Fp(20444556541222657078399132219657928148671392403212669005631716460534733845831),
),
Constant(
Fp(1),
),
),
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
BinOp(
Add,
BinOp(
Mul,
Cache(
CacheId(
22,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cache(
CacheId(
25,
),
BinOp(
Add,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
Double(
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
),
Cache(
CacheId(
22,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14880437238394681283252577345543516871887832450651248098731048225084680189502),
),
BinOp(
Sub,
Square(
Cache(
CacheId(
25,
),
BinOp(
Add,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Square(
Cache(
CacheId(
22,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cache(
CacheId(
20,
),
Square(
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
),
Cache(
CacheId(
18,
),
BinOp(
Mul,
BinOp(
Add,
Constant(
Fp(1),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
Constant(
Fp(20444556541222657078399132219657928148671392403212669005631716460534733845831),
),
Constant(
Fp(1),
),
),
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(2061564738479689643345615478534524016342398528330233741336311808877553214421),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cache(
CacheId(
19,
),
BinOp(
Mul,
BinOp(
Add,
Constant(
Fp(1),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Sub,
Constant(
Fp(20444556541222657078399132219657928148671392403212669005631716460534733845831),
),
Constant(
Fp(1),
),
),
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
Constant(
Fp(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(25372612832631360131077010933968654998104315859473291821119535715341578772645),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cache(
CacheId(
21,
),
Square(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
19,
),
BinOp(
Mul,
BinOp(
Add,
Constant(
Fp(1),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Sub,
Constant(
Fp(20444556541222657078399132219657928148671392403212669005631716460534733845831),
),
Constant(
Fp(1),
),
),
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
BinOp(
Add,
BinOp(
Mul,
Cache(
CacheId(
23,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Cache(
CacheId(
24,
),
BinOp(
Add,
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
Double(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Cache(
CacheId(
23,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14598255724872508043018468667453147648655252149611104259667350746234850826706),
),
BinOp(
Sub,
Square(
Cache(
CacheId(
24,
),
BinOp(
Add,
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Square(
Cache(
CacheId(
23,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cache(
CacheId(
21,
),
Square(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
),
Cache(
CacheId(
19,
),
BinOp(
Mul,
BinOp(
Add,
Constant(
Fp(1),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Sub,
Constant(
Fp(20444556541222657078399132219657928148671392403212669005631716460534733845831),
),
Constant(
Fp(1),
),
),
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(28539520793734999207349868824110782063906421227155664970899555772768757616699),
),
BinOp(
Sub,
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Next,
},
),
),
),
),
)
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
EndoMulScalar,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Sub,
BinOp(
Add,
Double(
Double(
BinOp(
Add,
Double(
Double(
BinOp(
Add,
Double(
Double(
BinOp(
Add,
Double(
Double(
BinOp(
Add,
Double(
Double(
BinOp(
Add,
Double(
Double(
BinOp(
Add,
Double(
Double(
BinOp(
Add,
Double(
Double(
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
BinOp(
Mul,
Constant(
Fp(20639433679820548683670800764260994622566536987798392994301801112227803882781),
),
BinOp(
Sub,
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cache(
CacheId(
26,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
),
),
),
Cache(
CacheId(
27,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
),
),
Cache(
CacheId(
28,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
),
),
),
Cache(
CacheId(
29,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
),
),
),
Cache(
CacheId(
30,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
),
),
),
Cache(
CacheId(
31,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
),
),
),
Cache(
CacheId(
32,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
),
),
),
Cache(
CacheId(
33,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(8450862976887177421952887624076656086869361397352756148724438444553006102955),
),
BinOp(
Sub,
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
BinOp(
Add,
Double(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
BinOp(
Add,
Cache(
CacheId(
26,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
),
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
Constant(
Fp(3),
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
),
),
),
),
BinOp(
Add,
Cache(
CacheId(
27,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Constant(
Fp(3),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
),
),
),
),
BinOp(
Add,
Cache(
CacheId(
28,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
),
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Constant(
Fp(3),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
),
),
),
),
BinOp(
Add,
Cache(
CacheId(
29,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
),
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Constant(
Fp(3),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
),
),
),
),
BinOp(
Add,
Cache(
CacheId(
30,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
),
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Constant(
Fp(3),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
),
),
),
),
BinOp(
Add,
Cache(
CacheId(
31,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
),
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Constant(
Fp(3),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
),
),
),
),
BinOp(
Add,
Cache(
CacheId(
32,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
),
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Constant(
Fp(3),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
),
),
),
),
BinOp(
Add,
Cache(
CacheId(
33,
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(9649340769776349618630915417390658987787685493980520238651558921449989210113),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Constant(
Fp(14474011154664524427946373126085988481681528240970780357977338382174983815166),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Constant(
Fp(4824670384888174809315457708695329493893842746990260119325779460724994605058),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
),
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Constant(
Fp(3),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630336),
),
),
),
),
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9710715372990124975052108073522201085846988643571847023586883706250810407096),
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
Constant(
Fp(11),
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9654307986583073232806021632687131907593581009356573864212257034563683061483),
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Constant(
Fp(11),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(35409083774827463253962098214196728311681801457005282193496598084689263407),
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Constant(
Fp(11),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14880437238394681283252577345543516871887832450651248098731048225084680189502),
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Constant(
Fp(11),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(2061564738479689643345615478534524016342398528330233741336311808877553214421),
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Constant(
Fp(11),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(25372612832631360131077010933968654998104315859473291821119535715341578772645),
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Constant(
Fp(11),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14598255724872508043018468667453147648655252149611104259667350746234850826706),
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Constant(
Fp(11),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fp(28539520793734999207349868824110782063906421227155664970899555772768757616699),
),
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Constant(
Fp(11),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Constant(
Fp(28948022309329048855892746252171976963363056481941560715954676764349967630331),
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
),
),
)
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
Poseidon,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
0,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(12035446894107573964500871153637039653510326950134440362813193268448863222019),
),
Cache(
CacheId(
34,
),
Pow(
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(25461374787957152039031444204194007219326765802730624564074257060397341542093),
),
Cache(
CacheId(
35,
),
Pow(
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27667907157110496066452777015908813333407980290333709698851344970789663080149),
),
Cache(
CacheId(
36,
),
Pow(
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
7,
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(20639433679820548683670800764260994622566536987798392994301801112227803882781),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
1,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(4491931056866994439025447213644536587424785196363427220456343191847333476930),
),
Cache(
CacheId(
34,
),
Pow(
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14743631939509747387607291926699970421064627808101543132147270746750887019919),
),
Cache(
CacheId(
35,
),
Pow(
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9448400033389617131295304336481030167723486090288313334230651810071857784477),
),
Cache(
CacheId(
36,
),
Pow(
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(8450862976887177421952887624076656086869361397352756148724438444553006102955),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
2,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(10525578725509990281643336361904863911009900817790387635342941550657754064843),
),
Cache(
CacheId(
34,
),
Pow(
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27437632000253211280915908546961303399777448677029255413769125486614773776695),
),
Cache(
CacheId(
35,
),
Pow(
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27566319851776897085443681456689352477426926500749993803132851225169606086988),
),
Cache(
CacheId(
36,
),
Pow(
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9710715372990124975052108073522201085846988643571847023586883706250810407096),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
3,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(12035446894107573964500871153637039653510326950134440362813193268448863222019),
),
Cache(
CacheId(
37,
),
Pow(
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(25461374787957152039031444204194007219326765802730624564074257060397341542093),
),
Cache(
CacheId(
38,
),
Pow(
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27667907157110496066452777015908813333407980290333709698851344970789663080149),
),
Cache(
CacheId(
39,
),
Pow(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9654307986583073232806021632687131907593581009356573864212257034563683061483),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
4,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(4491931056866994439025447213644536587424785196363427220456343191847333476930),
),
Cache(
CacheId(
37,
),
Pow(
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14743631939509747387607291926699970421064627808101543132147270746750887019919),
),
Cache(
CacheId(
38,
),
Pow(
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9448400033389617131295304336481030167723486090288313334230651810071857784477),
),
Cache(
CacheId(
39,
),
Pow(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(35409083774827463253962098214196728311681801457005282193496598084689263407),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
5,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(10525578725509990281643336361904863911009900817790387635342941550657754064843),
),
Cache(
CacheId(
37,
),
Pow(
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27437632000253211280915908546961303399777448677029255413769125486614773776695),
),
Cache(
CacheId(
38,
),
Pow(
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27566319851776897085443681456689352477426926500749993803132851225169606086988),
),
Cache(
CacheId(
39,
),
Pow(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14880437238394681283252577345543516871887832450651248098731048225084680189502),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
6,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(12035446894107573964500871153637039653510326950134440362813193268448863222019),
),
Cache(
CacheId(
40,
),
Pow(
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(25461374787957152039031444204194007219326765802730624564074257060397341542093),
),
Cache(
CacheId(
41,
),
Pow(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27667907157110496066452777015908813333407980290333709698851344970789663080149),
),
Cache(
CacheId(
42,
),
Pow(
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(2061564738479689643345615478534524016342398528330233741336311808877553214421),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
7,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(4491931056866994439025447213644536587424785196363427220456343191847333476930),
),
Cache(
CacheId(
40,
),
Pow(
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14743631939509747387607291926699970421064627808101543132147270746750887019919),
),
Cache(
CacheId(
41,
),
Pow(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9448400033389617131295304336481030167723486090288313334230651810071857784477),
),
Cache(
CacheId(
42,
),
Pow(
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(25372612832631360131077010933968654998104315859473291821119535715341578772645),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
8,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(10525578725509990281643336361904863911009900817790387635342941550657754064843),
),
Cache(
CacheId(
40,
),
Pow(
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27437632000253211280915908546961303399777448677029255413769125486614773776695),
),
Cache(
CacheId(
41,
),
Pow(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27566319851776897085443681456689352477426926500749993803132851225169606086988),
),
Cache(
CacheId(
42,
),
Pow(
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14598255724872508043018468667453147648655252149611104259667350746234850826706),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
9,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(12035446894107573964500871153637039653510326950134440362813193268448863222019),
),
Cache(
CacheId(
43,
),
Pow(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(25461374787957152039031444204194007219326765802730624564074257060397341542093),
),
Cache(
CacheId(
44,
),
Pow(
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27667907157110496066452777015908813333407980290333709698851344970789663080149),
),
Cache(
CacheId(
45,
),
Pow(
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(28539520793734999207349868824110782063906421227155664970899555772768757616699),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
10,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(4491931056866994439025447213644536587424785196363427220456343191847333476930),
),
Cache(
CacheId(
43,
),
Pow(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14743631939509747387607291926699970421064627808101543132147270746750887019919),
),
Cache(
CacheId(
44,
),
Pow(
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9448400033389617131295304336481030167723486090288313334230651810071857784477),
),
Cache(
CacheId(
45,
),
Pow(
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9546957452697340572914519398357426598968750026517165415719447151032758520923),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
11,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(10525578725509990281643336361904863911009900817790387635342941550657754064843),
),
Cache(
CacheId(
43,
),
Pow(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27437632000253211280915908546961303399777448677029255413769125486614773776695),
),
Cache(
CacheId(
44,
),
Pow(
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27566319851776897085443681456689352477426926500749993803132851225169606086988),
),
Cache(
CacheId(
45,
),
Pow(
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(21796977864982190868637086155411681174226009823241402789136793701556196603507),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
0,
),
row: Next,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
12,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(12035446894107573964500871153637039653510326950134440362813193268448863222019),
),
Cache(
CacheId(
46,
),
Pow(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(25461374787957152039031444204194007219326765802730624564074257060397341542093),
),
Cache(
CacheId(
47,
),
Pow(
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27667907157110496066452777015908813333407980290333709698851344970789663080149),
),
Cache(
CacheId(
48,
),
Pow(
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(20283159610828504837483426899414298425812954166106439661549247945447332733317),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
1,
),
row: Next,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
13,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(4491931056866994439025447213644536587424785196363427220456343191847333476930),
),
Cache(
CacheId(
46,
),
Pow(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(14743631939509747387607291926699970421064627808101543132147270746750887019919),
),
Cache(
CacheId(
47,
),
Pow(
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(9448400033389617131295304336481030167723486090288313334230651810071857784477),
),
Cache(
CacheId(
48,
),
Pow(
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fp(11650083406714793489984153221891580610037999491624473471377249311945184503965),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Coefficient(
14,
),
row: Curr,
},
),
BinOp(
Mul,
Constant(
Fp(10525578725509990281643336361904863911009900817790387635342941550657754064843),
),
Cache(
CacheId(
46,
),
Pow(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27437632000253211280915908546961303399777448677029255413769125486614773776695),
),
Cache(
CacheId(
47,
),
Pow(
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
7,
),
),
),
),
BinOp(
Mul,
Constant(
Fp(27566319851776897085443681456689352477426926500749993803132851225169606086988),
),
Cache(
CacheId(
48,
),
Pow(
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
7,
),
),
),
),
),
),
),
)
proof_elapsed=14.34942781s
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
Generic,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
1,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
3,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Coefficient(
4,
),
row: Curr,
},
),
),
BinOp(
Mul,
Constant(
Fq(9014244082456864862126681871236792744437593031721498676181822212746775632420),
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
5,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
6,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cell(
Variable {
col: Coefficient(
8,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Coefficient(
9,
),
row: Curr,
},
),
),
),
),
)
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
CompleteAdd,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Sub,
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
Cache(
CacheId(
0,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
BinOp(
Sub,
Constant(
Fq(1),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
Constant(
Fq(9014244082456864862126681871236792744437593031721498676181822212746775632420),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cache(
CacheId(
0,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(19836682102381732624622327304784285619313867528251411852272519772454171284930),
),
BinOp(
Add,
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
BinOp(
Mul,
Double(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
Double(
Cache(
CacheId(
2,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
Cache(
CacheId(
2,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Constant(
Fq(1),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
0,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Cache(
CacheId(
1,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(13475650190090161350040216165174642907188872350531277086711409734017665540577),
),
BinOp(
Sub,
BinOp(
Add,
BinOp(
Add,
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(24208536705582757273714656293392037556107799833899447286130313763388265751736),
),
BinOp(
Sub,
BinOp(
Sub,
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fq(6892332534820873388005002846072410855273009941975898878939498477767719798161),
),
BinOp(
Mul,
Cache(
CacheId(
1,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(5132797265828062179198411337076791371650996889157339745450642614643288493160),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
1,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
),
),
),
)
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
VarBaseMul,
),
row: Curr,
},
),
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
BinOp(
Add,
Cell(
Variable {
col: Witness(
6,
),
row: Next,
},
),
Double(
BinOp(
Add,
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
Double(
BinOp(
Add,
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
Double(
BinOp(
Add,
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
Double(
BinOp(
Add,
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
Double(
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
),
),
),
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(9014244082456864862126681871236792744437593031721498676181822212746775632420),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fq(19836682102381732624622327304784285619313867528251411852272519772454171284930),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
),
Constant(
Fq(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(13475650190090161350040216165174642907188872350531277086711409734017665540577),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
5,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
),
Cache(
CacheId(
5,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(24208536705582757273714656293392037556107799833899447286130313763388265751736),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cache(
CacheId(
5,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
4,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
3,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(6892332534820873388005002846072410855273009941975898878939498477767719798161),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fq(5132797265828062179198411337076791371650996889157339745450642614643288493160),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
),
Constant(
Fq(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(12047160181115611779745781067137167610638044540374457196857361170327325912403),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
8,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
),
Cache(
CacheId(
8,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(28664911350541509205284923008465117415128862458629471448769792150782568448854),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cache(
CacheId(
8,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
7,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
6,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
8,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(18197551363354238691093511548953234568581743681870726076004253034285862119500),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fq(27975469549105143481625819975350223461434918214886479212871391717878406626741),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
Constant(
Fq(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(20441906504799565381434590151083050970064780806247480752914258375880315384012),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
11,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
),
Cache(
CacheId(
11,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(26683566781232039125569609904009302387970224299595013034515400119764143121608),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Add,
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cache(
CacheId(
11,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
10,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
9,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
9,
),
row: Next,
},
),
),
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(21354576408238194895564928300225106243670598708347665980808365410537591329696),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
),
),
),
BinOp(
Mul,
Constant(
Fq(9235188029143734528201676752339275395094923481165033257538877274500172810245),
),
BinOp(
Sub,
BinOp(
Mul,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
BinOp(
Mul,
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
),
Constant(
Fq(1),
),
),
Cell(
Variable {
col: Witness(
1,
),
row: Curr,
},
),
),
),
),
),
),
BinOp(
Mul,
Constant(
Fq(19238472799162377381963256489477357986871379797786239978247258552494249978539),
),
BinOp(
Sub,
BinOp(
Mul,
Cache(
CacheId(
14,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
),
Cache(
CacheId(
14,
),
BinOp(
Sub,
Double(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
BinOp(
Mul,
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
),
),
BinOp(
Mul,
BinOp(
Mul,
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
Cache(
CacheId(
13,
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOp(
Sub,
BinOp(
Sub,
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
),
),
),
BinOp(
Add,
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
Cell(
Variable {
col: Witness(
0,
),
row: Curr,
},
),
),
Cache(
CacheId(
12,
),
BinOp(
Mul,
Cell(
Variable {
col: Witness(
10,
),
row: Next,
},
),
Cell(
Variable {
col: Witness(
10,
),
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment