New Contracts

EVM Chains

ChainChain IDAddress
Ethereum Sepolia111551110x396bF739f7b37D81f6CdD4571fDEF298150db88f
Ethereum Mainnet10x2e6f182b06f37cbdc966ff5471c7d98cec2bfe70
Curtis (Apechain testnet)331110x33f4d13f2D491b0bdc3451046708De0DeD794207
Apechain (Mainnet)331390x82F29Af756036132Ec188FFbB48447895a8D339e
Worldchain Sepolia48010xd198Fa56B4b457223C67D075374b9Efc84DBAe0d
Worldchain Mainnet4800x82f29af756036132ec188ffbb48447895a8d339e
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

ChainAddress
Sepolia0x00421cd95f9ddabdd090db74c9429f257cb6bc1ccc339278d1db1de39156676e
Mainnet0x01ba7d4b5707f8878c22fb335763abfc26c2ae157c434d597f6416fe6a79bf2e
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.

Legacy Contracts

Mainnet

ChainContract NameAddress
Ethereum (L1)Sharp Verifier0x47312450B3Ac8b5b8e247a6bB6d523e7605bDb60
Starknet (L2)Integrity Fact Registry0xcc63a1e8e7824642b89fa6baf996b8ed21fa4707be90ef7605570ca8e4f00b

Sepolia (with verification)

ChainContract NameAddress
Ethereum (L1)Sharp Verifier0x07ec0D28e50322Eb0C159B9090ecF3aeA8346DFe
Starknet (L2)Integrity Fact Registry0x4ce7851f00b6c3289674841fd7a1b96b6fd41ed1edc248faccd672c26371b8c

Sepolia (mocked)

ChainAddress
Ethereum (L1)0x0ed8c44415e882F3033B4F3AFF916BbB4997f915
Starknet (L2)0x02fd1f617a9caeeeadd0cd7da2d99391ee9dd9ad6c5cd1960e3034ffdfad3ae1