AERE Network, Chain ID 2800
Independent, reproducible proof that the on-chain runtime bytecode of each contract listed on this page matches its published Solidity source. This uses a Sourcify-style bytecode and metadata comparison: the code running at each address is fetched with eth_getCode and compared byte for byte against the compiled artifact, with constructor immutables and library links masked and the embedded metadata hash checked.
What this page covers, and what it does not. This is a sample, not the whole deployment.
Measured on 2026-08-01 against chain 2800: the canonical address registry
(sdk-js/src/addresses.ts) holds 191 entries, of which 185 have live
runtime code and 6 are the plain genesis accounts. The table below covers 34 of
those 185. A contract that is not in the table has not been checked here, and its absence is not a pass.
The No match count of zero is a statement about the 34 rows on this page only.
Our own internal review of 2026-08-01 measured 28 live contracts whose runtime bytecode does not reproduce from this public repository, 20 of them canonical, and six of those have no candidate source in the tree at all. None of those 28 are rows below. Closing that gap, so that the reproducible set and the canonical set are the same set, is open work and we are stating it here rather than letting the four tiles above imply it is finished.
| Contract | Address | Status | Compiler | On-chain metadata hash | Source metadata hash |
|---|---|---|---|---|---|
| Post-quantum cryptography | |||||
| AereFalcon512VerifierNIST Falcon-512 lattice signature verifier, fully on-chain | 0x4E8e9682329e646784fB3bd01430aA4bA54D8fFC | Partial match | 0.8.23+commit.f704f362viaIRopt 1 | 6c9a7bfa03…5939be6d | cd81e3d0ba…31986387 |
| AereConsensusPQCAttestorApplication-layer Falcon-512 attestation contract that records post-quantum attestations over finalised heights. It sits beside QBFT and is not part of it: block sealing and QBFT voting on chain 2800 are classical secp256k1 ECDSA and this contract does not change that. Measured live 2026-08-01, 4,050 bytes of runtime code. | 0xf3681Aa6444F79562683C26f9d5c369A479c87dD | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 74051ff8b9…b05f2682 | 74051ff8b9…b05f2682 |
| AerePQCVerifierWOTS+ hash-based post-quantum signature verifier | 0x1cE2949e8cE3f1A77b178aF767a4455c08ec6F82 | Full match | 0.8.23+commit.f704f362viaIRopt 1 | 5c564f4210…77bc7afd | 5c564f4210…77bc7afd |
| AereLatticeVerifierLattice ring-arithmetic verification core (n=74 demo) | 0x60c06E6A3CC201B46A16650be096C6E45424dfD9 | Full match | 0.8.23+commit.f704f362viaIRopt 1 | 2947eec885…80b671b6 | 2947eec885…80b671b6 |
| Zero-knowledge | |||||
| AereZKMLVerifierPrivate MNIST inference verifier via SP1 Groth16 | 0xf1BF15d5018a35D21FBB4Ec868f062DF7C06783c | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | ebe088ab99…c9eb27ed | ebe088ab99…c9eb27ed |
| AereProofAggregatorRecursive SP1 proof aggregation (N inner proofs -> 1). DEPRECATED V1. It counted the folded inner-program keys but never required them to be registered, so an aggregation over an unvetted inner program was recorded as if it were legitimate. Both of its historical records are genuine and no funds are involved. Superseded by AereProofAggregatorV2 0x944dE720D6C9696Bdf10b6E2F00dd21ABB1A2b4C, which rejects an unregistered inner program outright, measured live on 2026-08-01 with 4,663 bytes of runtime code. Integrate against V2. | 0x6a260238890E740dB12b371E0C5d17a2470F84C5 | Partial matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | b053aa6fb7…2cbe2894 | 640b750573…005f2e31 |
| AereZKScreenv3 sanctions-screening ZK verifier (root-binding soundness fix) | 0x3A097A459FD26aC79573aCB5adB51430e473C2f1 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | a0802ed2ff…0280db46 | a0802ed2ff…0280db46 |
| AereCompliancePoolSP1VerifierSP1 verifier binding for compliant privacy pool | 0xE2D3fa91b680E835c971761ba75Fde0204AEF95E | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 64d09e02a5…9b62238d | 64d09e02a5…9b62238d |
| AereAIProofEIP-712 signed AI attestation registry (signatures, not zk proofs) | 0xFf92c669AbF4C1DAE31eBFCC017764036d9D97e6 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 5cafa033f2…01c85cd8 | 5cafa033f2…01c85cd8 |
| Confidential compute | |||||
| AereConfidentialComputeThreshold-MPC (BGW / Shamir over BN254) result verifier | 0x2120350c124e4Cae2C9FfBB6E4942DB1d380c287 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 640d23958c…ed12bb08 | 640d23958c…ed12bb08 |
| DePIN | |||||
| AereComputeMarketV2DePIN compute coordination + settlement rail V2 | 0x33E3B06A7344f0B201fdD11B18bC244c84dbca32 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 1fa92765c5…6da6f345 | 1fa92765c5…6da6f345 |
| AereComputeMarketDePIN compute market V1 (kept live) | 0xf0c8178a5d9feb0f70C5f184e79edeEDaddcF350 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 7a09a7a8c7…e90900de | 7a09a7a8c7…e90900de |
| Flywheel | |||||
| sAEREERC-4626 staked-AERE receipt with 7-day drip | 0xA2125bE9C6fd4196D9F94757Df18B3a2A5e650b0 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 6766bd507d…4bf55c62 | 6766bd507d…4bf55c62 |
| AereSinkImmutable 3-bucket fee router (burn/buyback/yield) | 0x69581B86A48161b067Ff4E01544780625B231676 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 104b00d0a6…8090f9b6 | 104b00d0a6…8090f9b6 |
| AereCoinbaseSplitterV2Block-reward splitter into fee sink | 0x8C1A48eFA57b66fEE743A00E3899c29ad3Fd27b4 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 2fd7b49c78…b5405680 | 2fd7b49c78…b5405680 |
| Compliance | |||||
| AereCompliancePoolSanctions-gated + Travel-Rule compliant privacy pool (DEPRECATED V1 — use AereCompliancePoolV2 0xB144…3465) | 0x79735c31F289F7A4d6Be3E02aaB70B544796D41d | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | d6707147af…b694c577 | d6707147af…b694c577 |
| AereSanctionsRegistryOFAC-style Merkle sanctions registry | 0xb7d235718D99560F6EA4Fc5eAea2F8a306A3Cacf | Full match | 0.8.23+commit.f704f362viaIRopt 1 | 59c8ae4a5e…a0f1f307 | 59c8ae4a5e…a0f1f307 |
| AereTravelRuleHashRegistryFATF Travel-Rule hash commitments | 0xcF0E2e010E6e4506672019b1e570874AEeBC4c84 | Full match | 0.8.23+commit.f704f362viaIRopt 1 | 9bc7899804…e6c21bca | 9bc7899804…e6c21bca |
| AereForensicEventRegistryForta-style forensic event registry | 0x4a7526A068e5DDE9788f6571E4A99095b14C6fff | Full match | 0.8.23+commit.f704f362viaIRopt 1 | 15de53259f…26a69bc7 | 15de53259f…26a69bc7 |
| ChainalysisOracleWrapperChainalysis-compatible sanctions oracle wrapper | 0x1B7Be82C80f368f75Cb3807B1bc05E86A498f85c | Full match | 0.8.23+commit.f704f362viaIRopt 1 | cfdd35b443…df54fd5c | cfdd35b443…df54fd5c |
| AereAttestationGatewayAttestation gateway | 0x9bdacA8dfF39Fc688e8D3c4bbA13bCFC0580c325 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | b495cf3eac…5ce97c7c | b495cf3eac…5ce97c7c |
| AereBestExReceiptMiCA Article 78 best-execution receipts | 0x3c80BD6fa0d9a2274c7fBD5943B5EC03313D92d7 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | fc2dd9d20e…c688d1c1 | fc2dd9d20e…c688d1c1 |
| Settlement | |||||
| AereSettlementHubSettlement hub into fee sink. DEPRECATED V1, two audited defects: a permissionless residual sweep could push a live intent's parked funds into the sink and brick the settlement, and an unclaimed deposit had no refund or timeout path. It holds no value. Superseded by AereSettlementHubV2 0xAe1c8F4d8d14BDE6121aCD525Af5A93f52946F41, measured live on 2026-08-01 with 7,995 bytes of runtime code. Do not route new deposits or intents to V1. | 0x2a02fD80c16293D2B5D8a295F31D1a6E6a582c02 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 7da334b9dc…fd93a82a | 7da334b9dc…fd93a82a |
| AereStateChannelsBidirectional payment channels, 24h challenge | 0x64488eda27fA5b55A277ac8D386E169DC78cd7b6 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 3974330c0e…05486a1f | 3974330c0e…05486a1f |
| Agentic | |||||
| AereAgentMachine-account registry (prepaid, rate-limited) (DEPRECATED V1 — use AereAgentV2 0x3FAc…4490) | 0xE96396B4b596B3A74e4195Be12aADd5257863536 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 8e33bc1665…f607b6af | 8e33bc1665…f607b6af |
| AERE402Facilitatorx402-compatible EIP-712 payment facilitator (DEPRECATED V1 — use AERE402FacilitatorV2 0xFC2f…91de) | 0xbA6e6700D629a5E3C885778a42885a944CA84E56 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | ccd4b7d558…2cf73985 | ccd4b7d558…2cf73985 |
| Security | |||||
| AereBugBountyVaultBug-bounty payout vault, 5% max | 0x253fDCb248649396CBDaD320F81869A570d69cD3 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 2b30d09b42…be9d615b | 2b30d09b42…be9d615b |
| Rollups | |||||
| AereRaaSFactoryPermissionless rollup-as-a-service factory (DEPRECATED V1, use AereRaaSFactoryV2 0xB7F8…39Ab) | 0x8C1b0018ab8C4299a75621a4BdD3cF26971B26Cd | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 50803ccd1f…d47fef6c | 50803ccd1f…d47fef6c |
| Accounts | |||||
| AereDelegate7702EIP-7702 delegation target (V1 deprecated, drainable; superseded by AereDelegate7702V2 0xC6d18e0Ce1B6467d952e31315505E0190a4A3310) | 0x5673D92080efbd0987402E9335c14200d0a5EaeF | Full match | 0.8.23+commit.f704f362viaIRopt 1 | 970d0ebc79…c06ad4a5 | 970d0ebc79…c06ad4a5 |
| AereDelegationRegistryDelegation registry | 0x6c25c07D134713b6C2F8E19D807423f022903D63 | Full match | 0.8.23+commit.f704f362viaIRopt 1 | 0b5d4124b2…859d3062 | 0b5d4124b2…859d3062 |
| Lending | |||||
| AereInsuranceFundInsurance fund, 7-day cooldown | 0x5Ab95C549c2A2b07913Df7edD4a16fd108B7CAAC | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | eb2fcbb11c…9778237b | eb2fcbb11c…9778237b |
| AereNavOracleNAV oracle | 0xC8D12E44f10b03477330b35115b432750831fEBD | Full match | 0.8.23+commit.f704f362viaIRopt 1 | 4bdbd5c9e0…51a6a229 | 4bdbd5c9e0…51a6a229 |
| AereLendingOracleMulti-source lending price oracle | 0xc0f18A567067F1B84BDf75eDEbFaDdCBb70A4C49 | Full match | 0.8.23+commit.f704f362viaIRopt 1 | 76aa88d1e6…fa5a6e58 | 76aa88d1e6…fa5a6e58 |
| AereLendingMarketIsolated sAERE/WAERE lending engine (proof market) | 0x2C2d39dB711C0A33De04Dc74b1E22f4760FD4bb0 | Full matchimmutables | 0.8.23+commit.f704f362viaIRopt 1 | 62a3884814…92e8f4c9 | 62a3884814…92e8f4c9 |
Every result on this page is reproducible from the public source tree against the public RPC. No trust in AERE is required.
# from aerenew/contracts, using the committed Hardhat build artifacts node scripts/verify-onchain-source.js # verify a single address against a specific artifact node scripts/verify-onchain-source.js \ --address 0x4E8e9682329e646784fB3bd01430aA4bA54D8fFC \ --artifact artifacts/contracts/pqc/AereFalcon512Verifier.sol/AereFalcon512Verifier.json \ --name AereFalcon512Verifier
The verifier has zero external dependencies. It reads deployedBytecode from the committed artifact, fetches eth_getCode from https://rpc.aere.network, masks immutables and library links from the compiler build-info, parses the CBOR metadata trailer, and reports full, partial, or no match. Rebuild this page with node scripts/gen-verified-page.js.