Contract Addresses

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

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
Mainnet	0x01ba7d4b5707f8878c22fb335763abfc26c2ae157c434d597f6416fe6a79bf2e

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
Integrity Verifier	Starknet Mainnet	0xcc63a1e8e7824642b89fa6baf996b8ed21fa4707be90ef7605570ca8e4f00b
Sharp Verifier	Ethereum Sepolia	0x07ec0D28e50322Eb0C159B9090ecF3aeA8346DFe
Sharp Verifier	Ethereum Mainnet	0x47312450B3Ac8b5b8e247a6bB6d523e7605bDb60

Dynamic Layout on L2 Pricing

Atlantic Prover Suite

Atlantic Steps

Handy Links

Endpoints

Satellite Contracts

EVM Chains

Starknet Chains

Other Contracts

​Satellite Contracts

​EVM Chains

​Starknet Chains

​Other Contracts

Satellite Contracts

EVM Chains

Starknet Chains

Other Contracts