Satellite Contracts
EVM Chains
| Chain | Chain ID | Address |
|---|---|---|
| Ethereum Sepolia | 11155111 | 0x396bF739f7b37D81f6CdD4571fDEF298150db88f |
| Ethereum Mainnet | 1 | 0x2e6f182b06f37cbdc966ff5471c7d98cec2bfe70 |
| Curtis (Apechain testnet) | 33111 | 0x33f4d13f2D491b0bdc3451046708De0DeD794207 |
| Apechain (Mainnet) | 33139 | 0x82F29Af756036132Ec188FFbB48447895a8D339e |
| Worldchain Sepolia | 4801 | 0xd198Fa56B4b457223C67D075374b9Efc84DBAe0d |
| Worldchain Mainnet | 480 | 0x82f29af756036132ec188ffbb48447895a8d339e |
isCairoFactValid(bytes32 fact_hash, bool is_mocked) function that is part of CairoFactRegistry module (facet) of the diamond proxy contract.
Starknet Chains
| Chain | Address |
|---|---|
| Sepolia | 0x00421cd95f9ddabdd090db74c9429f257cb6bc1ccc339278d1db1de39156676e |
| Mainnet | 0x01ba7d4b5707f8878c22fb335763abfc26c2ae157c434d597f6416fe6a79bf2e |
isCairoFactValid(fact_hash: felt252, is_mocked: bool) function as well as get_all_verifications_for_fact_hash(fact_hash: felt252, is_mocked: bool) and get_verification(verification_hash: felt252, is_mocked: bool) functions.
Other Contracts
We recommend using Satellite Contracts listed above, but in case you need to call verifier contracts directly, here are the addresses:| Contract Name | Chain | Address |
|---|---|---|
| Integrity Verifier | Starknet Sepolia | 0x4ce7851f00b6c3289674841fd7a1b96b6fd41ed1edc248faccd672c26371b8c |
| Integrity Verifier | Starknet Mainnet | 0xcc63a1e8e7824642b89fa6baf996b8ed21fa4707be90ef7605570ca8e4f00b |
| Sharp Verifier | Ethereum Sepolia | 0x07ec0D28e50322Eb0C159B9090ecF3aeA8346DFe |
| Sharp Verifier | Ethereum Mainnet | 0x47312450B3Ac8b5b8e247a6bB6d523e7605bDb60 |