sp1verifier

package
v0.0.1 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Dec 19, 2024 License: AGPL-3.0, AGPL-3.0-or-later Imports: 9 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Sp1verifierABI = Sp1verifierMetaData.ABI

Sp1verifierABI is the input ABI used to generate the binding from. Deprecated: Use Sp1verifierMetaData.ABI instead.

View Source 
var Sp1verifierBin = Sp1verifierMetaData.Bin

Sp1verifierBin is the compiled bytecode used for deploying new contracts. Deprecated: Use Sp1verifierMetaData.Bin instead.

View Source 
var Sp1verifierMetaData = &bind.MetaData{
	ABI: "[{\"inputs\":[],\"name\":\"InvalidProof\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"bytes4\",\"name\":\"received\",\"type\":\"bytes4\"},{\"internalType\":\"bytes4\",\"name\":\"expected\",\"type\":\"bytes4\"}],\"name\":\"WrongVerifierSelector\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"VERIFIER_HASH\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"VERSION\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes\",\"name\":\"proof\",\"type\":\"bytes\"},{\"internalType\":\"uint256[]\",\"name\":\"public_inputs\",\"type\":\"uint256[]\"}],\"name\":\"Verify\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"success\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes\",\"name\":\"publicValues\",\"type\":\"bytes\"}],\"name\":\"hashPublicValues\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"\",\"type\":\"bytes32\"}],\"stateMutability\":\"pure\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"programVKey\",\"type\":\"bytes32\"},{\"internalType\":\"bytes\",\"name\":\"publicValues\",\"type\":\"bytes\"},{\"internalType\":\"bytes\",\"name\":\"proofBytes\",\"type\":\"bytes\"}],\"name\":\"verifyProof\",\"outputs\":[],\"stateMutability\":\"view\",\"type\":\"function\"}]",
	Bin: "0x608060405234801561000f575f80fd5b50612f768061001d5f395ff3fe608060405234801561000f575f80fd5b5060043610610064575f3560e01c80636b61d8e71161004d5780636b61d8e7146100b25780637e4f7a8a146100c5578063ffa1ad74146100e8575f80fd5b80632a5104361461006857806341493c601461009d575b5f80fd5b7f54bdcae3adb83d4ce9ed91d99a31da3086e2b117abf3685164e9f28d78670b055b6040519081526020015b60405180910390f35b6100b06100ab366004612c16565b610127565b005b61008a6100c0366004612c8a565b610335565b6100d86100d3366004612cc9565b6103b1565b6040519015158152602001610094565b604080518082018252600681527f76332e302e300000000000000000000000000000000000000000000000000000602082015290516100949190612d5b565b5f6101356004828486612dc4565b61013e91612deb565b90507f54bdcae3adb83d4ce9ed91d99a31da3086e2b117abf3685164e9f28d78670b057f54bdcae3000000000000000000000000000000000000000000000000000000007fffffffff0000000000000000000000000000000000000000000000000000000083161461020c576040517f988066a10000000000000000000000000000000000000000000000000000000081527fffffffff0000000000000000000000000000000000000000000000000000000080841660048301528216602482015260440160405180910390fd5b5f6102178787610335565b6040805160028082526060820183529293505f929091602083019080368337019050509050885f1c815f8151811061025157610251612e33565b602002602001018181525050815f1c8160018151811061027357610273612e33565b60209081029190910101525f30637e4f7a8a610292886004818c612dc4565b856040518463ffffffff1660e01b81526004016102b193929190612e60565b602060405180830381865afa1580156102cc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102f09190612ef4565b905080610329576040517f09bde33900000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b50505050505050505050565b5f7f1fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5f1b6002848460405161036b929190612f1a565b602060405180830381855afa158015610386573d5f803e3d5ffd5b5050506040513d601f19601f820116820180604052508101906103a99190612f29565b169392505050565b5f60405161024081016103c384610853565b6103cd8585610866565b6103d6866108b5565b6103df876108cb565b5f6103eb86868a610a65565b90506103f681610d9b565b90506104028189610e01565b905061040e8189610e8f565b5060608201517f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000017f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000061046584630100000085612b66565b086101c084015250610478818587610efa565b61048382868a61126f565b91507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018183086101a0840152506104ba9050611614565b6104c38661275a565b6104cc866126ab565b6104d5866122d2565b6104de86611dfe565b6104e786611b63565b6104f086611765565b61020001519050612bc9565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f77726f6e67206e756d626572206f66207075626c696320696e707574730000006044820152606481fd5b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f6572726f72206d6f6420657870000000000000000000000000000000000000006044820152606481fd5b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f6572726f72206563206f7065726174696f6e00000000000000000000000000006044820152606481fd5b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f696e707574732061726520626967676572207468616e207200000000000000006044820152606481fd5b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601060248201527f77726f6e672070726f6f662073697a65000000000000000000000000000000006044820152606481fd5b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f6f70656e696e677320626967676572207468616e2072000000000000000000006044820152606481fd5b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600d60248201527f6572726f722070616972696e67000000000000000000000000000000000000006044820152606481fd5b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f6572726f722076657269667900000000000000000000000000000000000000006044820152606481fd5b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f6572726f722072616e646f6d2067656e206b7a670000000000000000000000006044820152606481fd5b60028114610863576108636104fc565b50565b5f5b818110156108b0577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000833511156108a1576108a1610619565b60209290920191600101610868565b505050565b6103608181146108c7576108c7610678565b5050565b61018081017f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000081351115610901576109016106d7565b506101a081017f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000081351115610938576109386106d7565b506101c081017f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000008135111561096f5761096f6106d7565b506101e081017f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000813511156109a6576109a66106d7565b5061020081017f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000813511156109dd576109dd6106d7565b5061026081017f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000081351115610a1457610a146106d7565b5061030081015f5b60018110156108b0577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000082351115610a5657610a566106d7565b60209190910190600101610a1c565b5f60405161024081016467616d6d6181527f231c22c1bdb73ea856c8df419a1a3d5cd64756eea7d3ff88445191766547df0a60208201527f26662addc27704fced94738f32c04a0ce7c738fdf192fc38c66ded0da05ff25e60408201527f274bc38569b26f0dbb6f68e765fd534e569e181510f7616a2d37a2ea9eaf117460608201527f16eee348cf12b860f9af358a2dd9a49947beb54d9d1aef8a40516f4f43a3d12b60808201527f2eb82c18a71af5619f50e44c2c9b8460c13989c9682bf96226041fc85cf3cbef60a08201527f0d8953351ec8c2b0d33b117538917cd78e61209d19af2619edec609fb4fd228660c08201527f0ecf753896753477637a37c8ec1ccdd1e5fe9c632a391598edd33812e6e64eb860e08201527edcf51acabe496ffa81d9105d7ce59e0c310db60373c8d16040548894bacfc66101008201527f231c051b766676ac5b0c5348e3d2811c28ac0092ecb0dc2a2d28115531262ecf6101208201527f08549442675c42a8bfd831e8153972dfe4805e358fff8c9a4e085a61a1895a1c6101408201527f0d004ee4d050057e4cd46126f4d2a6c9623a0ede72825fceed853f98d4cf69176101608201527f02b4d73b2f70de0117bbe5f9a509939400043d2c943965fda9a493ee964be7c26101808201527f17d7d1377050e977234a2303b1535fb4769fe6dc4d18cce3e0b7c7c94383a15c6101a08201527f29ccbb99014f4125fffb7c7e88ee167a7212c7e521e9dcebdc9fbfb0377d82096101c08201527f12161d51771ac2487cd60c594f07321d620d9375d6e44f1ffdf8e806a61545006101e08201527f01a748c5de58f154c506fa3e158b3d0e61907f0e3c26e1b6ad430be18445289f6102008201527f150d75d2df77de0c6fbae987a615ad86c1a4ef03ab5d741499d0f2885ae398a16102208201527f29cfa73470fc7a3cf075227c707b1af1ab2c44ca80224419715ca4c2ab3bcb61610240820152610260810160208602808883379081019060c0808784375061030501905060208282601b820160025afa905080610d6557610d65610795565b5080519250507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000182066040820152509392505050565b5f60405161024060405101636265746181528360208201526020816024601c840160025afa80610dcd57610dcd610795565b5080519250507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018206602082015250919050565b5f60405161024060405101606564616c7068618252602082018681526020810190506103208601600160400280828437928301929190910190506040610220870182375060208282601b850160025afa905080610e6057610e60610795565b50517f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000181069091529392505050565b60405161024060405101637a657461815283602082015260c0808401604083013760208160e4601c840160025afa80610eca57610eca610795565b50517f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000019006606091909101525050565b5f60405160608101516101c0820151915085610f1881878585610f93565b5f92505f91505b85821015610f89577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001853582510992507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018385086020958601959094506001929092019101610f1f565b5050509392505050565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000017f30644e427ce32d4886b01bfe313ba1dba6db8b2045d128178a7164500e0a6c1183096001855f5b86811015611081577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001837f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000103860882527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000017f0c9fabc7845d50d2852e2a0371c6441f145e0db82e8326961c25f1e3e32b045b8409925060209190910190600101610fdc565b5061108d818789611145565b5060019050855f5b8681101561113b577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001837f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001868551090982526020820191507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000017f0c9fabc7845d50d2852e2a0371c6441f145e0db82e8326961c25f1e3e32b045b84099250600101611095565b5050505050505050565b600183525f805b8381101561119a5781850151828401517f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000181830990506020840193508084880152505060018101905061114c565b5060208103820191508084019350506111db6020840160027f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001038551612b66565b5f5b838110156112685760208503945082517f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018651840984527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018184097fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0909401939250506001016111dd565b5050505050565b5f60405160608101516101c0820151915061032084015f80611297896020850135853561141b565b91506112aa896288af5f8a0187876112e0565b90507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018082840987089998505050505050505050565b5f61130c85857f0c9fabc7845d50d2852e2a0371c6441f145e0db82e8326961c25f1e3e32b045b612b66565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001817f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000103840894507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000017f30644e427ce32d4886b01bfe313ba1dba6db8b2045d128178a7164500e0a6c11820990506113c5867f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff87612b66565b94507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000185820990507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018482099695505050505050565b5f83525f602084015280604084015250806060830152505f6080820153603060818201535f60828201536042608382015360536084820153604260858201536032608682015360326087820153602d608882015360506089820153606c608a820153606f608b820153606e608c820153606b608d820153600b608e8201535f602082608f8460025afa806114b1576114b1610795565b8251600160208501536042602185015360536022850153604260238501536032602485015360326025850153602d602685015360506027850153606c6028850153606f6029850153606e602a850153606b602b850153600b602c850153602084602d8660025afa91508161152757611527610795565b8351186020840152600260408401536042604184015360536042840153604260438401536032604484015360326045840153602d604684015360506047840153606c6048840153606f6049840153606e604a840153606b604b840153600b604c84015360208301602081602d8360025afa915050806115a8576115a8610795565b507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000017001000000000000000000000000000000008351099050602082015160801c7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018183089392505050565b604051610240604051016101c08201517f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000160017f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000010360608501510861169a837f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593efffffff83612b66565b90507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000017f30644e427ce32d4886b01bfe313ba1dba6db8b2045d128178a7164500e0a6c11820990507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018282098451935091507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001905082820990507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018282099050806080840152505050565b60405161024081016101608201518152610180820151602082015261028083013560408201526102a08301356060820152610220830135608082015261024083013560a08201526102c083013560c08201526102e083013560e082015260608201516101008201526101e08201516101208201526020816101408360025afa806117f1576117f16107f4565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000182510690508160408101925061028085013581526102a0850135602082015261184183836102c0880184612acd565b61016084016118568484610220890184612acd565b610140850161186a84610260890183612b14565b7f1fa4be93b5e7f7e674d5059b63554fab99638b304ed8310e9fa44c281ac9b03b85527f1a01ae7fac6228e39d3cb5a5e71fd31160f3241e79a5f48ffb3737e6c389b7216020860152805160408087019182529095908160608160075afa9150816118d7576118d7610795565b60208101915081517f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703825261190f868285866129c4565b50508360408501945061192c8560608801516102808a0184612a5b565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000017f0c9fabc7845d50d2852e2a0371c6441f145e0db82e8326961c25f1e3e32b045b60608801510995507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000186850993506119ac85856102c08a0184612acd565b6119b8858284856129c4565b50602082810180517f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd470381528251865291810151908501527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c260408501527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60608501527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60808501527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60a0850152905160c0840152805160e08401527f22f1acbb03c4508760c2430af35865e7cdf9f3eb1224504fdcc3708ddb954a486101008401527f2a344fad01c2ed0ed73142ae1752429eaea515c6f3f6b941103cc21c2308e1cb6101208401527f159f15b842ba9c8449aa3268f981010d4c7142e5193473d80b464e964845c3f86101408401527f0efd30ac7b6f8d0d3ccbc2207587c2acbad1532dc0293f0d034cf8258cd428b361016084015292506108b090508160405160205f6101808460085afa80611b5557611b55610736565b505f51610200919091015250565b6040516102406040510160208101604082016101e084015180610160860160e08701518152610100870151610180880152610120870151610140880152611bae86835f8b0184612acd565b611bc1826101808a016101408a01612b14565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018383099150611bf6868360408b0184612acd565b611c09826101a08a016101408a01612b14565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018383099150611c3e868360808b0184612acd565b611c51826101c08a016101408a01612b14565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000183830991507f231c22c1bdb73ea856c8df419a1a3d5cd64756eea7d3ff88445191766547df0a86527f26662addc27704fced94738f32c04a0ce7c738fdf192fc38c66ded0da05ff25e8552611cc984838884612a86565b611cdc826101e08a016101408a01612b14565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000183830991507f274bc38569b26f0dbb6f68e765fd534e569e181510f7616a2d37a2ea9eaf117486527f16eee348cf12b860f9af358a2dd9a49947beb54d9d1aef8a40516f4f43a3d12b8552611d5484838884612a86565b611d67826102008a016101408a01612b14565b61030088017f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000184840992507f150d75d2df77de0c6fbae987a615ad86c1a4ef03ab5d741499d0f2885ae398a187527f29cfa73470fc7a3cf075227c707b1af1ab2c44ca80224419715ca4c2ab3bcb618652611de485848985612a86565b611df383826101408b01612b14565b505050505050505050565b6040516467616d6d616102408201908152606082015161026083015260e08201516102808301526101008201516102a083015260c0836102c08401377f231c22c1bdb73ea856c8df419a1a3d5cd64756eea7d3ff88445191766547df0a6101408201527f26662addc27704fced94738f32c04a0ce7c738fdf192fc38c66ded0da05ff25e6101608201527f274bc38569b26f0dbb6f68e765fd534e569e181510f7616a2d37a2ea9eaf1174610180808301919091527f16eee348cf12b860f9af358a2dd9a49947beb54d9d1aef8a40516f4f43a3d12b6101a0808401919091527f150d75d2df77de0c6fbae987a615ad86c1a4ef03ab5d741499d0f2885ae398a16101c0808501919091527f29cfa73470fc7a3cf075227c707b1af1ab2c44ca80224419715ca4c2ab3bcb616101e0808601919091526101208601516102008087019190915293870135610220860152918601356102408501528501356102608401528401356102808301528301356102a08201526102c081016103008401602081833750610260840135602091820152601b906102e5906101e085018285850160025afa9250505080611fb457611fb4610795565b506101e00180517f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000019006905250565b604051610240604051017f0ecf753896753477637a37c8ec1ccdd1e5fe9c632a391598edd33812e6e64eb881527edcf51acabe496ffa81d9105d7ce59e0c310db60373c8d16040548894bacfc6602082015261204c604082016101808501358360e08601612a30565b7f231c051b766676ac5b0c5348e3d2811c28ac0092ecb0dc2a2d28115531262ecf81527f08549442675c42a8bfd831e8153972dfe4805e358fff8c9a4e085a61a1895a1c60208201526120ac604082016101a08501358360e08601612a86565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016101a0840135610180850135097f0d004ee4d050057e4cd46126f4d2a6c9623a0ede72825fceed853f98d4cf691782527f02b4d73b2f70de0117bbe5f9a509939400043d2c943965fda9a493ee964be7c2602083015261213560408301828460e08701612a86565b507f17d7d1377050e977234a2303b1535fb4769fe6dc4d18cce3e0b7c7c94383a15c81527f29ccbb99014f4125fffb7c7e88ee167a7212c7e521e9dcebdc9fbfb0377d82096020820152612196604082016101c08501358360e08601612a86565b7f12161d51771ac2487cd60c594f07321d620d9375d6e44f1ffdf8e806a615450081527f01a748c5de58f154c506fa3e158b3d0e61907f0e3c26e1b6ad430be18445289f60208201526121f1604082018260e08501806129c4565b610300830161032084015f5b600181101561223d5781358452602082013560208501526122276040850184358660e08901612a86565b60209290920191604091909101906001016121fd565b5050507f2eb82c18a71af5619f50e44c2c9b8460c13989c9682bf96226041fc85cf3cbef81527f0d8953351ec8c2b0d33b117538917cd78e61209d19af2619edec609fb4fd2286602082015261229b60408201858360e08601612a86565b610220830135815261024083013560208201526122c060408201868360e08601612a86565b6112688160a0840160e08501806129c4565b6040516020810151604082015160608301515f8401517f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000184610260880135097f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016101e088013586097f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001610180890135820890507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000185820890507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000161020089013587097f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016101a08a0135820890507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000186820890507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018284097f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000182820990507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000185820990507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001600580097f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001878a0998507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016101808c01358a0894507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000188860894507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000160058a0993507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016101a08c0135850893507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000188850893507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001818a099250507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016101c08b0135830891507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000187830891507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000183850997507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018289097f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001908103985085890997507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000160808a01518908975061032988828c611fe3565b6040516002630100000001610240604051016126cc81836060860151612b66565b91506126e18183610140870160a08701612a5b565b6126f481610100860160a08601806129fa565b612703818360a0860180612a30565b6127158160c0860160a08601806129fa565b61272c816101c085015160a0860160a08701612a30565b505060c00180517f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703905250565b6040515f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000160208301516101e08501350990507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016040830151820890507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001610180840135820890505f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000160208401516102008601350990507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016040840151820890507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016101a0850135820890505f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000160408501516101c08701350890507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000182840992507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018184099250507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000015f840151830991507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001610260850135830991507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016101a0840151830860808401519092507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000190810391508183087f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001036101209390930192909252505050565b8151845260208201516020850152825160408501526020830151606085015260408160808660065afa80611268576112686105ba565b8151845260208201516020850152823560408501526020830135606085015260408160808660065afa80611268576112686105ba565b815184526020820151602085015282604085015260408160608660075afa80611268576112686105ba565b813584526020820135602085015282604085015260408160608660075afa80611268576112686105ba565b815184526020820151602085015282604085015260408460608660075afa815160408601526020820151606086015260408260808760065afa1680611268576112686105ba565b813584526020820135602085015282604085015260408460608660075afa815160408601526020820151606086015260408260808760065afa1680611268576112686105ba565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001838335097f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000181835108825250505050565b602083526020808401526020604084015280606084015250806080830152507f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000160a08201525f60208260c08460055afa80612bc357612bc361055b565b50505190565b949350505050565b5f8083601f840112612be1575f80fd5b50813567ffffffffffffffff811115612bf8575f80fd5b602083019150836020828501011115612c0f575f80fd5b9250929050565b5f805f805f60608688031215612c2a575f80fd5b85359450602086013567ffffffffffffffff80821115612c48575f80fd5b612c5489838a01612bd1565b90965094506040880135915080821115612c6c575f80fd5b50612c7988828901612bd1565b969995985093965092949392505050565b5f8060208385031215612c9b575f80fd5b823567ffffffffffffffff811115612cb1575f80fd5b612cbd85828601612bd1565b90969095509350505050565b5f805f8060408587031215612cdc575f80fd5b843567ffffffffffffffff80821115612cf3575f80fd5b612cff88838901612bd1565b90965094506020870135915080821115612d17575f80fd5b818701915087601f830112612d2a575f80fd5b813581811115612d38575f80fd5b8860208260051b8501011115612d4c575f80fd5b95989497505060200194505050565b5f6020808352835180828501525f5b81811015612d8657858101830151858201604001528201612d6a565b505f6040828601015260407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8301168501019250505092915050565b5f8085851115612dd2575f80fd5b83861115612dde575f80fd5b5050820193919092039150565b7fffffffff000000000000000000000000000000000000000000000000000000008135818116916004851015612e2b5780818660040360031b1b83161692505b505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b60408152826040820152828460608301375f606084830101525f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f85011682016060810160206060858403018186015281865180845260808501915082880194505f93505b80841015612ee75784518252938201936001939093019290820190612ec7565b5098975050505050505050565b5f60208284031215612f04575f80fd5b81518015158114612f13575f80fd5b9392505050565b818382375f9101908152919050565b5f60208284031215612f39575f80fd5b505191905056fea2646970667358221220c2ce8a6603b6526c6b4e5fefc472099e9e679cc3a735de27b4841cf4e779c82264736f6c63430008140033",
}

