GpsStatementVerifier | Ethereum

codeslaw

GpsStatementVerifierSolidityv0.6.12+commit.27d51765

network

Ethereum

address0x13e120f6c8e747983f7aaf0f7731796bfcb0d934

deployer0x5751a83170BeA11fE7CdA5D599B04153C021f21A

tx last 12 months

0 txs

calls last 12 months

1 call

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

0x60e06040526001805460ff191690553480156200001b57600080fd5b506040516200255b3803806200255b83398181016040526101008110156200004257600080fd5b815160208301516040808501805191519395929483019291846401000000008211156200006e57600080fd5b9083019060208201858111156200008457600080fd5b8251866020820283011164010000000082111715620000a257600080fd5b82525081516020918201928201910280838360005b83811015620000d1578181015183820152602001620000b7565b505050509190910160409081526020830151908301516060840151608085015160a090950151929650909450929150818181816001600160a01b0382161562000120576200012082826200022a565b5050600380546001600160a01b03808d166001600160a01b03199283161790925560048054928c1692909116919091179055505085516001600160401b03811180156200016c57600080fd5b5060405190808252806020026020018201604052801562000197578160200160208202803683370190505b508051620001ae91600591602090910190620004a5565b5060005b86518110156200021157868181518110620001c957fe5b602002602001015160058281548110620001df57fe5b600091825260209091200180546001600160a01b0319166001600160a01b0392909216919091179055600101620001b2565b50505060805260a09190915260c0525062000530915050565b60018054610100600160a81b0319166101006001600160a01b038516021790554281810160028190551015620002a7576040805162461bcd60e51b815260206004820152601460248201527f4455524154494f4e5f575241505f41524f554e44000000000000000000000000604482015290519081900360640190fd5b620002c6826001600160a01b03166200049f60201b62000a9c1760201c565b62000318576040805162461bcd60e51b815260206004820152601660248201527f5245464552454e43455f4e4f545f434f4e545241435400000000000000000000604482015290519081900360640190fd5b6001600160a01b03821630141562000369576040805162461bcd60e51b815260206004820152600f60248201526e14d1531197d054d4d251d393515395608a1b604482015290519081900360640190fd5b604080516000602480830182905283518084039091018152604490920183526020820180516001600160e01b0316636a93856760e01b1781529251825191936001600160a01b03871693928291908083835b60208310620003dc5780518252601f199092019160209182019101620003bb565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146200043e576040519150601f19603f3d011682016040523d82523d6000602084013e62000443565b606091505b50509050806200049a576040805162461bcd60e51b815260206004820152601b60248201527f5245464552454e43455f4e4f545f464143545f52454749535452590000000000604482015290519081900360640190fd5b505050565b3b151590565b828054828255906000526020600020908101928215620004fd579160200282015b82811115620004fd57825182546001600160a01b0319166001600160a01b03909116178255602090920191600190910190620004c6565b506200050b9291506200050f565b5090565b5b808211156200050b5780546001600160a01b031916815560010162000510565b60805160a05160c051611fef6200056c6000398061040752806110865250806103e6528061102b52508061042852806110e15250611fef6000f3fe608060405234801561001057600080fd5b50600436106100df5760003560e01c806361363e4e1161008c578063b7a771f711610066578063b7a771f714610323578063d6354e151461032b578063e5b62b2914610333578063eeb728661461033b576100df565b806361363e4e1461016d5780636a9385671461019e5780639b3b76cc146101bb576100df565b80632f4da80e116100bd5780632f4da80e146101375780634c14a6f91461015d5780635b4c41c214610165576100df565b80630301a2c3146100e457806329e10520146101155780632b3380611461012f575b600080fd5b6100ec6103b8565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b61011d6103d9565b60408051918252519081900360200190f35b61011d6103de565b61013f6103e4565b60408051938452602084019290925282820152519081900360600190f35b61011d61044c565b61011d610451565b61018a6004803603602081101561018357600080fd5b5035610456565b604080519115158252519081900360200190f35b61018a600480360360208110156101b457600080fd5b5035610469565b610321600480360360a08110156101d157600080fd5b8101906020810181356401000000008111156101ec57600080fd5b8201836020820111156101fe57600080fd5b8035906020019184602083028401116401000000008311171561022057600080fd5b91939092909160208101903564010000000081111561023e57600080fd5b82018360208201111561025057600080fd5b8035906020019184602083028401116401000000008311171561027257600080fd5b91939092909160208101903564010000000081111561029057600080fd5b8201836020820111156102a257600080fd5b803590602001918460208302840111640100000000831117156102c457600080fd5b9193909290916020810190356401000000008111156102e257600080fd5b8201836020820111156102f457600080fd5b8035906020019184602083028401116401000000008311171561031657600080fd5b91935091503561048a565b005b61011d610a69565b61018a610a6e565b61011d610a77565b610343610a7c565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561037d578181015183820152602001610365565b50505050905090810190601f1680156103aa5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b600154610100900473ffffffffffffffffffffffffffffffffffffffff1681565b600281565b60025481565b7f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000909192565b600381565b600181565b600061046182610aa2565b90505b919050565b600061047482610aa2565b1561048157506001610464565b61046182610ab7565b60055481106104fa57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f636169726f56657269666965724964206973206f7574206f662072616e67652e604482015290519081900360640190fd5b60006005828154811061050957fe5b600091825260208220015473ffffffffffffffffffffffffffffffffffffffff169150369061055c7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe8601828789611d9d565b9150915060606000808573ffffffffffffffffffffffffffffffffffffffff16638080fdfb6040518163ffffffff1660e01b8152600401604080518083038186803b1580156105aa57600080fd5b505afa1580156105be573d6000803e3d6000fd5b505050506040513d60408110156105d457600080fd5b508051602090910151909250905081881161065057604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f496e76616c696420636169726f417578496e707574206c656e6774682e000000604482015290519081900360640190fd5b61065c84838188611d9d565b8080602002602001604051908101604052809392919081815260200183836020028082843760009201829052508451949750938793508492501515905061069f57fe5b60200260200101519050612710811061071957604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600f60248201527f496e76616c6964206e50616765732e0000000000000000000000000000000000604482015290519081900360640190fd5b83516004820214610775576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180611df26021913960400191505060405180910390fd5b60008060006107878f8f8f8f89610b70565b925092509250828760018151811061079b57fe5b60200260200101511461080f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f496e76616c69642073697a6520666f72206d656d6f7279207061676520302e00604482015290519081900360640190fd5b818760028151811061081d57fe5b60200260200101511461089157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f496e76616c6964206861736820666f72206d656d6f7279207061676520302e00604482015290519081900360640190fd5b808760038602815181106108a157fe5b6020026020010151146108ff576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d815260200180611e8b602d913960400191505060405180910390fd5b5050505050508373ffffffffffffffffffffffffffffffffffffffff16631cb7dd798e8e8e8e88886040518763ffffffff1660e01b81526004018080602001806020018060200184810384528a8a82818152602001925060200280828437600083820152601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169091018581038452888152602090810191508990890280828437600083820152601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169091018581038352868152602090810191508790870280828437600081840152601f19601f8201169050808301925050509950505050505050505050600060405180830381600087803b158015610a2357600080fd5b505af1158015610a37573d6000803e3d6000fd5b50505050610a5a8989838a8a6009818110610a4e57fe5b9050602002013561161e565b50505050505050505050505050565b606081565b60015460ff1690565b600081565b6060604051806060016040528060268152602001611f9460269139905090565b3b151590565b60009081526020819052604090205460ff1690565b6000610ac1611ac4565b610acd57506000610464565b60018054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636a938567836040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610b3e57600080fd5b505afa158015610b52573d6000803e3d6000fd5b505050506040513d6020811015610b6857600080fd5b505192915050565b60008060008088886000818110610b8357fe5b90506020020135905063400000008110610bfe57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601860248201527f496e76616c6964206e756d626572206f66207461736b732e0000000000000000604482015290519081900360640190fd5b60028181026104a8019450606090850267ffffffffffffffff81118015610c2457600080fd5b50604051908082528060200260200182016040528015610c4e578160200160208202803683370190505b5090506000610c5b611d5f565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b6cee596040518163ffffffff1660e01b81526004016191806040518083038186803b158015610cc457600080fd5b505afa158015610cd8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250619180811015610cfe57600080fd5b50905060005b61048c811015610d655760018101848481518110610d1e57fe5b602002602001018181525050818161048c8110610d3757fe5b6020020151848460010181518110610d4b57fe5b602090810291909101015260029290920191600101610d04565b5050600089896007818110610d7657fe5b9050602002013590506002811015610def57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f496e76616c696420657865637574696f6e20626567696e20616464726573732e604482015290519081900360640190fd5b60028103838360000181518110610e0257fe5b60200260200101818152505080838360010181518110610e1e57fe5b60200260200101818152505060018103838360020181518110610e3d57fe5b6020026020010181815250506000838360030181518110610e5a57fe5b6020026020010181815250506004820191506000600b8b8b6008818110610e7d57fe5b9050602002013503905060006009905060005b600b811015610f9757808401868681518110610ea857fe5b60209081029190910101528551601686019084830190889083908110610eca57fe5b602090810291909101015260018c1615610f48578d8d84818110610eea57fe5b90506020020135878760010181518110610f0057fe5b6020026020010181815250508d8d84600101818110610f1b57fe5b90506020020135878260010181518110610f3157fe5b602002602001018181525050600283019250610f83565b6000878760010181518110610f5957fe5b6020026020010181815250506000878260010181518110610f7657fe5b6020026020010181815250505b5060019a8b1c9a6002959095019401610e90565b508915610fef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180611e676024913960400191505060405180910390fd5b50505060160160008989600981811061100457fe5b9050602002013590508083836000018151811061101d57fe5b6020026020010181815250507f000000000000000000000000000000000000000000000000000000000000000083836001018151811061105957fe5b6020026020010181815250508060010183836002018151811061107857fe5b6020026020010181815250507f00000000000000000000000000000000000000000000000000000000000000008383600301815181106110b457fe5b602002602001018181525050806002018383600401815181106110d357fe5b6020026020010181815250507f000000000000000000000000000000000000000000000000000000000000000083836005018151811061110f57fe5b6020026020010181815250508060030183836006018151811061112e57fe5b6020026020010181815250508383836007018151811061114a57fe5b6020026020010181815250506008820191506004810190503660008d8d600190809261117893929190611d9d565b9150915060005b868110156113595760008383600081811061119657fe5b905060200201359050806002111580156111b35750634000000081105b61121e57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f496e76616c6964207461736b206f75747075742073697a652e00000000000000604482015290519081900360640190fd5b60008484600181811061122d57fe5b90506020020135905060008585600281811061124557fe5b9050602002013590508060011115801561126157506210000081105b6112b6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180611f5f6035913960400191505060405180910390fd5b868989600001815181106112c657fe5b602002602001018181525050828989600101815181106112e257fe5b6020026020010181815250508660010189896002018151811061130157fe5b6020026020010181815250508189896003018151811061131d57fe5b6020908102919091010152600497909701969582019561134585600360028402018189611d9d565b95509550505050808060010191505061117f565b5080156113c757604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f496e76616c6964206c656e677468206f66207461736b4d657461646174612e00604482015290519081900360640190fd5b828c8c600a8181106113d557fe5b9050602002013514611432576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180611eb86023913960400191505060405180910390fd5b5050508082511461148e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526029815260200180611dc96029913960400191505060405180910390fd5b600089897ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81018181106114be57fe5b90506020020135905060008a8a60018d8d9050038181106114db57fe5b9050602002013590506000600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663405a63628685857f08000000000000110000000000000000000000000000000000000000000000016040518563ffffffff1660e01b81526004018080602001858152602001848152602001838152602001828103825286818151815260200191508051906020019060200280838360005b838110156115a9578181015183820152602001611591565b5050505090500195505050505050606060405180830381600087803b1580156115d157600080fd5b505af11580156115e5573d6000803e3d6000fd5b505050506040513d60608110156115fb57600080fd5b506020810151604090910151999f909e50989c50979a5050505050505050505050565b60008260008151811061162d57fe5b6020026020010151905060008060008787600081811061164957fe5b90506020020135905060608460030167ffffffffffffffff8111801561166e57600080fd5b50604051908082528060200260200182016040528015611698578160200160208202803683370190505b5090506040816001815181106116aa57fe5b60209081029190910101526001600687018160606002890267ffffffffffffffff811180156116d857600080fd5b50604051908082528060200260200182016040528015611702578160200160208202803683370190505b50905060608d8d808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509293506117479250611d7f915050565b506000985060808c015b878a1015611a5b5760008085905083600289018151811061176e57fe5b60200260200101519a506000805b8c8110156118a15760008660008360020260038e0101018151811061179d57fe5b60200260200101519050621000008110611802576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b815260200180611eff602b913960400191505060405180910390fd5b60005b8181101561185d5760008061181d898e8a8e8a611acc565b91509150808f888e036003018151811061183357fe5b6020908102919091010152509a8b019a60019a8b019a606098909801979601959384019301611805565b5060008760018460020260038f0101018151811061187757fe5b602002602001015190508060001461189757611894898583611c05565b93505b505060010161177c565b50806001146118fb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526029815260200180611e136029913960400191505060405180910390fd5b60008560018b018151811061190c57fe5b6020026020010151905060008660008c018151811061192757fe5b60200260200101519050808860018151811061193f57fe5b6020026020010151600201146119a0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180611f2a6035913960400191505060405180910390fd5b506000876000815181106119b057fe5b602002602001015190506000828260405160200180838152602001828152602001925050506040516020818303038152906040528051906020012090508e6002026003018c019b5060007f73b132cb33951232d83dc0f1f81c2d10f9a2598f057404ed02756716092097bb905060208e01868c03848252806040830152826020600383010283a1505050611a4381611cef565b50506001909d019c5050506002959095019450611751565b838b14611ab3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526024815260200180611edb6024913960400191505060405180910390fd5b505050505050505050505050505050565b600254421090565b845160208601516040870151909163400000008310611b4c57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601260248201527f496e76616c696420706167652073697a652e0000000000000000000000000000604482015290519081900360640190fd5b868114611bba57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f496e76616c6964207061676520616464726573732e0000000000000000000000604482015290519081900360640190fd5b828601856001866002020181518110611bcf57fe5b60200260200101818152505081856000866002020181518110611bee57fe5b602002602001018181525050509550959350505050565b600082821115611c60576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b815260200180611e3c602b913960400191505060405180910390fd5b60008460018086036002020181518110611c7657fe5b6020026020010151905060008385039050600060028202602002602001905060006040860282890120905083886001856002020181518110611cb457fe5b60200260200101818152505080600101886000856002020181518110611cd657fe5b6020908102919091010152505060010195945050505050565b600081815260208190526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660019081179091555460ff16611d5c57600180547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0016811790555b50565b60405180619180016040528061048c906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b60008085851115611dac578182fd5b83861115611db8578182fd5b505060208302019391909203915056fe4e6f7420616c6c20436169726f207075626c696320696e707574732077657265207772697474656e2e496e76616c6964207075626c69634d656d6f72795061676573206c656e6774682e4e6f646520737461636b206d75737420636f6e7461696e2065786163746c79206f6e65206974656d2e496e76616c69642076616c7565206f66206e5f6e6f64657320696e2074726565207374727563747572652e53454c45435445445f4255494c54494e535f564543544f525f49535f544f4f5f4c4f4e47496e76616c69642063756d756c61746976652070726f6475637420666f72206d656d6f7279207061676520302e496e636f6e73697374656e742070726f6772616d206f7574707574206c656e6774682e4e6f7420616c6c206d656d6f727920706167657320776572652070726f6365737365642e496e76616c69642076616c7565206f66206e5f706167657320696e2074726565207374727563747572652e5468652073756d206f662074686520706167652073697a657320646f6573206e6f74206d61746368206f75747075742073697a652e496e76616c6964206e756d626572206f6620706169727320696e20746865204d65726b6c652074726565207374727563747572652e537461726b576172655f47707353746174656d656e7456657269666965725f323032355f3131a2646970667358221220ab8f2934541f6f1b15b3496b13039e034546256289685f6f7e8bb96e6840721964736f6c634300060c0033000000000000000000000000192292817680196a0215a50b07d1c5e7ab8a8636000000000000000000000000e583bcde0160b637330b27a3ea1f3c02ba2ec460000000000000000000000000000000000000000000000000000000000000010006b64ce9a7b2e240490697d5a9cba9493f4a97ff8ca64557d62f6abf3a155da707ed0f8a84497389448367fb0504f74c404ce9f7c5960f10680bd62566fea2b50573fb4cfe764107c9b53eaad330cb613b9c7c6e23d4062c0301d334367ee5130000000000000000000000009fb7f48dcb26b7bfa4e580b2deff637b137519420000000000000000000000000000000000000000000000000000000467d0b400000000000000000000000000000000000000000000000000000000000000000800000000000000000000000030f3ab988cb00fe3fb5ab891f50c13684770419b0000000000000000000000000cd0cdf0132c566db61b691bceeba2c4d8ca5cdc000000000000000000000000ffc7974cd74b95f631f454cd787aac28f0476b44000000000000000000000000015381651f240ed6c44122dcba6cf807c9442cd60000000000000000000000002867a4509b0969531641a42a3d4a9b0a07109b6b0000000000000000000000006a67796ee97700b5b5f5afbcffdcbc5f80803f1100000000000000000000000071574057d12541ccda98643ac56441838353a26d000000000000000000000000be0f8f150fd10798524b4de80ed75751658caef3

abi

bytecode