@aztec/l1-artifacts 5.0.0-rc.2 → 5.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (17) hide show
  1. package/dest/HonkVerifierBytecode.d.ts +2 -2
  2. package/dest/HonkVerifierBytecode.d.ts.map +1 -1
  3. package/dest/HonkVerifierBytecode.js +1 -1
  4. package/l1-contracts/cache/solidity-files-cache.json +1 -1
  5. package/l1-contracts/generated/HonkVerifier.sol +263 -292
  6. package/l1-contracts/out/DeployAztecL1Contracts.s.sol/DeployAztecL1Contracts.json +1 -1
  7. package/l1-contracts/out/DeployAztecL1Contracts.t.sol/DeployAztecL1ContractsTest.json +1 -1
  8. package/l1-contracts/out/DeployRollupForUpgrade.s.sol/DeployRollupForUpgrade.json +1 -1
  9. package/l1-contracts/out/DeployRollupForUpgrade.t.sol/DeployRollupForUpgradeTest.json +1 -1
  10. package/l1-contracts/out/DeployRollupForUpgradeV5.s.sol/DeployRollupForUpgradeV5.json +1 -1
  11. package/l1-contracts/out/DeployRollupLib.sol/DeployRollupLib.json +1 -1
  12. package/l1-contracts/out/HonkVerifier.sol/HonkVerifier.json +1 -1
  13. package/l1-contracts/out/HonkVerifier.sol/IVerifier.json +1 -1
  14. package/l1-contracts/out/build-info/{1510556d55861e1d.json → cbcee20f10afec29.json} +1 -1
  15. package/l1-contracts/out/shouting.t.sol/ScreamAndShoutTest.json +1 -1
  16. package/l1-contracts/scripts/forge_broadcast.js +50 -24
  17. package/package.json +1 -1
package/dest/HonkVerifierBytecode.d.ts CHANGED
@@ -1,9 +1,9 @@
1
1
  /**
2
2
  * HonkVerifier bytecode.
3
3
  */
