AggregatorVerifierStep1.go

package main

import (
	"github.com/consensys/gnark/frontend"
)

func VerifyProof1(
	api frontend.API,
	transcript []frontend.Variable,
	aux []frontend.Variable,
	buf [43]frontend.Variable,
) ([43]frontend.Variable, error) {
	buf[10], buf[11] = transcript[102], transcript[103]
	buf[12] = fr_from_string("1")
	err := ecc_mul(api, buf[:], 10)
	if err != nil {
		return [43]frontend.Variable{}, err
	}
	buf[17] = fr_mul(api,
		fr_from_string("21710372849001950800533397158415938114909991150039389063546734567764856596059"),
		buf[6],
	)
	buf[18] = fr_div(api,
		fr_from_string("1"),
		fr_add(api, buf[17], fr_neg(api, buf[6])),
		aux[0],
	)
	buf[19] = fr_mul(api,
		fr_from_string("8374374965308410102411073611984011876711565317741801500439755773472076597347"),
		buf[6],
	)
	buf[20] = fr_div(api,
		fr_from_string("1"),
		fr_add(api, buf[17], fr_neg(api, buf[19])),
		aux[1],
	)
	buf[21] = fr_mul(api, buf[18], buf[20])
	buf[22] = fr_div(api,
		fr_from_string("1"),
		fr_add(api, buf[6], fr_neg(api, buf[17])),
		aux[2],
	)
	buf[23] = fr_div(api,
		fr_from_string("1"),
		fr_add(api, buf[6], fr_neg(api, buf[19])),
		aux[3],
	)
	buf[24] = fr_mul(api, buf[22], buf[23])
	buf[25] = fr_div(api,
		fr_from_string("1"),
		fr_add(api, buf[19], fr_neg(api, buf[17])),
		aux[4],
	)
	buf[26] = fr_div(api,
		fr_from_string("1"),
		fr_add(api, buf[19], fr_neg(api, buf[6])),
		aux[5],
	)
	buf[27] = fr_mul(api, buf[25], buf[26])
	buf[28] =
		fr_neg(api, fr_mul(api, buf[18], buf[6]))
	buf[29] = fr_mul(api, buf[20], buf[19])
	buf[18] = fr_add(api,
		fr_mul(api, buf[28], buf[20]),
		fr_neg(api, fr_mul(api, buf[18], buf[29])),
	)
	buf[20] =
		fr_neg(api, fr_mul(api, buf[22], buf[17]))
	buf[30] = fr_mul(api, buf[23], buf[19])
	buf[22] = fr_add(api,
		fr_mul(api, buf[20], buf[23]),
		fr_neg(api, fr_mul(api, buf[22], buf[30])),
	)
	buf[31] =
		fr_neg(api, fr_mul(api, buf[25], buf[17]))
	buf[32] = fr_mul(api, buf[26], buf[6])
	buf[25] = fr_add(api,
		fr_mul(api, buf[31], buf[26]),
		fr_neg(api, fr_mul(api, buf[25], buf[32])),
	)
	buf[33] = fr_add(api,
		fr_mul(api,
			fr_add(api,
				fr_add(api,
					fr_mul(api, buf[21], transcript[81]),
					fr_mul(api, buf[24], transcript[79]),
				),
				fr_mul(api, buf[27], transcript[80]),
			),
			buf[9],
		),
		fr_add(api,
			fr_add(api,
				fr_mul(api, buf[18], transcript[81]),
				fr_mul(api, buf[22], transcript[79]),
			),
			fr_mul(api, buf[25], transcript[80]),
		),
	)
	buf[28] = fr_neg(api, fr_mul(api, buf[28], buf[29]))
	buf[20] = fr_neg(api, fr_mul(api, buf[20], buf[30]))
	buf[29] = fr_neg(api, fr_mul(api, buf[31], buf[32]))
	buf[31] = fr_mul(api,
		buf[7],
		fr_add(api,
			fr_mul(api, buf[33], buf[9]),
			fr_add(api,
				fr_add(api,
					fr_mul(api, buf[28], transcript[81]),
					fr_mul(api, buf[20], transcript[79]),
				),
				fr_mul(api, buf[29], transcript[80]),
			),
		),
	)
	buf[33] = fr_add(api,
		fr_mul(api,
			fr_add(api,
				fr_add(api,
					fr_mul(api, buf[21], transcript[84]),
					fr_mul(api, buf[24], transcript[82]),
				),
				fr_mul(api, buf[27], transcript[83]),
			),
			buf[9],
		),
		fr_add(api,
			fr_add(api,
				fr_mul(api, buf[18], transcript[84]),
				fr_mul(api, buf[22], transcript[82]),
			),
			fr_mul(api, buf[25], transcript[83]),
		),
	)
	buf[31] = fr_add(api,
		buf[31],
		fr_add(api,
			fr_mul(api, buf[33], buf[9]),
			fr_add(api,
				fr_add(api,
					fr_mul(api, buf[28], transcript[84]),
					fr_mul(api, buf[20], transcript[82]),
				),
				fr_mul(api, buf[29], transcript[83]),
			),
		),
	)
	buf[18] = fr_add(api,
		fr_mul(api,
			fr_add(api,
				fr_add(api,
					fr_mul(api, buf[21], transcript[87]),
					fr_mul(api, buf[24], transcript[85]),
				),
				fr_mul(api, buf[27], transcript[86]),
			),
			buf[9],
		),
		fr_add(api,
			fr_add(api,
				fr_mul(api, buf[18], transcript[87]),
				fr_mul(api, buf[22], transcript[85]),
			),
			fr_mul(api, buf[25], transcript[86]),
		),
	)
	buf[18] = fr_add(api,
		fr_mul(api, buf[7], buf[31]),
		fr_add(api,
			fr_mul(api, buf[18], buf[9]),
			fr_add(api,
				fr_add(api,
					fr_mul(api, buf[28], transcript[87]),
					fr_mul(api, buf[20], transcript[85]),
				),
				fr_mul(api, buf[29], transcript[86]),
			),
		),
	)
	buf[20] = fr_mul(api,
		fr_from_string("9741553891420464328295280489650144566903017206473301385034033384879943874347"),
		buf[6],
	)
	buf[21] = fr_div(api,
		fr_from_string("1"),
		fr_add(api, buf[20], fr_neg(api, buf[6])),
		aux[6],
	)
	buf[22] = fr_div(api,
		fr_from_string("1"),
		fr_add(api, buf[6], fr_neg(api, buf[20])),
		aux[7],
	)
	buf[24] = fr_neg(api, fr_mul(api, buf[21], buf[6]))
	buf[25] = fr_neg(api, fr_mul(api, buf[22], buf[20]))
	buf[27] = fr_mul(api,
		buf[7],
		fr_add(api,
			fr_mul(api,
				fr_add(api,
					fr_mul(api, buf[21], transcript[93]),
					fr_mul(api, buf[22], transcript[92]),
				),
				buf[9],
			),
			fr_add(api,
				fr_mul(api, buf[24], transcript[93]),
				fr_mul(api, buf[25], transcript[92]),
			),
		),
	)
	buf[21] = fr_add(api,
		buf[27],
		fr_add(api,
			fr_mul(api,
				fr_add(api,
					fr_mul(api, buf[21], transcript[98]),
					fr_mul(api, buf[22], transcript[97]),
				),
				buf[9],
			),
			fr_add(api,
				fr_mul(api, buf[24], transcript[98]),
				fr_mul(api, buf[25], transcript[97]),
			),
		),
	)
	buf[17] = fr_add(api,
		buf[9],
		fr_neg(api, buf[17]),
	)
	buf[22] = fr_add(api,
		buf[9],
		fr_neg(api, buf[19]),
	)
	buf[24] = fr_mul(api,
		fr_from_string("11211301017135681023579411905410872569206244553457844956874280139879520583390"),
		buf[6],
	)
	buf[25] = fr_add(api,
		buf[9],
		fr_neg(api, buf[24]),
	)
	buf[20] = fr_add(api,
		buf[9],
		fr_neg(api, buf[20]),
	)
	buf[27] = fr_div(api,
		fr_from_string("1"),
		fr_mul(api, buf[20], buf[25]),
		aux[8],
	)
	buf[28] = fr_mul(api,
		fr_mul(api,
			fr_mul(api, buf[17], buf[22]),
			buf[25],
		),
		buf[27],
	)
	buf[29] = fr_mul(api,
		buf[7],
		fr_add(api,
			fr_mul(api,
				buf[7],
				fr_add(api,
					fr_mul(api, buf[7], transcript[44]),
					transcript[45],
				),
			),
			transcript[46],
		),
	)
	buf[29] = fr_add(api,
		fr_mul(api,
			buf[7],
			fr_add(api,
				fr_mul(api,
					buf[7],
					fr_add(api, buf[29], transcript[47]),
				),
				transcript[48],
			),
		),
		transcript[51],
	)
	buf[29] = fr_mul(api,
		buf[7],
		fr_add(api,
			fr_mul(api,
				buf[7],
				fr_add(api,
					fr_mul(api, buf[7], buf[29]),
					transcript[94],
				),
			),
			transcript[99],
		),
	)
	buf[29] = fr_add(api,
		fr_mul(api,
			buf[7],
			fr_add(api,
				fr_mul(api,
					buf[7],
					fr_add(api, buf[29], transcript[58]),
				),
				transcript[59],
			),
		),
		transcript[60],
	)
	buf[29] = fr_mul(api,
		buf[7],
		fr_add(api,
			fr_mul(api,
				buf[7],
				fr_add(api,
					fr_mul(api, buf[7], buf[29]),
					transcript[61],
				),
			),
			transcript[62],
		),
	)
	buf[29] = fr_add(api,
		fr_mul(api,
			buf[7],
			fr_add(api,
				fr_mul(api,
					buf[7],
					fr_add(api, buf[29], transcript[63]),
				),
				transcript[64],
			),
		),
		transcript[65],
	)
	buf[29] = fr_mul(api,
		buf[7],
		fr_add(api,
			fr_mul(api,
				buf[7],
				fr_add(api,
					fr_mul(api, buf[7], buf[29]),
					transcript[66],
				),
			),
			transcript[67],
		),
	)
	buf[29] = fr_add(api,
		fr_mul(api,
			buf[7],
			fr_add(api,
				fr_mul(api,
					buf[7],
					fr_add(api, buf[29], transcript[68]),
				),
				transcript[69],
			),
		),
		transcript[70],
	)
	buf[29] = fr_mul(api,
		buf[7],
		fr_add(api,
			fr_mul(api,
				buf[7],
				fr_add(api,
					fr_mul(api, buf[7], buf[29]),
					transcript[72],
				),
			),
			transcript[73],
		),
	)
	buf[29] = fr_add(api,
		fr_mul(api,
			buf[7],
			fr_add(api,
				fr_mul(api,
					buf[7],
					fr_add(api, buf[29], transcript[74]),
				),
				transcript[75],
			),
		),
		transcript[76],
	)
	buf[29] = fr_mul(api,
		buf[7],
		fr_add(api,
			fr_mul(api,
				buf[7],
				fr_add(api,
					fr_mul(api, buf[7], buf[29]),
					transcript[77],
				),
			),
			transcript[78],
		),
	)
	buf[31] = fr_add(api,
		fr_add(api,
			fr_add(api,
				fr_add(api,
					transcript[58],
					fr_mul(api,
						transcript[50],
						transcript[59],
					),
				),
				fr_mul(api, transcript[45], transcript[60]),
			),
			fr_mul(api, transcript[46], transcript[61]),
		),
		fr_mul(api, transcript[47], transcript[62]),
	)
	buf[31] = fr_add(api,
		fr_add(api,
			fr_add(api,
				fr_add(api,
					buf[31],
					fr_mul(api,
						transcript[48],
						transcript[63],
					),
				),
				fr_mul(api, transcript[49], transcript[64]),
			),
			fr_mul(api,
				fr_mul(api, transcript[45], transcript[46]),
				transcript[65],
			),
		),
		fr_mul(api,
			fr_mul(api, transcript[47], transcript[48]),
			transcript[66],
		),
	)
	buf[33] = fr_add(api,
		transcript[70],
		fr_from_string("21888242871839275222246405745257275088548364400416034343698204186575808495615"),
	)
	buf[34] = fr_add(api,
		transcript[70],
		fr_from_string("21888242871839275222246405745257275088548364400416034343698204186575808495614"),
	)
	buf[35] = fr_mul(api,
		fr_mul(api,
			fr_mul(api,
				fr_add(api,
					transcript[51],
					fr_neg(api, transcript[52]),
				),
				transcript[70],
			),
			buf[33],
		),
		buf[34],
	)
	buf[36] = fr_add(api,
		fr_add(api,
			transcript[51],
			fr_neg(api, transcript[53]),
		),
		fr_neg(api, fr_mul(api, transcript[54], fr_from_string("262144"))),
	)
	buf[37] = fr_mul(api,
		fr_add(api,
			fr_add(api,
				buf[36],
				fr_neg(api, fr_mul(api,
					transcript[52],
					fr_from_string("68719476736"),
				)),
			),
			fr_neg(api, fr_mul(api,
				transcript[55],
				fr_from_string("18014398509481984"),
			)),
		),
		transcript[70],
	)
	buf[38] = fr_add(api,
		transcript[70],
		fr_from_string("21888242871839275222246405745257275088548364400416034343698204186575808495616"),
	)
	buf[31] = fr_mul(api,
		fr_add(api,
			fr_mul(api,
				fr_add(api,
					fr_mul(api, buf[31], buf[5]),
					buf[35],
				),
				buf[5],
			),
			fr_mul(api,
				fr_mul(api, buf[37], buf[38]),
				buf[34],
			),
		),
		buf[5],
	)
	buf[34] = fr_add(api,
		fr_add(api,
			fr_add(api,
				buf[36],
				fr_neg(api, fr_mul(api,
					transcript[56],
					fr_from_string("68719476736"),
				)),
			),
			fr_neg(api, fr_mul(api,
				transcript[52],
				fr_from_string("18014398509481984"),
			)),
		),
		fr_neg(api, fr_mul(api,
			transcript[55],
			fr_from_string("4722366482869645213696"),
		)),
	)
	buf[34] = fr_mul(api,
		fr_mul(api,
			fr_add(api,
				buf[34],
				fr_neg(api, fr_mul(api,
					transcript[57],
					fr_from_string("1237940039285380274899124224"),
				)),
			),
			transcript[70],
		),
		buf[38],
	)
	buf[35] = fr_pow(api, buf[6], fr_from_string("8388608"))
	buf[36] = fr_add(api, buf[35], fr_neg(api, fr_from_string("1")))
	buf[37] = fr_div(api,
		fr_mul(api,
			fr_from_string("21888240262557392955334514970720457388010314637169927192662615958087340972065"),
			buf[36],
		),
		fr_add(api, buf[6], fr_neg(api, fr_from_string("1"))),
		aux[9],
	)
	buf[31] = fr_mul(api,
		fr_add(api,
			fr_mul(api,
				fr_add(api,
					buf[31],
					fr_mul(api, buf[34], buf[33]),
				),
				buf[5],
			),
			fr_mul(api,
				buf[37],
				fr_add(api,
					fr_from_string("1"),
					fr_neg(api, transcript[79]),
				),
			),
		),
		buf[5],
	)
	buf[33] = fr_div(api,
		fr_mul(api,
			fr_from_string("4976187549286291281196346419790865785215437125361463174887299780224677482739"),
			buf[36],
		),
		fr_add(api,
			buf[6],
			fr_neg(api, fr_from_string("21710372849001950800533397158415938114909991150039389063546734567764856596059")),
		),
		aux[10],
	)
	buf[31] = fr_mul(api,
		fr_add(api,
			buf[31],
			fr_mul(api,
				buf[33],
				fr_add(api,
					fr_mul(api,
						transcript[88],
						transcript[88],
					),
					fr_neg(api, transcript[88]),
				),
			),
		),
		buf[5],
	)
	buf[31] = fr_add(api,
		fr_mul(api,
			fr_add(api,
				buf[31],
				fr_mul(api,
					fr_add(api,
						transcript[82],
						fr_neg(api, transcript[81]),
					),
					buf[37],
				),
			),
			buf[5],
		),
		fr_mul(api,
			fr_add(api,
				transcript[85],
				fr_neg(api, transcript[84]),
			),
			buf[37],
		),
	)
	buf[34] = fr_add(api, transcript[46], buf[4])
	buf[38] = fr_add(api, transcript[45], buf[4])
	buf[39] = fr_mul(api, buf[3], buf[6])
	buf[34] = fr_add(api,
		fr_mul(api,
			fr_add(api,
				buf[34],
				fr_mul(api, buf[3], transcript[73]),
			),
			fr_mul(api,
				fr_add(api,
					buf[38],
					fr_mul(api, buf[3], transcript[72]),
				),
				transcript[80],
			),
		),
		fr_neg(api, fr_mul(api,
			fr_add(api,
				buf[34],
				fr_mul(api,
					fr_from_string("4131629893567559867359510883348571134090853742863529169391034518566172092834"),
					buf[39],
				),
			),
			fr_mul(api,
				fr_add(api, buf[38], buf[39]),
				transcript[79],
			),
		)),
	)
	buf[38] = fr_add(api,
		fr_add(api,
			fr_add(api,
				fr_div(api,
					fr_mul(api,
						fr_from_string("17545179510056424625657753961500172777187948487824275719647175633757629801999"),
						buf[36],
					),
					fr_add(api,
						buf[6],
						fr_neg(api, fr_from_string("1887003188133998471169152042388914354640772748308168868301418279904560637395")),
					),
					aux[11],
				),
				fr_div(api,
					fr_mul(api,
						fr_from_string("12181902470161097505840471953356915228510866946798053228669051859673065660797"),
						buf[36],
					),
					fr_add(api,
						buf[6],
						fr_neg(api, fr_from_string("2785514556381676080176937710880804108647911392478702105860685610379369825016")),
					),
					aux[12],
				),
			),
			fr_div(api,
				fr_mul(api,
					fr_from_string("3094683119308499972127188652296432785995218440930254516456812473854441617488"),
					buf[36],
				),
				fr_add(api,
					buf[6],
					fr_neg(api, fr_from_string("14655294445420895451632927078981340937842238432098198055057679026789553137428")),
				),
				aux[13],
			),
		),
		fr_div(api,
			fr_mul(api,
				fr_from_string("17403859010271654340651602860211012227656903909453797585120745724534928821531"),
				buf[36],
			),
			fr_add(api,
				buf[6],
				fr_neg(api, fr_from_string("8734126352828345679573237859165904705806588461301144420590422589042130041188")),
			),
			aux[14],
		),
	)
	buf[38] = fr_add(api,
		fr_from_string("1"),
		fr_neg(api, fr_add(api,
			buf[33],
			fr_add(api,
				buf[38],
				fr_div(api,
					fr_mul(api,
						fr_from_string("7444483286096152693477325065105185543054922671492455540957072536952082259082"),
						buf[36],
					),
					fr_add(api,
						buf[6],
						fr_neg(api, fr_from_string("9741553891420464328295280489650144566903017206473301385034033384879943874347")),
					),
					aux[15],
				),
			),
		)),
	)
	buf[31] = fr_add(api,
		fr_mul(api,
			fr_add(api,
				fr_mul(api, buf[31], buf[5]),
				fr_mul(api,
					fr_add(api,
						transcript[88],
						fr_neg(api, transcript[87]),
					),
					buf[37],
				),
			),
			buf[5],
		),
		fr_mul(api, buf[34], buf[38]),
	)
	buf[34] = fr_add(api, transcript[48], buf[4])
	buf[40] = fr_add(api, transcript[47], buf[4])
	buf[41] = fr_pow(api,
		fr_from_string("4131629893567559867359510883348571134090853742863529169391034518566172092834"),
		fr_from_string("2"),
	)
	buf[41] = fr_mul(api, buf[39], buf[41])
	buf[34] = fr_add(api,
		fr_mul(api,
			fr_add(api,
				buf[34],
				fr_mul(api, buf[3], transcript[75]),
			),
			fr_mul(api,
				fr_add(api,
					buf[40],
					fr_mul(api, buf[3], transcript[74]),
				),
				transcript[83],
			),
		),
		fr_neg(api, fr_mul(api,
			fr_add(api,
				buf[34],
				fr_mul(api,
					fr_from_string("4131629893567559867359510883348571134090853742863529169391034518566172092834"),
					buf[41],
				),
			),
			fr_mul(api,
				fr_add(api, buf[40], buf[41]),
				transcript[82],
			),
		)),
	)
	buf[40] = fr_add(api, transcript[51], buf[4])
	buf[41] = fr_add(api, transcript[49], buf[4])
	buf[42] = fr_pow(api,
		fr_from_string("4131629893567559867359510883348571134090853742863529169391034518566172092834"),
		fr_from_string("4"),
	)
	buf[42] = fr_mul(api, buf[39], buf[42])
	buf[40] = fr_add(api,
		fr_mul(api,
			fr_add(api,
				buf[40],
				fr_mul(api, buf[3], transcript[77]),
			),
			fr_mul(api,
				fr_add(api,
					buf[41],
					fr_mul(api, buf[3], transcript[76]),
				),
				transcript[86],
			),
		),
		fr_neg(api, fr_mul(api,
			fr_add(api,
				buf[40],
				fr_mul(api,
					fr_from_string("4131629893567559867359510883348571134090853742863529169391034518566172092834"),
					buf[42],
				),
			),
			fr_mul(api,
				fr_add(api, buf[41], buf[42]),
				transcript[85],
			),
		)),
	)
	buf[31] = fr_mul(api,
		fr_add(api,
			fr_mul(api,
				fr_add(api,
					fr_mul(api, buf[31], buf[5]),
					fr_mul(api, buf[34], buf[38]),
				),
				buf[5],
			),
			fr_mul(api, buf[40], buf[38]),
		),
		buf[5],
	)
	buf[34] = fr_add(api, transcript[44], buf[4])
	buf[40] = fr_pow(api,
		fr_from_string("4131629893567559867359510883348571134090853742863529169391034518566172092834"),
		fr_from_string("6"),
	)
	buf[34] = fr_mul(api,
		fr_add(api,
			fr_mul(api,
				fr_add(api,
					buf[34],
					fr_mul(api, buf[3], transcript[78]),
				),
				transcript[89],
			),
			fr_neg(api, fr_mul(api,
				fr_add(api,
					buf[34],
					fr_mul(api, buf[39], buf[40]),
				),
				transcript[88],
			)),
		),
		buf[38],
	)
	buf[31] = fr_add(api,
		fr_mul(api,
			fr_add(api,
				fr_mul(api,
					fr_add(api, buf[31], buf[34]),
					buf[5],
				),
				fr_mul(api,
					buf[37],
					fr_add(api,
						fr_from_string("1"),
						fr_neg(api, transcript[90]),
					),
				),
			),
			buf[5],
		),
		fr_mul(api,
			buf[33],
			fr_add(api,
				fr_mul(api, transcript[90], transcript[90]),
				fr_neg(api, transcript[90]),
			),
		),
	)
	buf[34] = fr_add(api,
		fr_add(api,
			fr_mul(api, transcript[68], buf[2]),
			transcript[69],
		),
		buf[4],
	)
	buf[39] = fr_mul(api,
		fr_mul(api,
			transcript[90],
			fr_add(api,
				fr_add(api,
					fr_mul(api, transcript[67], buf[2]),
					transcript[52],
				),
				buf[3],
			),
		),
		buf[34],
	)

	return buf, nil
}