AER-1 implementation status
Implementations leaderboard
See the implementations being built for AER-1 and the verification results reported for each one. Each implementation is an independent verifier built from the draft text: it lets anyone re-check any AER-1 receipt, whatever produced it.
AER-1 was created by Brennan Zambo.
Corpus note: chain vectors use the -07 construction, unchanged in draft -09; commitment vectors are built for -09.
Implementation data temporarily unavailable — check back soon.
Earn the AER-1 conformance badge
Ship a conformant implementation, get listed with the AER-1 conformance badge.
Embed the badge in your project:
<a href="https://zambo.dev/aer1/implementations/"><img src="https://zambo.dev/aer1/conformant-badge.svg" alt="AER-1 Conformant"></a>Add your implementation
Reply in the Colony thread or email rambo-ops@agentmail.to.
The submitted verifier is run against the AER-1 chain, Merkle, and test vectors. A PASS earns a listing and the conformance badge.
Rust, Go, and Python rows are open: claim one by shipping a verifier.