4
- export declare const HonkVerifierBytecode = "0x6080604052348015600e575f5ffd5b506142658061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614147565b610054565b604051901515815260200160405180910390f35b5f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016004803560248101916129609101358082146100a8576359895a5360e01b5f526018600452806024528160445260645ffd5b505060046024350135606f81146100c85763fa06659360e01b5f5260045ffd5b507f1c402774c68364f9d83168357306f0374fe1fa4703108a42119fc4438be58ccc5f526024803501610de080826020378060200191506101008383376101008084018261012001376101e0015f90812084900690819052905060016001607f1b03811683818009848282096140c0929092526140e052614100526129608083611760375060019150600160881b600160781b7f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd476117605b6118608110156101a85783815110861695508260208201511086169550604081019050610180565b856101bc5763eb73e0bd60e01b5f5260045ffd5b506118605b611a608110156101dc578051821195909516946020016101c1565b506137805b613d408110156101fc578051821195909516946020016101e1565b506140405b6140c081101561021c57805182119590951694602001610201565b856102305763303df09f60e11b5f5260045ffd5b50611a605b61378081101561025057805187119590951694602001610235565b50613d405b61404081101561027057805187119590951694602001610255565b5050505081610288576320a3358960e01b5f5260045ffd5b60c061192060205e8260e05f20069050805f5260016001607f1b038116915080607f1c826141205280614140525060806119e060205e8260a05f20069050805f5260016001607f1b038116915081614220526142405b6145a08110156102fc576020810351848482098252506020016102de565b508260205f20069050805f5260016001607f1b0381169150816145a0526145c091505b6148a08210156103405760208203518381820983525060208201915061031f565b611a6091506148a05b613260831015610386576101008360205e836101205f20069150815f5260016001607f1b0382168082525061010083019250602081019050610349565b5061052061326060205e826105405f20069050805f5260016001607f1b038116915081614160526105c061378060205e826105e05f20069050805f5260016001607f1b03811691508161418052610300613d4060205e826103205f20069050805f5260016001607f1b0381169150816141a052604061404060205e505060605f2081900660016001607f1b03166141c0526141205161414051600560018085808063100000058809860881600186018809945081858303870895506001945060248035016020606f0281015b8082101561048f578135848110881697508485828608880996508485828b0887099550508389840892508389850389089750602082019150610452565b5050846104a5576320a3358960e01b5f5260045ffd5b61176094505b6118608510156104e35784518283828408860994508283828908850993505081878208905081878303870895506020850194506104ab565b50506141e0919091526142005250507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec51614ba052506102d0614bc0527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff11614be0526090614c00527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71614c205260f0614c40527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd31614c60526113b0614c80526001618400614ca06148a05f5b6018811015610730578151614ba0805188898a8508820980875260208801975088885289818a09985060208301925060208701965082519150898a60018c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60028c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60038c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60048c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60058c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60068c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60078c0386088309905080875260208801975088885289818a0998505050602094850194939093019250506001016105ae565b50506142005183619c205284818509935050614180518061692052848182099050806169405284818209905080616960528481820990508061698052848182099050806169a052848182099050806169c052848182099050806169e05284818209905080616a005284818209905080616a205284818209905080616a405284818209905080616a605284818209905080616a805284818209905080616aa05284818209905080616ac05284818209905080616ae05284818209905080616b005284818209905080616b205284818209905080616b405284818209905080616b605284818209905080616b805284818209905080616ba05284818209905080616bc05284818209905080616be05284818209616c00525061418051619c40849052848185099350506148a0516169205185828788858a03600108840908915050806178205283619c8052848185099350506148c0516169405185828788858a03600108840908915050806178405283619ca052848185099350506148e0516169605185828788858a03600108840908915050806178605283619cc05284818509935050614900516169805185828788858a03600108840908915050806178805283619ce05284818509935050614920516169a05185828788858a03600108840908915050806178a05283619d005284818509935050614940516169c05185828788858a03600108840908915050806178c05283619d205284818509935050614960516169e05185828788858a03600108840908915050806178e05283619d40528481850993505061498051616a005185828788858a03600108840908915050806179005283619d6052848185099350506149a051616a205185828788858a03600108840908915050806179205283619d8052848185099350506149c051616a405185828788858a03600108840908915050806179405283619da052848185099350506149e051616a605185828788858a03600108840908915050806179605283619dc05284818509935050614a0051616a805185828788858a03600108840908915050806179805283619de05284818509935050614a2051616aa05185828788858a03600108840908915050806179a05283619e005284818509935050614a4051616ac05185828788858a03600108840908915050806179c05283619e205284818509935050614a6051616ae05185828788858a03600108840908915050806179e05283619e405284818509935050614a8051616b005185828788858a0360010884090891505080617a005283619e605284818509935050614aa051616b205185828788858a0360010884090891505080617a205283619e805284818509935050614ac051616b405185828788858a0360010884090891505080617a405283619ea05284818509935050614ae051616b605185828788858a0360010884090891505080617a605283619ec05284818509935050614b0051616b805185828788858a0360010884090891505080617a805283619ee05284818509935050614b2051616ba05185828788858a0360010884090891505080617aa05283619f005284818509935050614b4051616bc05185828788858a0360010884090891505080617ac05283619f205284818509935050614b6051616be05185828788858a0360010884090891505080617ae05283619f405284818509935050614b8051616c005185828788858a0360010884090891505080617b005283619f6052848185099350506141c05184616920518603820880617b205284619f80528581860994505084616940518603820880617b405284619fa0528581860994505084616960518603820880617b605284619fc0528581860994505084616980518603820880617b805284619fe05285818609945050846169a0518603820880617ba0528461a0005285818609945050846169c0518603820880617bc0528461a0205285818609945050846169e0518603820880617be0528461a040528581860994505084616a00518603820880617c00528461a060528581860994505084616a20518603820880617c20528461a080528581860994505084616a40518603820880617c40528461a0a0528581860994505084616a60518603820880617c60528461a0c0528581860994505084616a80518603820880617c80528461a0e0528581860994505084616aa0518603820880617ca0528461a100528581860994505084616ac0518603820880617cc0528461a120528581860994505084616ae0518603820880617ce0528461a140528581860994505084616b00518603820880617d00528461a160528581860994505084616b20518603820880617d20528461a180528581860994505084616b40518603820880617d40528461a1a0528581860994505084616b60518603820880617d60528461a1c0528581860994505084616b80518603820880617d80528461a1e0528581860994505084616ba0518603820880617da0528461a200528581860994505084616bc0518603820880617dc0528461a220528581860994505084616be0518603820880617de0528461a240528581860994505084616c00518603820880617e00528461a26052858186099450508461692051820880617e20528461a28052858186099450508461694051820880617e40528461a2a052858186099450508461696051820880617e60528461a2c052858186099450508461698051820880617e80528461a2e05285818609945050846169a051820880617ea0528461a3005285818609945050846169c051820880617ec0528461a3205285818609945050846169e051820880617ee0528461a340528581860994505084616a0051820880617f00528461a360528581860994505084616a2051820880617f20528461a380528581860994505084616a4051820880617f40528461a3a0528581860994505084616a6051820880617f60528461a3c0528581860994505084616a8051820880617f80528461a3e0528581860994505084616aa051820880617fa0528461a400528581860994505084616ac051820880617fc0528461a420528581860994505084616ae051820880617fe0528461a440528581860994505084616b0051820880618000528461a460528581860994505084616b2051820880618020528461a480528581860994505084616b4051820880618040528461a4a0528581860994505084616b6051820880618060528461a4c0528581860994505084616b8051820880618080528461a4e0528581860994505084616ba0518208806180a0528461a500528581860994505084616bc0518208806180c0528461a520528581860994505084616be0518208806180e0528461a540528581860994505084616c0051820880618100528461a56052858186099450505060205f52602080526020604052826060527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff6080528360a05260205f60c05f60055afa61113a5763f442f16360e01b5f5260045ffd5b5f519250826111525763f442f16360e01b5f5260045ffd5b8361a5605184098461810051850993508061810052508361a540518409846180e05185099350806180e052508361a520518409846180c05185099350806180c052508361a500518409846180a05185099350806180a052508361a4e05184098461808051850993508061808052508361a4c05184098461806051850993508061806052508361a4a05184098461804051850993508061804052508361a4805184098461802051850993508061802052508361a4605184098461800051850993508061800052508361a44051840984617fe0518509935080617fe052508361a42051840984617fc0518509935080617fc052508361a40051840984617fa0518509935080617fa052508361a3e051840984617f80518509935080617f8052508361a3c051840984617f60518509935080617f6052508361a3a051840984617f40518509935080617f4052508361a38051840984617f20518509935080617f2052508361a36051840984617f00518509935080617f0052508361a34051840984617ee0518509935080617ee052508361a32051840984617ec0518509935080617ec052508361a30051840984617ea0518509935080617ea052508361a2e051840984617e80518509935080617e8052508361a2c051840984617e60518509935080617e6052508361a2a051840984617e40518509935080617e4052508361a28051840984617e20518509935080617e2052508361a26051840984617e00518509935080617e0052508361a24051840984617de0518509935080617de052508361a22051840984617dc0518509935080617dc052508361a20051840984617da0518509935080617da052508361a1e051840984617d80518509935080617d8052508361a1c051840984617d60518509935080617d6052508361a1a051840984617d40518509935080617d4052508361a18051840984617d20518509935080617d2052508361a16051840984617d00518509935080617d0052508361a14051840984617ce0518509935080617ce052508361a12051840984617cc0518509935080617cc052508361a10051840984617ca0518509935080617ca052508361a0e051840984617c80518509935080617c8052508361a0c051840984617c60518509935080617c6052508361a0a051840984617c40518509935080617c4052508361a08051840984617c20518509935080617c2052508361a06051840984617c00518509935080617c0052508361a04051840984617be0518509935080617be052508361a02051840984617bc0518509935080617bc052508361a00051840984617ba0518509935080617ba0525083619fe051840984617b80518509935080617b80525083619fc051840984617b60518509935080617b60525083619fa051840984617b40518509935080617b40525083619f8051840984617b20518509935080617b20525083619f6051840984617b00518509935080617b00525083619f4051840984617ae0518509935080617ae0525083619f2051840984617ac0518509935080617ac0525083619f0051840984617aa0518509935080617aa0525083619ee051840984617a80518509935080617a80525083619ec051840984617a60518509935080617a60525083619ea051840984617a40518509935080617a40525083619e8051840984617a20518509935080617a20525083619e6051840984617a00518509935080617a00525083619e40518409846179e05185099350806179e0525083619e20518409846179c05185099350806179c0525083619e00518409846179a05185099350806179a0525083619de051840984617980518509935080617980525083619dc051840984617960518509935080617960525083619da051840984617940518509935080617940525083619d8051840984617920518509935080617920525083619d6051840984617900518509935080617900525083619d40518409846178e05185099350806178e0525083619d20518409846178c05185099350806178c0525083619d00518409846178a05185099350806178a0525083619ce051840984617880518509935080617880525083619cc051840984617860518509935080617860525083619ca051840984617840518509935080617840525083619c8051840984617820518509935080617820525083619c40518409846141805185099350806174a0525083619c2051840984614200518509935084816141e051096141e05250601f19015b614c808111156117df57838251840984825185099082529250601f1991820191016117b9565b50505060015f60016145a0611a606148a0614ca05f5b60188110156118d057825189602086015186510888149890981697808a805f1981018308820990508a8b60028d038408820990508a8b60038d038408820990508a8b60048d038408820990508a8b60058d038408820990508a8b60068d038408820990508a8b60078d038408820990505f98505f5b600881101561189857865185518d8183099150508c818c089a5050602096870196949094019360010161186a565b508a818a0998505085518a60018c03820890508a8b8284096001089150508981880996505060209485019492909201916001016117f5565b5050505050826118e9576313f8744360e31b5f5260045ffd5b6168605261684052506132a0516135e05182919009816132c0516136005109826132e05161362051098361330051613640510961334051857f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f8000000878860038a03850889613260518b613600516135e05109090909868788898a858b08890887088508613280510895505085868788613640516135e051086136e0518a03086132605108876002890384080993508586613740518860018a0385080986089450856168605187838809099450846164a05285866001880383088509945085818609945050505050816168605182096164c0525061412051614140516134c05183908190840982613600510101846134a0518509836135e051010109838461350051850983613640510101856134e051860984613620510101098481830985866134405187098561360051010187613420518809866135e051010109925085866134805187098561364051010187613460518809866136205101010991508582840994508581876135a051613660510809935085868688896141e0516135c05109613760510809870385089350856168605185099350836164e052856168605187613760516135c0510909935083616500525050505050806168605182613660516135a0510909616520526141405161412051828180098382820984858461354051098686613520510808858683613580510987856135605109088681830887886136e0516132c0510989896135e051080892508788613700516132605109613600510891508788613720516132805109613620510896508788878409840895508788868909870895508788856132e051098708955087816136805109965087866136805109945087613320516136c0510893508788613320516136c051098903850893508761368051898389090995505050508481860384089250508361686051830991508383613320510992508384826136a05109850384089250506136c0518384600186038308820990508361686051820990508161654052826165605280616580525050505f5160206142105f395f51905f527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffffe836135e05185036136005108846136005186036136205108856136205187036136405108866136405188036136e0510883888989870882099050888988870882099050888987870882099050886133605182099050886168605182096165a052509192508291878088850885099350878887850885099350878886850885099350876133605185099350876168605185096165c0529092508290878088840885099350878887840885099350878886840885099350876133605185099350876168605185096165e052925082878088830885099350878887830885099350878886830885099350876133605185099350876168605185099350836166005250505050505050806136005182036136e051088161362051613620510982613740516137405109836132a05185613740516136205109098485613600516136e051086137005108858587878409099050858387038208905085848703820890508582820890508582820890508561686051820992505050836133805182099050838461326051860360010882096166205250613720516136205184919008836132a051613740510984613620518603820890508484830991508485828761360051890361370051080983089150508361686051820990508361338051820990508384613260518603600108820961664052506136005183908160118408099150828182088381820890508360098409925083846136005161360051086137005108848282099050848486038208905084616860518209935050508261326051846133805185090991508261662051830861662052505061360051819081818181800808098182613700518403613600510882099050818283613720516136205108846136205161362051080983038208905081616860518209905081613260518361338051840909905081616640518208616640525061410051613620518291900981826140e05161360051098208905081826140c0516135e05109820890508161328051820890508082613640518403830891508161690052826135e05184036136e0510883613640518503613740510884855f5160206142105f395f51905f528408830985868488036001088309915085868788616860516133a051096132c051096132a0510983096166805285868788616860516133a051096132c051096132a0510982096166a05285866132c0516132a0510986096168e05285614100516137205109945085866140e05161370051098608945085866140c0516136e05109860894508585870361374051089450856136205187036137205108915085868787890360010884098785890360010809915085848703613640510886875f5160206142105f395f51905f5283088209905086875f5160206142105f395f51905f528808870995508687616860516133a051096132e05109878185096166c052878184096166e052878188096167005250866132e05182096168c052505050836136005185036137005108925083613620518503858684880360010886090892506168e05191508384856132a05161330051098509830891508384856132a0516132605109616900510983089150836168c051830891508384616860516133a051098309915081616660525050508081613600516136e0510982613700516135e051090881613720518303838461362051613600510985613640516135e05109080882600160441b82099050826137405184038208905082828208905082613300518209905082600160441b830991508283613700516136e0510983089150826132e051848561364051613620510886038508098361326051858661374051613720510887038761364051880808099250836132c0518585878686080809616880525050613700518291506140009009816136e05182089050816140008209905081613620518208905081614000820990508161360051820890508161400082099050816135e0518208905081613640518303820890508161330051820990508161400061372051098261370051820890508261400082099050826136e0518208905082614000820990508261364051820890508261400082099050826136205182089050826137405184038208905082613260518209905082818308915050816132e051820990508181616880510890508182616860516133c05109820961672052506132a0516135e05182919008816132c0516136005108826132e051613620510883613300516136405108848485098586868309820994508584850990508586858309820993508583840990508586848309820992508582830990508586838309820991508584860890508582840894508584850893508585850893508582830892508581840892508585860894508585860894508583860894508581820891505084818208905084838208905084818308915084848408925084616860516133e0510985866136e0518803850882096167405285866137005188038408820961676052858661372051880386088209616780528586613740518803870882096167a0525050505050806132a0516135e05108818182098283838309820991505061360051613620516136405184838508858683850882089050856168605161340051098682887f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7890908955086876136e0518903880882096167c0528682887f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b88090895508687613700518903880882096167e0528682887e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac158709089550868761372051890388088209616800528682887f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b8609089550868761374051890388088209616820525050505050506164a0518182614220516164c05109820890508182614240516164e051098208905081826142605161650051098208905081826142805161652051098208905081826142a05161654051098208905081826142c05161656051098208905081826142e0516165805109820890508182614300516165a05109820890508182614320516165c05109820890508182614340516165e051098208905081826143605161660051098208905081826143805161662051098208905081826143a05161664051098208905081826143c05161666051098208905081826143e0516166805109820890508182614400516166a05109820890508182614420516166c05109820890508182614440516166e051098208905081826144605161670051098208905081826144805161672051098208905081826144a05161674051098208905081826144c05161676051098208905081826144e0516167805109820890508182614500516167a05109820890508182614520516167c05109820890508182614540516167e0510982089050818261456051616800510982089050818261458051616820510982086168405114905080612670576313f8744360e31b5f5260045ffd5b505f5f6174a051617b2051617e20516141a05186878383098408955086878884840989038508850994505050505060015f838503935082850392506141605185838609616c205285868461326051098308915085818409925085838609616c405285868461328051098308915085818409925085838609616c60528586846132a051098308915085818409925085838609616c80528586846132c051098308915085818409925085838609616ca0528586846132e051098308915085818409925085838609616cc05285868461330051098308915085818409925085838609616ce05285868461332051098308915085818409925085838609616d005285868461334051098308915085818409925085838609616d205285868461336051098308915085818409925085838609616d405285868461338051098308915085818409925085838609616d60528586846133a051098308915085818409925085838609616d80528586846133c051098308915085818409925085838609616da0528586846133e051098308915085818409925085838609616dc05285868461340051098308915085818409925085838609616de05285868461342051098308915085818409925085838609616e005285868461344051098308915085818409925085838609616e205285868461346051098308915085818409925085838609616e405285868461348051098308915085818409925085838609616e60528586846134a051098308915085818409925085838609616e80528586846134c051098308915085818409925085838609616ea0528586846134e051098308915085818409925085838609616ec05285868461350051098308915085818409925085838609616ee05285868461352051098308915085818409925085838609616f005285868461354051098308915085818409925085838609616f205285868461356051098308915085818409925085838609616f405285868461358051098308915085818409925085838609616f60528586846135a051098308915085818409925085838609616f80528586846135c051098308915085818409925085838609616fa0528586846135e051098308915085818409925085838609616fc05285868461360051098308915085818409925085838609616fe05285868461362051098308915085818409925085838609617000528586846136405109830891508581840992508583860961702052858684613660510983089150858184099250858386096170405285868461368051098308915085818409925085838609617060528586846136a051098308915085818409925085838609617080528586846136c05109830891508581840992508586848609616fa05108616fa0528586846136e05109830891508581840992508586848609616fc05108616fc0528586846137005109830891508581840992508586848609616fe05108616fe0528586846137205109830891508581840992508586848609617000510861700052858684613740510983089150858184099250858684860961702051086170205285868461376051098308915085818409925050616c005f52614b80602052614020604052617b00935061840092508060185b8015612b8a575f5151602051518889600286098309898a838c0360010884099250898a8b848d03860860405151098b03820890508989518209905080945080885250505060205f51035f526020805103602052602060405103604052602086039550602085039450600181039050612b17565b50505083617b2051618120510992506141a0519150838485617e20518509613d4051098408925083828309809150617b405f52617e40602052613d606040526181406170a05f5b6017811015612c4457875f515186098889602051518909870989828b03828c03088452896040515182099050898a865184098208905089818a089850505087848609945060205f51015f526020805101602052602060405101604052602083019250602082019150600181019050612bd1565b505050505050600191507f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760406140405f5e6134927f0844b1f3f3ce523797bb577ea51468cb4c10fd5bb6e8cc8bad59e5b329a2ca4b6110e0527f2c693f1c6dd1466abf98cd0a54411c003aafdc00eb7669d16569f688bbfae0f2611100527f2457f224793f587f9d88552d60380525cbc85364fdeab006874ba6aafeb75504611120527f18301d1e25236e63fc381dac17b71f1d9fa6b6b654fc3dd708516e6ee570b39a611140527f0f64e72f336059481b931cada45906ae6bf19001302e61dd87ee1434b17ae65b611160527f247950df9838e335aa2c476e9194d14400acb3a7e2332579c1c3ac03c6c69341611180527f0913769450d27fea234542b3c947608f5b6d4d6168192fe0f86232c9dc840fbd6111a0527f0191bee6eef9340533ab68524eff56037a790668e6298146b183de4aa46884c96111c0527f1c14e5f21402e0d686de60e6a229098ed9bcb1ed7025185a9dafafe184f1b301611060527f1851649a1b3caf8690c252223335c2534d35e25657aafad2a5faa7eee0513d52611080527f0d3c36041b2944a2b520c93fc0c195213044048586d4ba62f1d9e36e9b4b97cc6110a0527f18933b3c2a7bd010776cce9ae2c673e2834f19b01e30abeb33daaa1c719368ad6110c0527f240c61ca01a9d4825953d57fb86faac15533fc645dae5893626b1720bef4c8f66111e0527f2a4c84ccc7881879778269b15736cf76a4068b1d3bb0e280ebe63a7842508c49611200527f01aef7fd8603861d3b6ea731e0bfab11344e17324daef70786e6a3f6d71d9104611220527f0c70fef890848c4bbb1353da54a284da94d0d1968aa91dd599fcbffd5f811546611240527f03862f8cd5397ab376e3cb558cf7c2e391fd96784b50035407a1e8ebb59674c8611260527f25b20c02a03cda43d502efb8d921b40cadb66e902bff6398ee6f7eb2cebb46c5611280527f21c4290e2e7bf809270d2bf1f25fd6d73c05c39604f3338b7c866f73b8abdf546112a0527f2a0ffacf11be4e07dc09c5ecc172480a5253c7c2c8b14b18122b70b1cfd846ea6112c0527f1c873d2216343667a387315a6fd881950e4b65c7b8595044265ac13f3b0fee096112e0527f08f32e99247087ae0b20496c02eed72460f1297c28b5f7d2554bb3b42169ea9f611300527f16773c9df74718089426ef16c4d717e0d875be1958b4b955815b2cac852b3aa2611320527f0947b7debc76cf8f6dc6bbeb6678babdb48f80085c660c64cdb55e274d7f59bd611340527f2cd9a5e1d4f75dc6e8990f58907d3d6a0fd45c5cd67297e642a13ae6077e26b5611360527f0c6fb3260de474eea2e25ec5fa92c73fc441060748d7dcc81578e4ff6ff94c1e611380527f0c6ea0af2a059dc6abca89b67b923a9663f1a3a2030dda597b502690cb881a576113a0527f0f6a9dce00826bcb1310e0d8bb406e5ac3e009f98f92044784130e661c31c2006113c0527f12cabe8e354b8012d06c309f627f9b596d1bb452a16931a3accfe65f89f3d7fd6113e0527f22f8f5e6c7cccbe668e0ba05a9eb602016f160d14bf48ead1a26d9da65032473611400527f07648f07e65ecbfcf76e1a7ae2022f51fc76fed9e09cc598e5e8aa8c98fbd0aa611420527f041725ac06e8d7f597b4d4211736769e05e5a9c9d779cfa5616fb2f5270fb59d611440527f22b86ed214beeb1a8501da509ecb31f0cf63eb11a0b27149ec13996616e4e066611460527f15e8b1597f3cde47479cbc2846cf89b182f40f441326cd9fcf100be52842bf0c611480527f283c608bf43a14ead3a28db66f157315b42cc5c213afe615fbfd76594a41468c6114a0527f068e68a714f68dc7a73be9d122836c35c822b0cd905f8ac7bc9235a98e5b7c506114c0527f290fb60f4114fa50e92897a66d9a86b7e1c60e6f84a4df2dc1d020da1537bab86115e0527f087bcd143b8021cae339bd062d6d837a34a3a502e6eaf2326a765d0703d31c01611600527f22e84aa48f8510653f8f7b7c9c8fa3ab838de294018587a7587990e0b1f92e8d611620527f0ed854b35b0c13c96ef3b3071676b3524a1aa3fb28791d3d908840a5d1765872611640527f2be3b503e1119c1b4d7545a1ac3b10b9f82ed04da805bd4242f30aac7a03b8f8611660527f0f45d075a4f5045b58c0084bf7abac45fd1def643fb0dc0479d534c0afa1a371611680527e62938b54cd25ea97caa7befde407ef00ac024bf57a0233cd9f788547efc9786116a0527f14a352f69b14198e8aaca710b488491bdd80cad250f91480d9f8088917298e856116c0527f2950b38ce225ab1bfc3362e32a60e49647d3f6ccc9a9b7963882bedf92e13f266114e0527f20830060a9d49506960606484e96d2a9d62d8bb3ac9a011be374b03812d086d7611500527f1a4ee85adfff14c0941293da3441c2460f50e121df7d86879dc9987ae9acfb20611520527f141949e0b9987380fd71215d58b26b61e4f9d2b1c6262903b2694c65664719ca611540527f190b134ce69a49ea61c6bf36e322a4a92ed1e6f58032919b13ae10f61b09e67b611560527f1bd6d25a2657fee7c36d4d15c65306c012bc3825f769eacac9c8c7ede39c6e59611580527f013779e17b748fcf14f7dac626e74f2f58db4798ff6ccac71f3f22ac8ca7377f6115a0527f22fc1eabda6370b0a48acd4e1c3563da250eee43c12e1c42de0e5b2de155d1a06115c0527f2a56ce41f6b0be13b9c26747621b821eee81b23a887f299049b14c11e98460d66116e0527f1aa98f2de3ddda547d8f6de4e725ded5827d6338c78656c0d12ca1aea6ef2c7c611700527f23f14331c966aabdf52b2e46388e79258c53970b38c3e092db579a3af155b5e8611720527f23b0b07bbfb0d652b8a36f5355ec5d0117dafc86b0becca758ae1622cd4689a661174052565b604061106060605e616c205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406110a060605e616c405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406110e060605e616c605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061112060605e616c805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061116060605e616ca05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406111a060605e616cc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406111e060605e616ce05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061122060605e616d005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061126060605e616d205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406112a060605e616d405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406112e060605e616d605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061132060605e616d805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061136060605e616da05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406113a060605e616dc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406113e060605e616de05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061142060605e616e005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061146060605e616e205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406114a060605e616e405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406114e060605e616e605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061152060605e616e805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061156060605e616ea05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406115a060605e616ec05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406115e060605e616ee05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061162060605e616f005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061166060605e616f205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406116a060605e616f405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406116e060605e616f605160a05260408060608060075afa8316925060405f60805f60065afa83169250600160605260026020606001528160a05260408060608060075afa8316925060405f60805f60065afa83169250604061172060605e616f805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061186060605e616fa05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406118a060605e616fc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406118e060605e616fe05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406119a060605e6170005160a05260408060608060075afa8316925060405f60805f60065afa831692506040611a2060605e6170205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406119e060605e6170405160a05260408060608060075afa8316925060405f60805f60065afa83169250604061192060605e6170605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061196060605e6170805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061378060605e6170a05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406137c060605e6170c05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061380060605e6170e05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061384060605e6171005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061388060605e6171205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406138c060605e6171405160a05260408060608060075afa8316925060405f60805f60065afa83169250604061390060605e6171605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061394060605e6171805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061398060605e6171a05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406139c060605e6171c05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a0060605e6171e05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a4060605e6172005160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a8060605e6172205160a05260408060608060075afa8316925060405f60805f60065afa831692506040613ac060605e6172405160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b0060605e6172605160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b4060605e6172805160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b8060605e6172a05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613bc060605e6172c05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c0060605e6172e05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c4060605e6173005160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c8060605e6173205160a05260408060608060075afa8316925060405f60805f60065afa831692506040613cc060605e6173405160a05260408060608060075afa8316925060405f60805f60065afa831692506040613d0060605e6173605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061408060605e6141c05160a05260408060608060075afa8316925060405f60805f60065afa8316925082613ee7576352ec174560e11b5f5260045ffd5b6140805160c0526140a051810360e05260405f60805e61176051806117805160881b1790506117a051806117c05160881b1790506117e051806118005160881b17905061182051806118405160881b1790508082178385171715600181613fe157868310878510168786108888101616613f6a5763303df09f60e11b5f5260045ffd5b505f85815260208590526040848152606084815261010083208083528686171515898917151516939092918160075afa821691506040608060405e60405f60805f60065afa82169150846040528360605280608052506040806060604060075afa16604060c060805e604060c06080604060065afa165b8115613fee57604060805f5e5b7f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26040527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6060527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6080527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60a0527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c1610100527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b0610120527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe4610140527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101605260205f6101805f60085afa8116955050505050505f51811661413d576352ec174560e11b5f5260045ffd5b5060015f5260205ff35b5f5f5f5f6040858703121561415a575f5ffd5b843567ffffffffffffffff811115614170575f5ffd5b8501601f81018713614180575f5ffd5b803567ffffffffffffffff811115614196575f5ffd5b8760208284010111156141a7575f5ffd5b60209182019550935085013567ffffffffffffffff8111156141c7575f5ffd5b8501601f810187136141d7575f5ffd5b803567ffffffffffffffff8111156141ed575f5ffd5b8760208260051b8401011115614201575f5ffd5b94979396506020019450505056fe30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000a2646970667358221220a5aa055b6844790e76935f61ff720c281db79fb18c820456e5b1b9d55241924a64736f6c634300081e0033";
4
+ export declare const HonkVerifierBytecode = "0x6080604052348015600e575f5ffd5b506142648061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614146565b610054565b604051901515815260200160405180910390f35b5f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016004803560248101916129609101358082146100a8576359895a5360e01b5f526018600452806024528160445260645ffd5b505060046024350135606f81146100c85763fa06659360e01b5f5260045ffd5b507f2f0ca3e610369fc41f7fb8a69995a96428fbf69d7dffd2b576e63ba4d9511ee15f526024803501610de080826020378060200191506101008383376101008084018261012001376101e0015f90812084900690819052905060016001607f1b03811683818009848282096140c0929092526140e052614100526129608083611760375060019150600160881b600160781b7f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd476117605b6118608110156101a85783815110861695508260208201511086169550604081019050610180565b856101bc5763eb73e0bd60e01b5f5260045ffd5b506118605b611a608110156101dc578051821195909516946020016101c1565b506137805b613d408110156101fc578051821195909516946020016101e1565b506140405b6140c081101561021c57805182119590951694602001610201565b856102305763303df09f60e11b5f5260045ffd5b50611a605b61378081101561025057805187119590951694602001610235565b50613d405b61404081101561027057805187119590951694602001610255565b5050505081610288576320a3358960e01b5f5260045ffd5b60c061192060205e8260e05f20069050805f5260016001607f1b038116915080607f1c826141205280614140525060806119e060205e8260a05f20069050805f5260016001607f1b038116915081614220526142405b6145a08110156102fc576020810351848482098252506020016102de565b508260205f20069050805f5260016001607f1b0381169150816145a0526145c091505b6148a08210156103405760208203518381820983525060208201915061031f565b611a6091506148a05b613260831015610386576101008360205e836101205f20069150815f5260016001607f1b0382168082525061010083019250602081019050610349565b5061052061326060205e826105405f20069050805f5260016001607f1b038116915081614160526105c061378060205e826105e05f20069050805f5260016001607f1b03811691508161418052610300613d4060205e826103205f20069050805f5260016001607f1b0381169150816141a052604061404060205e505060605f2081900660016001607f1b03166141c0526141205161414051600560018085808063100000058809860881600186018809945081858303870895506001945060248035016020606f0281015b8082101561048f578135848110881697508485828608880996508485828b0887099550508389840892508389850389089750602082019150610452565b5050846104a5576320a3358960e01b5f5260045ffd5b61176094505b6118608510156104e35784518283828408860994508283828908850993505081878208905081878303870895506020850194506104ab565b50506141e0919091526142005250507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec51614ba052506102d0614bc0527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff11614be0526090614c00527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71614c205260f0614c40527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd31614c60526113b0614c80526001618400614ca06148a05f5b6018811015610730578151614ba0805188898a8508820980875260208801975088885289818a09985060208301925060208701965082519150898a60018c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60028c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60038c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60048c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60058c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60068c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60078c0386088309905080875260208801975088885289818a0998505050602094850194939093019250506001016105ae565b50506142005183619c205284818509935050614180518061692052848182099050806169405284818209905080616960528481820990508061698052848182099050806169a052848182099050806169c052848182099050806169e05284818209905080616a005284818209905080616a205284818209905080616a405284818209905080616a605284818209905080616a805284818209905080616aa05284818209905080616ac05284818209905080616ae05284818209905080616b005284818209905080616b205284818209905080616b405284818209905080616b605284818209905080616b805284818209905080616ba05284818209905080616bc05284818209905080616be05284818209616c00525061418051619c40849052848185099350506148a0516169205185828788858a03600108840908915050806178205283619c8052848185099350506148c0516169405185828788858a03600108840908915050806178405283619ca052848185099350506148e0516169605185828788858a03600108840908915050806178605283619cc05284818509935050614900516169805185828788858a03600108840908915050806178805283619ce05284818509935050614920516169a05185828788858a03600108840908915050806178a05283619d005284818509935050614940516169c05185828788858a03600108840908915050806178c05283619d205284818509935050614960516169e05185828788858a03600108840908915050806178e05283619d40528481850993505061498051616a005185828788858a03600108840908915050806179005283619d6052848185099350506149a051616a205185828788858a03600108840908915050806179205283619d8052848185099350506149c051616a405185828788858a03600108840908915050806179405283619da052848185099350506149e051616a605185828788858a03600108840908915050806179605283619dc05284818509935050614a0051616a805185828788858a03600108840908915050806179805283619de05284818509935050614a2051616aa05185828788858a03600108840908915050806179a05283619e005284818509935050614a4051616ac05185828788858a03600108840908915050806179c05283619e205284818509935050614a6051616ae05185828788858a03600108840908915050806179e05283619e405284818509935050614a8051616b005185828788858a0360010884090891505080617a005283619e605284818509935050614aa051616b205185828788858a0360010884090891505080617a205283619e805284818509935050614ac051616b405185828788858a0360010884090891505080617a405283619ea05284818509935050614ae051616b605185828788858a0360010884090891505080617a605283619ec05284818509935050614b0051616b805185828788858a0360010884090891505080617a805283619ee05284818509935050614b2051616ba05185828788858a0360010884090891505080617aa05283619f005284818509935050614b4051616bc05185828788858a0360010884090891505080617ac05283619f205284818509935050614b6051616be05185828788858a0360010884090891505080617ae05283619f405284818509935050614b8051616c005185828788858a0360010884090891505080617b005283619f6052848185099350506141c05184616920518603820880617b205284619f80528581860994505084616940518603820880617b405284619fa0528581860994505084616960518603820880617b605284619fc0528581860994505084616980518603820880617b805284619fe05285818609945050846169a0518603820880617ba0528461a0005285818609945050846169c0518603820880617bc0528461a0205285818609945050846169e0518603820880617be0528461a040528581860994505084616a00518603820880617c00528461a060528581860994505084616a20518603820880617c20528461a080528581860994505084616a40518603820880617c40528461a0a0528581860994505084616a60518603820880617c60528461a0c0528581860994505084616a80518603820880617c80528461a0e0528581860994505084616aa0518603820880617ca0528461a100528581860994505084616ac0518603820880617cc0528461a120528581860994505084616ae0518603820880617ce0528461a140528581860994505084616b00518603820880617d00528461a160528581860994505084616b20518603820880617d20528461a180528581860994505084616b40518603820880617d40528461a1a0528581860994505084616b60518603820880617d60528461a1c0528581860994505084616b80518603820880617d80528461a1e0528581860994505084616ba0518603820880617da0528461a200528581860994505084616bc0518603820880617dc0528461a220528581860994505084616be0518603820880617de0528461a240528581860994505084616c00518603820880617e00528461a26052858186099450508461692051820880617e20528461a28052858186099450508461694051820880617e40528461a2a052858186099450508461696051820880617e60528461a2c052858186099450508461698051820880617e80528461a2e05285818609945050846169a051820880617ea0528461a3005285818609945050846169c051820880617ec0528461a3205285818609945050846169e051820880617ee0528461a340528581860994505084616a0051820880617f00528461a360528581860994505084616a2051820880617f20528461a380528581860994505084616a4051820880617f40528461a3a0528581860994505084616a6051820880617f60528461a3c0528581860994505084616a8051820880617f80528461a3e0528581860994505084616aa051820880617fa0528461a400528581860994505084616ac051820880617fc0528461a420528581860994505084616ae051820880617fe0528461a440528581860994505084616b0051820880618000528461a460528581860994505084616b2051820880618020528461a480528581860994505084616b4051820880618040528461a4a0528581860994505084616b6051820880618060528461a4c0528581860994505084616b8051820880618080528461a4e0528581860994505084616ba0518208806180a0528461a500528581860994505084616bc0518208806180c0528461a520528581860994505084616be0518208806180e0528461a540528581860994505084616c0051820880618100528461a56052858186099450505060205f52602080526020604052826060527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff6080528360a05260205f60c05f60055afa61113a5763f442f16360e01b5f5260045ffd5b5f519250826111525763f442f16360e01b5f5260045ffd5b8361a5605184098461810051850993508061810052508361a540518409846180e05185099350806180e052508361a520518409846180c05185099350806180c052508361a500518409846180a05185099350806180a052508361a4e05184098461808051850993508061808052508361a4c05184098461806051850993508061806052508361a4a05184098461804051850993508061804052508361a4805184098461802051850993508061802052508361a4605184098461800051850993508061800052508361a44051840984617fe0518509935080617fe052508361a42051840984617fc0518509935080617fc052508361a40051840984617fa0518509935080617fa052508361a3e051840984617f80518509935080617f8052508361a3c051840984617f60518509935080617f6052508361a3a051840984617f40518509935080617f4052508361a38051840984617f20518509935080617f2052508361a36051840984617f00518509935080617f0052508361a34051840984617ee0518509935080617ee052508361a32051840984617ec0518509935080617ec052508361a30051840984617ea0518509935080617ea052508361a2e051840984617e80518509935080617e8052508361a2c051840984617e60518509935080617e6052508361a2a051840984617e40518509935080617e4052508361a28051840984617e20518509935080617e2052508361a26051840984617e00518509935080617e0052508361a24051840984617de0518509935080617de052508361a22051840984617dc0518509935080617dc052508361a20051840984617da0518509935080617da052508361a1e051840984617d80518509935080617d8052508361a1c051840984617d60518509935080617d6052508361a1a051840984617d40518509935080617d4052508361a18051840984617d20518509935080617d2052508361a16051840984617d00518509935080617d0052508361a14051840984617ce0518509935080617ce052508361a12051840984617cc0518509935080617cc052508361a10051840984617ca0518509935080617ca052508361a0e051840984617c80518509935080617c8052508361a0c051840984617c60518509935080617c6052508361a0a051840984617c40518509935080617c4052508361a08051840984617c20518509935080617c2052508361a06051840984617c00518509935080617c0052508361a04051840984617be0518509935080617be052508361a02051840984617bc0518509935080617bc052508361a00051840984617ba0518509935080617ba0525083619fe051840984617b80518509935080617b80525083619fc051840984617b60518509935080617b60525083619fa051840984617b40518509935080617b40525083619f8051840984617b20518509935080617b20525083619f6051840984617b00518509935080617b00525083619f4051840984617ae0518509935080617ae0525083619f2051840984617ac0518509935080617ac0525083619f0051840984617aa0518509935080617aa0525083619ee051840984617a80518509935080617a80525083619ec051840984617a60518509935080617a60525083619ea051840984617a40518509935080617a40525083619e8051840984617a20518509935080617a20525083619e6051840984617a00518509935080617a00525083619e40518409846179e05185099350806179e0525083619e20518409846179c05185099350806179c0525083619e00518409846179a05185099350806179a0525083619de051840984617980518509935080617980525083619dc051840984617960518509935080617960525083619da051840984617940518509935080617940525083619d8051840984617920518509935080617920525083619d6051840984617900518509935080617900525083619d40518409846178e05185099350806178e0525083619d20518409846178c05185099350806178c0525083619d00518409846178a05185099350806178a0525083619ce051840984617880518509935080617880525083619cc051840984617860518509935080617860525083619ca051840984617840518509935080617840525083619c8051840984617820518509935080617820525083619c40518409846141805185099350806174a0525083619c2051840984614200518509935084816141e051096141e05250601f19015b614c808111156117df57838251840984825185099082529250601f1991820191016117b9565b50505060015f60016145a0611a606148a0614ca05f5b60188110156118d057825189602086015186510888149890981697808a805f1981018308820990508a8b60028d038408820990508a8b60038d038408820990508a8b60048d038408820990508a8b60058d038408820990508a8b60068d038408820990508a8b60078d038408820990505f98505f5b600881101561189857865185518d8183099150508c818c089a5050602096870196949094019360010161186a565b508a818a0998505085518a60018c03820890508a8b8284096001089150508981880996505060209485019492909201916001016117f5565b5050505050826118e9576313f8744360e31b5f5260045ffd5b6168605261684052506134c0516135e051829190098161346051613600510982613480516136205109836134e051613640510961350051857f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f8000000878860038a03850889613440518b613600516135e05109090909868788898a858b088908870885086134a0510895505085868788613640516135e051086136e0518a03086134405108876002890384080993508586613740518860018a038508098608945085616860518783880909945084616560528586600188038308850994508581860994505050505081616860518209616580525061412051614140516133005183908190840982613600510101846132e0518509836135e0510101098384613340518509836136405101018561332051860984613620510101098481830985866132805187098561360051010187613260518809866135e051010109925085866132c051870985613640510101876132a05188098661362051010109915085828409945085818761336051613660510809935085868688896141e0516133805109613760510809870385089350856168605185099350836164a052856168605187613760516133805109099350836164c0525050505050806168605182613660516133605109096164e052614140516141205182818009838282098485846133e0510986866133c0510808858683613420510987856134005109088681830887886136e051613460510989896135e051080892508788613700516134405109613600510891508788613720516134a0510961362051089650878887840984089550878886890987089550878885613480510987089550878161368051099650878661368051099450876133a0516136c05108935087886133a0516136c0510989038508935087613680518983890909955050505084818603840892505083616860518309915083836133a0510992508384826136a05109850384089250506136c0518384600186038308820990508361686051820990508161650052826165205280616540525050505f51602061420f5f395f51905f527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffffe836135e05185036136005108846136005186036136205108856136205187036136405108866136405188036136e0510883888989870882099050888988870882099050888987870882099050886135205182099050886168605182096165a052509192508291878088850885099350878887850885099350878886850885099350876135205185099350876168605185096165c0529092508290878088840885099350878887840885099350878886840885099350876135205185099350876168605185096165e052925082878088830885099350878887830885099350878886830885099350876135205185099350876168605185099350836166005250505050505050806136005182036136e051088161362051613620510982613740516137405109836134c05185613740516136205109098485613600516136e051086137005108858587878409099050858387038208905085848703820890508582820890508582820890508561686051820992505050836135405182099050838461344051860360010882096166205250613720516136205184919008836134c051613740510984613620518603820890508484830991508485828761360051890361370051080983089150508361686051820990508361354051820990508384613440518603600108820961664052506136005183908160118408099150828182088381820890508360098409925083846136005161360051086137005108848282099050848486038208905084616860518209935050508261344051846135405185090991508261662051830861662052505061360051819081818181800808098182613700518403613600510882099050818283613720516136205108846136205161362051080983038208905081616860518209905081613440518361354051840909905081616640518208616640525061410051613620518291900981826140e05161360051098208905081826140c0516135e0510982089050816134a051820890508082613640518403830891508161690052826135e05184036136e0510883613640518503613740510884855f51602061420f5f395f51905f52840883098586848803600108830991508586878861686051613560510961346051096134c051098309616680528586878861686051613560510961346051096134c0510982096166a0528586613460516134c0510986096168e05285614100516137205109945085866140e05161370051098608945085866140c0516136e05109860894508585870361374051089450856136205187036137205108915085868787890360010884098785890360010809915085848703613640510886875f51602061420f5f395f51905f5283088209905086875f51602061420f5f395f51905f5288088709955086876168605161356051096134805109878185096166c052878184096166e052878188096167005250866134805182096168c052505050836136005185036137005108925083613620518503858684880360010886090892506168e05191508384856134c0516134e051098509830891508384856134c0516134405109616900510983089150836168c0518308915083846168605161356051098309915081616660525050508081613600516136e0510982613700516135e051090881613720518303838461362051613600510985613640516135e05109080882600160441b820990508261374051840382089050828282089050826134e0518209905082600160441b830991508283613700516136e0510983089150826134805184856136405161362051088603850809836134405185866137405161372051088703876136405188080809925083613460518585878686080809616880525050613700518291506140009009816136e05182089050816140008209905081613620518208905081614000820990508161360051820890508161400082099050816135e051820890508161364051830382089050816134e051820990508161400061372051098261370051820890508261400082099050826136e05182089050826140008209905082613640518208905082614000820990508261362051820890508261374051840382089050826134405182099050828183089150508161348051820990508181616880510890508182616860516135805109820961672052506134c0516135e051829190088161346051613600510882613480516136205108836134e0516136405108848485098586868309820994508584850990508586858309820993508583840990508586848309820992508582830990508586838309820991508584860890508582840894508584850893508585850893508582830892508581840892508585860894508585860894508583860894508581820891505084818208905084838208905084818308915084848408925084616860516135a0510985866136e0518803850882096167405285866137005188038408820961676052858661372051880386088209616780528586613740518803870882096167a0525050505050806134c0516135e0510881818209828383830982099150506136005161362051613640518483850885868385088208905085616860516135c051098682887f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7890908955086876136e0518903880882096167c0528682887f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b88090895508687613700518903880882096167e0528682887e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac158709089550868761372051890388088209616800528682887f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b8609089550868761374051890388088209616820525050505050506164a0518182614220516164c05109820890508182614240516164e051098208905081826142605161650051098208905081826142805161652051098208905081826142a05161654051098208905081826142c05161656051098208905081826142e0516165805109820890508182614300516165a05109820890508182614320516165c05109820890508182614340516165e051098208905081826143605161660051098208905081826143805161662051098208905081826143a05161664051098208905081826143c05161666051098208905081826143e0516166805109820890508182614400516166a05109820890508182614420516166c05109820890508182614440516166e051098208905081826144605161670051098208905081826144805161672051098208905081826144a05161674051098208905081826144c05161676051098208905081826144e0516167805109820890508182614500516167a05109820890508182614520516167c05109820890508182614540516167e0510982089050818261456051616800510982089050818261458051616820510982086168405114905080612670576313f8744360e31b5f5260045ffd5b505f5f6174a051617b2051617e20516141a05186878383098408955086878884840989038508850994505050505060015f838503935082850392506141605185838609616c205285868461326051098308915085818409925085838609616c405285868461328051098308915085818409925085838609616c60528586846132a051098308915085818409925085838609616c80528586846132c051098308915085818409925085838609616ca0528586846132e051098308915085818409925085838609616cc05285868461330051098308915085818409925085838609616ce05285868461332051098308915085818409925085838609616d005285868461334051098308915085818409925085838609616d205285868461336051098308915085818409925085838609616d405285868461338051098308915085818409925085838609616d60528586846133a051098308915085818409925085838609616d80528586846133c051098308915085818409925085838609616da0528586846133e051098308915085818409925085838609616dc05285868461340051098308915085818409925085838609616de05285868461342051098308915085818409925085838609616e005285868461344051098308915085818409925085838609616e205285868461346051098308915085818409925085838609616e405285868461348051098308915085818409925085838609616e60528586846134a051098308915085818409925085838609616e80528586846134c051098308915085818409925085838609616ea0528586846134e051098308915085818409925085838609616ec05285868461350051098308915085818409925085838609616ee05285868461352051098308915085818409925085838609616f005285868461354051098308915085818409925085838609616f205285868461356051098308915085818409925085838609616f405285868461358051098308915085818409925085838609616f60528586846135a051098308915085818409925085838609616f80528586846135c051098308915085818409925085838609616fa0528586846135e051098308915085818409925085838609616fc05285868461360051098308915085818409925085838609616fe05285868461362051098308915085818409925085838609617000528586846136405109830891508581840992508583860961702052858684613660510983089150858184099250858386096170405285868461368051098308915085818409925085838609617060528586846136a051098308915085818409925085838609617080528586846136c05109830891508581840992508586848609616fa05108616fa0528586846136e05109830891508581840992508586848609616fc05108616fc0528586846137005109830891508581840992508586848609616fe05108616fe0528586846137205109830891508581840992508586848609617000510861700052858684613740510983089150858184099250858684860961702051086170205285868461376051098308915085818409925050616c005f52614b80602052614020604052617b00935061840092508060185b8015612b8a575f5151602051518889600286098309898a838c0360010884099250898a8b848d03860860405151098b03820890508989518209905080945080885250505060205f51035f526020805103602052602060405103604052602086039550602085039450600181039050612b17565b50505083617b2051618120510992506141a0519150838485617e20518509613d4051098408925083828309809150617b405f52617e40602052613d606040526181406170a05f5b6017811015612c4457875f515186098889602051518909870989828b03828c03088452896040515182099050898a865184098208905089818a089850505087848609945060205f51015f526020805101602052602060405101604052602083019250602082019150600181019050612bd1565b505050505050600191507f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760406140405f5e6134917f017a8a0cf3a397ce7756b794ce207dfc776a84b4840c200af82743eed57509bd6110a0527e0b1d68189c34958a2e13a63481f8d87bf370138c46a761aaca8a173b03a9d36110c0527f1198ceb6897eb5bf185382fd9db5f67c2f42beacab00de0dd999afe5c34ec7db6110e0527f1bc9c3e7c7b553aa0249bb5d30a789fdd8adb9f851b27a22a5ee184a7a254692611100527f0557105248ea360bb0f11dbd5caad011fa37dd5ecb7df2f8b18513e3c5098a07611120527f096c3a3df86035e547d418dc08af89b5a97f4458eecc857f65bb0963b50f9970611140527f0cb7f4d0baab55a4cc5569f75f4bd17576c9c763df44fffff4e1a0ef48295f19611160527f12b85145d1912e2993f1ce6553b9950eb3cf84e90cf3dcab20f007f4f191589d611180527f2d8a0a581ac18e6939e7e7af80a7d540d1f620e7177df74fe24f558c7b104557611060527f1fe4782c8244ea17f5f19997f0725e650ac023119d3aecfbee4db3f93ea1ba1c611080527f1c8a93c71eba79121c4d0272d5a4140a36c40be7bf7c7640eb5b6aede0c4e82e6111a0527f1cf91310860fabc4e9198abdaa7b3ed64b4b9fb67cc63b5adc6ca2bcbd3253c16111c0527f240c61ca01a9d4825953d57fb86faac15533fc645dae5893626b1720bef4c8f66114a0527f2a4c84ccc7881879778269b15736cf76a4068b1d3bb0e280ebe63a7842508c496114c0527f1d6762984350fdc556daef887e843d0c48ad9b6abba6bb7a32daadfafba9e3d76111e0527f0bea8022cae52ea805ea2453efbf696a9b8a346fc98b496c8dc245fe9ac62591611200527f1cf67109fd502f661c92fdb1f4f73b6a1068bf5f0bab6ce2d606fbccbfff1d226115e0527f05311ac817e970a0d2b9f8300bb5928a7bfdf95ed29b2f1da5ba08185fc3da86611600527f0ec16681196c2d137b00078695601906af1c60a47f04f75c26224256e9e0963e611620527f1a2a0528b7d4c19adfcc974fa0531311a7e7934d65798705582eb5fcd42dded1611640527f20588c1fa5935f23278d006804a78fb7830b4609665b901291dae8588ed8891f611660527f24f783d3b24e1d26712bf598f580deae90ef70ec78b097e10612e1b162f2bff9611680527f149d8ac87dc66f73f91d298c338332cc2015b4b79bc7a960fa9176c463da27046116a0527f07bd36e609f9c695ae51065a0ac0dc2d601c1fcb771f7767b012b0fce84646b56116c0527f1a91ab71218d3010556e443c181471fcf83e00a3cc81f944259037777b212a9f6116e0527f2af8ae980d3fd0fde23ffef59b1a4d991375b850c5a9463867453a7cd3850ee0611700527f02cc26c0ce63be81d3f53b06aaa90cfac5b1cfc925b25a835af9369dca819ae0611720527f02d94c7a87d26c97a92d67ab0f6bb320a11a65a9129431d5dce11e3aa37ad700611740527f1d48dccf1c179d23528264773bfc39ee28b9f91ac57eb242a2fad7d721b21393611220527f0e77686b0597e42ca7293b93a15d654e57c75053abe0bec01789cf633f26ebb5611240527f0f9b447eeb4285e715dbdc8d42f2f856165f666cd9720b7c772291d2d3563803611260527f157423173855e0b30e65b033bfd06fe6e660ac6123f6f7b4d38eae12a7175241611280527f28919740422e36ab96f10f2559851daf51c9a7cb0e77a49cfc4fd9af501d77896112a0527f21f2abf738927e842de9363f1b9b4718f9ea8de517a1241bcad3681a4acde43f6112c0527f0d29ed188cf2ba817d1d0f41533b08c1f92aecca31052637c6220774d83c760e6112e0527f0b8ed0ab98b1236524380a8fce7b75a9bb84ea8e7d3f27bdb61903a40ea41337611300527f290fb60f4114fa50e92897a66d9a86b7e1c60e6f84a4df2dc1d020da1537bab86114e0527f087bcd143b8021cae339bd062d6d837a34a3a502e6eaf2326a765d0703d31c01611500527f22e84aa48f8510653f8f7b7c9c8fa3ab838de294018587a7587990e0b1f92e8d611520527f0ed854b35b0c13c96ef3b3071676b3524a1aa3fb28791d3d908840a5d1765872611540527f2be3b503e1119c1b4d7545a1ac3b10b9f82ed04da805bd4242f30aac7a03b8f8611560527f0f45d075a4f5045b58c0084bf7abac45fd1def643fb0dc0479d534c0afa1a371611580527f2b4d0112219c6226700ca100a7d27041173ba6ae9f0dcd977df77401d7024afe6115a0527f2da309999fbd4c76c28ddde2da2b34231b220013cbab34646c4ea3009fc10ac96115c0527f29f14e4c60fd58035b68f2be26a5dcea1c3ad5fc3868d993adeddcac9498050b611320527f19a254472a10d0e40e4fead233818b6de94b4fcab014024a76ce3264002edefa611340527f1ade6820202a78e54d0cb4efa6d2bd5f4adcdeb540846a592e36fc63c70cff1b611360527f05ab5d398f3133326f329ae0f879278a66e69e81b196e237783c473c9d1303c5611380527eb123a85cfe234991ef02f69b53f3c9883b6ac538882dcbbbb5a0f12b6e92c36113a0527f2ae7702684c2041e013b0ac1c8262ed40a191492f9faee8603bfe9ed903a426e6113c0527f01a83b27ff04eace4c79d9e60dc762b5781968d615a57436286379c83e4260fa6113e0527f2771df16d8b5458b2820a44053f1f7f994ca87a927ed7282a71730c80e759ed9611400527f2a56ce41f6b0be13b9c26747621b821eee81b23a887f299049b14c11e98460d6611420527f1aa98f2de3ddda547d8f6de4e725ded5827d6338c78656c0d12ca1aea6ef2c7c611440527f1786179d723e6f94e6b65beec4a94e2cb1f36946e74d70b4e186ca051e8c2b16611460527f132ed90a46a33fbf9d0748162a877c8e6a0428d714bae03ce03d8847ab10b84461148052565b604061122060605e616c205160a05260408060608060075afa8316925060405f60805f60065afa83169250604061126060605e616c405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406112a060605e616c605160a05260408060608060075afa8316925060405f60805f60065afa8316925060406112e060605e616c805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061132060605e616ca05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061136060605e616cc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406113a060605e616ce05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406113e060605e616d005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061142060605e616d205160a05260408060608060075afa8316925060405f60805f60065afa83169250604061146060605e616d405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406114a060605e616d605160a05260408060608060075afa8316925060405f60805f60065afa8316925060406114e060605e616d805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061152060605e616da05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061156060605e616dc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406115a060605e616de05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061106060605e616e005160a05260408060608060075afa8316925060405f60805f60065afa8316925060406110e060605e616e205160a05260408060608060075afa8316925060405f60805f60065afa83169250604061112060605e616e405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406111a060605e616e605160a05260408060608060075afa8316925060405f60805f60065afa8316925060406110a060605e616e805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061116060605e616ea05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406111e060605e616ec05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406115e060605e616ee05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061162060605e616f005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061166060605e616f205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406116a060605e616f405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406116e060605e616f605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061172060605e616f805160a05260408060608060075afa8316925060405f60805f60065afa83169250600160605260026020606001528160a05260408060608060075afa8316925060405f60805f60065afa83169250604061186060605e616fa05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406118a060605e616fc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406118e060605e616fe05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406119a060605e6170005160a05260408060608060075afa8316925060405f60805f60065afa831692506040611a2060605e6170205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406119e060605e6170405160a05260408060608060075afa8316925060405f60805f60065afa83169250604061192060605e6170605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061196060605e6170805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061378060605e6170a05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406137c060605e6170c05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061380060605e6170e05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061384060605e6171005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061388060605e6171205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406138c060605e6171405160a05260408060608060075afa8316925060405f60805f60065afa83169250604061390060605e6171605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061394060605e6171805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061398060605e6171a05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406139c060605e6171c05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a0060605e6171e05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a4060605e6172005160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a8060605e6172205160a05260408060608060075afa8316925060405f60805f60065afa831692506040613ac060605e6172405160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b0060605e6172605160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b4060605e6172805160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b8060605e6172a05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613bc060605e6172c05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c0060605e6172e05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c4060605e6173005160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c8060605e6173205160a05260408060608060075afa8316925060405f60805f60065afa831692506040613cc060605e6173405160a05260408060608060075afa8316925060405f60805f60065afa831692506040613d0060605e6173605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061408060605e6141c05160a05260408060608060075afa8316925060405f60805f60065afa8316925082613ee6576352ec174560e11b5f5260045ffd5b6140805160c0526140a051810360e05260405f60805e61176051806117805160881b1790506117a051806117c05160881b1790506117e051806118005160881b17905061182051806118405160881b1790508082178385171715600181613fe057868310878510168786108888101616613f695763303df09f60e11b5f5260045ffd5b505f85815260208590526040848152606084815261010083208083528686171515898917151516939092918160075afa821691506040608060405e60405f60805f60065afa82169150846040528360605280608052506040806060604060075afa16604060c060805e604060c06080604060065afa165b8115613fed57604060805f5e5b7f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26040527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6060527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6080527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60a0527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c1610100527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b0610120527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe4610140527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101605260205f6101805f60085afa8116955050505050505f51811661413c576352ec174560e11b5f5260045ffd5b5060015f5260205ff35b5f5f5f5f60408587031215614159575f5ffd5b843567ffffffffffffffff81111561416f575f5ffd5b8501601f8101871361417f575f5ffd5b803567ffffffffffffffff811115614195575f5ffd5b8760208284010111156141a6575f5ffd5b60209182019550935085013567ffffffffffffffff8111156141c6575f5ffd5b8501601f810187136141d6575f5ffd5b803567ffffffffffffffff8111156141ec575f5ffd5b8760208260051b8401011115614200575f5ffd5b94979396506020019450505056fe30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000a2646970667358221220b5b7703092fe10d84f00bdf355e50c99d7b814c0a8b814ab2dbf51e234e2530f64736f6c634300081e0033";
5
5
  /**
6
6
  * HonkVerifier link references.
7
7
  */
