SP1Beefy | Arbitrum

codeslaw

SP1BeefySolidityv0.8.20+commit.a1b79de6

network

Arbitrum

address0x33890b3c84a9581c6bc1ebac9bb3f9dc3bcc7979

deployer0xfcc527B7734176C6cb408861CbE2488D295AE008

tx last 12 months

0 txs

calls last 12 months

1.1k calls

13 Files

lib

sp1-contracts

contracts

src

ISP1Verifier.sol

node_modules

@polytope-labs

ismp-solidity

interfaces

IConsensusClient.sol

Message.sol

solidity-merkle-trees

src

Types.sol

trie

Bytes.sol

Memory.sol

substrate

ScaleCodec.sol

openzeppelin-solidity

contracts

utils

introspection

ERC165.sol

IERC165.sol

src

consensus

Codec.sol

Header.sol

SP1Beefy.sol

Types.sol

Source: Etherscan, Smart Contract Sanctuary, or Sourcify. For more information, see our about page.

bytecode

creation bytecode

0x60806040527e4609733a0366baf52880d2a058a858c8c83479d4b1fca39c1a14666375419f60005534801561003357600080fd5b50604051611ddc380380611ddc83398101604081905261005291610077565b600180546001600160a01b0319166001600160a01b03929092169190911790556100a7565b60006020828403121561008957600080fd5b81516001600160a01b03811681146100a057600080fd5b9392505050565b611d26806100b66000396000f3fe608060405234801561001057600080fd5b506004361061004c5760003560e01c806301ffc9a71461005157806309a07dd3146100795780637d7555981461008d5780637ddc907d146100ae575b600080fd5b61006461005f366004611091565b6100c5565b60405190151581526020015b60405180910390f35b61008b610087366004611471565b5050565b005b6100a061009b36600461158e565b6100fc565b604051610070929190611649565b6100b760005481565b604051908152602001610070565b60006001600160e01b03198216630faeaab360e31b14806100f657506301ffc9a760e01b6001600160e01b03198316145b92915050565b606080600061010d868801886116c7565b90506000808080610120888a018a61171b565b93509350935093506000604051806080016040528086815260200185815260200184815260200183815250905060008061015a8884610192565b915091508160405160200161016f91906117a4565b60408051808303601f190181529190529e909d509b505050505050505050505050565b61019a610f95565b81518051845160609291116101c25760405163beda4fc360e01b815260040160405180910390fd5b60408051606081018252600080825260208201819052918101919091526060860151516020830151036101fa5750606085015161022e565b6040860151516020830151036102155750604085015161022e565b604051637202e68560e11b815260040160405180910390fd5b6040850151516000816001600160401b0381111561024e5761024e6110c2565b604051908082528060200260200182016040528015610277578160200160208202803683370190505b50905060005b828110156102dd578760400151818151811061029b5761029b6117fb565b602002602001015160200151805190602001208282815181106102c0576102c06117fb565b6020908102919091010152806102d581611827565b91505061027d565b5060006040518060800160405280856040015181526020018560200151815260200161030c8a602001516105b4565b8051906020012081526020018381525060405160200161032c9190611840565b60408051601f198184030181529082905260015460005460608c015163020a49e360e51b85529294506001600160a01b03909116926341493c609261037792918691906004016118a5565b60006040518083038186803b15801561038f57600080fd5b505afa1580156103a3573d6000803e3d6000fd5b505050506040880151516000816001600160401b038111156103c7576103c76110c2565b60405190808252806020026020018201604052801561042e57816020015b61041b60408051606080820183526000808352602080840182905284519283018552818352820181905281840152909182015290565b8152602001906001900390816103e55790505b50905060005b8281101561056d5760008b604001518281518110610454576104546117fb565b60200260200101519050600061046d82602001516107fa565b905080602001516000036104945760405163b4eb9e5160e01b815260040160405180910390fd5b604051638b3e82b560e01b815260009073be327087a0c330893e5a8bc5cd4799079f20a39590638b3e82b5906104ce9085906004016118f8565b606060405180830381865af41580156104eb573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061050f9190611a49565b90506000604051806060016040528085600001518152602001846020015181526020018381525090508086868151811061054b5761054b6117fb565b602002602001018190525050505050808061056590611827565b915050610434565b506060808c01515160208c01519091015151111561059d576060808c01805160408e015260208c01519091015190525b95518a5250889650939450505050505b9250929050565b6060600082600001516040516020016105e0919060f89190911b6001600160f81b031916815260010190565b60405160208183030381529060405261061e8460200151600881811c62ff00ff1663ff00ff009290911b9190911617601081811c91901b1760e01b90565b60405160200161062f929190611a85565b60408051601f198184030181528282528582015160208401529250600091016040516020818303038152906040526106d3856060015160000151600065ff000000ff00600883811b91821664ff000000ff9185901c91821617601090811b67ff000000ff0000009390931666ff000000ff00009290921691909117901c17602081811b6bffffffffffffffff000000001691901c63ffffffff161760c01b92915050565b6040516020016106e4929190611ab4565b6040516020818303038152906040529050600061072a856060015160200151600881811c62ff00ff1663ff00ff009290911b9190911617601081811c91901b1760e01b90565b85606001516040015160405160200161074591815260200190565b60408051601f19818403018152908290526107639291602001611ae3565b60405160208183030381529060405290508282604051602001610787929190611b14565b60408051601f19818403018152828252608088015160208401529183910160408051601f19818403018152908290526107c39291602001611b14565b60408051601f19818403018152908290526107e19291602001611b14565b6040516020818303038152906040529350505050919050565b6040805160a0810182526000808252602080830182905282840182905260608084018390526080840152835180850190945284845283810182905291929161084c906108479084906109fc565b610a7d565b9050600061085983610aea565b9050600061086b6108478560206109fc565b9050600061087d6108478660206109fc565b9050600061088a86610aea565b90506000816001600160401b038111156108a6576108a66110c2565b6040519080825280602002602001820160405280156108df57816020015b6108cc610ff8565b8152602001906001900390816108c45790505b50905060005b828110156109cd5760006108f889610ccf565b9050610902610ff8565b60ff821661091657600160c082015261099a565b60031960ff83160161093c57600160408201526109328a610d6b565b606082015261099a565b60041960ff83160161096257600160808201526109588a610d6b565b60a082015261099a565b60051960ff831601610985576001815261097b8a610d6b565b602082015261099a565b60071960ff83160161099a5760016101008201525b808484815181106109ad576109ad6117fb565b6020026020010181905250505080806109c590611827565b9150506108e5565b506040805160a08101825296875260208701959095529385019290925260608401525060808201529392505050565b6060826000015151828460200151610a149190611b43565b1115610a1f57600080fd5b81600003610a3c57506040805160208101909152600081526100f6565b8251602080850151910190600090610a5e90610a589084611b43565b85610dd8565b90508385602001818151610a729190611b43565b905250949350505050565b6000602082511015610ae25760405162461bcd60e51b8152602060048201526024808201527f42797465733a3a20746f427974657333323a206461746120697320746f20736860448201526337b93a1760e11b60648201526084015b60405180910390fd5b506020015190565b600080610af683610ccf565b90506000610b05600483611b56565b905060008160ff16600003610b225750603f600283901c16610cc7565b8160ff16600103610b67576000610b3886610ccf565b9050613fc0600682901b16610b54603f600287901c1682611b86565b6001600160401b03169250610cc7915050565b8160ff16600203610bda576000610b7d86610ccf565b90506000610b8a87610ccf565b90506000610b9788610ccf565b63ffffffff60089490941b61ff001660ff88161760109390931b62ff0000169290921760189290921b63ff000000169190911760021c919091169150610cc79050565b8160ff16600303610c7f576000610bf9603f600286901c166004611ba6565b905060088160ff161115610c605760405162461bcd60e51b815260206004820152602860248201527f756e657870656374656420707265666978206465636f64696e6720436f6d706160448201526731ba1e2ab4b73a1f60c11b6064820152608401610ad9565b610c75610c70878360ff166109fc565b610e35565b9695505050505050565b60405162461bcd60e51b815260206004820152601a60248201527f436f64652073686f756c6420626520756e726561636861626c650000000000006044820152606401610ad9565b949350505050565b805151602082015160009190610ce6906001611b43565b1115610d235760405162461bcd60e51b815260206004820152600c60248201526b4f7574206f662072616e676560a01b6044820152606401610ad9565b60008260000151836020015181518110610d3f57610d3f6117fb565b602001015160f81c60f81b60f81c9050600183602001818151610d629190611b43565b90525092915050565b6040805180820190915260008152606060208201526000610d97610d908460046109fc565b6000610eb0565b90506000610da484610aea565b90506000610db285836109fc565b604080518082019091526001600160e01b03199094168452602084015250909392505050565b6060816001600160401b03811115610df257610df26110c2565b6040519080825280601f01601f191660200182016040528015610e1c576020820181803683370190505b50905060208101610e2e848285610f15565b5092915050565b805160009081905b8015610e2e57610e4e600182611bbf565b610e59906008611bd2565b610e64906002611ccd565b84610e70600184611bbf565b81518110610e8057610e806117fb565b0160200151610e92919060f81c611bd2565b610e9c9083611b43565b915080610ea881611cd9565b915050610e3d565b60008060005b6004811015610f0d57610eca816008611bd2565b85610ed58387611b43565b81518110610ee557610ee56117fb565b01602001516001600160f81b031916901c919091179080610f0581611827565b915050610eb6565b509392505050565b60208110610f4d5782518252610f2c602083611b43565b9150610f39602084611b43565b9250610f46602082611bbf565b9050610f15565b60008115610f7d576001610f62836020611bbf565b610f6e90610100611ccd565b610f789190611bbf565b610f81565b6000195b935183518516941916939093179091525050565b60405180608001604052806000815260200160008152602001610fd560405180606001604052806000815260200160008152602001600080191681525090565b815260408051606081018252600080825260208281018290529282015291015290565b60405180610120016040528060001515815260200161102860408051808201909152600081526060602082015290565b81526000602082015260400161104f60408051808201909152600081526060602082015290565b81526000602082015260400161107660408051808201909152600081526060602082015290565b81526000602082018190526060604083018190529091015290565b6000602082840312156110a357600080fd5b81356001600160e01b0319811681146110bb57600080fd5b9392505050565b634e487b7160e01b600052604160045260246000fd5b604080519081016001600160401b03811182821017156110fa576110fa6110c2565b60405290565b604051606081016001600160401b03811182821017156110fa576110fa6110c2565b604051608081016001600160401b03811182821017156110fa576110fa6110c2565b604051601f8201601f191681016001600160401b038111828210171561116c5761116c6110c2565b604052919050565b60006040828403121561118657600080fd5b61118e6110d8565b9050813581526020820135602082015292915050565b6000606082840312156111b657600080fd5b6111be611100565b905081358152602082013560208201526040820135604082015292915050565b600060e082840312156111f057600080fd5b60405160a081018181106001600160401b0382111715611212576112126110c2565b806040525080915082358152602083013560208201526040830135604082015261123f84606085016111a4565b606082015260c083013560808201525092915050565b60006001600160401b0382111561126e5761126e6110c2565b5060051b60200190565b600082601f83011261128957600080fd5b81356001600160401b038111156112a2576112a26110c2565b6112b5601f8201601f1916602001611144565b8181528460208386010111156112ca57600080fd5b816020850160208301376000918101602001919091529392505050565b600082601f8301126112f857600080fd5b8135602061130d61130883611255565b611144565b82815260059290921b8401810191818101908684111561132c57600080fd5b8286015b848110156113ad5780356001600160401b03808211156113505760008081fd5b908801906040828b03601f190181131561136a5760008081fd5b6113726110d8565b83880135815290830135908282111561138b5760008081fd5b6113998c8984870101611278565b818901528652505050918301918301611330565b509695505050505050565b6000608082840312156113ca57600080fd5b6113d2611122565b905081358152602080830135818301526040830135604083015260608301356001600160401b0381111561140557600080fd5b8301601f8101851361141657600080fd5b803561142461130882611255565b81815260059190911b8201830190838101908783111561144357600080fd5b928401925b8284101561146157833582529284019290840190611448565b6060860152509295945050505050565b6000806040838503121561148457600080fd5b82356001600160401b038082111561149b57600080fd5b9084019061016082870312156114b057600080fd5b6114b8611122565b6114c28784611174565b81526114d187604085016111de565b6020820152610120830135828111156114e957600080fd5b6114f5888286016112e7565b6040830152506101408301358281111561150e57600080fd5b61151a88828601611278565b6060830152509350602085013591508082111561153657600080fd5b50611543858286016113b8565b9150509250929050565b60008083601f84011261155f57600080fd5b5081356001600160401b0381111561157657600080fd5b6020830191508360208285010111156105ad57600080fd5b600080600080604085870312156115a457600080fd5b84356001600160401b03808211156115bb57600080fd5b6115c78883890161154d565b909650945060208701359150808211156115e057600080fd5b506115ed8782880161154d565b95989497509550505050565b60005b838110156116145781810151838201526020016115fc565b50506000910152565b600081518084526116358160208601602086016115f9565b601f01601f19169290920160200192915050565b6000604080835261165c8184018661161d565b83810360208581019190915285518083528682019282019060005b818110156116b957845180518452848101518585015286015180518785015280850151606085015286015160808401529383019360a090920191600101611677565b509098975050505050505050565b600061010082840312156116da57600080fd5b6116e2611122565b82358152602083013560208201526116fd84604085016111a4565b604082015261170f8460a085016111a4565b60608201529392505050565b600080600080610160858703121561173257600080fd5b61173c8686611174565b935061174b86604087016111de565b92506101208501356001600160401b038082111561176857600080fd5b611774888389016112e7565b935061014087013591508082111561178b57600080fd5b5061179887828801611278565b91505092959194509250565b81518152602080830151818301526040808401518051828501529182015160608401528101516080830152610100820190506060830151805160a0840152602081015160c0840152604081015160e0840152610e2e565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b60006001820161183957611839611811565b5060010190565b6000602080835260a0830184518285015281850151604085015260408501516060850152606085015160808086015281815180845260c0870191508483019350600092505b808310156113ad5783518252928401926001929092019190840190611885565b8381526060602082015260006118be606083018561161d565b8281036040840152610c75818561161d565b63ffffffff60e01b81511682526000602082015160406020850152610cc7604085018261161d565b6000602080835260c0808401855183860152828601516040818188015280880151915060608281890152808901519250608083818a0152808a0151935060a080818b015285855180885260e09750878c019150878160051b8d01018a8801975060005b82811015611a37578d820360df1901845288518051151583526101208d820151818f86015261198c828601826118d0565b915050898201516119a08b86018215159052565b50888201518482038a8601526119b682826118d0565b915050878201516119ca8986018215159052565b5086820151848203888601526119e082826118d0565b9150508c8201516119f48e86018215159052565b508b8201518482038d860152611a0a828261161d565b915050610100808301519250611a238186018415159052565b50998d0199948d019492505060010161195b565b509d9c50505050505050505050505050565b600060608284031215611a5b57600080fd5b611a63611100565b8251815260208301516020820152604083015160408201528091505092915050565b60008351611a978184602088016115f9565b6001600160e01b0319939093169190920190815260040192915050565b60008351611ac68184602088016115f9565b6001600160c01b0319939093169190920190815260080192915050565b6001600160e01b0319831681528151600090611b068160048501602087016115f9565b919091016004019392505050565b60008351611b268184602088016115f9565b835190830190611b3a8183602088016115f9565b01949350505050565b808201808211156100f6576100f6611811565b600060ff831680611b7757634e487b7160e01b600052601260045260246000fd5b8060ff84160691505092915050565b6001600160401b03818116838216019080821115610e2e57610e2e611811565b60ff81811683821601908111156100f6576100f6611811565b818103818111156100f6576100f6611811565b80820281158282048414176100f6576100f6611811565b600181815b80851115611c24578160001904821115611c0a57611c0a611811565b80851615611c1757918102915b93841c9390800290611bee565b509250929050565b600082611c3b575060016100f6565b81611c48575060006100f6565b8160018114611c5e5760028114611c6857611c84565b60019150506100f6565b60ff841115611c7957611c79611811565b50506001821b6100f6565b5060208310610133831016604e8410600b8410161715611ca7575081810a6100f6565b611cb18383611be9565b8060001904821115611cc557611cc5611811565b029392505050565b60006110bb8383611c2c565b600081611ce857611ce8611811565b50600019019056fea2646970667358221220bb9a85ff005bba504a5a38fad12b7e9cc0fa87d48b7c3e6da5054ebbe160754364736f6c634300081400330000000000000000000000004cde17f02341be6ff9f9c9155f8450fb428ab87d

abi

bytecode