From 2282779c9e80460bb0ab197cbb1dfa6aae0fd562 Mon Sep 17 00:00:00 2001 From: wallscaler Date: Mon, 15 Jun 2026 16:49:13 -0400 Subject: [PATCH] =?UTF-8?q?Add=20Cathedral=20validator=20(SN39,=20hotkey?= =?UTF-8?q?=205FF6Ft=E2=80=A6)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- public/delegates.json | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/public/delegates.json b/public/delegates.json index 7a7bb61..02bf4a4 100644 --- a/public/delegates.json +++ b/public/delegates.json @@ -460,5 +460,11 @@ "url": "", "description": "Decentralization is a mindset - We support Bittensor with this power", "signature": "6a30e91de8ebd0cae6553634eb194fa172416efadf19ad3da810c841d8f41244eb136995d3f864bb635ee5f41c673d46d4c1a7373554419376a167c92f89dc8a" + }, + "5FF6FtDUhn7XdPYmEdH5XjLAmLfmwLTCNVBgcrj3A4sstwaw": { + "name": "Cathedral", + "url": "https://cathedral.computer", + "description": "Decentralized formal verification, built on SAT.", + "signature": "cc86ffbf3745ed67ac1eb4356c90ef5e18f079512f9061477cadc0a5c89e771a770a035ed1554711a45bb7041c2a2f19df8f41f75a510b4d1814b67dccb49a88" } } \ No newline at end of file