8
8
  export declare const HonkVerifierLinkReferences: {};
9
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiSG9ua1ZlcmlmaWVyQnl0ZWNvZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9Ib25rVmVyaWZpZXJCeXRlY29kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7R0FFRztBQUNILGVBQU8sTUFBTSxvQkFBb0IseXdpQ0FBeXdpQyxDQUFDO0FBQzN5aUM7O0dBRUc7QUFDSCxlQUFPLE1BQU0sMEJBQTBCLElBQWMsQ0FBQyJ9
9
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiSG9ua1ZlcmlmaWVyQnl0ZWNvZGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9Ib25rVmVyaWZpZXJCeXRlY29kZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQTs7R0FFRztBQUNILGVBQU8sTUFBTSxvQkFBb0IsdXdpQ0FBdXdpQyxDQUFDO0FBQ3p5aUM7O0dBRUc7QUFDSCxlQUFPLE1BQU0sMEJBQTBCLElBQWMsQ0FBQyJ9
package/dest/HonkVerifierBytecode.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"HonkVerifierBytecode.d.ts","sourceRoot":"","sources":["../src/HonkVerifierBytecode.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,oBAAoB,ywiCAAywiC,CAAC;AAC3yiC;;GAEG;AACH,eAAO,MAAM,0BAA0B,IAAc,CAAC"}
1
+ {"version":3,"file":"HonkVerifierBytecode.d.ts","sourceRoot":"","sources":["../src/HonkVerifierBytecode.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,oBAAoB,uwiCAAuwiC,CAAC;AACzyiC;;GAEG;AACH,eAAO,MAAM,0BAA0B,IAAc,CAAC"}
package/dest/HonkVerifierBytecode.js CHANGED
@@ -1,6 +1,6 @@
1
1
  /**
2
2
  * HonkVerifier bytecode.
3
- */ export const HonkVerifierBytecode = "0x6080604052348015600e575f5ffd5b506142658061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614147565b610054565b604051901515815260200160405180910390f35b5f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016004803560248101916129609101358082146100a8576359895a5360e01b5f526018600452806024528160445260645ffd5b505060046024350135606f81146100c85763fa06659360e01b5f5260045ffd5b507f1c402774c68364f9d83168357306f0374fe1fa4703108a42119fc4438be58ccc5f526024803501610de080826020378060200191506101008383376101008084018261012001376101e0015f90812084900690819052905060016001607f1b03811683818009848282096140c0929092526140e052614100526129608083611760375060019150600160881b600160781b7f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd476117605b6118608110156101a85783815110861695508260208201511086169550604081019050610180565b856101bc5763eb73e0bd60e01b5f5260045ffd5b506118605b611a608110156101dc578051821195909516946020016101c1565b506137805b613d408110156101fc578051821195909516946020016101e1565b506140405b6140c081101561021c57805182119590951694602001610201565b856102305763303df09f60e11b5f5260045ffd5b50611a605b61378081101561025057805187119590951694602001610235565b50613d405b61404081101561027057805187119590951694602001610255565b5050505081610288576320a3358960e01b5f5260045ffd5b60c061192060205e8260e05f20069050805f5260016001607f1b038116915080607f1c826141205280614140525060806119e060205e8260a05f20069050805f5260016001607f1b038116915081614220526142405b6145a08110156102fc576020810351848482098252506020016102de565b508260205f20069050805f5260016001607f1b0381169150816145a0526145c091505b6148a08210156103405760208203518381820983525060208201915061031f565b611a6091506148a05b613260831015610386576101008360205e836101205f20069150815f5260016001607f1b0382168082525061010083019250602081019050610349565b5061052061326060205e826105405f20069050805f5260016001607f1b038116915081614160526105c061378060205e826105e05f20069050805f5260016001607f1b03811691508161418052610300613d4060205e826103205f20069050805f5260016001607f1b0381169150816141a052604061404060205e505060605f2081900660016001607f1b03166141c0526141205161414051600560018085808063100000058809860881600186018809945081858303870895506001945060248035016020606f0281015b8082101561048f578135848110881697508485828608880996508485828b0887099550508389840892508389850389089750602082019150610452565b5050846104a5576320a3358960e01b5f5260045ffd5b61176094505b6118608510156104e35784518283828408860994508283828908850993505081878208905081878303870895506020850194506104ab565b50506141e0919091526142005250507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec51614ba052506102d0614bc0527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff11614be0526090614c00527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71614c205260f0614c40527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd31614c60526113b0614c80526001618400614ca06148a05f5b6018811015610730578151614ba0805188898a8508820980875260208801975088885289818a09985060208301925060208701965082519150898a60018c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60028c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60038c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60048c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60058c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60068c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60078c0386088309905080875260208801975088885289818a0998505050602094850194939093019250506001016105ae565b50506142005183619c205284818509935050614180518061692052848182099050806169405284818209905080616960528481820990508061698052848182099050806169a052848182099050806169c052848182099050806169e05284818209905080616a005284818209905080616a205284818209905080616a405284818209905080616a605284818209905080616a805284818209905080616aa05284818209905080616ac05284818209905080616ae05284818209905080616b005284818209905080616b205284818209905080616b405284818209905080616b605284818209905080616b805284818209905080616ba05284818209905080616bc05284818209905080616be05284818209616c00525061418051619c40849052848185099350506148a0516169205185828788858a03600108840908915050806178205283619c8052848185099350506148c0516169405185828788858a03600108840908915050806178405283619ca052848185099350506148e0516169605185828788858a03600108840908915050806178605283619cc05284818509935050614900516169805185828788858a03600108840908915050806178805283619ce05284818509935050614920516169a05185828788858a03600108840908915050806178a05283619d005284818509935050614940516169c05185828788858a03600108840908915050806178c05283619d205284818509935050614960516169e05185828788858a03600108840908915050806178e05283619d40528481850993505061498051616a005185828788858a03600108840908915050806179005283619d6052848185099350506149a051616a205185828788858a03600108840908915050806179205283619d8052848185099350506149c051616a405185828788858a03600108840908915050806179405283619da052848185099350506149e051616a605185828788858a03600108840908915050806179605283619dc05284818509935050614a0051616a805185828788858a03600108840908915050806179805283619de05284818509935050614a2051616aa05185828788858a03600108840908915050806179a05283619e005284818509935050614a4051616ac05185828788858a03600108840908915050806179c05283619e205284818509935050614a6051616ae05185828788858a03600108840908915050806179e05283619e405284818509935050614a8051616b005185828788858a0360010884090891505080617a005283619e605284818509935050614aa051616b205185828788858a0360010884090891505080617a205283619e805284818509935050614ac051616b405185828788858a0360010884090891505080617a405283619ea05284818509935050614ae051616b605185828788858a0360010884090891505080617a605283619ec05284818509935050614b0051616b805185828788858a0360010884090891505080617a805283619ee05284818509935050614b2051616ba05185828788858a0360010884090891505080617aa05283619f005284818509935050614b4051616bc05185828788858a0360010884090891505080617ac05283619f205284818509935050614b6051616be05185828788858a0360010884090891505080617ae05283619f405284818509935050614b8051616c005185828788858a0360010884090891505080617b005283619f6052848185099350506141c05184616920518603820880617b205284619f80528581860994505084616940518603820880617b405284619fa0528581860994505084616960518603820880617b605284619fc0528581860994505084616980518603820880617b805284619fe05285818609945050846169a0518603820880617ba0528461a0005285818609945050846169c0518603820880617bc0528461a0205285818609945050846169e0518603820880617be0528461a040528581860994505084616a00518603820880617c00528461a060528581860994505084616a20518603820880617c20528461a080528581860994505084616a40518603820880617c40528461a0a0528581860994505084616a60518603820880617c60528461a0c0528581860994505084616a80518603820880617c80528461a0e0528581860994505084616aa0518603820880617ca0528461a100528581860994505084616ac0518603820880617cc0528461a120528581860994505084616ae0518603820880617ce0528461a140528581860994505084616b00518603820880617d00528461a160528581860994505084616b20518603820880617d20528461a180528581860994505084616b40518603820880617d40528461a1a0528581860994505084616b60518603820880617d60528461a1c0528581860994505084616b80518603820880617d80528461a1e0528581860994505084616ba0518603820880617da0528461a200528581860994505084616bc0518603820880617dc0528461a220528581860994505084616be0518603820880617de0528461a240528581860994505084616c00518603820880617e00528461a26052858186099450508461692051820880617e20528461a28052858186099450508461694051820880617e40528461a2a052858186099450508461696051820880617e60528461a2c052858186099450508461698051820880617e80528461a2e05285818609945050846169a051820880617ea0528461a3005285818609945050846169c051820880617ec0528461a3205285818609945050846169e051820880617ee0528461a340528581860994505084616a0051820880617f00528461a360528581860994505084616a2051820880617f20528461a380528581860994505084616a4051820880617f40528461a3a0528581860994505084616a6051820880617f60528461a3c0528581860994505084616a8051820880617f80528461a3e0528581860994505084616aa051820880617fa0528461a400528581860994505084616ac051820880617fc0528461a420528581860994505084616ae051820880617fe0528461a440528581860994505084616b0051820880618000528461a460528581860994505084616b2051820880618020528461a480528581860994505084616b4051820880618040528461a4a0528581860994505084616b6051820880618060528461a4c0528581860994505084616b8051820880618080528461a4e0528581860994505084616ba0518208806180a0528461a500528581860994505084616bc0518208806180c0528461a520528581860994505084616be0518208806180e0528461a540528581860994505084616c0051820880618100528461a56052858186099450505060205f52602080526020604052826060527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff6080528360a05260205f60c05f60055afa61113a5763f442f16360e01b5f5260045ffd5b5f519250826111525763f442f16360e01b5f5260045ffd5b8361a5605184098461810051850993508061810052508361a540518409846180e05185099350806180e052508361a520518409846180c05185099350806180c052508361a500518409846180a05185099350806180a052508361a4e05184098461808051850993508061808052508361a4c05184098461806051850993508061806052508361a4a05184098461804051850993508061804052508361a4805184098461802051850993508061802052508361a4605184098461800051850993508061800052508361a44051840984617fe0518509935080617fe052508361a42051840984617fc0518509935080617fc052508361a40051840984617fa0518509935080617fa052508361a3e051840984617f80518509935080617f8052508361a3c051840984617f60518509935080617f6052508361a3a051840984617f40518509935080617f4052508361a38051840984617f20518509935080617f2052508361a36051840984617f00518509935080617f0052508361a34051840984617ee0518509935080617ee052508361a32051840984617ec0518509935080617ec052508361a30051840984617ea0518509935080617ea052508361a2e051840984617e80518509935080617e8052508361a2c051840984617e60518509935080617e6052508361a2a051840984617e40518509935080617e4052508361a28051840984617e20518509935080617e2052508361a26051840984617e00518509935080617e0052508361a24051840984617de0518509935080617de052508361a22051840984617dc0518509935080617dc052508361a20051840984617da0518509935080617da052508361a1e051840984617d80518509935080617d8052508361a1c051840984617d60518509935080617d6052508361a1a051840984617d40518509935080617d4052508361a18051840984617d20518509935080617d2052508361a16051840984617d00518509935080617d0052508361a14051840984617ce0518509935080617ce052508361a12051840984617cc0518509935080617cc052508361a10051840984617ca0518509935080617ca052508361a0e051840984617c80518509935080617c8052508361a0c051840984617c60518509935080617c6052508361a0a051840984617c40518509935080617c4052508361a08051840984617c20518509935080617c2052508361a06051840984617c00518509935080617c0052508361a04051840984617be0518509935080617be052508361a02051840984617bc0518509935080617bc052508361a00051840984617ba0518509935080617ba0525083619fe051840984617b80518509935080617b80525083619fc051840984617b60518509935080617b60525083619fa051840984617b40518509935080617b40525083619f8051840984617b20518509935080617b20525083619f6051840984617b00518509935080617b00525083619f4051840984617ae0518509935080617ae0525083619f2051840984617ac0518509935080617ac0525083619f0051840984617aa0518509935080617aa0525083619ee051840984617a80518509935080617a80525083619ec051840984617a60518509935080617a60525083619ea051840984617a40518509935080617a40525083619e8051840984617a20518509935080617a20525083619e6051840984617a00518509935080617a00525083619e40518409846179e05185099350806179e0525083619e20518409846179c05185099350806179c0525083619e00518409846179a05185099350806179a0525083619de051840984617980518509935080617980525083619dc051840984617960518509935080617960525083619da051840984617940518509935080617940525083619d8051840984617920518509935080617920525083619d6051840984617900518509935080617900525083619d40518409846178e05185099350806178e0525083619d20518409846178c05185099350806178c0525083619d00518409846178a05185099350806178a0525083619ce051840984617880518509935080617880525083619cc051840984617860518509935080617860525083619ca051840984617840518509935080617840525083619c8051840984617820518509935080617820525083619c40518409846141805185099350806174a0525083619c2051840984614200518509935084816141e051096141e05250601f19015b614c808111156117df57838251840984825185099082529250601f1991820191016117b9565b50505060015f60016145a0611a606148a0614ca05f5b60188110156118d057825189602086015186510888149890981697808a805f1981018308820990508a8b60028d038408820990508a8b60038d038408820990508a8b60048d038408820990508a8b60058d038408820990508a8b60068d038408820990508a8b60078d038408820990505f98505f5b600881101561189857865185518d8183099150508c818c089a5050602096870196949094019360010161186a565b508a818a0998505085518a60018c03820890508a8b8284096001089150508981880996505060209485019492909201916001016117f5565b5050505050826118e9576313f8744360e31b5f5260045ffd5b6168605261684052506132a0516135e05182919009816132c0516136005109826132e05161362051098361330051613640510961334051857f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f8000000878860038a03850889613260518b613600516135e05109090909868788898a858b08890887088508613280510895505085868788613640516135e051086136e0518a03086132605108876002890384080993508586613740518860018a0385080986089450856168605187838809099450846164a05285866001880383088509945085818609945050505050816168605182096164c0525061412051614140516134c05183908190840982613600510101846134a0518509836135e051010109838461350051850983613640510101856134e051860984613620510101098481830985866134405187098561360051010187613420518809866135e051010109925085866134805187098561364051010187613460518809866136205101010991508582840994508581876135a051613660510809935085868688896141e0516135c05109613760510809870385089350856168605185099350836164e052856168605187613760516135c0510909935083616500525050505050806168605182613660516135a0510909616520526141405161412051828180098382820984858461354051098686613520510808858683613580510987856135605109088681830887886136e0516132c0510989896135e051080892508788613700516132605109613600510891508788613720516132805109613620510896508788878409840895508788868909870895508788856132e051098708955087816136805109965087866136805109945087613320516136c0510893508788613320516136c051098903850893508761368051898389090995505050508481860384089250508361686051830991508383613320510992508384826136a05109850384089250506136c0518384600186038308820990508361686051820990508161654052826165605280616580525050505f5160206142105f395f51905f527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffffe836135e05185036136005108846136005186036136205108856136205187036136405108866136405188036136e0510883888989870882099050888988870882099050888987870882099050886133605182099050886168605182096165a052509192508291878088850885099350878887850885099350878886850885099350876133605185099350876168605185096165c0529092508290878088840885099350878887840885099350878886840885099350876133605185099350876168605185096165e052925082878088830885099350878887830885099350878886830885099350876133605185099350876168605185099350836166005250505050505050806136005182036136e051088161362051613620510982613740516137405109836132a05185613740516136205109098485613600516136e051086137005108858587878409099050858387038208905085848703820890508582820890508582820890508561686051820992505050836133805182099050838461326051860360010882096166205250613720516136205184919008836132a051613740510984613620518603820890508484830991508485828761360051890361370051080983089150508361686051820990508361338051820990508384613260518603600108820961664052506136005183908160118408099150828182088381820890508360098409925083846136005161360051086137005108848282099050848486038208905084616860518209935050508261326051846133805185090991508261662051830861662052505061360051819081818181800808098182613700518403613600510882099050818283613720516136205108846136205161362051080983038208905081616860518209905081613260518361338051840909905081616640518208616640525061410051613620518291900981826140e05161360051098208905081826140c0516135e05109820890508161328051820890508082613640518403830891508161690052826135e05184036136e0510883613640518503613740510884855f5160206142105f395f51905f528408830985868488036001088309915085868788616860516133a051096132c051096132a0510983096166805285868788616860516133a051096132c051096132a0510982096166a05285866132c0516132a0510986096168e05285614100516137205109945085866140e05161370051098608945085866140c0516136e05109860894508585870361374051089450856136205187036137205108915085868787890360010884098785890360010809915085848703613640510886875f5160206142105f395f51905f5283088209905086875f5160206142105f395f51905f528808870995508687616860516133a051096132e05109878185096166c052878184096166e052878188096167005250866132e05182096168c052505050836136005185036137005108925083613620518503858684880360010886090892506168e05191508384856132a05161330051098509830891508384856132a0516132605109616900510983089150836168c051830891508384616860516133a051098309915081616660525050508081613600516136e0510982613700516135e051090881613720518303838461362051613600510985613640516135e05109080882600160441b82099050826137405184038208905082828208905082613300518209905082600160441b830991508283613700516136e0510983089150826132e051848561364051613620510886038508098361326051858661374051613720510887038761364051880808099250836132c0518585878686080809616880525050613700518291506140009009816136e05182089050816140008209905081613620518208905081614000820990508161360051820890508161400082099050816135e0518208905081613640518303820890508161330051820990508161400061372051098261370051820890508261400082099050826136e0518208905082614000820990508261364051820890508261400082099050826136205182089050826137405184038208905082613260518209905082818308915050816132e051820990508181616880510890508182616860516133c05109820961672052506132a0516135e05182919008816132c0516136005108826132e051613620510883613300516136405108848485098586868309820994508584850990508586858309820993508583840990508586848309820992508582830990508586838309820991508584860890508582840894508584850893508585850893508582830892508581840892508585860894508585860894508583860894508581820891505084818208905084838208905084818308915084848408925084616860516133e0510985866136e0518803850882096167405285866137005188038408820961676052858661372051880386088209616780528586613740518803870882096167a0525050505050806132a0516135e05108818182098283838309820991505061360051613620516136405184838508858683850882089050856168605161340051098682887f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7890908955086876136e0518903880882096167c0528682887f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b88090895508687613700518903880882096167e0528682887e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac158709089550868761372051890388088209616800528682887f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b8609089550868761374051890388088209616820525050505050506164a0518182614220516164c05109820890508182614240516164e051098208905081826142605161650051098208905081826142805161652051098208905081826142a05161654051098208905081826142c05161656051098208905081826142e0516165805109820890508182614300516165a05109820890508182614320516165c05109820890508182614340516165e051098208905081826143605161660051098208905081826143805161662051098208905081826143a05161664051098208905081826143c05161666051098208905081826143e0516166805109820890508182614400516166a05109820890508182614420516166c05109820890508182614440516166e051098208905081826144605161670051098208905081826144805161672051098208905081826144a05161674051098208905081826144c05161676051098208905081826144e0516167805109820890508182614500516167a05109820890508182614520516167c05109820890508182614540516167e0510982089050818261456051616800510982089050818261458051616820510982086168405114905080612670576313f8744360e31b5f5260045ffd5b505f5f6174a051617b2051617e20516141a05186878383098408955086878884840989038508850994505050505060015f838503935082850392506141605185838609616c205285868461326051098308915085818409925085838609616c405285868461328051098308915085818409925085838609616c60528586846132a051098308915085818409925085838609616c80528586846132c051098308915085818409925085838609616ca0528586846132e051098308915085818409925085838609616cc05285868461330051098308915085818409925085838609616ce05285868461332051098308915085818409925085838609616d005285868461334051098308915085818409925085838609616d205285868461336051098308915085818409925085838609616d405285868461338051098308915085818409925085838609616d60528586846133a051098308915085818409925085838609616d80528586846133c051098308915085818409925085838609616da0528586846133e051098308915085818409925085838609616dc05285868461340051098308915085818409925085838609616de05285868461342051098308915085818409925085838609616e005285868461344051098308915085818409925085838609616e205285868461346051098308915085818409925085838609616e405285868461348051098308915085818409925085838609616e60528586846134a051098308915085818409925085838609616e80528586846134c051098308915085818409925085838609616ea0528586846134e051098308915085818409925085838609616ec05285868461350051098308915085818409925085838609616ee05285868461352051098308915085818409925085838609616f005285868461354051098308915085818409925085838609616f205285868461356051098308915085818409925085838609616f405285868461358051098308915085818409925085838609616f60528586846135a051098308915085818409925085838609616f80528586846135c051098308915085818409925085838609616fa0528586846135e051098308915085818409925085838609616fc05285868461360051098308915085818409925085838609616fe05285868461362051098308915085818409925085838609617000528586846136405109830891508581840992508583860961702052858684613660510983089150858184099250858386096170405285868461368051098308915085818409925085838609617060528586846136a051098308915085818409925085838609617080528586846136c05109830891508581840992508586848609616fa05108616fa0528586846136e05109830891508581840992508586848609616fc05108616fc0528586846137005109830891508581840992508586848609616fe05108616fe0528586846137205109830891508581840992508586848609617000510861700052858684613740510983089150858184099250858684860961702051086170205285868461376051098308915085818409925050616c005f52614b80602052614020604052617b00935061840092508060185b8015612b8a575f5151602051518889600286098309898a838c0360010884099250898a8b848d03860860405151098b03820890508989518209905080945080885250505060205f51035f526020805103602052602060405103604052602086039550602085039450600181039050612b17565b50505083617b2051618120510992506141a0519150838485617e20518509613d4051098408925083828309809150617b405f52617e40602052613d606040526181406170a05f5b6017811015612c4457875f515186098889602051518909870989828b03828c03088452896040515182099050898a865184098208905089818a089850505087848609945060205f51015f526020805101602052602060405101604052602083019250602082019150600181019050612bd1565b505050505050600191507f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760406140405f5e6134927f0844b1f3f3ce523797bb577ea51468cb4c10fd5bb6e8cc8bad59e5b329a2ca4b6110e0527f2c693f1c6dd1466abf98cd0a54411c003aafdc00eb7669d16569f688bbfae0f2611100527f2457f224793f587f9d88552d60380525cbc85364fdeab006874ba6aafeb75504611120527f18301d1e25236e63fc381dac17b71f1d9fa6b6b654fc3dd708516e6ee570b39a611140527f0f64e72f336059481b931cada45906ae6bf19001302e61dd87ee1434b17ae65b611160527f247950df9838e335aa2c476e9194d14400acb3a7e2332579c1c3ac03c6c69341611180527f0913769450d27fea234542b3c947608f5b6d4d6168192fe0f86232c9dc840fbd6111a0527f0191bee6eef9340533ab68524eff56037a790668e6298146b183de4aa46884c96111c0527f1c14e5f21402e0d686de60e6a229098ed9bcb1ed7025185a9dafafe184f1b301611060527f1851649a1b3caf8690c252223335c2534d35e25657aafad2a5faa7eee0513d52611080527f0d3c36041b2944a2b520c93fc0c195213044048586d4ba62f1d9e36e9b4b97cc6110a0527f18933b3c2a7bd010776cce9ae2c673e2834f19b01e30abeb33daaa1c719368ad6110c0527f240c61ca01a9d4825953d57fb86faac15533fc645dae5893626b1720bef4c8f66111e0527f2a4c84ccc7881879778269b15736cf76a4068b1d3bb0e280ebe63a7842508c49611200527f01aef7fd8603861d3b6ea731e0bfab11344e17324daef70786e6a3f6d71d9104611220527f0c70fef890848c4bbb1353da54a284da94d0d1968aa91dd599fcbffd5f811546611240527f03862f8cd5397ab376e3cb558cf7c2e391fd96784b50035407a1e8ebb59674c8611260527f25b20c02a03cda43d502efb8d921b40cadb66e902bff6398ee6f7eb2cebb46c5611280527f21c4290e2e7bf809270d2bf1f25fd6d73c05c39604f3338b7c866f73b8abdf546112a0527f2a0ffacf11be4e07dc09c5ecc172480a5253c7c2c8b14b18122b70b1cfd846ea6112c0527f1c873d2216343667a387315a6fd881950e4b65c7b8595044265ac13f3b0fee096112e0527f08f32e99247087ae0b20496c02eed72460f1297c28b5f7d2554bb3b42169ea9f611300527f16773c9df74718089426ef16c4d717e0d875be1958b4b955815b2cac852b3aa2611320527f0947b7debc76cf8f6dc6bbeb6678babdb48f80085c660c64cdb55e274d7f59bd611340527f2cd9a5e1d4f75dc6e8990f58907d3d6a0fd45c5cd67297e642a13ae6077e26b5611360527f0c6fb3260de474eea2e25ec5fa92c73fc441060748d7dcc81578e4ff6ff94c1e611380527f0c6ea0af2a059dc6abca89b67b923a9663f1a3a2030dda597b502690cb881a576113a0527f0f6a9dce00826bcb1310e0d8bb406e5ac3e009f98f92044784130e661c31c2006113c0527f12cabe8e354b8012d06c309f627f9b596d1bb452a16931a3accfe65f89f3d7fd6113e0527f22f8f5e6c7cccbe668e0ba05a9eb602016f160d14bf48ead1a26d9da65032473611400527f07648f07e65ecbfcf76e1a7ae2022f51fc76fed9e09cc598e5e8aa8c98fbd0aa611420527f041725ac06e8d7f597b4d4211736769e05e5a9c9d779cfa5616fb2f5270fb59d611440527f22b86ed214beeb1a8501da509ecb31f0cf63eb11a0b27149ec13996616e4e066611460527f15e8b1597f3cde47479cbc2846cf89b182f40f441326cd9fcf100be52842bf0c611480527f283c608bf43a14ead3a28db66f157315b42cc5c213afe615fbfd76594a41468c6114a0527f068e68a714f68dc7a73be9d122836c35c822b0cd905f8ac7bc9235a98e5b7c506114c0527f290fb60f4114fa50e92897a66d9a86b7e1c60e6f84a4df2dc1d020da1537bab86115e0527f087bcd143b8021cae339bd062d6d837a34a3a502e6eaf2326a765d0703d31c01611600527f22e84aa48f8510653f8f7b7c9c8fa3ab838de294018587a7587990e0b1f92e8d611620527f0ed854b35b0c13c96ef3b3071676b3524a1aa3fb28791d3d908840a5d1765872611640527f2be3b503e1119c1b4d7545a1ac3b10b9f82ed04da805bd4242f30aac7a03b8f8611660527f0f45d075a4f5045b58c0084bf7abac45fd1def643fb0dc0479d534c0afa1a371611680527e62938b54cd25ea97caa7befde407ef00ac024bf57a0233cd9f788547efc9786116a0527f14a352f69b14198e8aaca710b488491bdd80cad250f91480d9f8088917298e856116c0527f2950b38ce225ab1bfc3362e32a60e49647d3f6ccc9a9b7963882bedf92e13f266114e0527f20830060a9d49506960606484e96d2a9d62d8bb3ac9a011be374b03812d086d7611500527f1a4ee85adfff14c0941293da3441c2460f50e121df7d86879dc9987ae9acfb20611520527f141949e0b9987380fd71215d58b26b61e4f9d2b1c6262903b2694c65664719ca611540527f190b134ce69a49ea61c6bf36e322a4a92ed1e6f58032919b13ae10f61b09e67b611560527f1bd6d25a2657fee7c36d4d15c65306c012bc3825f769eacac9c8c7ede39c6e59611580527f013779e17b748fcf14f7dac626e74f2f58db4798ff6ccac71f3f22ac8ca7377f6115a0527f22fc1eabda6370b0a48acd4e1c3563da250eee43c12e1c42de0e5b2de155d1a06115c0527f2a56ce41f6b0be13b9c26747621b821eee81b23a887f299049b14c11e98460d66116e0527f1aa98f2de3ddda547d8f6de4e725ded5827d6338c78656c0d12ca1aea6ef2c7c611700527f23f14331c966aabdf52b2e46388e79258c53970b38c3e092db579a3af155b5e8611720527f23b0b07bbfb0d652b8a36f5355ec5d0117dafc86b0becca758ae1622cd4689a661174052565b604061106060605e616c205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406110a060605e616c405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406110e060605e616c605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061112060605e616c805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061116060605e616ca05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406111a060605e616cc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406111e060605e616ce05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061122060605e616d005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061126060605e616d205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406112a060605e616d405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406112e060605e616d605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061132060605e616d805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061136060605e616da05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406113a060605e616dc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406113e060605e616de05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061142060605e616e005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061146060605e616e205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406114a060605e616e405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406114e060605e616e605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061152060605e616e805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061156060605e616ea05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406115a060605e616ec05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406115e060605e616ee05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061162060605e616f005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061166060605e616f205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406116a060605e616f405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406116e060605e616f605160a05260408060608060075afa8316925060405f60805f60065afa83169250600160605260026020606001528160a05260408060608060075afa8316925060405f60805f60065afa83169250604061172060605e616f805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061186060605e616fa05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406118a060605e616fc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406118e060605e616fe05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406119a060605e6170005160a05260408060608060075afa8316925060405f60805f60065afa831692506040611a2060605e6170205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406119e060605e6170405160a05260408060608060075afa8316925060405f60805f60065afa83169250604061192060605e6170605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061196060605e6170805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061378060605e6170a05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406137c060605e6170c05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061380060605e6170e05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061384060605e6171005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061388060605e6171205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406138c060605e6171405160a05260408060608060075afa8316925060405f60805f60065afa83169250604061390060605e6171605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061394060605e6171805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061398060605e6171a05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406139c060605e6171c05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a0060605e6171e05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a4060605e6172005160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a8060605e6172205160a05260408060608060075afa8316925060405f60805f60065afa831692506040613ac060605e6172405160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b0060605e6172605160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b4060605e6172805160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b8060605e6172a05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613bc060605e6172c05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c0060605e6172e05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c4060605e6173005160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c8060605e6173205160a05260408060608060075afa8316925060405f60805f60065afa831692506040613cc060605e6173405160a05260408060608060075afa8316925060405f60805f60065afa831692506040613d0060605e6173605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061408060605e6141c05160a05260408060608060075afa8316925060405f60805f60065afa8316925082613ee7576352ec174560e11b5f5260045ffd5b6140805160c0526140a051810360e05260405f60805e61176051806117805160881b1790506117a051806117c05160881b1790506117e051806118005160881b17905061182051806118405160881b1790508082178385171715600181613fe157868310878510168786108888101616613f6a5763303df09f60e11b5f5260045ffd5b505f85815260208590526040848152606084815261010083208083528686171515898917151516939092918160075afa821691506040608060405e60405f60805f60065afa82169150846040528360605280608052506040806060604060075afa16604060c060805e604060c06080604060065afa165b8115613fee57604060805f5e5b7f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26040527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6060527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6080527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60a0527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c1610100527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b0610120527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe4610140527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101605260205f6101805f60085afa8116955050505050505f51811661413d576352ec174560e11b5f5260045ffd5b5060015f5260205ff35b5f5f5f5f6040858703121561415a575f5ffd5b843567ffffffffffffffff811115614170575f5ffd5b8501601f81018713614180575f5ffd5b803567ffffffffffffffff811115614196575f5ffd5b8760208284010111156141a7575f5ffd5b60209182019550935085013567ffffffffffffffff8111156141c7575f5ffd5b8501601f810187136141d7575f5ffd5b803567ffffffffffffffff8111156141ed575f5ffd5b8760208260051b8401011115614201575f5ffd5b94979396506020019450505056fe30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000a2646970667358221220a5aa055b6844790e76935f61ff720c281db79fb18c820456e5b1b9d55241924a64736f6c634300081e0033";
3
+ */ export const HonkVerifierBytecode = "0x6080604052348015600e575f5ffd5b506142648061001c5f395ff3fe608060405234801561000f575f5ffd5b5060043610610029575f3560e01c8063ea50d0e41461002d575b5f5ffd5b61004061003b366004614146565b610054565b604051901515815260200160405180910390f35b5f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016004803560248101916129609101358082146100a8576359895a5360e01b5f526018600452806024528160445260645ffd5b505060046024350135606f81146100c85763fa06659360e01b5f5260045ffd5b507f2f0ca3e610369fc41f7fb8a69995a96428fbf69d7dffd2b576e63ba4d9511ee15f526024803501610de080826020378060200191506101008383376101008084018261012001376101e0015f90812084900690819052905060016001607f1b03811683818009848282096140c0929092526140e052614100526129608083611760375060019150600160881b600160781b7f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd476117605b6118608110156101a85783815110861695508260208201511086169550604081019050610180565b856101bc5763eb73e0bd60e01b5f5260045ffd5b506118605b611a608110156101dc578051821195909516946020016101c1565b506137805b613d408110156101fc578051821195909516946020016101e1565b506140405b6140c081101561021c57805182119590951694602001610201565b856102305763303df09f60e11b5f5260045ffd5b50611a605b61378081101561025057805187119590951694602001610235565b50613d405b61404081101561027057805187119590951694602001610255565b5050505081610288576320a3358960e01b5f5260045ffd5b60c061192060205e8260e05f20069050805f5260016001607f1b038116915080607f1c826141205280614140525060806119e060205e8260a05f20069050805f5260016001607f1b038116915081614220526142405b6145a08110156102fc576020810351848482098252506020016102de565b508260205f20069050805f5260016001607f1b0381169150816145a0526145c091505b6148a08210156103405760208203518381820983525060208201915061031f565b611a6091506148a05b613260831015610386576101008360205e836101205f20069150815f5260016001607f1b0382168082525061010083019250602081019050610349565b5061052061326060205e826105405f20069050805f5260016001607f1b038116915081614160526105c061378060205e826105e05f20069050805f5260016001607f1b03811691508161418052610300613d4060205e826103205f20069050805f5260016001607f1b0381169150816141a052604061404060205e505060605f2081900660016001607f1b03166141c0526141205161414051600560018085808063100000058809860881600186018809945081858303870895506001945060248035016020606f0281015b8082101561048f578135848110881697508485828608880996508485828b0887099550508389840892508389850389089750602082019150610452565b5050846104a5576320a3358960e01b5f5260045ffd5b61176094505b6118608510156104e35784518283828408860994508283828908850993505081878208905081878303870895506020850194506104ab565b50506141e0919091526142005250507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffec51614ba052506102d0614bc0527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff11614be0526090614c00527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffff71614c205260f0614c40527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffd31614c60526113b0614c80526001618400614ca06148a05f5b6018811015610730578151614ba0805188898a8508820980875260208801975088885289818a09985060208301925060208701965082519150898a60018c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60028c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60038c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60048c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60058c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60068c0386088309905080875260208801975088885289818a09985060208301925060208701965082519150898a60078c0386088309905080875260208801975088885289818a0998505050602094850194939093019250506001016105ae565b50506142005183619c205284818509935050614180518061692052848182099050806169405284818209905080616960528481820990508061698052848182099050806169a052848182099050806169c052848182099050806169e05284818209905080616a005284818209905080616a205284818209905080616a405284818209905080616a605284818209905080616a805284818209905080616aa05284818209905080616ac05284818209905080616ae05284818209905080616b005284818209905080616b205284818209905080616b405284818209905080616b605284818209905080616b805284818209905080616ba05284818209905080616bc05284818209905080616be05284818209616c00525061418051619c40849052848185099350506148a0516169205185828788858a03600108840908915050806178205283619c8052848185099350506148c0516169405185828788858a03600108840908915050806178405283619ca052848185099350506148e0516169605185828788858a03600108840908915050806178605283619cc05284818509935050614900516169805185828788858a03600108840908915050806178805283619ce05284818509935050614920516169a05185828788858a03600108840908915050806178a05283619d005284818509935050614940516169c05185828788858a03600108840908915050806178c05283619d205284818509935050614960516169e05185828788858a03600108840908915050806178e05283619d40528481850993505061498051616a005185828788858a03600108840908915050806179005283619d6052848185099350506149a051616a205185828788858a03600108840908915050806179205283619d8052848185099350506149c051616a405185828788858a03600108840908915050806179405283619da052848185099350506149e051616a605185828788858a03600108840908915050806179605283619dc05284818509935050614a0051616a805185828788858a03600108840908915050806179805283619de05284818509935050614a2051616aa05185828788858a03600108840908915050806179a05283619e005284818509935050614a4051616ac05185828788858a03600108840908915050806179c05283619e205284818509935050614a6051616ae05185828788858a03600108840908915050806179e05283619e405284818509935050614a8051616b005185828788858a0360010884090891505080617a005283619e605284818509935050614aa051616b205185828788858a0360010884090891505080617a205283619e805284818509935050614ac051616b405185828788858a0360010884090891505080617a405283619ea05284818509935050614ae051616b605185828788858a0360010884090891505080617a605283619ec05284818509935050614b0051616b805185828788858a0360010884090891505080617a805283619ee05284818509935050614b2051616ba05185828788858a0360010884090891505080617aa05283619f005284818509935050614b4051616bc05185828788858a0360010884090891505080617ac05283619f205284818509935050614b6051616be05185828788858a0360010884090891505080617ae05283619f405284818509935050614b8051616c005185828788858a0360010884090891505080617b005283619f6052848185099350506141c05184616920518603820880617b205284619f80528581860994505084616940518603820880617b405284619fa0528581860994505084616960518603820880617b605284619fc0528581860994505084616980518603820880617b805284619fe05285818609945050846169a0518603820880617ba0528461a0005285818609945050846169c0518603820880617bc0528461a0205285818609945050846169e0518603820880617be0528461a040528581860994505084616a00518603820880617c00528461a060528581860994505084616a20518603820880617c20528461a080528581860994505084616a40518603820880617c40528461a0a0528581860994505084616a60518603820880617c60528461a0c0528581860994505084616a80518603820880617c80528461a0e0528581860994505084616aa0518603820880617ca0528461a100528581860994505084616ac0518603820880617cc0528461a120528581860994505084616ae0518603820880617ce0528461a140528581860994505084616b00518603820880617d00528461a160528581860994505084616b20518603820880617d20528461a180528581860994505084616b40518603820880617d40528461a1a0528581860994505084616b60518603820880617d60528461a1c0528581860994505084616b80518603820880617d80528461a1e0528581860994505084616ba0518603820880617da0528461a200528581860994505084616bc0518603820880617dc0528461a220528581860994505084616be0518603820880617de0528461a240528581860994505084616c00518603820880617e00528461a26052858186099450508461692051820880617e20528461a28052858186099450508461694051820880617e40528461a2a052858186099450508461696051820880617e60528461a2c052858186099450508461698051820880617e80528461a2e05285818609945050846169a051820880617ea0528461a3005285818609945050846169c051820880617ec0528461a3205285818609945050846169e051820880617ee0528461a340528581860994505084616a0051820880617f00528461a360528581860994505084616a2051820880617f20528461a380528581860994505084616a4051820880617f40528461a3a0528581860994505084616a6051820880617f60528461a3c0528581860994505084616a8051820880617f80528461a3e0528581860994505084616aa051820880617fa0528461a400528581860994505084616ac051820880617fc0528461a420528581860994505084616ae051820880617fe0528461a440528581860994505084616b0051820880618000528461a460528581860994505084616b2051820880618020528461a480528581860994505084616b4051820880618040528461a4a0528581860994505084616b6051820880618060528461a4c0528581860994505084616b8051820880618080528461a4e0528581860994505084616ba0518208806180a0528461a500528581860994505084616bc0518208806180c0528461a520528581860994505084616be0518208806180e0528461a540528581860994505084616c0051820880618100528461a56052858186099450505060205f52602080526020604052826060527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff6080528360a05260205f60c05f60055afa61113a5763f442f16360e01b5f5260045ffd5b5f519250826111525763f442f16360e01b5f5260045ffd5b8361a5605184098461810051850993508061810052508361a540518409846180e05185099350806180e052508361a520518409846180c05185099350806180c052508361a500518409846180a05185099350806180a052508361a4e05184098461808051850993508061808052508361a4c05184098461806051850993508061806052508361a4a05184098461804051850993508061804052508361a4805184098461802051850993508061802052508361a4605184098461800051850993508061800052508361a44051840984617fe0518509935080617fe052508361a42051840984617fc0518509935080617fc052508361a40051840984617fa0518509935080617fa052508361a3e051840984617f80518509935080617f8052508361a3c051840984617f60518509935080617f6052508361a3a051840984617f40518509935080617f4052508361a38051840984617f20518509935080617f2052508361a36051840984617f00518509935080617f0052508361a34051840984617ee0518509935080617ee052508361a32051840984617ec0518509935080617ec052508361a30051840984617ea0518509935080617ea052508361a2e051840984617e80518509935080617e8052508361a2c051840984617e60518509935080617e6052508361a2a051840984617e40518509935080617e4052508361a28051840984617e20518509935080617e2052508361a26051840984617e00518509935080617e0052508361a24051840984617de0518509935080617de052508361a22051840984617dc0518509935080617dc052508361a20051840984617da0518509935080617da052508361a1e051840984617d80518509935080617d8052508361a1c051840984617d60518509935080617d6052508361a1a051840984617d40518509935080617d4052508361a18051840984617d20518509935080617d2052508361a16051840984617d00518509935080617d0052508361a14051840984617ce0518509935080617ce052508361a12051840984617cc0518509935080617cc052508361a10051840984617ca0518509935080617ca052508361a0e051840984617c80518509935080617c8052508361a0c051840984617c60518509935080617c6052508361a0a051840984617c40518509935080617c4052508361a08051840984617c20518509935080617c2052508361a06051840984617c00518509935080617c0052508361a04051840984617be0518509935080617be052508361a02051840984617bc0518509935080617bc052508361a00051840984617ba0518509935080617ba0525083619fe051840984617b80518509935080617b80525083619fc051840984617b60518509935080617b60525083619fa051840984617b40518509935080617b40525083619f8051840984617b20518509935080617b20525083619f6051840984617b00518509935080617b00525083619f4051840984617ae0518509935080617ae0525083619f2051840984617ac0518509935080617ac0525083619f0051840984617aa0518509935080617aa0525083619ee051840984617a80518509935080617a80525083619ec051840984617a60518509935080617a60525083619ea051840984617a40518509935080617a40525083619e8051840984617a20518509935080617a20525083619e6051840984617a00518509935080617a00525083619e40518409846179e05185099350806179e0525083619e20518409846179c05185099350806179c0525083619e00518409846179a05185099350806179a0525083619de051840984617980518509935080617980525083619dc051840984617960518509935080617960525083619da051840984617940518509935080617940525083619d8051840984617920518509935080617920525083619d6051840984617900518509935080617900525083619d40518409846178e05185099350806178e0525083619d20518409846178c05185099350806178c0525083619d00518409846178a05185099350806178a0525083619ce051840984617880518509935080617880525083619cc051840984617860518509935080617860525083619ca051840984617840518509935080617840525083619c8051840984617820518509935080617820525083619c40518409846141805185099350806174a0525083619c2051840984614200518509935084816141e051096141e05250601f19015b614c808111156117df57838251840984825185099082529250601f1991820191016117b9565b50505060015f60016145a0611a606148a0614ca05f5b60188110156118d057825189602086015186510888149890981697808a805f1981018308820990508a8b60028d038408820990508a8b60038d038408820990508a8b60048d038408820990508a8b60058d038408820990508a8b60068d038408820990508a8b60078d038408820990505f98505f5b600881101561189857865185518d8183099150508c818c089a5050602096870196949094019360010161186a565b508a818a0998505085518a60018c03820890508a8b8284096001089150508981880996505060209485019492909201916001016117f5565b5050505050826118e9576313f8744360e31b5f5260045ffd5b6168605261684052506134c0516135e051829190098161346051613600510982613480516136205109836134e051613640510961350051857f183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f8000000878860038a03850889613440518b613600516135e05109090909868788898a858b088908870885086134a0510895505085868788613640516135e051086136e0518a03086134405108876002890384080993508586613740518860018a038508098608945085616860518783880909945084616560528586600188038308850994508581860994505050505081616860518209616580525061412051614140516133005183908190840982613600510101846132e0518509836135e0510101098384613340518509836136405101018561332051860984613620510101098481830985866132805187098561360051010187613260518809866135e051010109925085866132c051870985613640510101876132a05188098661362051010109915085828409945085818761336051613660510809935085868688896141e0516133805109613760510809870385089350856168605185099350836164a052856168605187613760516133805109099350836164c0525050505050806168605182613660516133605109096164e052614140516141205182818009838282098485846133e0510986866133c0510808858683613420510987856134005109088681830887886136e051613460510989896135e051080892508788613700516134405109613600510891508788613720516134a0510961362051089650878887840984089550878886890987089550878885613480510987089550878161368051099650878661368051099450876133a0516136c05108935087886133a0516136c0510989038508935087613680518983890909955050505084818603840892505083616860518309915083836133a0510992508384826136a05109850384089250506136c0518384600186038308820990508361686051820990508161650052826165205280616540525050505f51602061420f5f395f51905f527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593effffffe836135e05185036136005108846136005186036136205108856136205187036136405108866136405188036136e0510883888989870882099050888988870882099050888987870882099050886135205182099050886168605182096165a052509192508291878088850885099350878887850885099350878886850885099350876135205185099350876168605185096165c0529092508290878088840885099350878887840885099350878886840885099350876135205185099350876168605185096165e052925082878088830885099350878887830885099350878886830885099350876135205185099350876168605185099350836166005250505050505050806136005182036136e051088161362051613620510982613740516137405109836134c05185613740516136205109098485613600516136e051086137005108858587878409099050858387038208905085848703820890508582820890508582820890508561686051820992505050836135405182099050838461344051860360010882096166205250613720516136205184919008836134c051613740510984613620518603820890508484830991508485828761360051890361370051080983089150508361686051820990508361354051820990508384613440518603600108820961664052506136005183908160118408099150828182088381820890508360098409925083846136005161360051086137005108848282099050848486038208905084616860518209935050508261344051846135405185090991508261662051830861662052505061360051819081818181800808098182613700518403613600510882099050818283613720516136205108846136205161362051080983038208905081616860518209905081613440518361354051840909905081616640518208616640525061410051613620518291900981826140e05161360051098208905081826140c0516135e0510982089050816134a051820890508082613640518403830891508161690052826135e05184036136e0510883613640518503613740510884855f51602061420f5f395f51905f52840883098586848803600108830991508586878861686051613560510961346051096134c051098309616680528586878861686051613560510961346051096134c0510982096166a0528586613460516134c0510986096168e05285614100516137205109945085866140e05161370051098608945085866140c0516136e05109860894508585870361374051089450856136205187036137205108915085868787890360010884098785890360010809915085848703613640510886875f51602061420f5f395f51905f5283088209905086875f51602061420f5f395f51905f5288088709955086876168605161356051096134805109878185096166c052878184096166e052878188096167005250866134805182096168c052505050836136005185036137005108925083613620518503858684880360010886090892506168e05191508384856134c0516134e051098509830891508384856134c0516134405109616900510983089150836168c0518308915083846168605161356051098309915081616660525050508081613600516136e0510982613700516135e051090881613720518303838461362051613600510985613640516135e05109080882600160441b820990508261374051840382089050828282089050826134e0518209905082600160441b830991508283613700516136e0510983089150826134805184856136405161362051088603850809836134405185866137405161372051088703876136405188080809925083613460518585878686080809616880525050613700518291506140009009816136e05182089050816140008209905081613620518208905081614000820990508161360051820890508161400082099050816135e051820890508161364051830382089050816134e051820990508161400061372051098261370051820890508261400082099050826136e05182089050826140008209905082613640518208905082614000820990508261362051820890508261374051840382089050826134405182099050828183089150508161348051820990508181616880510890508182616860516135805109820961672052506134c0516135e051829190088161346051613600510882613480516136205108836134e0516136405108848485098586868309820994508584850990508586858309820993508583840990508586848309820992508582830990508586838309820991508584860890508582840894508584850893508585850893508582830892508581840892508585860894508585860894508583860894508581820891505084818208905084838208905084818308915084848408925084616860516135a0510985866136e0518803850882096167405285866137005188038408820961676052858661372051880386088209616780528586613740518803870882096167a0525050505050806134c0516135e0510881818209828383830982099150506136005161362051613640518483850885868385088208905085616860516135c051098682887f10dc6e9c006ea38b04b1e03b4bd9490c0d03f98929ca1d7fb56821fd19d3b6e7890908955086876136e0518903880882096167c0528682887f0c28145b6a44df3e0149b3d0a30b3bb599df9756d4dd9b84a86b38cfb45a740b88090895508687613700518903880882096167e0528682887e544b8338791518b2c7645a50392798b21f75bb60e3596170067d00141cac158709089550868761372051890388088209616800528682887f222c01175718386f2e2e82eb122789e352e105a3b8fa852613bc534433ee428b8609089550868761374051890388088209616820525050505050506164a0518182614220516164c05109820890508182614240516164e051098208905081826142605161650051098208905081826142805161652051098208905081826142a05161654051098208905081826142c05161656051098208905081826142e0516165805109820890508182614300516165a05109820890508182614320516165c05109820890508182614340516165e051098208905081826143605161660051098208905081826143805161662051098208905081826143a05161664051098208905081826143c05161666051098208905081826143e0516166805109820890508182614400516166a05109820890508182614420516166c05109820890508182614440516166e051098208905081826144605161670051098208905081826144805161672051098208905081826144a05161674051098208905081826144c05161676051098208905081826144e0516167805109820890508182614500516167a05109820890508182614520516167c05109820890508182614540516167e0510982089050818261456051616800510982089050818261458051616820510982086168405114905080612670576313f8744360e31b5f5260045ffd5b505f5f6174a051617b2051617e20516141a05186878383098408955086878884840989038508850994505050505060015f838503935082850392506141605185838609616c205285868461326051098308915085818409925085838609616c405285868461328051098308915085818409925085838609616c60528586846132a051098308915085818409925085838609616c80528586846132c051098308915085818409925085838609616ca0528586846132e051098308915085818409925085838609616cc05285868461330051098308915085818409925085838609616ce05285868461332051098308915085818409925085838609616d005285868461334051098308915085818409925085838609616d205285868461336051098308915085818409925085838609616d405285868461338051098308915085818409925085838609616d60528586846133a051098308915085818409925085838609616d80528586846133c051098308915085818409925085838609616da0528586846133e051098308915085818409925085838609616dc05285868461340051098308915085818409925085838609616de05285868461342051098308915085818409925085838609616e005285868461344051098308915085818409925085838609616e205285868461346051098308915085818409925085838609616e405285868461348051098308915085818409925085838609616e60528586846134a051098308915085818409925085838609616e80528586846134c051098308915085818409925085838609616ea0528586846134e051098308915085818409925085838609616ec05285868461350051098308915085818409925085838609616ee05285868461352051098308915085818409925085838609616f005285868461354051098308915085818409925085838609616f205285868461356051098308915085818409925085838609616f405285868461358051098308915085818409925085838609616f60528586846135a051098308915085818409925085838609616f80528586846135c051098308915085818409925085838609616fa0528586846135e051098308915085818409925085838609616fc05285868461360051098308915085818409925085838609616fe05285868461362051098308915085818409925085838609617000528586846136405109830891508581840992508583860961702052858684613660510983089150858184099250858386096170405285868461368051098308915085818409925085838609617060528586846136a051098308915085818409925085838609617080528586846136c05109830891508581840992508586848609616fa05108616fa0528586846136e05109830891508581840992508586848609616fc05108616fc0528586846137005109830891508581840992508586848609616fe05108616fe0528586846137205109830891508581840992508586848609617000510861700052858684613740510983089150858184099250858684860961702051086170205285868461376051098308915085818409925050616c005f52614b80602052614020604052617b00935061840092508060185b8015612b8a575f5151602051518889600286098309898a838c0360010884099250898a8b848d03860860405151098b03820890508989518209905080945080885250505060205f51035f526020805103602052602060405103604052602086039550602085039450600181039050612b17565b50505083617b2051618120510992506141a0519150838485617e20518509613d4051098408925083828309809150617b405f52617e40602052613d606040526181406170a05f5b6017811015612c4457875f515186098889602051518909870989828b03828c03088452896040515182099050898a865184098208905089818a089850505087848609945060205f51015f526020805101602052602060405101604052602083019250602082019150600181019050612bd1565b505050505050600191507f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760406140405f5e6134917f017a8a0cf3a397ce7756b794ce207dfc776a84b4840c200af82743eed57509bd6110a0527e0b1d68189c34958a2e13a63481f8d87bf370138c46a761aaca8a173b03a9d36110c0527f1198ceb6897eb5bf185382fd9db5f67c2f42beacab00de0dd999afe5c34ec7db6110e0527f1bc9c3e7c7b553aa0249bb5d30a789fdd8adb9f851b27a22a5ee184a7a254692611100527f0557105248ea360bb0f11dbd5caad011fa37dd5ecb7df2f8b18513e3c5098a07611120527f096c3a3df86035e547d418dc08af89b5a97f4458eecc857f65bb0963b50f9970611140527f0cb7f4d0baab55a4cc5569f75f4bd17576c9c763df44fffff4e1a0ef48295f19611160527f12b85145d1912e2993f1ce6553b9950eb3cf84e90cf3dcab20f007f4f191589d611180527f2d8a0a581ac18e6939e7e7af80a7d540d1f620e7177df74fe24f558c7b104557611060527f1fe4782c8244ea17f5f19997f0725e650ac023119d3aecfbee4db3f93ea1ba1c611080527f1c8a93c71eba79121c4d0272d5a4140a36c40be7bf7c7640eb5b6aede0c4e82e6111a0527f1cf91310860fabc4e9198abdaa7b3ed64b4b9fb67cc63b5adc6ca2bcbd3253c16111c0527f240c61ca01a9d4825953d57fb86faac15533fc645dae5893626b1720bef4c8f66114a0527f2a4c84ccc7881879778269b15736cf76a4068b1d3bb0e280ebe63a7842508c496114c0527f1d6762984350fdc556daef887e843d0c48ad9b6abba6bb7a32daadfafba9e3d76111e0527f0bea8022cae52ea805ea2453efbf696a9b8a346fc98b496c8dc245fe9ac62591611200527f1cf67109fd502f661c92fdb1f4f73b6a1068bf5f0bab6ce2d606fbccbfff1d226115e0527f05311ac817e970a0d2b9f8300bb5928a7bfdf95ed29b2f1da5ba08185fc3da86611600527f0ec16681196c2d137b00078695601906af1c60a47f04f75c26224256e9e0963e611620527f1a2a0528b7d4c19adfcc974fa0531311a7e7934d65798705582eb5fcd42dded1611640527f20588c1fa5935f23278d006804a78fb7830b4609665b901291dae8588ed8891f611660527f24f783d3b24e1d26712bf598f580deae90ef70ec78b097e10612e1b162f2bff9611680527f149d8ac87dc66f73f91d298c338332cc2015b4b79bc7a960fa9176c463da27046116a0527f07bd36e609f9c695ae51065a0ac0dc2d601c1fcb771f7767b012b0fce84646b56116c0527f1a91ab71218d3010556e443c181471fcf83e00a3cc81f944259037777b212a9f6116e0527f2af8ae980d3fd0fde23ffef59b1a4d991375b850c5a9463867453a7cd3850ee0611700527f02cc26c0ce63be81d3f53b06aaa90cfac5b1cfc925b25a835af9369dca819ae0611720527f02d94c7a87d26c97a92d67ab0f6bb320a11a65a9129431d5dce11e3aa37ad700611740527f1d48dccf1c179d23528264773bfc39ee28b9f91ac57eb242a2fad7d721b21393611220527f0e77686b0597e42ca7293b93a15d654e57c75053abe0bec01789cf633f26ebb5611240527f0f9b447eeb4285e715dbdc8d42f2f856165f666cd9720b7c772291d2d3563803611260527f157423173855e0b30e65b033bfd06fe6e660ac6123f6f7b4d38eae12a7175241611280527f28919740422e36ab96f10f2559851daf51c9a7cb0e77a49cfc4fd9af501d77896112a0527f21f2abf738927e842de9363f1b9b4718f9ea8de517a1241bcad3681a4acde43f6112c0527f0d29ed188cf2ba817d1d0f41533b08c1f92aecca31052637c6220774d83c760e6112e0527f0b8ed0ab98b1236524380a8fce7b75a9bb84ea8e7d3f27bdb61903a40ea41337611300527f290fb60f4114fa50e92897a66d9a86b7e1c60e6f84a4df2dc1d020da1537bab86114e0527f087bcd143b8021cae339bd062d6d837a34a3a502e6eaf2326a765d0703d31c01611500527f22e84aa48f8510653f8f7b7c9c8fa3ab838de294018587a7587990e0b1f92e8d611520527f0ed854b35b0c13c96ef3b3071676b3524a1aa3fb28791d3d908840a5d1765872611540527f2be3b503e1119c1b4d7545a1ac3b10b9f82ed04da805bd4242f30aac7a03b8f8611560527f0f45d075a4f5045b58c0084bf7abac45fd1def643fb0dc0479d534c0afa1a371611580527f2b4d0112219c6226700ca100a7d27041173ba6ae9f0dcd977df77401d7024afe6115a0527f2da309999fbd4c76c28ddde2da2b34231b220013cbab34646c4ea3009fc10ac96115c0527f29f14e4c60fd58035b68f2be26a5dcea1c3ad5fc3868d993adeddcac9498050b611320527f19a254472a10d0e40e4fead233818b6de94b4fcab014024a76ce3264002edefa611340527f1ade6820202a78e54d0cb4efa6d2bd5f4adcdeb540846a592e36fc63c70cff1b611360527f05ab5d398f3133326f329ae0f879278a66e69e81b196e237783c473c9d1303c5611380527eb123a85cfe234991ef02f69b53f3c9883b6ac538882dcbbbb5a0f12b6e92c36113a0527f2ae7702684c2041e013b0ac1c8262ed40a191492f9faee8603bfe9ed903a426e6113c0527f01a83b27ff04eace4c79d9e60dc762b5781968d615a57436286379c83e4260fa6113e0527f2771df16d8b5458b2820a44053f1f7f994ca87a927ed7282a71730c80e759ed9611400527f2a56ce41f6b0be13b9c26747621b821eee81b23a887f299049b14c11e98460d6611420527f1aa98f2de3ddda547d8f6de4e725ded5827d6338c78656c0d12ca1aea6ef2c7c611440527f1786179d723e6f94e6b65beec4a94e2cb1f36946e74d70b4e186ca051e8c2b16611460527f132ed90a46a33fbf9d0748162a877c8e6a0428d714bae03ce03d8847ab10b84461148052565b604061122060605e616c205160a05260408060608060075afa8316925060405f60805f60065afa83169250604061126060605e616c405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406112a060605e616c605160a05260408060608060075afa8316925060405f60805f60065afa8316925060406112e060605e616c805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061132060605e616ca05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061136060605e616cc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406113a060605e616ce05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406113e060605e616d005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061142060605e616d205160a05260408060608060075afa8316925060405f60805f60065afa83169250604061146060605e616d405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406114a060605e616d605160a05260408060608060075afa8316925060405f60805f60065afa8316925060406114e060605e616d805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061152060605e616da05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061156060605e616dc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406115a060605e616de05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061106060605e616e005160a05260408060608060075afa8316925060405f60805f60065afa8316925060406110e060605e616e205160a05260408060608060075afa8316925060405f60805f60065afa83169250604061112060605e616e405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406111a060605e616e605160a05260408060608060075afa8316925060405f60805f60065afa8316925060406110a060605e616e805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061116060605e616ea05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406111e060605e616ec05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406115e060605e616ee05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061162060605e616f005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061166060605e616f205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406116a060605e616f405160a05260408060608060075afa8316925060405f60805f60065afa8316925060406116e060605e616f605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061172060605e616f805160a05260408060608060075afa8316925060405f60805f60065afa83169250600160605260026020606001528160a05260408060608060075afa8316925060405f60805f60065afa83169250604061186060605e616fa05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406118a060605e616fc05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406118e060605e616fe05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406119a060605e6170005160a05260408060608060075afa8316925060405f60805f60065afa831692506040611a2060605e6170205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406119e060605e6170405160a05260408060608060075afa8316925060405f60805f60065afa83169250604061192060605e6170605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061196060605e6170805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061378060605e6170a05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406137c060605e6170c05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061380060605e6170e05160a05260408060608060075afa8316925060405f60805f60065afa83169250604061384060605e6171005160a05260408060608060075afa8316925060405f60805f60065afa83169250604061388060605e6171205160a05260408060608060075afa8316925060405f60805f60065afa8316925060406138c060605e6171405160a05260408060608060075afa8316925060405f60805f60065afa83169250604061390060605e6171605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061394060605e6171805160a05260408060608060075afa8316925060405f60805f60065afa83169250604061398060605e6171a05160a05260408060608060075afa8316925060405f60805f60065afa8316925060406139c060605e6171c05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a0060605e6171e05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a4060605e6172005160a05260408060608060075afa8316925060405f60805f60065afa831692506040613a8060605e6172205160a05260408060608060075afa8316925060405f60805f60065afa831692506040613ac060605e6172405160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b0060605e6172605160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b4060605e6172805160a05260408060608060075afa8316925060405f60805f60065afa831692506040613b8060605e6172a05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613bc060605e6172c05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c0060605e6172e05160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c4060605e6173005160a05260408060608060075afa8316925060405f60805f60065afa831692506040613c8060605e6173205160a05260408060608060075afa8316925060405f60805f60065afa831692506040613cc060605e6173405160a05260408060608060075afa8316925060405f60805f60065afa831692506040613d0060605e6173605160a05260408060608060075afa8316925060405f60805f60065afa83169250604061408060605e6141c05160a05260408060608060075afa8316925060405f60805f60065afa8316925082613ee6576352ec174560e11b5f5260045ffd5b6140805160c0526140a051810360e05260405f60805e61176051806117805160881b1790506117a051806117c05160881b1790506117e051806118005160881b17905061182051806118405160881b1790508082178385171715600181613fe057868310878510168786108888101616613f695763303df09f60e11b5f5260045ffd5b505f85815260208590526040848152606084815261010083208083528686171515898917151516939092918160075afa821691506040608060405e60405f60805f60065afa82169150846040528360605280608052506040806060604060075afa16604060c060805e604060c06080604060065afa165b8115613fed57604060805f5e5b7f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26040527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6060527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6080527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60a0527f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c1610100527f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b0610120527f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe4610140527f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e556101605260205f6101805f60085afa8116955050505050505f51811661413c576352ec174560e11b5f5260045ffd5b5060015f5260205ff35b5f5f5f5f60408587031215614159575f5ffd5b843567ffffffffffffffff81111561416f575f5ffd5b8501601f8101871361417f575f5ffd5b803567ffffffffffffffff811115614195575f5ffd5b8760208284010111156141a6575f5ffd5b60209182019550935085013567ffffffffffffffff8111156141c6575f5ffd5b8501601f810187136141d6575f5ffd5b803567ffffffffffffffff8111156141ec575f5ffd5b8760208260051b8401011115614200575f5ffd5b94979396506020019450505056fe30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000a2646970667358221220b5b7703092fe10d84f00bdf355e50c99d7b814c0a8b814ab2dbf51e234e2530f64736f6c634300081e0033";
4
4
  /**
5
5
  * HonkVerifier link references.
6
6
  */ export const HonkVerifierLinkReferences = {};