Richard Zach - Nostr Profile

About

Logician, historian and philosopher of logic, mathematics, and computability Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back

Metadata

NIP-05

rrrichardzach@mathstodon-xyz.mostr.pub

Bitcoin Testnet (Taproot)

tb1ptq96nsuyn6qdtr9u6trkw28nx350g8z589khxetpx7ezg7qlghfqha0ppl

Bitcoin Mainnet (Taproot)

bc1ptq96nsuyn6qdtr9u6trkw28nx350g8z589khxetpx7ezg7qlghfqq4ewms

Created

12/10/2025, 10:47:03 AM

Updated

12/10/2025, 10:47:03 AM

Nostr DID

did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2

Nostr Feed

nostr.rocks/users/580ba9c3...

DID Document

{
  "@context": [
    "https://www.w3.org/ns/did/v1",
    "https://w3id.org/nostr/context",
    "https://w3id.org/security/suites/ed25519-2020/v1"
  ],
  "id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
  "verificationMethod": [
    {
      "id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2#key1",
      "controller": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
      "type": "SchnorrVerification2025"
    }
  ],
  "authentication": [
    "#key1"
  ],
  "assertionMethod": [
    "#key1"
  ],
  "profile": {
    "id": "did:nostr:event:06db2127551a84b31c1fc9ae645f7abab1ac5d3d8bcff92a65f1cf82f202a5b6",
    "name": "Richard Zach",
    "about": "Logician, historian and philosopher of logic, mathematics, and computability\n\nCopied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back",
    "picture": "https://media.mathstodon.xyz/accounts/avatars/109/264/278/157/213/832/original/59ccbf4598016f25.jpg",
    "banner": "https://media.mathstodon.xyz/accounts/headers/109/264/278/157/213/832/original/e68892ca2ee24b4e.jpeg",
    "nip05": "rrrichardzach@mathstodon-xyz.mostr.pub",
    "created_at": 1765360023,
    "updated_at": "2025-12-10T09:47:03.000Z"
  },
  "service": [
    {
      "id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2#bitcoin-taproot",
      "type": "TaprootAddress",
      "network": "tbtc4",
      "serviceEndpoint": "tb1ptq96nsuyn6qdtr9u6trkw28nx350g8z589khxetpx7ezg7qlghfqha0ppl"
    },
    {
      "id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2#bitcoin-mainnet-taproot",
      "type": "TaprootAddress",
      "network": "btc",
      "serviceEndpoint": "bc1ptq96nsuyn6qdtr9u6trkw28nx350g8z589khxetpx7ezg7qlghfqq4ewms"
    }
  ]
}

View as JSON API endpoint View as standardized DID document

Raw JSON

{
  "_id": "67fa98f001976a34b64ea54a",
  "pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
  "content": "{\"name\":\"Richard Zach\",\"about\":\"Logician, historian and philosopher of logic, mathematics, and computability\\n\\nCopied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/109/264/278/157/213/832/original/59ccbf4598016f25.jpg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/109/264/278/157/213/832/original/e68892ca2ee24b4e.jpeg\",\"nip05\":\"rrrichardzach@mathstodon-xyz.mostr.pub\",\"fields\":[[\"Website\",\"https://richardzach.org/\"],[\"Open Logic Project\",\"https://openlogicproject.org/\"],[\"Github\",\"https://github.com/rzach\"],[\"Interests\",\"#Logic #ProofTheory #HistMath #PhilSci #ComputingHistory\"]]}",
  "created_at": 1765360023,
  "id": "06db2127551a84b31c1fc9ae645f7abab1ac5d3d8bcff92a65f1cf82f202a5b6",
  "kind": 0,
  "sig": "71ea49f2e172e3410cafab4a6986a636c0c6ca69c52bb07beb848090f143456c2e5afd24d2b542259114d4fe32ab24915352818664f6a0897bc57b6bd0f1a638",
  "tags": [
    [
      "proxy",
      "https://mathstodon.xyz/users/rrrichardzach",
      "activitypub"
    ],
    [
      "client",
      "Mostr",
      "31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
      "wss://relay.ditto.pub/"
    ]
  ],
  "updated_at": "2025-12-10T09:47:03.000Z"
}