Verified Contracts, AERE Network

What full and partial mean

Full match
The on-chain executable bytecode and the embedded metadata hash are byte-identical to the compiled artifact. This proves the exact source and compiler settings in this repository were deployed.

Partial match
The executable bytecode is byte-identical, but the trailing metadata hash differs. The deployed logic is this source, recompiled with slightly different metadata, for example a different set of surrounding source files, file paths, or comments in the compilation unit.

No match
The executable bytecode itself differs. The deployed code is not this source.

Results

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
AereConsensusPQCAttestorFalcon-512 post-quantum finality attestation layer (alongside QBFT)	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)	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
AereAIProofAI attestation / proof registry	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	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	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

Download the full verification manifest (JSON)

Reproduce this yourself

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.

Honest limitations

This is a bytecode and metadata match, the same method Sourcify uses. It proves the deployed runtime bytecode corresponds to the published source. It does not re-run the Solidity compiler in this page, and it is not a formal audit of the source logic.
Full versus partial. A full match binds the exact metadata hash, so the precise source, comments, and settings are pinned. A partial match proves identical executable logic while the metadata trailer differs, which is expected when a contract was compiled in a different unit at deploy time. Both are honestly labelled above, none are hidden.
Immutables and libraries. Constructor immutables, such as a token or verifier address baked in at deploy, and any library link addresses are masked before comparison, following the Sourcify convention, since they are deploy-time values rather than source.
Scope. This covers AERE's own flagship and audit-pass-stack contracts. Vendored third-party verifiers deployed from their own upstream build, such as the Succinct SP1 Groth16 verifier, are consumed by the contracts here but are not re-derived from this repository.
Follow-up. A full hosted Sourcify or Blockscout verification instance, which recompiles from standard-JSON input and serves per-contract source browsing, is a larger piece of infrastructure and is planned separately.