Sp1verifierMetaData contains all meta data concerning the Sp1verifier contract.

Functions

This section is empty.

Types

type Sp1verifier 

type Sp1verifier struct {
	Sp1verifierCaller     // Read-only binding to the contract
	Sp1verifierTransactor // Write-only binding to the contract
	Sp1verifierFilterer   // Log filterer for contract events
}

Sp1verifier is an auto generated Go binding around an Ethereum contract.

func DeploySp1verifier 

func DeploySp1verifier(auth *bind.TransactOpts, backend bind.ContractBackend) (common.Address, *types.Transaction, *Sp1verifier, error)

DeploySp1verifier deploys a new Ethereum contract, binding an instance of Sp1verifier to it.

func NewSp1verifier 

func NewSp1verifier(address common.Address, backend bind.ContractBackend) (*Sp1verifier, error)

NewSp1verifier creates a new instance of Sp1verifier, bound to a specific deployed contract.

type Sp1verifierCaller 

type Sp1verifierCaller struct {
	// contains filtered or unexported fields
}

Sp1verifierCaller is an auto generated read-only Go binding around an Ethereum contract.

func NewSp1verifierCaller 

func NewSp1verifierCaller(address common.Address, caller bind.ContractCaller) (*Sp1verifierCaller, error)

NewSp1verifierCaller creates a new read-only instance of Sp1verifier, bound to a specific deployed contract.

