runtimeverification.com

Observed Jul 28, 2026, 00:00 UTC (19h 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.743.167.37.363.167.37.14+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.74
3.167.37.36
3.167.37.14

AAAA 8

2600:9000:27c2:6000:11:c764:3dc0:93a1
2600:9000:27c2:1000:11:c764:3dc0:93a1
2600:9000:27c2:1600:11:c764:3dc0:93a1
2600:9000:27c2:4600:11:c764:3dc0:93a1
2600:9000:27c2:e400:11:c764:3dc0:93a1
2600:9000:27c2:dc00:11:c764:3dc0:93a1
2600:9000:27c2:8800:11:c764:3dc0:93a1
2600:9000:27c2:3a00: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_444010ecb2beb605
Output Hash: ca0b4ecfd0e1d836c209448f071e5cd47b98c17c4501ae74ef3d923ea2d2053b
Signature: ed25519:241d69468c3a482bae1de74a691fcec3d848d9429345047c903e524c0066f36813751137d080870ef44b56029486759407f89c420e29be617d61131ebb742802
Public Key: ed25519:4859bb613d650e12dd7478cc307c73a8712fabc115a9dc59f65534ed3c09a8f9
Parent: (genesis)
Plane: fast

Verify this in your browser

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