Devnet RPC https://devnet.zama.ai not resolving (NXDOMAIN)

[aa2hr]

Describe the issue

Hello Zama team,

I am trying to use the FHEVM Devnet as described in the documentation, but the RPC endpoint

https://devnet.zama.ai

does not resolve (DNS returns NXDOMAIN).

Steps I tried:

• Hardhat deployment → Error: getaddrinfo ENOTFOUND devnet.zama.ai
• dig / ping → NXDOMAIN result

Questions:

1. Is the Devnet currently offline or under maintenance?
2. Has the RPC endpoint changed to a new URL?

Thank you for your support.

Context

No response

Steps to Reproduce or Propose

No response