533 lines
34 KiB
Solidity
533 lines
34 KiB
Solidity
pragma solidity 0.8.15;
|
|
|
|
interface IPoseidonHasher {
|
|
function hash(uint256[2] memory input) external pure returns (uint256 result);
|
|
|
|
function identity() external pure returns (uint256);
|
|
}
|
|
|
|
contract PoseidonHasher is IPoseidonHasher {
|
|
uint256 constant Q = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
|
|
uint256 constant C0 = 2768970367241139781802170833007148522174069744848643939234067191877771423371;
|
|
uint256 constant C1 = 6468574107656347268529237497718336587709069456280471580424455063721832719771;
|
|
uint256 constant C2 = 18794671303815708509784162368644133457448839260573151733485130900959816547847;
|
|
uint256 constant C3 = 21495479230478098685877232964279351350768322664786520160088149860043275231591;
|
|
uint256 constant C4 = 13499990804456294376331975175669076043666672782766959528979369127842395667962;
|
|
uint256 constant C5 = 11128727858753328237562379127901473551876426168355298792273038389175814738273;
|
|
uint256 constant C6 = 6174623859769212836350518599861056828848352474434521101649917228563284157731;
|
|
uint256 constant C7 = 731429061815452030222739129549549044853294286077603862495031070831228988506;
|
|
uint256 constant C8 = 18691825946094184197601861261718857711439992232978967087150603050561229972879;
|
|
uint256 constant C9 = 6901715409529528992021081413007214967207374659260807285380744444309443019002;
|
|
uint256 constant C10 = 7889774703159213060685393199720756541539275646424166159037924832893670779999;
|
|
uint256 constant C11 = 19148164181730036907570646123652401621475121269795476659255226436085540432812;
|
|
uint256 constant C12 = 356519004282890736138910009474234839367086357569508205089190200287135015343;
|
|
uint256 constant C13 = 5070064330380484074844995745007722918545766490350556589468108281662282971512;
|
|
uint256 constant C14 = 17531425645708334340342421865584088711059286683026910061769879104052748058500;
|
|
uint256 constant C15 = 920858801565935944623869688790191117976818337296182581403952541435643043455;
|
|
uint256 constant C16 = 7671542183617251806500810220803333911317855932989746628699368932279406768167;
|
|
uint256 constant C17 = 7881690674485945577862776772342991782415236259307258648854817257894786877801;
|
|
uint256 constant C18 = 19155896751615806549889067080381563929649717724892491357642801041215501837659;
|
|
uint256 constant C19 = 9657176770419678097838646349393281787292209556252142440714968703151552794280;
|
|
uint256 constant C20 = 1376534476338443314506167934949939673567644510933411653555577922098640496938;
|
|
uint256 constant C21 = 17373401671868429549652772677366856294616993437583002599910365256220696563780;
|
|
uint256 constant C22 = 9746128003951157537728271629364357225604237114762257721895149249266834505625;
|
|
uint256 constant C23 = 17782316906978487011972931426261039391542241330560756508577882755911543517908;
|
|
uint256 constant C24 = 6589224737393540076643416156354549730831080306137040791236143083907274321011;
|
|
uint256 constant C25 = 17321856211701727875100310423669922181823762220382619531116210312384063527081;
|
|
uint256 constant C26 = 21321909001724533038371153813693276559530291455431564073497502239396933319818;
|
|
uint256 constant C27 = 17849794853142289789836828064662594833303692772683927435966421769162340090898;
|
|
uint256 constant C28 = 3469446763321625523201767743510820386262850368964003752018684310306935672122;
|
|
uint256 constant C29 = 4411200946062535851397814394775457104021582693964231752948256822578636459939;
|
|
uint256 constant C30 = 18626579782117576204277882219675177684589838126472487652629778677837675278662;
|
|
uint256 constant C31 = 764261930639154699767774045099363658161006905585481283735008957581415860662;
|
|
uint256 constant C32 = 6122983345977564957406231576949193286198709429730716375547595362175192593123;
|
|
uint256 constant C33 = 2469188694307740124657403582315280809174737971010077914159812443136587941756;
|
|
uint256 constant C34 = 5382605971470296415808536561267917764719132018437742878552512928718168489695;
|
|
uint256 constant C35 = 6589667679759352998039311059993721585330589021804485020627575514256149305666;
|
|
uint256 constant C36 = 20661471625156349582050865201555079410137144327315643708284763422133754381325;
|
|
uint256 constant C37 = 18694584274137621868895160209707042629719656780873050479100267791928497600376;
|
|
uint256 constant C38 = 13822590562029956399621741895244911145933359734099212387467069390727913142666;
|
|
uint256 constant C39 = 694674849457359992382704784272941309716157308424480468618786287819256378917;
|
|
uint256 constant C40 = 18763037144982179742008371677750585549220053470184500098542470704194556690623;
|
|
uint256 constant C41 = 18486457976264107916834430437402981813449917200007719339429151501964183082936;
|
|
uint256 constant C42 = 6556747954001777118869362753998468478855885460502383141235961204400638463294;
|
|
uint256 constant C43 = 12385133754714463216711399717325449316164682530612784512290690756146937377664;
|
|
uint256 constant C44 = 19895348036861519723386861870711743699604138662509897355377030959682349375552;
|
|
uint256 constant C45 = 16830822151531046474312344756361243376821272897299262546129244900502111682734;
|
|
uint256 constant C46 = 20875209030695524214960780268667166557156788659940284813793529164900666593068;
|
|
uint256 constant C47 = 8777606742656153264634386709062440729894098167014885703560793183003141571957;
|
|
uint256 constant C48 = 3404497983786933300887052921900023151252717521554164668384012034556256626067;
|
|
uint256 constant C49 = 2555107629226010512992356367848094165962022522393505508367085820070687884355;
|
|
uint256 constant C50 = 15113919336730148565553505760820732613676431799289611544548947520407297443700;
|
|
uint256 constant C51 = 12109280671570307231007703707720632582709786369013364642897329602318304275337;
|
|
uint256 constant C52 = 14968914070423010632399365015358049892440762915276845426568596163422798377730;
|
|
uint256 constant C53 = 19061189532957010364709072574663003871548558794774753349573267371990486123152;
|
|
uint256 constant C54 = 8682801373989521576522508447484143687434748406228624907362693631377691698421;
|
|
uint256 constant C55 = 10836672514863795455996193088790111107823297731722043988991810099345596059914;
|
|
uint256 constant C56 = 15783196349960742821266383686606772431598902255698169764526487081837237805029;
|
|
uint256 constant C57 = 2908608383546665417899486637528022511748691900266764564499649456344035921401;
|
|
uint256 constant C58 = 11329727236614532496067886659074662970462346457991275919233250048151273297377;
|
|
uint256 constant C59 = 5116653167814666817290578004214535117470888177090558374943095066718387153691;
|
|
uint256 constant C60 = 13540152826778549413479417002435847356268346234631393477044136590757331815911;
|
|
uint256 constant C61 = 7947441526608065582264952807420254797193034288774248212171921641395121801332;
|
|
uint256 constant C62 = 1547483282147791156522335107475157206253201614573941966672490820147450725004;
|
|
uint256 constant M0 = 10115680371401748607263639966297231210785101245789087039760048681884121897698;
|
|
uint256 constant M1 = 7682529184580308813007726368887641784100790067958820768670102409394963579396;
|
|
uint256 constant M2 = 3036380094837744536618704667164758501777151816139077990926623931426168668495;
|
|
uint256 constant M3 = 462021688665431536448264191536285854244979957674130050775621906384644169421;
|
|
uint256 constant M4 = 62665112908715427992420108025470785827183241813778563254523765114425841603;
|
|
uint256 constant M5 = 534236519266104271325123542701236478972353175554309786393016883839422407419;
|
|
uint256 constant M6 = 5922526147398848214826466482573128257954044394758836008121691281747299315999;
|
|
uint256 constant M7 = 10778490508693548114587990025762035374898560218037495485187480124708600063292;
|
|
uint256 constant M8 = 13853145901042782779715203529626320031162484246107565810821674712070680357632;
|
|
|
|
function hash(uint256[2] memory input) external pure override returns (uint256 result) {
|
|
return _hash(input);
|
|
}
|
|
|
|
function _hash(uint256[2] memory input) internal pure returns (uint256 result) {
|
|
assembly {
|
|
let q := Q
|
|
let pos := mload(0x40)
|
|
mstore(pos, M0)
|
|
mstore(add(pos, 32), M1)
|
|
mstore(add(pos, 64), M2)
|
|
mstore(add(pos, 96), M3)
|
|
mstore(add(pos, 128), M4)
|
|
|
|
// mstore(add(pos, 160), M5)
|
|
// mstore(add(pos, 192), M6)
|
|
// mstore(add(pos, 224), M7)
|
|
// mstore(add(pos, 256), M8)
|
|
|
|
// use stack intensively
|
|
let m5 := M5
|
|
let m6 := M6
|
|
let m7 := M7
|
|
let m8 := M8
|
|
|
|
let s0 := add(mload(input), C0)
|
|
let s1 := add(mload(add(input, 32)), C0)
|
|
let s2 := C0
|
|
|
|
let t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := mulmod(s1, s1, q)
|
|
s1 := mulmod(mulmod(t, t, q), s1, q)
|
|
t := mulmod(s2, s2, q)
|
|
s2 := mulmod(mulmod(t, t, q), s2, q)
|
|
t := C1
|
|
let z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
let z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := mulmod(z1, z1, q)
|
|
z1 := mulmod(mulmod(t, t, q), z1, q)
|
|
t := mulmod(s2, s2, q)
|
|
s2 := mulmod(mulmod(t, t, q), s2, q)
|
|
t := C2
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := mulmod(s1, s1, q)
|
|
s1 := mulmod(mulmod(t, t, q), s1, q)
|
|
t := mulmod(s2, s2, q)
|
|
s2 := mulmod(mulmod(t, t, q), s2, q)
|
|
t := C3
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := mulmod(z1, z1, q)
|
|
z1 := mulmod(mulmod(t, t, q), z1, q)
|
|
t := mulmod(s2, s2, q)
|
|
s2 := mulmod(mulmod(t, t, q), s2, q)
|
|
t := C4
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C5
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C6
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C7
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C8
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C9
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C10
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C11
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C12
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C13
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C14
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C15
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C16
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C17
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C18
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C19
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C20
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C21
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C22
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C23
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C24
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C25
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C26
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C27
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C28
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C29
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C30
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C31
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C32
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C33
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C34
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C35
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C36
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C37
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C38
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C39
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C40
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C41
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C42
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C43
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C44
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C45
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C46
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C47
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C48
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C49
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C50
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C51
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C52
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C53
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C54
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C55
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C56
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C57
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := C58
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := C59
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := mulmod(z1, z1, q)
|
|
z1 := mulmod(mulmod(t, t, q), z1, q)
|
|
t := mulmod(s2, s2, q)
|
|
s2 := mulmod(mulmod(t, t, q), s2, q)
|
|
t := C60
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := mulmod(s1, s1, q)
|
|
s1 := mulmod(mulmod(t, t, q), s1, q)
|
|
t := mulmod(s2, s2, q)
|
|
s2 := mulmod(mulmod(t, t, q), s2, q)
|
|
t := C61
|
|
z0 := add(add(add(mulmod(s0, mload(pos), q), mulmod(s1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
z1 := add(add(add(mulmod(s0, mload(add(pos, 96)), q), mulmod(s1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(s0, m6, q), mulmod(s1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(z0, z0, q)
|
|
z0 := mulmod(mulmod(t, t, q), z0, q)
|
|
t := mulmod(z1, z1, q)
|
|
z1 := mulmod(mulmod(t, t, q), z1, q)
|
|
t := mulmod(s2, s2, q)
|
|
s2 := mulmod(mulmod(t, t, q), s2, q)
|
|
t := C62
|
|
s0 := add(add(add(mulmod(z0, mload(pos), q), mulmod(z1, mload(add(pos, 32)), q)), mulmod(s2, mload(add(pos, 64)), q)), t)
|
|
s1 := add(add(add(mulmod(z0, mload(add(pos, 96)), q), mulmod(z1, mload(add(pos, 128)), q)), mulmod(s2, m5, q)), t)
|
|
s2 := add(add(add(mulmod(z0, m6, q), mulmod(z1, m7, q)), mulmod(s2, m8, q)), t)
|
|
t := mulmod(s0, s0, q)
|
|
s0 := mulmod(mulmod(t, t, q), s0, q)
|
|
t := mulmod(s1, s1, q)
|
|
s1 := mulmod(mulmod(t, t, q), s1, q)
|
|
t := mulmod(s2, s2, q)
|
|
s2 := mulmod(mulmod(t, t, q), s2, q)
|
|
|
|
result := s0
|
|
}
|
|
}
|
|
|
|
function identity() external pure override returns (uint256) {
|
|
return _identity();
|
|
}
|
|
|
|
function _identity() internal pure returns (uint256) {
|
|
return 0x2ff267fd23782a5625e6d804f0a7fa700b8dc6084e2e7a5aff7cd4b1c506d30b;
|
|
}
|
|
} |