0 txs
0 calls
constructor
No constructor.
functions
getFactState
viewfunction getFactState(bytes32 fact) view returns (uint8)
verifyBlobs
nonpayablefunction verifyBlobs(tuple[] blobHeaders, tuple[] blobVerificationProofs)
events
BlobInfo
event BlobInfo(uint32 indexed batchId, uint32 indexed blobIndex)
FactStateUpdated
event FactStateUpdated(bytes32 indexed fact, uint8 oldState, uint8 newState)
errors
InvalidLength
error InvalidLength(uint256 length)
MismatchedLength
error MismatchedLength(uint256 length1, uint256 length2)
creation bytecode
0x6080604052348015600f57600080fd5b506109778061001f6000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80630a6d93f51461003b578063135b964614610050575b600080fd5b61004e61004936600461064a565b610089565b005b61007361005e36600461085b565b60009081526020819052604090205460ff1690565b604051610080919061088a565b60405180910390f35b81516000036100b957815160405163c67eee4b60e01b81526004016100b091815260200190565b60405180910390fd5b80518251146100e857815181516040516301653d4d60e01b8152600481019290925260248201526044016100b0565b606060005b83518110156101b7578161011985838151811061010c5761010c6108b2565b6020026020010151610241565b60405160200161012a9291906108f8565b604051602081830303815290604052915082818151811061014d5761014d6108b2565b60200260200101516020015163ffffffff16838281518110610171576101716108b2565b60200260200101516000015163ffffffff167f40f6169f1571983f31fa4a3c823312aeb30f567da53e2a29c5046a86c2b6efbc60405160405180910390a36001016100ed565b5060056000806002846040516101cd9190610915565b602060405180830381855afa1580156101ea573d6000803e3d6000fd5b5050506040513d601f19601f8201168201806040525081019061020d9190610928565b81526020810191909152604001600020805460ff1916600183600581111561023757610237610874565b0217905550505050565b80518051602091820151828401516040516060946102809493929101928352602083019190915260e01b6001600160e01b031916604082015260440190565b6040516020818303038152906040529050919050565b634e487b7160e01b600052604160045260246000fd5b604051606081016001600160401b03811182821017156102ce576102ce610296565b60405290565b604051608081016001600160401b03811182821017156102ce576102ce610296565b60405160a081016001600160401b03811182821017156102ce576102ce610296565b604080519081016001600160401b03811182821017156102ce576102ce610296565b604051601f8201601f191681016001600160401b038111828210171561036257610362610296565b604052919050565b60006001600160401b0382111561038357610383610296565b5060051b60200190565b803563ffffffff811681146103a157600080fd5b919050565b803560ff811681146103a157600080fd5b600082601f8301126103c857600080fd5b81356001600160401b038111156103e1576103e1610296565b6103f4601f8201601f191660200161033a565b81815284602083860101111561040957600080fd5b816020850160208301376000918101602001919091529392505050565b60006060828403121561043857600080fd5b6104406102ac565b905081356001600160401b0381111561045857600080fd5b82016080818503121561046a57600080fd5b6104726102d4565b8135815260208201356001600160401b0381111561048f57600080fd5b61049b868285016103b7565b60208301525060408201356001600160401b038111156104ba57600080fd5b6104c6868285016103b7565b6040830152506104d86060830161038d565b6060820152825250602082810135908201526104f66040830161038d565b604082015292915050565b600082601f83011261051257600080fd5b81356105256105208261036a565b61033a565b8082825260208201915060208360051b86010192508583111561054757600080fd5b602085015b838110156106405780356001600160401b0381111561056a57600080fd5b860160a0818903601f1901121561058057600080fd5b6105886102f6565b6105946020830161038d565b81526105a26040830161038d565b602082015260608201356001600160401b038111156105c057600080fd5b6105cf8a602083860101610426565b60408301525060808201356001600160401b038111156105ee57600080fd5b6105fd8a6020838601016103b7565b60608301525060a08201356001600160401b0381111561061c57600080fd5b61062b8a6020838601016103b7565b6080830152508452506020928301920161054c565b5095945050505050565b6000806040838503121561065d57600080fd5b82356001600160401b0381111561067357600080fd5b8301601f8101851361068457600080fd5b80356106926105208261036a565b8082825260208201915060208360051b8501019250878311156106b457600080fd5b602084015b838110156108265780356001600160401b038111156106d757600080fd5b8501808a03601f190160808112156106ee57600080fd5b6106f66102ac565b604082121561070457600080fd5b61070c610318565b6020848101358252604085013590820152808252915061072e6060840161038d565b6020820152608083013591506001600160401b0382111561074e57600080fd5b60208284010192508b601f84011261076557600080fd5b823591506107756105208361036a565b8083825260208201915060208460071b86010193508d84111561079757600080fd5b6020850194505b83851015610810576080858f0312156107b657600080fd5b6107be6102d4565b6107c7866103a6565b81526107d5602087016103a6565b60208201526107e6604087016103a6565b60408201526107f76060870161038d565b606082015282526080949094019360209091019061079e565b60408301525085525050602092830192016106b9565b50945050505060208301356001600160401b0381111561084557600080fd5b61085185828601610501565b9150509250929050565b60006020828403121561086d57600080fd5b5035919050565b634e487b7160e01b600052602160045260246000fd5b60208101600683106108ac57634e487b7160e01b600052602160045260246000fd5b91905290565b634e487b7160e01b600052603260045260246000fd5b6000815160005b818110156108e957602081850181015186830152016108cf565b50600093019283525090919050565b600061090d61090783866108c8565b846108c8565b949350505050565b600061092182846108c8565b9392505050565b60006020828403121561093a57600080fd5b505191905056fea264697066735822122017f1c4a0db9075781362b0c9d47cc8f12922583f02da536a770f1a7c8bb5abf264736f6c634300081a0033