SignetSource →

Two ways in: vortex verbs, or OpenID Connect.

  1. Vortex verbs

    Fetch the verify key once, then check tokens offline.

    do
      audience "wiki"
      signet "ws://127.0.0.1:7420"
    The whole of it →
  2. OpenID Connect

    Declare a client; any relying party that speaks OpenID Connect signs in.

    client
      (signedWith EdDSA
        (publicClient "notes"
          ["https://notes.example.org/callback"]
          ["openid", "profile"]))
    The whole of it →