func (*Sp1verifierCaller) HashPublicValues 

func (_Sp1verifier *Sp1verifierCaller) HashPublicValues(opts *bind.CallOpts, publicValues []byte) ([32]byte, error)

HashPublicValues is a free data retrieval call binding the contract method 0x6b61d8e7.

Solidity: function hashPublicValues(bytes publicValues) pure returns(bytes32)

func (*Sp1verifierCaller) VERIFIERHASH 

func (_Sp1verifier *Sp1verifierCaller) VERIFIERHASH(opts *bind.CallOpts) ([32]byte, error)

VERIFIERHASH is a free data retrieval call binding the contract method 0x2a510436.

Solidity: function VERIFIER_HASH() pure returns(bytes32)

func (*Sp1verifierCaller) VERSION 

func (_Sp1verifier *Sp1verifierCaller) VERSION(opts *bind.CallOpts) (string, error)

VERSION is a free data retrieval call binding the contract method 0xffa1ad74.

Solidity: function VERSION() pure returns(string)

func (*Sp1verifierCaller) Verify 

func (_Sp1verifier *Sp1verifierCaller) Verify(opts *bind.CallOpts, proof []byte, public_inputs []*big.Int) (bool, error)

Verify is a free data retrieval call binding the contract method 0x7e4f7a8a.

