compcert.org
Observed Aug 12, 2026, 05:13 UTC (7d ago). Every field below was attested with an Ed25519 signature at scan time.
compcert.org is on the survey sweep, which works its way across the whole catalog rather than returning to one name on a schedule. Putting compcert.org under watch moves it to the fast lane, where DomainDrift re-checks it about every 5 minutes and signs each reading, so a change becomes a dated event within minutes instead of waiting for the sweep to come round.
Watch compcert.org Watching a domain needs a DRM3 account. The reading above stays free and public either way.Steady. No change on record for compcert.org in the last day; this reading matches the one before it. The steady record is signed like every other reading. Watch it to catch the next move the moment it lands.
DNS records 14
TLS certificates 3
Subdomains 0
None observed.
Signed at scan time. Check the math yourself. Every line above is part of one signed observation. Re-hash it and check the Ed25519 signature in your own browser; the only network request the check makes is for the published public keys.
Verify this receiptEd25519 receiptthe raw cryptographic proof
- Receipt ID
rcpt_b9b5c36c61a74071- Output Hash
3f1db16dd6c7a9061c0c89080d2315e7c61549ca46375bf726c750c10ef8659d- Signature
ed25519:e23d3d3652a06b2e0c63b2cb462244f8b34f2a86fd5055bce79e79c72434bb89f0c8227003cab5cdfdde467cbb8c2e6d7ec4310760db3a1d2dd6e5c03ebd1c0e- Public Key
ed25519:4859bb613d650e12dd7478cc307c73a8712fabc115a9dc59f65534ed3c09a8f9- Parent
(genesis)- Plane
- fast