> ## Documentation Index
> Fetch the complete documentation index at: https://docs.herodotus.cloud/llms.txt
> Use this file to discover all available pages before exploring further.

# Contract Addresses

> Smart contract addresses for Atlantic STARK proof verification on Ethereum, StarkNet, and other supported chains

## Satellite Contracts

### EVM Chains

| Chain                     | Chain ID | Address                                                                                                                                              |
| ------------------------- | -------- | ---------------------------------------------------------------------------------------------------------------------------------------------------- |
| Ethereum Sepolia          | 11155111 | [0x396bF739f7b37D81f6CdD4571fDEF298150db88f](https://sepolia.etherscan.io/address/0x396bF739f7b37D81f6CdD4571fDEF298150db88f#multipleProxyContract)  |
| Ethereum Mainnet          | 1        | [0x2e6f182b06f37cbdc966ff5471c7d98cec2bfe70](https://etherscan.io/address/0x2e6f182b06f37cbdc966ff5471c7d98cec2bfe70#multipleProxyContract)          |
| Curtis (Apechain testnet) | 33111    | [0x33f4d13f2D491b0bdc3451046708De0DeD794207](https://curtis.explorer.caldera.xyz/address/0x33f4d13f2D491b0bdc3451046708De0DeD794207?tab=read_proxy)  |
| Apechain (Mainnet)        | 33139    | [0x82F29Af756036132Ec188FFbB48447895a8D339e](https://apescan.io/address/0x82F29Af756036132Ec188FFbB48447895a8D339e#multipleProxyContract)            |
| Worldchain Sepolia        | 4801     | [0xd198Fa56B4b457223C67D075374b9Efc84DBAe0d](https://sepolia.worldscan.org/address/0xd198Fa56B4b457223C67D075374b9Efc84DBAe0d#multipleProxyContract) |
| Worldchain Mainnet        | 480      | [0x82f29af756036132ec188ffbb48447895a8d339e](https://worldscan.org/address/0x82f29af756036132ec188ffbb48447895a8d339e#multipleProxyContract)         |

EVM contracts provide `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](https://sepolia.starkscan.co/contract/0x00421cd95f9ddabdd090db74c9429f257cb6bc1ccc339278d1db1de39156676e#read-write-contract) |
| Mainnet | [0x01ba7d4b5707f8878c22fb335763abfc26c2ae157c434d597f6416fe6a79bf2e](https://starkscan.co/contract/0x01ba7d4b5707f8878c22fb335763abfc26c2ae157c434d597f6416fe6a79bf2e#read-write-contract)         |

Starknet contracts provide `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](https://sepolia.starkscan.co/contract/0x4ce7851f00b6c3289674841fd7a1b96b6fd41ed1edc248faccd672c26371b8c) |
| Integrity Verifier | Starknet Mainnet | [0xcc63a1e8e7824642b89fa6baf996b8ed21fa4707be90ef7605570ca8e4f00b](https://starkscan.co/contract/0xcc63a1e8e7824642b89fa6baf996b8ed21fa4707be90ef7605570ca8e4f00b)           |
| Sharp Verifier     | Ethereum Sepolia | [0x07ec0D28e50322Eb0C159B9090ecF3aeA8346DFe](https://sepolia.etherscan.io/address/0x07ec0D28e50322Eb0C159B9090ecF3aeA8346DFe)                                                |
| Sharp Verifier     | Ethereum Mainnet | [0x47312450B3Ac8b5b8e247a6bB6d523e7605bDb60](https://etherscan.io/address/0x47312450B3Ac8b5b8e247a6bB6d523e7605bDb60)                                                        |