GpsStatementVerifier | Ethereum

codeslaw

GpsStatementVerifierSolidityv0.6.12+commit.27d51765

network

Ethereum

address0x9fb7f48dcb26b7bfa4e580b2deff637b13751942

deployer0x5751a83170BeA11fE7CdA5D599B04153C021f21A

tx last 12 months

0 txs

calls last 12 months

0 calls

15 Files

starkware

solidity

components

FactRegistry.sol

ReferableFactRegistry.sol

interfaces

IFactRegistry.sol

IQueryableFactRegistry.sol

Identity.sol

libraries

Addresses.sol

verifier

PrimeFieldElement0.sol

cpu

CairoBootloaderProgram.sol

CairoVerifierContract.sol

CpuPublicInputOffsetsBase.sol

IMemoryPageRegistry.sol

MemoryPageFactRegistry.sol

PageInfo.sol

gps

GpsOutputParser.sol

GpsStatementVerifier.sol

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

bytecode

creation bytecode

0x60e06040526001805460ff191690553480156200001b57600080fd5b506040516200254c3803806200254c83398181016040526101008110156200004257600080fd5b815160208301516040808501805191519395929483019291846401000000008211156200006e57600080fd5b9083019060208201858111156200008457600080fd5b8251866020820283011164010000000082111715620000a257600080fd5b82525081516020918201928201910280838360005b83811015620000d1578181015183820152602001620000b7565b505050509190910160409081526020830151908301516060840151608085015160a090950151929650909450929150818181816001600160a01b03821615620003865760018054610100600160a81b0319166101006001600160a01b03851602179055428181016002819055101562000191576040805162461bcd60e51b815260206004820152601460248201527f4455524154494f4e5f575241505f41524f554e44000000000000000000000000604482015290519081900360640190fd5b620001b0826001600160a01b03166200049060201b62000a9c1760201c565b62000202576040805162461bcd60e51b815260206004820152601660248201527f5245464552454e43455f4e4f545f434f4e545241435400000000000000000000604482015290519081900360640190fd5b6001600160a01b03821630141562000253576040805162461bcd60e51b815260206004820152600f60248201526e14d1531197d054d4d251d393515395608a1b604482015290519081900360640190fd5b604080516000602480830182905283518084039091018152604490920183526020820180516001600160e01b0316636a93856760e01b1781529251825191936001600160a01b03871693928291908083835b60208310620002c65780518252601f199092019160209182019101620002a5565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d806000811462000328576040519150601f19603f3d011682016040523d82523d6000602084013e6200032d565b606091505b505090508062000384576040805162461bcd60e51b815260206004820152601b60248201527f5245464552454e43455f4e4f545f464143545f52454749535452590000000000604482015290519081900360640190fd5b505b5050600380546001600160a01b03808d166001600160a01b03199283161790925560048054928c1692909116919091179055505085516001600160401b0381118015620003d257600080fd5b50604051908082528060200260200182016040528015620003fd578160200160208202803683370190505b508051620004149160059160209091019062000496565b5060005b865181101562000477578681815181106200042f57fe5b6020026020010151600582815481106200044557fe5b600091825260209091200180546001600160a01b0319166001600160a01b039290921691909117905560010162000418565b50505060805260a09190915260c0525062000521915050565b3b151590565b828054828255906000526020600020908101928215620004ee579160200282015b82811115620004ee57825182546001600160a01b0319166001600160a01b03909116178255602090920191600190910190620004b7565b50620004fc92915062000500565b5090565b5b80821115620004fc5780546001600160a01b031916815560010162000501565b60805160a05160c051611fef6200055d6000398061040752806110865250806103e6528061102b52508061042852806110e15250611fef6000f3fe608060405234801561001057600080fd5b50600436106100df5760003560e01c806361363e4e1161008c578063b7a771f711610066578063b7a771f714610323578063d6354e151461032b578063e5b62b2914610333578063eeb728661461033b576100df565b806361363e4e1461016d5780636a9385671461019e5780639b3b76cc146101bb576100df565b80632f4da80e116100bd5780632f4da80e146101375780634c14a6f91461015d5780635b4c41c214610165576100df565b80630301a2c3146100e457806329e10520146101155780632b3380611461012f575b600080fd5b6100ec6103b8565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b61011d6103d9565b60408051918252519081900360200190f35b61011d6103de565b61013f6103e4565b60408051938452602084019290925282820152519081900360600190f35b61011d61044c565b61011d610451565b61018a6004803603602081101561018357600080fd5b5035610456565b604080519115158252519081900360200190f35b61018a600480360360208110156101b457600080fd5b5035610469565b610321600480360360a08110156101d157600080fd5b8101906020810181356401000000008111156101ec57600080fd5b8201836020820111156101fe57600080fd5b8035906020019184602083028401116401000000008311171561022057600080fd5b91939092909160208101903564010000000081111561023e57600080fd5b82018360208201111561025057600080fd5b8035906020019184602083028401116401000000008311171561027257600080fd5b91939092909160208101903564010000000081111561029057600080fd5b8201836020820111156102a257600080fd5b803590602001918460208302840111640100000000831117156102c457600080fd5b9193909290916020810190356401000000008111156102e257600080fd5b8201836020820111156102f457600080fd5b8035906020019184602083028401116401000000008311171561031657600080fd5b91935091503561048a565b005b61011d610a69565b61018a610a6e565b61011d610a77565b610343610a7c565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561037d578181015183820152602001610365565b50505050905090810190601f1680156103aa5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b600154610100900473ffffffffffffffffffffffffffffffffffffffff1681565b600281565b60025481565b7f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000909192565b600381565b600181565b600061046182610aa2565b90505b919050565b600061047482610aa2565b1561048157506001610464565b61046182610ab7565b60055481106104fa57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f636169726f56657269666965724964206973206f7574206f662072616e67652e604482015290519081900360640190fd5b60006005828154811061050957fe5b600091825260208220015473ffffffffffffffffffffffffffffffffffffffff169150369061055c7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe8601828789611d9d565b9150915060606000808573ffffffffffffffffffffffffffffffffffffffff16638080fdfb6040518163ffffffff1660e01b8152600401604080518083038186803b1580156105aa57600080fd5b505afa1580156105be573d6000803e3d6000fd5b505050506040513d60408110156105d457600080fd5b508051602090910151909250905081881161065057604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f496e76616c696420636169726f417578496e707574206c656e6774682e000000604482015290519081900360640190fd5b61065c84838188611d9d565b8080602002602001604051908101604052809392919081815260200183836020028082843760009201829052508451949750938793508492501515905061069f57fe5b60200260200101519050612710811061071957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f496e76616c6964206e50616765732e0000000000000000000000000000000000604482015290519081900360640190fd5b83516004820214610775576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180611df26021913960400191505060405180910390fd5b60008060006107878f8f8f8f89610b70565b925092509250828760018151811061079b57fe5b60200260200101511461080f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f496e76616c69642073697a6520666f72206d656d6f7279207061676520302e00604482015290519081900360640190fd5b818760028151811061081d57fe5b60200260200101511461089157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f496e76616c6964206861736820666f72206d656d6f7279207061676520302e00604482015290519081900360640190fd5b808760038602815181106108a157fe5b6020026020010151146108ff576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180611e8b602d913960400191505060405180910390fd5b5050505050508373ffffffffffffffffffffffffffffffffffffffff16631cb7dd798e8e8e8e88886040518763ffffffff1660e01b81526004018080602001806020018060200184810384528a8a82818152602001925060200280828437600083820152601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169091018581038452888152602090810191508990890280828437600083820152601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169091018581038352868152602090810191508790870280828437600081840152601f19601f8201169050808301925050509950505050505050505050600060405180830381600087803b158015610a2357600080fd5b505af1158015610a37573d6000803e3d6000fd5b50505050610a5a8989838a8a6009818110610a4e57fe5b9050602002013561161e565b50505050505050505050505050565b606081565b60015460ff1690565b600081565b6060604051806060016040528060268152602001611f5f60269139905090565b3b151590565b60009081526020819052604090205460ff1690565b6000610ac1611ac4565b610acd57506000610464565b60018054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636a938567836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610b3e57600080fd5b505afa158015610b52573d6000803e3d6000fd5b505050506040513d6020811015610b6857600080fd5b505192915050565b60008060008088886000818110610b8357fe5b90506020020135905063400000008110610bfe57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f496e76616c6964206e756d626572206f66207461736b732e0000000000000000604482015290519081900360640190fd5b6002818102610336019450606090850267ffffffffffffffff81118015610c2457600080fd5b50604051908082528060200260200182016040528015610c4e578160200160208202803683370190505b5090506000610c5b611d5f565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b6cee596040518163ffffffff1660e01b81526004016163406040518083038186803b158015610cc457600080fd5b505afa158015610cd8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250616340811015610cfe57600080fd5b50905060005b61031a811015610d655760018101848481518110610d1e57fe5b602002602001018181525050818161031a8110610d3757fe5b6020020151848460010181518110610d4b57fe5b602090810291909101015260029290920191600101610d04565b5050600089896007818110610d7657fe5b9050602002013590506002811015610def57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f496e76616c696420657865637574696f6e20626567696e20616464726573732e604482015290519081900360640190fd5b60028103838360000181518110610e0257fe5b60200260200101818152505080838360010181518110610e1e57fe5b60200260200101818152505060018103838360020181518110610e3d57fe5b6020026020010181815250506000838360030181518110610e5a57fe5b6020026020010181815250506004820191506000600b8b8b6008818110610e7d57fe5b9050602002013503905060006009905060005b600b811015610f9757808401868681518110610ea857fe5b60209081029190910101528551601686019084830190889083908110610eca57fe5b602090810291909101015260018c1615610f48578d8d84818110610eea57fe5b90506020020135878760010181518110610f0057fe5b6020026020010181815250508d8d84600101818110610f1b57fe5b90506020020135878260010181518110610f3157fe5b602002602001018181525050600283019250610f83565b6000878760010181518110610f5957fe5b6020026020010181815250506000878260010181518110610f7657fe5b6020026020010181815250505b5060019a8b1c9a6002959095019401610e90565b508915610fef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180611e676024913960400191505060405180910390fd5b50505060160160008989600981811061100457fe5b9050602002013590508083836000018151811061101d57fe5b6020026020010181815250507f000000000000000000000000000000000000000000000000000000000000000083836001018151811061105957fe5b6020026020010181815250508060010183836002018151811061107857fe5b6020026020010181815250507f00000000000000000000000000000000000000000000000000000000000000008383600301815181106110b457fe5b602002602001018181525050806002018383600401815181106110d357fe5b6020026020010181815250507f000000000000000000000000000000000000000000000000000000000000000083836005018151811061110f57fe5b6020026020010181815250508060030183836006018151811061112e57fe5b6020026020010181815250508383836007018151811061114a57fe5b6020026020010181815250506008820191506004810190503660008d8d600190809261117893929190611d9d565b9150915060005b868110156113595760008383600081811061119657fe5b905060200201359050806002111580156111b35750634000000081105b61121e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f496e76616c6964207461736b206f75747075742073697a652e00000000000000604482015290519081900360640190fd5b60008484600181811061122d57fe5b90506020020135905060008585600281811061124557fe5b9050602002013590508060011115801561126157506210000081105b6112b6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180611f856035913960400191505060405180910390fd5b868989600001815181106112c657fe5b602002602001018181525050828989600101815181106112e257fe5b6020026020010181815250508660010189896002018151811061130157fe5b6020026020010181815250508189896003018151811061131d57fe5b6020908102919091010152600497909701969582019561134585600360028402018189611d9d565b95509550505050808060010191505061117f565b5080156113c757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f496e76616c6964206c656e677468206f66207461736b4d657461646174612e00604482015290519081900360640190fd5b828c8c600a8181106113d557fe5b9050602002013514611432576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180611eb86023913960400191505060405180910390fd5b5050508082511461148e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526029815260200180611dc96029913960400191505060405180910390fd5b600089897ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81018181106114be57fe5b90506020020135905060008a8a60018d8d9050038181106114db57fe5b9050602002013590506000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663405a63628685857f08000000000000110000000000000000000000000000000000000000000000016040518563ffffffff1660e01b81526004018080602001858152602001848152602001838152602001828103825286818151815260200191508051906020019060200280838360005b838110156115a9578181015183820152602001611591565b5050505090500195505050505050606060405180830381600087803b1580156115d157600080fd5b505af11580156115e5573d6000803e3d6000fd5b505050506040513d60608110156115fb57600080fd5b506020810151604090910151999f909e50989c50979a5050505050505050505050565b60008260008151811061162d57fe5b6020026020010151905060008060008787600081811061164957fe5b90506020020135905060608460030167ffffffffffffffff8111801561166e57600080fd5b50604051908082528060200260200182016040528015611698578160200160208202803683370190505b5090506040816001815181106116aa57fe5b60209081029190910101526001600687018160606002890267ffffffffffffffff811180156116d857600080fd5b50604051908082528060200260200182016040528015611702578160200160208202803683370190505b50905060608d8d808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509293506117479250611d7f915050565b506000985060808c015b878a1015611a5b5760008085905083600289018151811061176e57fe5b60200260200101519a506000805b8c8110156118a15760008660008360020260038e0101018151811061179d57fe5b60200260200101519050621000008110611802576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b815260200180611eff602b913960400191505060405180910390fd5b60005b8181101561185d5760008061181d898e8a8e8a611acc565b91509150808f888e036003018151811061183357fe5b6020908102919091010152509a8b019a60019a8b019a606098909801979601959384019301611805565b5060008760018460020260038f0101018151811061187757fe5b602002602001015190508060001461189757611894898583611c05565b93505b505060010161177c565b50806001146118fb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526029815260200180611e136029913960400191505060405180910390fd5b60008560018b018151811061190c57fe5b6020026020010151905060008660008c018151811061192757fe5b60200260200101519050808860018151811061193f57fe5b6020026020010151600201146119a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180611f2a6035913960400191505060405180910390fd5b506000876000815181106119b057fe5b602002602001015190506000828260405160200180838152602001828152602001925050506040516020818303038152906040528051906020012090508e6002026003018c019b5060007f73b132cb33951232d83dc0f1f81c2d10f9a2598f057404ed02756716092097bb905060208e01868c03848252806040830152826020600383010283a1505050611a4381611cef565b50506001909d019c5050506002959095019450611751565b838b14611ab3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180611edb6024913960400191505060405180910390fd5b505050505050505050505050505050565b600254421090565b845160208601516040870151909163400000008310611b4c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f496e76616c696420706167652073697a652e0000000000000000000000000000604482015290519081900360640190fd5b868114611bba57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f496e76616c6964207061676520616464726573732e0000000000000000000000604482015290519081900360640190fd5b828601856001866002020181518110611bcf57fe5b60200260200101818152505081856000866002020181518110611bee57fe5b602002602001018181525050509550959350505050565b600082821115611c60576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b815260200180611e3c602b913960400191505060405180910390fd5b60008460018086036002020181518110611c7657fe5b6020026020010151905060008385039050600060028202602002602001905060006040860282890120905083886001856002020181518110611cb457fe5b60200260200101818152505080600101886000856002020181518110611cd657fe5b6020908102919091010152505060010195945050505050565b600081815260208190526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660019081179091555460ff16611d5c57600180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016811790555b50565b60405180616340016040528061031a906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b60008085851115611dac578182fd5b83861115611db8578182fd5b505060208302019391909203915056fe4e6f7420616c6c20436169726f207075626c696320696e707574732077657265207772697474656e2e496e76616c6964207075626c69634d656d6f72795061676573206c656e6774682e4e6f646520737461636b206d75737420636f6e7461696e2065786163746c79206f6e65206974656d2e496e76616c69642076616c7565206f66206e5f6e6f64657320696e2074726565207374727563747572652e53454c45435445445f4255494c54494e535f564543544f525f49535f544f4f5f4c4f4e47496e76616c69642063756d756c61746976652070726f6475637420666f72206d656d6f7279207061676520302e496e636f6e73697374656e742070726f6772616d206f7574707574206c656e6774682e4e6f7420616c6c206d656d6f727920706167657320776572652070726f6365737365642e496e76616c69642076616c7565206f66206e5f706167657320696e2074726565207374727563747572652e5468652073756d206f662074686520706167652073697a657320646f6573206e6f74206d61746368206f75747075742073697a652e537461726b576172655f47707353746174656d656e7456657269666965725f323032345f3130496e76616c6964206e756d626572206f6620706169727320696e20746865204d65726b6c652074726565207374727563747572652ea26469706673582212204b6d8d8163ccf303a2c261f48a20ce8def4b3ea1b55ef948a1cf12713e08774064736f6c634300060c003300000000000000000000000058600a1dc51dcf7d4f541a8f1f5c6c6aa86cc515000000000000000000000000e583bcde0160b637330b27a3ea1f3c02ba2ec4600000000000000000000000000000000000000000000000000000000000000100005ab580b04e3532b6b18f81cfa654a05e29dd8e2352d88df1e765a84072db0702710558d1139041e1f6af4507603e4357f60ee6838a85f8814baa46aca4b1d3022f3bd2fd7a5a131199e56a7e39a430cc287ed3df600a8288f90c1932a5e62e000000000000000000000000d51a3d50d4d2f99a345a66971e650eea064dd8df000000000000000000000000000000000000000000000000000000000076a70000000000000000000000000000000000000000000000000000000000000000080000000000000000000000003d57526c1c8d63fa2a8704487df65e9000166c8e000000000000000000000000094bd609998f0d4504145adaaac3c3b3406e0ae300000000000000000000000061bf6c2c60e3416b13c3c8d0591aedd4d9d398d100000000000000000000000018d3f47ff00272db6db5d4548b5d7b6a0765138e000000000000000000000000aaae0edf6536de72e7163d293518c40011179f8a000000000000000000000000243682b9a01455ac671c97d8de686ebd4ee25791000000000000000000000000e155154845950573ec5f518fc0d4950ab71303ff00000000000000000000000042af9498647be47a256c9cc8278ee94473cb7771

abi

bytecode