Solidity: function Verify(bytes proof, uint256[] public_inputs) view returns(bool success)

func (*Sp1verifierCaller) VerifyProof 

func (_Sp1verifier *Sp1verifierCaller) VerifyProof(opts *bind.CallOpts, programVKey [32]byte, publicValues []byte, proofBytes []byte) error

VerifyProof is a free data retrieval call binding the contract method 0x41493c60.

Solidity: function verifyProof(bytes32 programVKey, bytes publicValues, bytes proofBytes) view returns()

type Sp1verifierCallerRaw 

type Sp1verifierCallerRaw struct {
	Contract *Sp1verifierCaller // Generic read-only contract binding to access the raw methods on
}

Sp1verifierCallerRaw is an auto generated low-level read-only Go binding around an Ethereum contract.

func (*Sp1verifierCallerRaw) Call 

func (_Sp1verifier *Sp1verifierCallerRaw) Call(opts *bind.CallOpts, result *[]interface{}, method string, params ...interface{}) error

Call invokes the (constant) contract method with params as input values and sets the output to result. The result type might be a single field for simple returns, a slice of interfaces for anonymous returns and a struct for named returns.

type Sp1verifierCallerSession 

type Sp1verifierCallerSession struct {
	Contract *Sp1verifierCaller // Generic contract caller binding to set the session for
	CallOpts bind.CallOpts      // Call options to use throughout this session
}

