import { ContractFactory, ContractTransactionResponse } from "ethers"; import type { Signer, ContractDeployTransaction, ContractRunner } from "ethers"; import type { NonPayableOverrides } from "../../../common"; import type { StateTransitionVerifierGroth16, StateTransitionVerifierGroth16Interface } from "../../../src/verifiers/StateTransitionVerifierGroth16"; type StateTransitionVerifierGroth16ConstructorParams = [signer?: Signer] | ConstructorParameters; export declare class StateTransitionVerifierGroth16__factory extends ContractFactory { constructor(...args: StateTransitionVerifierGroth16ConstructorParams); getDeployTransaction(overrides?: NonPayableOverrides & { from?: string; }): Promise; deploy(overrides?: NonPayableOverrides & { from?: string; }): Promise; connect(runner: ContractRunner | null): StateTransitionVerifierGroth16__factory; static readonly bytecode = "0x60808060405234601557611e00908161001a8239f35b5f80fdfe6080806040526004361015610012575f80fd5b5f905f3560e01c908163233ace111461157d575080639ed57f3214610cba578063b1c3a00e14610ba9578063b8e72af614610a325763e2dd9f4714610055575f80fd5b34610a2f576101c0366003190112610a2f5736608411610a2f573660a411610a2f57366101c411610a2f57604051602061008f81836115e3565b803683376040918251926100a381856115e3565b80368537610300938151926100b886856115e3565b853685376100c7608435611a07565b8684015282526100d860a435611a07565b905f516020611dab5f395f51905f5285516100f387826115e3565b6001815288610104818301601f198a01368237378551906101328a610124818a0151938b5194859384019687611605565b03601f1981018352826115e3565b5190200683528351865286840151878701527f11bad3281f5acb25089ae49ea18720ed846a9a2591543664551abe2f98ca4642858701527f20de6703f2f73e46809aa0a62766b496394305bb8be7114c9efa2cf77f39f65960608701527f24cdd3b6e5b0d4faddd4d2e1f510a339f559c2485df9d69c0b5024face20f54d60808701527f1f04f6f0ae1c84c186e36d2e6be46d3f41d172624ff4ab819aa3deb5ddba49cb60a087015260c086015260e08501527f06c21cccdd0d0922e37017aec22b87dca50c1ccde025e9461153f09258b225eb6101008501527f19ea6a27f0b2bceeac9d373d9cdc71d9898f775a1de9b22f404a3ee4f686f7e46101208501527f30502607b694da3f6a1eaec7aaefd8856dfa40b36d80981b4f318be764f22e836101408501527f235376b117fcc6318f5817ecfdf6ab39ac8b2791ad1623a833718442026637d4610160850152825185816101808760085afa90511615610a20578490876102a3600435611a07565b866102b5602497939735604435611a72565b9491929390956102c6606435611a07565b999098507f16c17c2631a2bff30a5c157583118b735976434df3c79d10975ebd752976a7b283519b8c937f2b2717ebb723531642da8234c82233a47019142aaa6c2924c7e8be3106041ae785527f1c8a17313ba471104666d2717c3c94f8dfc0769f0131771210998a8af531dfdd828601528051868601520151606084019081527f0da6ced8a934abbc3c46469fc7983025a27de314dad84697e7ff15fb21a61cbb858560808160065afa957f0dc617cfab0f509a8ac56e25cadf37083a1c7a6e8b1315108e8e355a2079ee0a818701527f01e913439dae1cd7df92257e3c4b373e3075d6e4413a98a07d0725945a202a438352600160c4356080880198818a525f516020611dab5f395f51905f5284808b016060828d0160075afa92101616828860808160065afa16167f11acc8b30a1a3d428ec4c241cab61b6e0454a626e10bbb888189c20221f21eed828801527f2c61ed73286e7a4a91d4db07058335caacc4ea935f68c1d2f570a350d7be2af9845260e435908189525f516020611dab5f395f51905f5283808a016060828c0160075afa92101616818760808160065afa167f0d56cf60dbd64fabe80267710bb6e91ded255b6b66983e9cf2ca2bff0d3aa053828801527f14e8c22476d690ff2d8aa90fe6fc981b3b1613cfa7531dd6027bad81848fd64c845261010435908189525f516020611dab5f395f51905f5283808a016060828c0160075afa92101616818760808160065afa167f2addcf6650ecbf21bebed9995b4baf566f11e61d2363da0ec77124a58d067dc0828801527e4a584a891535054744d91de00b0532fd71c835ffbe2f6c72d04db1b223f666845261012435908189525f516020611dab5f395f51905f5283808a016060828c0160075afa92101616818760808160065afa167f193a40b933cd6cac8ee03240c83b5753b0ade776370ddeab97fdc00998736c58828801527f22dc5bc5a2849bb2a2d06dfff2a506d23e521d6b132989bab2c2f17a3ddc8991845261014435908189525f516020611dab5f395f51905f5283808a016060828c0160075afa92101616818760808160065afa167f21306d2d12f53364871c15dd1c4daf0611616ddf3706301b3f9228a79f01964c828801527f2d28ddfc826bf5d12d41ce897d213a881f2862ea09f262c39f9de3daead60019845261016435908189525f516020611dab5f395f51905f5283808a016060828c0160075afa92101616818760808160065afa167f217092f6962d33dd1353c6746a3492fd9d507cc99eb782f134c37616e756f420828801527f14f97e14d6b259157982e786e75fba415ba425f71b02f6a05121e8ea8baeed86845261018435908189525f516020611dab5f395f51905f5283808a016060828c0160075afa92101616818760808160065afa167f1f1de20d14c3b7f7b9bc0bad01e1b32da5c38169561b43bd94ebc7385dbc69c7828801527f2e54dfdf0ff292c39648b96884353966e84843783b12e80c18c8769b88548b6b84526101a435908189525f516020611dab5f395f51905f5283808a016060828c0160075afa92101616818760808160065afa1695015252518092525f516020611dab5f395f51905f528c8b606082808301920160075afa921016168a8960808160065afa16988c89519901519915610a11578b528b8b0152888a01526060890152608088015260a087015260c086015260e08501527f12d706b3f6ea59fce36b2a04a2e873413657db328ea40d6c49ded97cf275314f6101008501527f2fb9b504cb01e49f1dd9142c83606408445919f246253ed5cf1a4003b9b258ba6101208501527f10916b95f55eeebf695c31d7184a2306399c555c5649dd40d77cfc0267e2ad996101408501527f18dc9ab506983fed0d4e380cc6ea957ff38e8bff404b28da2e237dcc632f5cd56101608501527f14fda384f9e125ca57cce4cd320c58a665078e97e192e19e13394d83b3b227726101808501527f0c5e8af6d5875a984bf2a360c2d42c64eea68025ec9f38e084e29623bae1ba0b6101a08501527f02c18a171381268c20489faf4efa716d972ac2af72468a86bd2bb18a95002f426101c08501527f182c3ed7058d7f3d4b69cbaedf0c80af3fa30c35b122e3b5bfbecf23497410ec6101e08501527f0d3670846cd0a0241757d2c5ae7b793c06a4fcf32eae8d49f8a50f267ca7a39d6102008501527f19f8659133dbd401358bd030776479fa46eb0eb5d4289df050a2d27b076d54806102208501526102408401526102608301527f07ea7202e730c6e36fac1f4ccaa42ea81877eb36f7a112bdc16fce776df5373e6102808301527f29526ea49d0dc80d14f0a0c068c4e4c76ea170b8c07ef3efb154b59dd822c7e16102a08301527f288efe3e67c01feaba5f479f150604964f4fbb53b6ab5aca93ffe6bdcdf0913c6102c08301527f018570088b355b9fc93f952e524859f898be73bb1f61b959014bf118300576856102e0830152519283916109dc84846115e3565b8336843760085afa15908115610a04575b506109f55780f35b631ff3747d60e21b8152600490fd5b600191505114155f6109ed565b63a54f8e2760e01b8f5260048ffd5b6351d49ff760e11b8752600487fd5b80fd5b5034610ba5576040366003190112610ba55760043567ffffffffffffffff8111610ba557610a649036906004016115b5565b60243567ffffffffffffffff8111610ba557610a849036906004016115b5565b90926101009384604051610a9882826115e3565b369037604093848051610aab82826115e3565b369037848051610abb82826115e3565b36903782019461018083870312610ba557610af0610ad98785611962565b96610140610ae9828588016119ab565b95016119ab565b93818651610afe82826115e3565b36903782019082820312610ba557610b1591611962565b90610b1e6119f3565b50610b276119f3565b50303b15610ba557610b7592610b5f610b6a92610b54875198634f6abf9960e11b8a5260048a019061163f565b610104880190611666565b610144860190611666565b61018484019061163f565b5f8261028481305afa908115610b9c5750610b8e575080f35b610b9a91505f906115e3565b005b513d5f823e3d90fd5b5f80fd5b34610ba557610180366003190112610ba5573661010411610ba5573661014411610ba5573661018411610ba557604051610be46080826115e3565b6080368237604051906020610bf981846115e3565b80368437610c0b60243560043561168d565b8252610c2160843560a43560443560643561172e565b828401526040830152610c3860e43560c43561168d565b6060830152610c4d610124356101043561168d565b8352610c5f610164356101443561168d565b9060405192835f905b60048210610ca4575050506080830193905f945b60018610610c8f5760c0858560a0820152f35b81806001928551815201930195019491610c7c565b8251815291830191600191909101908301610c68565b34610ba557610280366003190112610ba5573661010411610ba5573661014411610ba5573661018411610ba5573661028411610ba5576040516020610cff81836115e3565b803683376040915f516020611dab5f395f51905f528351610d2085826115e3565b60018152836101c4818301601f198801368237378451610d4f8161012487820194610124356101043587611605565b51902006815282518361010482377f11bad3281f5acb25089ae49ea18720ed846a9a2591543664551abe2f98ca4642848201527f20de6703f2f73e46809aa0a62766b496394305bb8be7114c9efa2cf77f39f65960608201527f24cdd3b6e5b0d4faddd4d2e1f510a339f559c2485df9d69c0b5024face20f54d60808201527f1f04f6f0ae1c84c186e36d2e6be46d3f41d172624ff4ab819aa3deb5ddba49cb60a08201528361014460c08301377f06c21cccdd0d0922e37017aec22b87dca50c1ccde025e9461153f09258b225eb6101008201527f19ea6a27f0b2bceeac9d373d9cdc71d9898f775a1de9b22f404a3ee4f686f7e46101208201527f30502607b694da3f6a1eaec7aaefd8856dfa40b36d80981b4f318be764f22e836101408201527f235376b117fcc6318f5817ecfdf6ab39ac8b2791ad1623a833718442026637d461016082015282816101808160085afa9051161561156e57825192610eb96040856115e3565b61010483855b610144831061154a575050508051918183017f2b2717ebb723531642da8234c82233a47019142aaa6c2924c7e8be3106041ae784525f516020611dab5f395f51905f528386808701987f1c8a17313ba471104666d2717c3c94f8dfc0769f0131771210998a8af531dfdd8a528051855201519260608701938452818760808160065afa947f0dc617cfab0f509a8ac56e25cadf37083a1c7a6e8b1315108e8e355a2079ee0a82527f01e913439dae1cd7df92257e3c4b373e3075d6e4413a98a07d0725945a202a4385527f16c17c2631a2bff30a5c157583118b735976434df3c79d10975ebd752976a7b260016101843560808b0198818a5287878760608160075afa92101616858b60808160065afa16167f11acc8b30a1a3d428ec4c241cab61b6e0454a626e10bbb888189c20221f21eed84527f2c61ed73286e7a4a91d4db07058335caacc4ea935f68c1d2f570a350d7be2af987526101a4359081895286868660608160075afa92101616848a60808160065afa167f0d56cf60dbd64fabe80267710bb6e91ded255b6b66983e9cf2ca2bff0d3aa05384527f14e8c22476d690ff2d8aa90fe6fc981b3b1613cfa7531dd6027bad81848fd64c87526101c4359081895286868660608160075afa92101616848a60808160065afa167f2addcf6650ecbf21bebed9995b4baf566f11e61d2363da0ec77124a58d067dc084527e4a584a891535054744d91de00b0532fd71c835ffbe2f6c72d04db1b223f66687526101e4359081895286868660608160075afa92101616848a60808160065afa167f193a40b933cd6cac8ee03240c83b5753b0ade776370ddeab97fdc00998736c5884527f22dc5bc5a2849bb2a2d06dfff2a506d23e521d6b132989bab2c2f17a3ddc89918752610204359081895286868660608160075afa92101616848a60808160065afa167f21306d2d12f53364871c15dd1c4daf0611616ddf3706301b3f9228a79f01964c84527f2d28ddfc826bf5d12d41ce897d213a881f2862ea09f262c39f9de3daead600198752610224359081895286868660608160075afa92101616848a60808160065afa167f217092f6962d33dd1353c6746a3492fd9d507cc99eb782f134c37616e756f42084527f14f97e14d6b259157982e786e75fba415ba425f71b02f6a05121e8ea8baeed868752610244359081895286868660608160075afa92101616848a60808160065afa167f1f1de20d14c3b7f7b9bc0bad01e1b32da5c38169561b43bd94ebc7385dbc69c784527f2e54dfdf0ff292c39648b96884353966e84843783b12e80c18c8769b88548b6b8752610264359081895286868660608160075afa92101616848a60808160065afa16957f0da6ced8a934abbc3c46469fc7983025a27de314dad84697e7ff15fb21a61cbb8452525180955260608160075afa92101616818360808160065afa1691519351911561153b575192610100600485377f12d706b3f6ea59fce36b2a04a2e873413657db328ea40d6c49ded97cf275314f6101008501527f2fb9b504cb01e49f1dd9142c83606408445919f246253ed5cf1a4003b9b258ba6101208501527f10916b95f55eeebf695c31d7184a2306399c555c5649dd40d77cfc0267e2ad996101408501527f18dc9ab506983fed0d4e380cc6ea957ff38e8bff404b28da2e237dcc632f5cd56101608501527f14fda384f9e125ca57cce4cd320c58a665078e97e192e19e13394d83b3b227726101808501527f0c5e8af6d5875a984bf2a360c2d42c64eea68025ec9f38e084e29623bae1ba0b6101a08501527f02c18a171381268c20489faf4efa716d972ac2af72468a86bd2bb18a95002f426101c08501527f182c3ed7058d7f3d4b69cbaedf0c80af3fa30c35b122e3b5bfbecf23497410ec6101e08501527f0d3670846cd0a0241757d2c5ae7b793c06a4fcf32eae8d49f8a50f267ca7a39d6102008501527f19f8659133dbd401358bd030776479fa46eb0eb5d4289df050a2d27b076d54806102208501526102408401526102608301527f07ea7202e730c6e36fac1f4ccaa42ea81877eb36f7a112bdc16fce776df5373e6102808301527f29526ea49d0dc80d14f0a0c068c4e4c76ea170b8c07ef3efb154b59dd822c7e16102a08301527f288efe3e67c01feaba5f479f150604964f4fbb53b6ab5aca93ffe6bdcdf0913c6102c08301527f018570088b355b9fc93f952e524859f898be73bb1f61b959014bf118300576856102e0830152816103008160085afa9051161561152c57005b631ff3747d60e21b5f5260045ffd5b63a54f8e2760e01b5f5260045ffd5b8235815291810191859101610ebf565b634e487b7160e01b5f52604160045260245ffd5b6351d49ff760e11b5f5260045ffd5b34610ba5575f366003190112610ba557807fa71fc6c6c3f684e735f7d47fea5710ce12ce23a41b1b1c61cd1c1fc91a6cf31f60209252f35b9181601f84011215610ba55782359167ffffffffffffffff8311610ba55760208381860195010111610ba557565b90601f8019910116810190811067ffffffffffffffff82111761155a57604052565b9091604092825260208201520160208251919201905f5b8181106116295750505090565b825184526020938401939092019160010161161c565b905f905b6008821061165057505050565b6020806001928551815201930191019091611643565b905f905b6002821061167757505050565b602080600192855181520193019101909161166a565b905f516020611d8b5f395f51905f528210801590611717575b61152c5781158061170f575b611709576116d65f516020611d8b5f395f51905f5260038185818180090908611bab565b8181036116e557505060011b90565b5f516020611d8b5f395f51905f52809106810306145f1461152c57600190811b1790565b50505f90565b5080156116b2565b505f516020611d8b5f395f51905f528110156116a6565b919093925f516020611d8b5f395f51905f52831080159061194b575b8015611934575b801561191d575b61152c578082868517171715611912579082916118755f516020611d8b5f395f51905f5280808080888180808f9d7f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd448f839290839109099d8e0981848181800909087f2b149d40ceb8aaae81be18991be06ac3b5b4c5e559dbefa33267e6dc24a138e5089a09818c8181800909087f2fcd3ac2a640a154eb23960892a85a68f031ca0c8344b23a577dcf1052b9e7750806810306945f516020611d8b5f395f51905f527f183227397098d014dc2822db40c0ac2ecbc0b548b438e5469e10460b6c3e7ea48161184f81808b80098187800908611bab565b8408095f516020611d8b5f395f51905f5261186982611d22565b80091415958691611bce565b929080821480611909575b156118a75750505050905f1461189f5760ff60025b169060021b179190565b60ff5f611895565b5f516020611d8b5f395f51905f528091068103061491826118ea575b50501561152c57600191156118e25760ff60025b169060021b17179190565b60ff5f6118d7565b5f516020611d8b5f395f51905f52919250819006810306145f806118c3565b50838314611880565b50505090505f905f90565b505f516020611d8b5f395f51905f52811015611758565b505f516020611d8b5f395f51905f52821015611751565b505f516020611d8b5f395f51905f5285101561174a565b9080601f83011215610ba5576040519161197e610100846115e3565b82906101008101928311610ba557905b82821061199b5750505090565b813581526020918201910161198e565b9080601f83011215610ba5576040805192906119c790846115e3565b829060408101928311610ba557905b8282106119e35750505090565b81358152602091820191016119d6565b60405190611a026020836115e3565b5f8252565b8015611a6b578060011c915f516020611d8b5f395f51905f5283101561152c57600180611a4a5f516020611d8b5f395f51905f5260038188818180090908611bab565b931614611a5357565b905f516020611d8b5f395f51905f5280910681030690565b505f905f90565b801580611ba3575b611b97578060021c92825f516020611d8b5f395f51905f528510801590611b80575b61152c5784815f516020611d8b5f395f51905f5280808080808080807f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4481611b4a9d8d0909998a0981898181800909087f2fcd3ac2a640a154eb23960892a85a68f031ca0c8344b23a577dcf1052b9e7750806810306936002808a16149509818a8181800909087f2b149d40ceb8aaae81be18991be06ac3b5b4c5e559dbefa33267e6dc24a138e508611bce565b80929160018082961614611b5c575050565b5f516020611d8b5f395f51905f528093945080929550809106810306930681030690565b505f516020611d8b5f395f51905f52811015611a9c565b50505f905f905f905f90565b508115611a7a565b90611bb582611d22565b915f516020611d8b5f395f51905f528380090361152c57565b915f516020611d8b5f395f51905f527f183227397098d014dc2822db40c0ac2ecbc0b548b438e5469e10460b6c3e7ea481611c2693969496611c1882808a8009818a800908611bab565b90611d16575b860809611bab565b925f516020611d8b5f395f51905f52600285096040519060208252602080830152602060408301528060608301527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4560808301525f516020611d8b5f395f51905f5260a083015260208260c08160055afa9151911561152c575f516020611d8b5f395f51905f5282600192090361152c575f516020611d8b5f395f51905f52908209925f516020611d8b5f395f51905f528080808780090681030681878009081490811591611cf7575b5061152c57565b90505f516020611d8b5f395f51905f528084860960020914155f611cf0565b81809106810306611c1e565b9060405191602083526020808401526020604084015260608301527f0c19139cb84c680a6e14116da060561765e05aa45a1c72a34f082305b61f3f5260808301525f516020611d8b5f395f51905f5260a083015260208260c08160055afa9151911561152c5756fe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4730644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a264697066735822122050a4264e17fb8a08ac2683c8041b38eb64de89e51dbe9a4a66e53d4d3c85c2fa64736f6c634300081c0033"; static readonly abi: readonly [{ readonly inputs: readonly []; readonly name: "CommitmentInvalid"; readonly type: "error"; }, { readonly inputs: readonly []; readonly name: "ProofInvalid"; readonly type: "error"; }, { readonly inputs: readonly []; readonly name: "PublicInputNotInField"; readonly type: "error"; }, { readonly inputs: readonly [{ readonly internalType: "uint256[8]"; readonly name: "proof"; readonly type: "uint256[8]"; }, { readonly internalType: "uint256[2]"; readonly name: "commitments"; readonly type: "uint256[2]"; }, { readonly internalType: "uint256[2]"; readonly name: "commitmentPok"; readonly type: "uint256[2]"; }]; readonly name: "compressProof"; readonly outputs: readonly [{ readonly internalType: "uint256[4]"; readonly name: "compressed"; readonly type: "uint256[4]"; }, { readonly internalType: "uint256[1]"; readonly name: "compressedCommitments"; readonly type: "uint256[1]"; }, { readonly internalType: "uint256"; readonly name: "compressedCommitmentPok"; readonly type: "uint256"; }]; readonly stateMutability: "view"; readonly type: "function"; }, { readonly inputs: readonly []; readonly name: "provingKeyHash"; readonly outputs: readonly [{ readonly internalType: "bytes32"; readonly name: ""; readonly type: "bytes32"; }]; readonly stateMutability: "pure"; readonly type: "function"; }, { readonly inputs: readonly [{ readonly internalType: "uint256[4]"; readonly name: "compressedProof"; readonly type: "uint256[4]"; }, { readonly internalType: "uint256[1]"; readonly name: "compressedCommitments"; readonly type: "uint256[1]"; }, { readonly internalType: "uint256"; readonly name: "compressedCommitmentPok"; readonly type: "uint256"; }, { readonly internalType: "uint256[8]"; readonly name: "input"; readonly type: "uint256[8]"; }]; readonly name: "verifyCompressedProof"; readonly outputs: readonly []; readonly stateMutability: "view"; readonly type: "function"; }, { readonly inputs: readonly [{ readonly internalType: "uint256[8]"; readonly name: "proof"; readonly type: "uint256[8]"; }, { readonly internalType: "uint256[2]"; readonly name: "commitments"; readonly type: "uint256[2]"; }, { readonly internalType: "uint256[2]"; readonly name: "commitmentPok"; readonly type: "uint256[2]"; }, { readonly internalType: "uint256[8]"; readonly name: "input"; readonly type: "uint256[8]"; }]; readonly name: "verifyProof"; readonly outputs: readonly []; readonly stateMutability: "view"; readonly type: "function"; }, { readonly inputs: readonly [{ readonly internalType: "bytes"; readonly name: "_proof"; readonly type: "bytes"; }, { readonly internalType: "bytes"; readonly name: "_input"; readonly type: "bytes"; }]; readonly name: "verifyProof"; readonly outputs: readonly []; readonly stateMutability: "view"; readonly type: "function"; }]; static createInterface(): StateTransitionVerifierGroth16Interface; static connect(address: string, runner?: ContractRunner | null): StateTransitionVerifierGroth16; } export {};