hotshot_contract_adapter::bindings::plonk_verifier_v2::PlonkVerifierV2

Static BYTECODE

Source 
pub static BYTECODE: Bytes
Expand description

The creation / init bytecode of the contract.

0x612554610034600b8282823980515f1a607314602857634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040526004361061009b575f3560e01c8063af196ba21161006e578063af196ba21461014e578063de24ac0f14610175578063e3512d561461019c578063f5144326146101c3578063fc8660c7146101ea575f5ffd5b80630c551f3f1461009f5780634b4734e3146100d95780635a14c0fe14610100578063834c452a14610127575b5f5ffd5b6100c67f1ee678a0470a75a6eaa8fe837060498ba828a3703b311d0f77f010424afeb02581565b6040519081526020015b60405180910390f35b6100c67f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e5581565b6100c67f2042a587a90c187b0a087c03e29c968b950b1db26d5c82d666905a6895790c0a81565b6100c67f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c181565b6100c67f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b081565b6100c67f2e2b91456103698adf57b799969dea1c8f739da5d8d40dd3eb9222db7c81e88181565b6100c67f2f8dd1f1a7583c42c4e12a44e110404c73ca6c94813f85835da4fb7bb1301d4a81565b6100c67f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe481565b6101fd6101f83660046122e2565b61020d565b60405190151581526020016100d0565b5f610217826102aa565b610227835f5b60200201516103e5565b61023283600161021d565b61023d83600261021d565b61024883600361021d565b61025383600461021d565b61025e83600561021d565b61026983600661021d565b61027483600761021d565b61027f83600861021d565b61028a83600961021d565b61029583600a61021d565b6102a0848484610417565b90505b9392505050565b80516102b59061060b565b6102c2816020015161060b565b6102cf816040015161060b565b6102dc816060015161060b565b6102e9816080015161060b565b6102f68160a0015161060b565b6103038160c0015161060b565b6103108160e0015161060b565b61031e81610100015161060b565b61032c81610120015161060b565b61033a81610140015161060b565b61034881610160015161060b565b61035681610180015161060b565b610364816101a001516103e5565b610372816101c001516103e5565b610380816101e001516103e5565b61038e8161020001516103e5565b61039c8161022001516103e5565b6103aa8161024001516103e5565b6103b88161026001516103e5565b6103c68161028001516103e5565b6103d4816102a001516103e5565b6103e2816102c001516103e5565b50565b5f5160206125285f395f51905f528110806104135760405163016c173360e21b815260040160405180910390fd5b5050565b5f8360200151600b1461043d576040516320fa9d8960e11b815260040160405180910390fd5b5f61044985858561068a565b90505f610458865f0151610c19565b90505f61046a828460a00151886111c0565b905061048760405180604001604052805f81526020015f81525090565b604080518082019091525f80825260208201526104bb8761016001516104b68961018001518860e0015161121d565b611280565b91505f5f6104cb8b88878c6112e7565b915091506104dc816104b68461151f565b92506104f5836104b68b61016001518a60a0015161121d565b60a08801516040880151602001519194505f5160206125285f395f51905f52918290820990508160e08a015182099050610538856104b68d61018001518461121d565b94505f60405180608001604052807f0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b081526020017f260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c181526020017f22febda3c0c0632a56475b4214e5615e11e6dd3f96e6cea2854a87d4dacc5e5581526020017f04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe481525090506105f987826105ec8961151f565b6105f46115bc565b611689565b9e9d5050505050505050505050505050565b805160208201515f917f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4791159015161561064457505050565b8251602084015182600384858586098509088382830914838210848410161693505050816106855760405163279e345360e21b815260040160405180910390fd5b505050565b6106ca6040518061010001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b5f5f5160206125285f395f51905f529050604051602081015f815260fe60e01b8152865160c01b6004820152602087015160c01b600c82015261028087015160208201526102a08701516040820152600160608201527f2f8dd1f1a7583c42c4e12a44e110404c73ca6c94813f85835da4fb7bb1301d4a60808201527f1ee678a0470a75a6eaa8fe837060498ba828a3703b311d0f77f010424afeb02560a08201527f2042a587a90c187b0a087c03e29c968b950b1db26d5c82d666905a6895790c0a60c08201527f2e2b91456103698adf57b799969dea1c8f739da5d8d40dd3eb9222db7c81e88160e082015260e087015180516101008301526020810151610120830152506101008701518051610140830152602081015161016083015250610120870151805161018083015260208101516101a08301525061014087015180516101c083015260208101516101e083015250610160870151805161020083015260208101516102208301525061018087015180516102408301526020810151610260830152506101e0870151805161028083015260208101516102a08301525061020087015180516102c083015260208101516102e083015250610220870151805161030083015260208101516103208301525061024087015180516103408301526020810151610360830152506101a0870151805161038083015260208101516103a0830152506101c087015180516103c083015260208101516103e0830152506102608701518051610400830152602081015161042083015250604087015180516104408301526020810151610460830152506060870151805161048083015260208101516104a083015250608087015180516104c083015260208101516104e08301525060a0870151805161050083015260208101516105208301525060c08701518051610540830152602081015161056083015250855161058082015260208601516105a082015260408601516105c082015260608601516105e0820152608086015161060082015260a086015161062082015260c086015161064082015260e08601516106608201526101008601516106808201526101208601516106a08201526101408601516106c0820152845180516106e08301526020810151610700830152506020850151805161072083015260208101516107408301525060408501518051610760830152602081015161078083015250606085015180516107a083015260208101516107c083015250608085015180516107e08301526020810151610800830152505f82526108408220825282825106606085015260208220825282825106608085015260a085015180518252602081015160208301525060608220808352838106855283818209848282099150806020870152508060408601525060c085015180518252602081015160208301525060e085015180516040830152602081015160608301525061010085015180516080830152602081015160a083015250610120850151805160c0830152602081015160e0830152506101408501518051610100830152602081015161012083015250610160822082528282510660a08501526101a085015181526101c085015160208201526101e085015160408201526102008501516060820152610220850151608082015261024085015160a082015261026085015160c082015261028085015160e08201526102a08501516101008201526102c0850151610120820152610160822082528282510660c08501526101608501518051825260208101516020830152506101808501518051604083015260208101516060830152505060a0812082810660e08501525050509392505050565b610c21611fbc565b816201000003610df8576040518060600160405280601081526020017f30641e0e92bebef818268d663bcad6dbcfd6c0149170f6d7d350b1b1fa6c10018152602001604051806101600160405280600181526020017eeeb2cb5981ed45649abebde081dcff16c8601de4347e7dd1628ba2daac43b781526020017f2d1ba66f5941dc91017171fa69ec2bd0022a2a2d4115a009a93458fd4e26ecfb81526020017f086812a00ac43ea801669c640171203c41a496671bfbc065ac8db24d52cf31e581526020017f2d965651cdd9e4811f4e51b80ddca8a8b4a93ee17420aae6adaa01c2617c6e8581526020017f12597a56c2e438620b9041b98992ae0d4e705b780057bf7766a2767cece16e1d81526020017f02d94117cd17bcf1290fd67c01155dd40807857dff4a5a0b4dc67befa8aa34fd81526020017f15ee2475bee517c4ee05e51fa1ee7312a8373a0b13db8c51baf04cb2e99bd2bd81526020017e6fab49b869ae62001deac878b2667bd31bf3e28e3a2d764aa49b8d9bbdd31081526020017f2e856bf6d037708ffa4c06d4d8820f45ccadce9c5a6d178cbd573f82e0f9701181526020017f1407eee35993f2b1ad5ec6d9b8950ca3af33135d06037f871c5e33bf566dd7b48152508152509050919050565b816210000003610fd1576040518060600160405280601481526020017f30644b6c9c4a72169e4daa317d25f04512ae15c53b34e8f5acd8e155d0a6c1018152602001604051806101600160405280600181526020017f26125da10a0ed06327508aba06d1e303ac616632dbed349f53422da95333785781526020017f2260e724844bca5251829353968e4915305258418357473a5c1d597f613f6cbd81526020017f2087ea2cd664278608fb0ebdb820907f598502c81b6690c185e2bf15cb935f4281526020017f19ddbcaf3a8d46c15c0176fbb5b95e4dc57088ff13f4d1bd84c6bfa57dcdc0e081526020017f05a2c85cfc591789605cae818e37dd4161eef9aa666bec6fe4288d09e6d2341881526020017f11f70e5363258ff4f0d716a653e1dc41f1c64484d7f4b6e219d6377614a3905c81526020017f29e84143f5870d4776a92df8da8c6c9303d59088f37ba85f40cf6fd14265b4bc81526020017f1bf82deba7d74902c3708cc6e70e61f30512eca95655210e276e5858ce8f58e581526020017f22b94b2e2b0043d04e662d5ec018ea1c8a99a23a62c9eb46f0318f6a194985f081526020017f29969d8d5363bef1101a68e446a14e1da7ba9294e142a146a980fddb4d4d41a58152508152509050919050565b816020036111a7576040518060600160405280600581526020017f2ee12bff4a2813286a8dc388cd754d9a3ef2490635eba50cb9c2e5e7508000018152602001604051806101600160405280600181526020017f09c532c6306b93d29678200d47c0b2a99c18d51b838eeb1d3eed4c533bb512d081526020017f21082ca216cbbf4e1c6e4f4594dd508c996dfbe1174efb98b11509c6e306460b81526020017f1277ae6415f0ef18f2ba5fb162c39eb7311f386e2d26d64401f4a25da77c253b81526020017f2b337de1c8c14f22ec9b9e2f96afef3652627366f8170a0a948dad4ac1bd5e8081526020017f2fbd4dd2976be55d1a163aa9820fb88dfac5ddce77e1872e90632027327a5ebe81526020017f107aab49e65a67f9da9cd2abf78be38bd9dc1d5db39f81de36bcfa5b4b03904381526020017ee14b6364a47e9c4284a9f80a5fc41cd212b0d4dbf8a5703770a40a9a34399081526020017f30644e72e131a029048b6e193fd841045cea24f6fd736bec231204708f70363681526020017f22399c34139bffada8de046aac50c9628e3517a3a452795364e777cd65bb9f4881526020017f2290ee31c482cf92b79b1944db1c0147635e9004db8c3b9d13644bef31ec3bd38152508152509050919050565b60405163e2ef09e560e01b815260040160405180910390fd5b6111e160405180606001604052805f81526020015f81526020015f81525090565b6111eb848461173a565b8082526111fb908590859061178b565b60208201528051611211908590849086906117fa565b60408201529392505050565b604080518082019091525f8082526020820152611238611fe0565b835181526020808501519082015260408082018490525f908360608460075afa9050806112785760405163033b714d60e31b815260040160405180910390fd5b505092915050565b604080518082019091525f808252602082015261129b611ffe565b835181526020808501518183015283516040808401919091529084015160608301525f908360808460065afa9050806112785760405163302aedb560e11b815260040160405180910390fd5b604080518082019091525f8082526020820152604080518082019091525f80825260208201525f61131a87878787611949565b90505f5160206125285f395f51905f525f611336888789611e13565b905061134281836124cf565b60c08901516101a08801519192509081908490819083098408925061136e856104b68a5f01518461121d565b955083828209905083846101c08a0151830984089250611396866104b68a602001518461121d565b955083828209905083846101e08a01518309840892506113be866104b68a604001518461121d565b955083828209905083846102008a01518309840892506113e6866104b68a606001518461121d565b955083828209905083846102208a015183098408925061140e866104b68a608001518461121d565b955083828209905083846102408a0151830984089250611436866104b68d604001518461121d565b955083828209905083846102608a015183098408925061145e866104b68d606001518461121d565b955083828209905083846102808a0151830984089250611486866104b68d608001518461121d565b955083828209905083846102a08a01518309840892506114ae866104b68d60a001518461121d565b95505f8a60e00151905084856102c08b01518309850893506114d8876104b68b60a001518461121d565b965061150e6115086040805180820182525f80825260209182015281518083019092526001825260029082015290565b8561121d565b975050505050505094509492505050565b604080518082019091525f8082526020820152815160208301511590151615611546575090565b6040518060400160405280835f015181526020017f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47846020015161158a9190612508565b6115b4907f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd476124cf565b905292915050565b6115e360405180608001604052805f81526020015f81526020015f81526020015f81525090565b60405180608001604052807f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed81526020017f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c281526020017f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa81526020017f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b815250905090565b5f5f5f6040518751815260208801516020820152602087015160408201528651606082015260608701516080820152604087015160a0820152855160c0820152602086015160e0820152602085015161010082015284516101208201526060850151610140820152604085015161016082015260205f6101808360085afa9150505f5191508061172c5760405163c206334f60e01b815260040160405180910390fd5b50151590505b949350505050565b81515f905f5160206125285f395f51905f529083801561177b578493505f5b8281101561176f57838586099450600101611759565b50600184039350611782565b6001830393505b50505092915050565b5f8260010361179c575060016102a3565b815f036117aa57505f6102a3565b60208401515f5160206125285f395f51905f52905f908281860990508580156117d8576001870392506117df565b6001840392505b506117e982611efe565b915082828209979650505050505050565b5f5f5160206125285f395f51905f528282036118735760015f5b600b81101561186857818603611845578681600b8110611836576118366124bb565b60200201519350505050611732565b8280611853576118536124f4565b60408901516020015183099150600101611814565b505f92505050611732565b61187b61201c565b60408701516001610140838101828152920190805b600b8110156118bd5760208403935085868a85518903088309808552601f19909301929150600101611890565b505050505f5f5f90506001838960408c01515f5b600b811015611911578882518a85518c88518a0909098981880896505088898d84518c0308860994506020938401939283019291909101906001016118d1565b50505050809250505f61192383611efe565b905060208a015185818909965050848187099550848287099a9950505050505050505050565b604080518082019091525f80825260208201525f5f5f5f5f5f5160206125285f395f51905f52905060808901518160208a015160208c0151099550895194508160a08b015160608c0151099350816101a089015185089250818184089250818584099450817f2f8dd1f1a7583c42c4e12a44e110404c73ca6c94813f85835da4fb7bb1301d4a85099250816101c089015184089250818184089250818584099450817f1ee678a0470a75a6eaa8fe837060498ba828a3703b311d0f77f010424afeb02585099250816101e089015184089250818184089250818584099450817f2042a587a90c187b0a087c03e29c968b950b1db26d5c82d666905a6895790c0a850992508161020089015184089250818184089250818584099450817f2e2b91456103698adf57b799969dea1c8f739da5d8d40dd3eb9222db7c81e88185099250816102208901518408925081818408925050808483099350808486089450611ab68760a001518661121d565b9550885160608a015160808b0151838284099750836102c08b015189099750836102408b015183099550836101a08b015187089550838187089550838689099750836102608b015183099550836101c08b015187089550838187089550838689099750836102808b015183099550836101e08b015187089550838187089550838689099750836102a08b015183099550836102008b015187089550838187089550505050808386099450611b7d866104b68c60c001518885611b7891906124cf565b61121d565b9550611b96866104b68c60e001518a6101a0015161121d565b9550611bb0866104b68c61010001518a6101c0015161121d565b9550611bca866104b68c61012001518a6101e0015161121d565b9550611be4866104b68c61014001518a610200015161121d565b9550806101c08801516101a0890151099250611c09866104b68c61016001518661121d565b9550806102008801516101e0890151099250611c2e866104b68c61018001518661121d565b95506101a08701519250808384099150808283099150808284099250611c5d866104b68c6101e001518661121d565b95506101c08701519250808384099150808283099150808284099250611c8c866104b68c61020001518661121d565b95506101e08701519250808384099150808283099150808284099250611cbb866104b68c61022001518661121d565b95506102008701519250808384099150808283099150808284099250611cea866104b68c61024001518661121d565b9550611d07866104b68c6101a00151611b788b6102200151611f90565b9550611d18868b6101c00151611280565b9550806101c08801516101a0890151099250806101e08801518409925080610200880151840992508061022088015184099250611d5e866104b68c61026001518661121d565b9550611d6c885f0151611f90565b9450611d80866104b68960c001518861121d565b955080600189510860a08a0151909350819080099150808284099250808386099450611db4866104b68960e001518861121d565b9550808386099450611dcf866104b68961010001518861121d565b9550808386099450611dea866104b68961012001518861121d565b9550808386099450611e05866104b68961014001518861121d565b9a9950505050505050505050565b5f5f5f5160206125285f395f51905f5290505f836020015190505f846040015190505f60019050606088015160808901516101a08901516102408a01518788898387098a868608088609945050506101c08901516102608a01518788898387098a868608088609945050506101e08901516102808a01518788898387098a868608088609945050506102008901516102a08a01518788898387098a8686080886099450505061022089015191506102c0890151868782898587080985099350505050875160208901518586868309870385089650508485838309860387089998505050505050505050565b5f815f03611f1f5760405163d6dbbb0d60e01b815260040160405180910390fd5b5f5f5f5160206125285f395f51905f52905060405160208152602080820152602060408201528460608201526002820360808201528160a082015260205f60c08360055afa9250505f51925081611f8957604051630c9d3e9960e21b815260040160405180910390fd5b5050919050565b5f5f5160206125285f395f51905f52821560018114611fb3578382039250611f89565b505f9392505050565b60405180606001604052805f81526020015f8152602001611fdb61201c565b905290565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b604051806101600160405280600b906020820280368337509192915050565b634e487b7160e01b5f52604160045260245ffd5b6040516102e0810167ffffffffffffffff811182821017156120735761207361203b565b60405290565b6040516102c0810167ffffffffffffffff811182821017156120735761207361203b565b5f604082840312156120ad575f5ffd5b6040805190810167ffffffffffffffff811182821017156120d0576120d061203b565b604052823581526020928301359281019290925250919050565b5f82601f8301126120f9575f5ffd5b604051610160810167ffffffffffffffff8111828210171561211d5761211d61203b565b60405280610160840185811115612132575f5ffd5b845b8181101561214c578035835260209283019201612134565b509195945050505050565b5f6104808284031215612168575f5ffd5b61217061204f565b905061217c838361209d565b815261218b836040840161209d565b602082015261219d836080840161209d565b60408201526121af8360c0840161209d565b60608201526121c283610100840161209d565b60808201526121d583610140840161209d565b60a08201526121e883610180840161209d565b60c08201526121fb836101c0840161209d565b60e082015261220e83610200840161209d565b61010082015261222283610240840161209d565b61012082015261223683610280840161209d565b61014082015261224a836102c0840161209d565b61016082015261225e83610300840161209d565b6101808201526103408201356101a08201526103608201356101c08201526103808201356101e08201526103a08201356102008201526103c08201356102208201526103e08201356102408201526104008201356102608201526104208201356102808201526104408201356102a0820152610460909101356102c0820152919050565b5f5f5f838503610ae08112156122f6575f5ffd5b610500811215612304575f5ffd5b5061230d612079565b8435815260208086013590820152612328866040870161209d565b604082015261233a866080870161209d565b606082015261234c8660c0870161209d565b608082015261235f86610100870161209d565b60a082015261237286610140870161209d565b60c082015261238586610180870161209d565b60e0820152612398866101c0870161209d565b6101008201526123ac86610200870161209d565b6101208201526123c086610240870161209d565b6101408201526123d486610280870161209d565b6101608201526123e8866102c0870161209d565b6101808201526123fc86610300870161209d565b6101a082015261241086610340870161209d565b6101c082015261242486610380870161209d565b6101e0820152612438866103c0870161209d565b61020082015261244c86610400870161209d565b61022082015261246086610440870161209d565b61024082015261247486610480870161209d565b6102608201526104c08501356102808201526104e08501356102a082015292506124a28561050086016120ea565b91506124b2856106608601612157565b90509250925092565b634e487b7160e01b5f52603260045260245ffd5b818103818111156124ee57634e487b7160e01b5f52601160045260245ffd5b92915050565b634e487b7160e01b5f52601260045260245ffd5b5f8261252257634e487b7160e01b5f52601260045260245ffd5b50069056fe30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a164736f6c634300081c000a