Sp1verifierCallerSession is an auto generated read-only Go binding around an Ethereum contract, with pre-set call options.

func (*Sp1verifierCallerSession) HashPublicValues 

func (_Sp1verifier *Sp1verifierCallerSession) HashPublicValues(publicValues []byte) ([32]byte, error)

HashPublicValues is a free data retrieval call binding the contract method 0x6b61d8e7.

Solidity: function hashPublicValues(bytes publicValues) pure returns(bytes32)

func (*Sp1verifierCallerSession) VERIFIERHASH 

func (_Sp1verifier *Sp1verifierCallerSession) VERIFIERHASH() ([32]byte, error)

VERIFIERHASH is a free data retrieval call binding the contract method 0x2a510436.

Solidity: function VERIFIER_HASH() pure returns(bytes32)

func (*Sp1verifierCallerSession) VERSION 

func (_Sp1verifier *Sp1verifierCallerSession) VERSION() (string, error)

VERSION is a free data retrieval call binding the contract method 0xffa1ad74.

Solidity: function VERSION() pure returns(string)

func (*Sp1verifierCallerSession) Verify 

func (_Sp1verifier *Sp1verifierCallerSession) Verify(proof []byte, public_inputs []*big.Int) (bool, error)

Verify is a free data retrieval call binding the contract method 0x7e4f7a8a.

