runtimeverification.com

Observed Jul 28, 2026, 20:59 UTC (1h ago). Every field below was attested with an Ed25519 signature at scan time. Catalog observation, re-checked on rotation — watch it for 5-minute checks.

Verify this receipt yourself + Watch this domain

INFRASTRUCTURE MAPwhat runtimeverification.com actually stands on - every host below is a signed observation

A / AAAA

3.167.37.403.167.37.363.167.37.143.167.37.74+8 more

2600serves the site

molly.ns.cloudflare.comscott.ns.cloudflare.com

cloudflare.comanswers its DNS

mail.protonmail.chmailsec.protonmail.ch

protonmail.chreceives its email

TLS

runtimeverification.com

Amazonissued its certificate

DNS Records

A 4

3.167.37.40
3.167.37.36
3.167.37.14
3.167.37.74

AAAA 8

2600:9000:27c2:8400:11:c764:3dc0:93a1
2600:9000:27c2:6400:11:c764:3dc0:93a1
2600:9000:27c2:2c00:11:c764:3dc0:93a1
2600:9000:27c2:5600:11:c764:3dc0:93a1
2600:9000:27c2:c400:11:c764:3dc0:93a1
2600:9000:27c2:e00:11:c764:3dc0:93a1
2600:9000:27c2:8200:11:c764:3dc0:93a1
2600:9000:27c2:3e00:11:c764:3dc0:93a1

MX 2

10mail.protonmail.ch
20mailsec.protonmail.ch

TXT 3

protonmail-verification=f6e5f91ac96042a04ef199926410506ff07f0879
v=spf1 include:_spf.protonmail.ch ~all
v=DMARC1; p=none; rua=mailto:dmarc-reports@runtimeverification.com

NS 2

molly.ns.cloudflare.com
scott.ns.cloudflare.com

SOA 1

molly.ns.cloudflare.com dns.cloudflare.com

TLS Certificates (3)

Common Name	Issuer	Expires
`runtimeverification.com`	C=US, O=Amazon, CN=Amazon RSA 2048 M04	Tue, 02 Feb 2027 23:59:59 +0000
`Amazon RSA 2048 M04`	C=US, O=Amazon, CN=Amazon Root CA 1	Fri, 23 Aug 2030 22:26:35 +0000
`Amazon Root CA 1`	C=US, ST=Arizona, L=Scottsdale, O=Starfield Technologies, Inc., CN=Starfield Services Root Certificate Authority - G2	Thu, 31 Dec 2037 01:00:00 +0000

Subdomains (2)

The proof

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; nothing leaves your machine.

Verify this receipt

Put the receipt on your own site. A live badge showing what DomainDrift observes and signs for runtimeverification.com. It updates itself. It attests a signed observation - not that the site is safe.

<a href="https://domaindrift.io/t/runtimeverification.com">
  <img src="https://domaindrift.io/badge/runtimeverification.com.svg"
       width="300" height="64" alt="DomainDrift signed observations for runtimeverification.com">
</a>

Ed25519 Receipt

Receipt ID: rcpt_97b9d7d2856e4eab
Output Hash: dedf238ca02061d5dfbf7bde31a6dc669ced6fe53ff7b93639a6150bb8182e96
Signature: ed25519:cdc54fe6a363974d437937bdb2c6c7a93997c25fec243f2f33a171f31cbcacdaed71a8207766d809c17ecf38dfd1705f46297d9f6f51b1c79d40d58fcd0ba20d
Public Key: ed25519:4859bb613d650e12dd7478cc307c73a8712fabc115a9dc59f65534ed3c09a8f9
Parent: (genesis)
Plane: fast

Verify this in your browser

Permalink: https://domaindrift.io/t/runtimeverification.com