Docs typo: Preprod proof-server URL `lace-proof-pub.preprod.midnight.network` returns NXDOMAIN

Technical Questions
1

markdown

Hi team — just a quick documentation correction report.

## Issue

The official environments docs page lists this URL for the Preprod proof server:

> https://docs.midnight.network/relnotes/network

| Service | URL listed |
|---|---|
| Proof server | `https://lace-proof-pub.preprod.midnight.network` |

However, this hostname does not resolve:

$ getent hosts lace-proof-pub.preprod.midnight.network (no output — NXDOMAIN)

$ curl -v https://lace-proof-pub.preprod.midnight.network/

  • Could not resolve host: lace-proof-pub.preprod.midnight.network

## Working URL found

The actual working Preprod proof-server URL appears to follow the same naming convention as the indexer/RPC hosts:

$ getent hosts proof-server.preprod.midnight.network 34.250.71.107 proof-server.preprod.midnight.network 63.34.190.149 proof-server.preprod.midnight.network 34.250.60.195 proof-server.preprod.midnight.network


Three IPs behind what looks like an AWS ALB — clearly a live, production endpoint.

## Cross-environment DNS check

For reference, here is the DNS state across all three environments:

| Environment | `proof-server.<env>.midnight.network` | `lace-proof-pub.<env>.midnight.network` |
|---|---|---|
| Preview | ✅ resolves | ✅ resolves |
| Preprod | ✅ resolves | ❌ NXDOMAIN |
| Mainnet | ❌ NXDOMAIN | ❌ NXDOMAIN |

So Preview keeps both hostnames (presumably for backwards compatibility), but Preprod only exposes the new naming. The docs were likely not updated when the rename happened.

## Suggested action

Update the Preprod row in https://docs.midnight.network/relnotes/network to:

> `https://proof-server.preprod.midnight.network`

This blocked me for a few hours while migrating a project from Preview to Preprod, so a docs fix would help future builders save time.

(For context, I'm the same builder who posted #1190 about the Mainnet 1016 issue. Migrating to Preprod for now while waiting for guidance on Mainnet.)

Thanks!