Solidity: function Verify(bytes proof, uint256[] public_inputs) view returns(bool success)

func (*Sp1verifierCallerSession) VerifyProof 

func (_Sp1verifier *Sp1verifierCallerSession) VerifyProof(programVKey [32]byte, publicValues []byte, proofBytes []byte) error

VerifyProof is a free data retrieval call binding the contract method 0x41493c60.

Solidity: function verifyProof(bytes32 programVKey, bytes publicValues, bytes proofBytes) view returns()

type Sp1verifierFilterer 

type Sp1verifierFilterer struct {
	// contains filtered or unexported fields
}

Sp1verifierFilterer is an auto generated log filtering Go binding around an Ethereum contract events.

func NewSp1verifierFilterer 

func NewSp1verifierFilterer(address common.Address, filterer bind.ContractFilterer) (*Sp1verifierFilterer, error)

NewSp1verifierFilterer creates a new log filterer instance of Sp1verifier, bound to a specific deployed contract.

type Sp1verifierRaw 

type Sp1verifierRaw struct {
	Contract *Sp1verifier // Generic contract binding to access the raw methods on
}

Sp1verifierRaw is an auto generated low-level Go binding around an Ethereum contract.

func (*Sp1verifierRaw) Call 

func (_Sp1verifier *Sp1verifierRaw) Call(opts *bind.CallOpts, result *[]interface{}, method string, params ...interface{}) error

