José A. Alonso - Nostr Profile

About

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

Metadata

NIP-05

Jose_A_Alonso@mathstodon-xyz.mostr.pub

Bitcoin Testnet (Taproot)

tb1ppmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqamxrnr

Bitcoin Mainnet (Taproot)

bc1ppmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwq2nsvfv

Created

10/26/2025, 8:28:26 AM

Updated

10/26/2025, 8:28:26 AM

Nostr DID

did:nostr:0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c

Nostr Feed

nostr.rocks/users/0efb7bc9...

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:0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
  "verificationMethod": [
    {
      "id": "did:nostr:0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c#key1",
      "controller": "did:nostr:0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
      "type": "SchnorrVerification2025"
    }
  ],
  "authentication": [
    "#key1"
  ],
  "assertionMethod": [
    "#key1"
  ],
  "profile": {
    "id": "did:nostr:event:7a1bf9e55d4549e06bd2f083e3c7770ad36854dd9bbb7283806c6a17a4df2344",
    "name": "José A. Alonso",
    "about": "Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).",
    "picture": "https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg",
    "banner": "https://media.mathstodon.xyz/accounts/headers/000/130/356/original/5493106ed84056f5.png",
    "nip05": "Jose_A_Alonso@mathstodon-xyz.mostr.pub",
    "created_at": 1761463706,
    "updated_at": "2025-10-26T07:28:26.000Z"
  },
  "service": [
    {
      "id": "did:nostr:0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c#bitcoin-taproot",
      "type": "TaprootAddress",
      "network": "tbtc4",
      "serviceEndpoint": "tb1ppmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqamxrnr"
    },
    {
      "id": "did:nostr:0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c#bitcoin-mainnet-taproot",
      "type": "TaprootAddress",
      "network": "btc",
      "serviceEndpoint": "bc1ppmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwq2nsvfv"
    }
  ]
}

View as JSON API endpoint View as standardized DID document

Raw JSON

{
  "_id": "67fb5f2101976a34b64f9410",
  "pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
  "content": "{\"name\":\"José A. Alonso\",\"about\":\"Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/000/130/356/original/5493106ed84056f5.png\",\"nip05\":\"Jose_A_Alonso@mathstodon-xyz.mostr.pub\",\"fields\":[[\"Website\",\"https://jaalonso.github.io/\"],[\"Twitter\",\"https://twitter.com/Jose_A_Alonso\"],[\"Blog\",\"https://www.glc.us.es/~jalonso/vestigium/\"],[\"GitHub\",\"https://github.com/jaalonso\"]]}",
  "created_at": 1761463706,
  "id": "7a1bf9e55d4549e06bd2f083e3c7770ad36854dd9bbb7283806c6a17a4df2344",
  "kind": 0,
  "sig": "e61d631c6c80697b2f027e5f0288d933e57113cce16549ce2d0777a22985af5cfd338046ae7df292c8ff24f7744cf7aec53a976d528533fd728815cf58bbe1b2",
  "tags": [
    [
      "proxy",
      "https://mathstodon.xyz/users/Jose_A_Alonso",
      "activitypub"
    ],
    [
      "client",
      "Mostr",
      "31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
      "wss://relay.ditto.pub/"
    ]
  ],
  "updated_at": "2025-10-26T07:28:26.000Z"
}