fstar-lang.org
Observed Aug 11, 2026, 11:52 UTC (11d ago). Every field below was attested with an Ed25519 signature at scan time.
fstar-lang.org is on the survey sweep, which works its way across the whole catalog rather than returning to one name on a schedule. Putting fstar-lang.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 fstar-lang.org Watching a domain needs a DRM3 account. The reading above stays free and public either way.Steady. No change on record for fstar-lang.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 9
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_7167c0da6ec37611- Output Hash
0666503baef27524a54cef879fc143e6e226adf30b09c102fd18328c8e4153ff- Signature
ed25519:8c852745d5e275fc0823868ff7ba2535721e9f0aa605cdcaa70554fedbc1f0bc8dcbbec31a33dfca1dfcb6d010fcc381af7a228807ae43fc4db0853b2b36d302- Public Key
ed25519:4859bb613d650e12dd7478cc307c73a8712fabc115a9dc59f65534ed3c09a8f9- Parent
(genesis)- Plane
- fast