Call invokes the (constant) contract method with params as input values and sets the output to result. The result type might be a single field for simple returns, a slice of interfaces for anonymous returns and a struct for named returns.

func (*Sp1verifierRaw) Transact 

func (_Sp1verifier *Sp1verifierRaw) Transact(opts *bind.TransactOpts, method string, params ...interface{}) (*types.Transaction, error)

Transact invokes the (paid) contract method with params as input values.

func (*Sp1verifierRaw) Transfer 

func (_Sp1verifier *Sp1verifierRaw) Transfer(opts *bind.TransactOpts) (*types.Transaction, error)

Transfer initiates a plain transaction to move funds to the contract, calling its default method if one is available.

type Sp1verifierSession 

type Sp1verifierSession struct {
	Contract     *Sp1verifier      // Generic contract binding to set the session for
	CallOpts     bind.CallOpts     // Call options to use throughout this session
	TransactOpts bind.TransactOpts // Transaction auth options to use throughout this session
}

Sp1verifierSession is an auto generated Go binding around an Ethereum contract, with pre-set call and transact options.

func (*Sp1verifierSession) HashPublicValues 

func (_Sp1verifier *Sp1verifierSession) HashPublicValues(publicValues []byte) ([32]byte, error)

HashPublicValues is a free data retrieval call binding the contract method 0x6b61d8e7.

