Skip to content

Instantly share code, notes, and snippets.

@dkuehr

dkuehr/gist:856f72c1678800ed206030a11a8aec39

Created March 4, 2025 14:56
Show Gist options
  • Save dkuehr/856f72c1678800ed206030a11a8aec39 to your computer and use it in GitHub Desktop.
Save dkuehr/856f72c1678800ed206030a11a8aec39 to your computer and use it in GitHub Desktop.
Download ZIP
expr flat1
Raw
gistfile1.txt
expressions: BinOp(
Mul,
Cell(
Variable {
col: Index(
Generic,
),
row: Curr,
},
),
BinOpMulti(
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(20510061889604639165093152659711673006592161043457409615486983642197189179763),
),
BinOpMulti(
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,
},
),
BinOpMulti(
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(20510061889604639165093152659711673006592161043457409615486983642197189179763),
),
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(13131232346292817030709661927619111435715631741488197383163347737860239468087),
),
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(10320626020800835179962397105973422204004123017821281458667263591612139822909),
),
BinOp(
Sub,
BinOpMulti(
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(9800350631655833051069854846982818408801237621690987129890029717633612397390),
),
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(7969751263673045235162131210582327719421787003108924574360129534967775125094),
),
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(5965548485906212787671383825265272342109151678636085755409177695490336375100),
),
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,
},
),
BinOpMulti(
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(20510061889604639165093152659711673006592161043457409615486983642197189179763),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
),
),
BinOp(
Mul,
Constant(
Fp(13131232346292817030709661927619111435715631741488197383163347737860239468087),
),
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(10320626020800835179962397105973422204004123017821281458667263591612139822909),
),
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(9800350631655833051069854846982818408801237621690987129890029717633612397390),
),
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(7969751263673045235162131210582327719421787003108924574360129534967775125094),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
3,
),
row: Next,
},
),
),
),
BinOp(
Mul,
Constant(
Fp(5965548485906212787671383825265272342109151678636085755409177695490336375100),
),
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(3710479252216512769760202362791002937078154631673861307988698798888143479959),
),
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(15527994143292214487446430784304033689955944161807823119643601149262112281723),
),
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(7573718541969721174009540182824061771692974788762370797502909570184436738627),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
4,
),
row: Next,
},
),
),
),
BinOp(
Mul,
Constant(
Fp(758087825495404580189565340477145172992061431771131376874197529897406626861),
),
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(15650997375244491833720406631758253354614925806683126463901437410354996941961),
),
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(14552428951355405433270671366291745068971166687291136173644036373549494324054),
),
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(23110104216030064260809160743425580176524889087339098243064466278149108156958),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
5,
),
row: Next,
},
),
),
),
BinOp(
Mul,
Constant(
Fp(1120887028734889205823912710368026702451503416444478812223629348267293385763),
),
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(12072142869917562097996584423363834276352365133563621526667028452550772950768),
),
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(6928529404525036639866354034687484769537604112510622773015409096623820937287),
),
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(1762468762676549145862749703337184666594836484855198004119911577558027557805),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
6,
),
row: Next,
},
),
),
Cell(
Variable {
col: Witness(
6,
),
row: Next,
},
),
),
),
BinOp(
Mul,
Constant(
Fp(20559012147105682727254582148240687953328978195255583676691111215107276442303),
),
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(23447674751076265099642498284884040377920614687060697906715890752230968125553),
),
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(16901864768246185858300854152316943955524460402107744933746954716103685490318),
),
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,
},
),
BinOpMulti(
Add,
[
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
),
BinOp(
Mul,
Constant(
Fp(20510061889604639165093152659711673006592161043457409615486983642197189179763),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
Constant(
Fp(13131232346292817030709661927619111435715631741488197383163347737860239468087),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
Constant(
Fp(10320626020800835179962397105973422204004123017821281458667263591612139822909),
),
BinOp(
Sub,
Square(
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
),
),
BinOp(
Mul,
Constant(
Fp(9800350631655833051069854846982818408801237621690987129890029717633612397390),
),
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(7969751263673045235162131210582327719421787003108924574360129534967775125094),
),
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(5965548485906212787671383825265272342109151678636085755409177695490336375100),
),
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(3710479252216512769760202362791002937078154631673861307988698798888143479959),
),
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(15527994143292214487446430784304033689955944161807823119643601149262112281723),
),
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(7573718541969721174009540182824061771692974788762370797502909570184436738627),
),
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(758087825495404580189565340477145172992061431771131376874197529897406626861),
),
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,
},
),
BinOpMulti(
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(20510061889604639165093152659711673006592161043457409615486983642197189179763),
),
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(13131232346292817030709661927619111435715631741488197383163347737860239468087),
),
BinOp(
Sub,
BinOpMulti(
Add,
[
Double(
BinOpMulti(
Add,
[
Double(
BinOpMulti(
Add,
[
Double(
BinOpMulti(
Add,
[
Double(
BinOpMulti(
Add,
[
Double(
BinOpMulti(
Add,
[
Double(
BinOpMulti(
Add,
[
Double(
BinOpMulti(
Add,
[
Double(
Cell(
Variable {
col: Witness(
3,
),
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,
},
),
),
),
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),
),
],
),
),
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(
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),
),
],
),
),
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(
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),
),
],
),
),
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(
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),
),
],
),
),
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(
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),
),
],
),
),
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(
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),
),
],
),
),
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(
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),
),
],
),
),
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(
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(10320626020800835179962397105973422204004123017821281458667263591612139822909),
),
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(9800350631655833051069854846982818408801237621690987129890029717633612397390),
),
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(7969751263673045235162131210582327719421787003108924574360129534967775125094),
),
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(5965548485906212787671383825265272342109151678636085755409177695490336375100),
),
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(3710479252216512769760202362791002937078154631673861307988698798888143479959),
),
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(15527994143292214487446430784304033689955944161807823119643601149262112281723),
),
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(7573718541969721174009540182824061771692974788762370797502909570184436738627),
),
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(758087825495404580189565340477145172992061431771131376874197529897406626861),
),
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,
},
),
BinOpMulti(
Add,
[
BinOp(
Sub,
Cell(
Variable {
col: Witness(
6,
),
row: Curr,
},
),
BinOpMulti(
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(20510061889604639165093152659711673006592161043457409615486983642197189179763),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
7,
),
row: Curr,
},
),
BinOpMulti(
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(13131232346292817030709661927619111435715631741488197383163347737860239468087),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
8,
),
row: Curr,
},
),
BinOpMulti(
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(10320626020800835179962397105973422204004123017821281458667263591612139822909),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
9,
),
row: Curr,
},
),
BinOpMulti(
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(9800350631655833051069854846982818408801237621690987129890029717633612397390),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
10,
),
row: Curr,
},
),
BinOpMulti(
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(7969751263673045235162131210582327719421787003108924574360129534967775125094),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
11,
),
row: Curr,
},
),
BinOpMulti(
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(5965548485906212787671383825265272342109151678636085755409177695490336375100),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
12,
),
row: Curr,
},
),
BinOpMulti(
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(3710479252216512769760202362791002937078154631673861307988698798888143479959),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
13,
),
row: Curr,
},
),
BinOpMulti(
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(15527994143292214487446430784304033689955944161807823119643601149262112281723),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
14,
),
row: Curr,
},
),
BinOpMulti(
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(7573718541969721174009540182824061771692974788762370797502909570184436738627),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
3,
),
row: Curr,
},
),
BinOpMulti(
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(758087825495404580189565340477145172992061431771131376874197529897406626861),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
4,
),
row: Curr,
},
),
BinOpMulti(
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(15650997375244491833720406631758253354614925806683126463901437410354996941961),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
5,
),
row: Curr,
},
),
BinOpMulti(
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(14552428951355405433270671366291745068971166687291136173644036373549494324054),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
0,
),
row: Next,
},
),
BinOpMulti(
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(23110104216030064260809160743425580176524889087339098243064466278149108156958),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
1,
),
row: Next,
},
),
BinOpMulti(
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(1120887028734889205823912710368026702451503416444478812223629348267293385763),
),
BinOp(
Sub,
Cell(
Variable {
col: Witness(
2,
),
row: Next,
},
),
BinOpMulti(
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,
),
),
),
],
),
),
),
],
),
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment