0 txs
0 calls
constructor
No constructor.
functions
hasRegisteredFact
viewfunction hasRegisteredFact() view returns (bool)
isValid
viewfunction isValid(bytes32 fact) view returns (bool)
verifyMerkle
nonpayablefunction verifyMerkle(uint256[] merkleView, uint256[] initialMerkleQueue, uint256 height, uint256 expectedRoot)
events
No events.
errors
No errors.
creation bytecode
0x60806040526001805460ff1916905534801561001a57600080fd5b506106b28061002a6000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c80633fe317a6146100465780636a93856714610174578063d6354e15146101a5575b600080fd5b6101726004803603608081101561005c57600080fd5b81019060208101813564010000000081111561007757600080fd5b82018360208201111561008957600080fd5b803590602001918460208302840111640100000000831117156100ab57600080fd5b91908080602002602001604051908101604052809392919081815260200183836020028082843760009201919091525092959493602081019350359150506401000000008111156100fb57600080fd5b82018360208201111561010d57600080fd5b8035906020019184602083028401116401000000008311171561012f57600080fd5b91908080602002602001604051908101604052809392919081815260200183836020028082843760009201919091525092955050823593505050602001356101ad565b005b6101916004803603602081101561018a57600080fd5b5035610425565b604080519115158252519081900360200190f35b610191610436565b60c8821061021c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f486569676874206d757374206265203c203230302e0000000000000000000000604482015290519081900360640190fd5b8251610100101561028e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f544f4f5f4d414e595f4d45524b4c455f51554552494553000000000000000000604482015290519081900360640190fd5b600283518161029957fe5b061561030657604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f4f44445f4d45524b4c455f51554555455f53495a450000000000000000000000604482015290519081900360640190fd5b6040805160208681018252855186820193600290910491838101916000919084028901016001881b5b8187101561036557865180855260208089015190860152604097880197909401936001810180159290911093909317179161032f565b60208481016040528a0196506002891b1091909117905080156103e957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f494e56414c49445f4d45524b4c455f494e444943455300000000000000000000604482015290519081900360640190fd5b60006103f78587898761043f565b905060008184526020860193506020604086020184209050610418816105f7565b5050505050505050505050565b600061043082610667565b92915050565b60015460ff1690565b600060808211156104b157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601760248201527f544f4f5f4d414e595f4d45524b4c455f51554552494553000000000000000000604482015290519081900360640190fd5b60208401604083026000808782015189515b6001821115610574576001821860406020820987860151816020185286604087086002909404858d01528b84015193955060208301928285141561053857507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe090920191858801876040880896508c87015194505b51905250604060008190207fffffffffffffffffffffffffffffffffffffffff00000000000000000000000016848801528590840892506104c3565b929094015191895250925050508281146105ef57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601460248201527f494e56414c49445f4d45524b4c455f50524f4f46000000000000000000000000604482015290519081900360640190fd5b949350505050565b600081815260208190526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660019081179091555460ff1661066457600180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016811790555b50565b60009081526020819052604090205460ff169056fea26469706673582212204d277a3d32de6a3d486edb119c10f853b63d7920e7b50ac661f4c5b7014f2c4b64736f6c634300060c0033