Solidity: function hashPublicValues(bytes publicValues) pure returns(bytes32)

func (*Sp1verifierSession) VERIFIERHASH 

func (_Sp1verifier *Sp1verifierSession) VERIFIERHASH() ([32]byte, error)

VERIFIERHASH is a free data retrieval call binding the contract method 0x2a510436.

Solidity: function VERIFIER_HASH() pure returns(bytes32)

func (*Sp1verifierSession) VERSION 

func (_Sp1verifier *Sp1verifierSession) VERSION() (string, error)

VERSION is a free data retrieval call binding the contract method 0xffa1ad74.

Solidity: function VERSION() pure returns(string)

func (*Sp1verifierSession) Verify 

func (_Sp1verifier *Sp1verifierSession) Verify(proof []byte, public_inputs []*big.Int) (bool, error)

Verify is a free data retrieval call binding the contract method 0x7e4f7a8a.

Solidity: function Verify(bytes proof, uint256[] public_inputs) view returns(bool success)

func (*Sp1verifierSession) VerifyProof 

func (_Sp1verifier *Sp1verifierSession) VerifyProof(programVKey [32]byte, publicValues []byte, proofBytes []byte) error

VerifyProof is a free data retrieval call binding the contract method 0x41493c60.

Solidity: function verifyProof(bytes32 programVKey, bytes publicValues, bytes proofBytes) view returns()

type Sp1verifierTransactor 

type Sp1verifierTransactor struct {
	// contains filtered or unexported fields
}

Sp1verifierTransactor is an auto generated write-only Go binding around an Ethereum contract.

func NewSp1verifierTransactor 

func NewSp1verifierTransactor(address common.Address, transactor bind.ContractTransactor) (*Sp1verifierTransactor, error)

NewSp1verifierTransactor creates a new write-only instance of Sp1verifier, bound to a specific deployed contract.

type Sp1verifierTransactorRaw 

type Sp1verifierTransactorRaw struct {
	Contract *Sp1verifierTransactor // Generic write-only contract binding to access the raw methods on
}

Sp1verifierTransactorRaw is an auto generated low-level write-only Go binding around an Ethereum contract.

func (*Sp1verifierTransactorRaw) Transact 

func (_Sp1verifier *Sp1verifierTransactorRaw) Transact(opts *bind.TransactOpts, method string, params ...interface{}) (*types.Transaction, error)

Transact invokes the (paid) contract method with params as input values.

func (*Sp1verifierTransactorRaw) Transfer 

func (_Sp1verifier *Sp1verifierTransactorRaw) Transfer(opts *bind.TransactOpts) (*types.Transaction, error)

Transfer initiates a plain transaction to move funds to the contract, calling its default method if one is available.

type Sp1verifierTransactorSession 

type Sp1verifierTransactorSession struct {
	Contract     *Sp1verifierTransactor // Generic contract transactor binding to set the session for
	TransactOpts bind.TransactOpts      // Transaction auth options to use throughout this session
}

Sp1verifierTransactorSession is an auto generated write-only Go binding around an Ethereum contract, with pre-set transact options.

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.