Skip to content

Instantly share code, notes, and snippets.

@JChlipala
Created Sep 10, 2019
Embed
What would you like to do?
keybase.md

Keybase proof

I hereby claim:

  • I am jchlipala on github.
  • I am jchlipala (https://keybase.io/jchlipala) on keybase.
  • I have a public key ASC1lf6jY28xITCTxZ09zOxDQgYjg8TuRW9iJTNdfr8oEwo

To claim this, I am signing this object:

{
  "body": {
    "key": {
      "eldest_kid": "0120a230a0cb2484f84c9f3ce8aae5fda8793b6980c8df77301e8320d141edd9e6c70a",
      "host": "keybase.io",
      "kid": "0120b595fea3636f31213093c59d3dccec4342062383c4ee456f6225335d7ebf28130a",
      "uid": "3f48d0eda3c6c0ea2ca4b2e012be4919",
      "username": "jchlipala"
    },
    "merkle_root": {
      "ctime": 1568125717,
      "hash": "f8f84746b4cdbb567caa2717942c6476a254a539c109e9d1718d0c7c321b40665294174f94b3be25ebafc9ec4df75db1953aab9669f8b205ba5c114d073c8298",
      "hash_meta": "bd0f6a0a068868079a1d26cded7532edff5c202e26c23de3665393c5a2dea4f0",
      "seqno": 6426444
    },
    "service": {
      "entropy": "GzVcdDogIgap78Jf61zFUW/o",
      "name": "github",
      "username": "jchlipala"
    },
    "type": "web_service_binding",
    "version": 2
  },
  "client": {
    "name": "keybase.io go client",
    "version": "4.3.2"
  },
  "ctime": 1568125760,
  "expire_in": 504576000,
  "prev": "760eded5c3fc427e07f7db1c31a4aa1a185ee85e1cca0793c3375f144958c5bb",
  "seqno": 12,
  "tag": "signature"
}

with the key ASC1lf6jY28xITCTxZ09zOxDQgYjg8TuRW9iJTNdfr8oEwo, yielding the signature:

hKRib2R5hqhkZXRhY2hlZMOpaGFzaF90eXBlCqNrZXnEIwEgtZX+o2NvMSEwk8WdPczsQ0IGI4PE7kVvYiUzXX6/KBMKp3BheWxvYWTESpcCDMQgdg7e1cP8Qn4H99scMaSqGhhe6F4cygeTwzdfFElYxbvEIB/o/cn8iVU4Au58X5tNZ2jR94V8RHV9Cyq1X473ZdJvAgHCo3NpZ8RAyqUFqFXpXCg8gZ8uK4+/MDQ1ghHvCdBNsWhSUJhuWZp9WWWaOFCumDfx32kAgKT2NQ/7ecHyvniDTZ2AkHwhDahzaWdfdHlwZSCkaGFzaIKkdHlwZQildmFsdWXEIIJAX9zu6upNKug4HygrCLrdF23hhRvlp3XY47/XmpRso3RhZ80CAqd2ZXJzaW9uAQ==

And finally, I am proving ownership of the github account by posting this as a gist.

My publicly-auditable identity:

https://keybase.io/jchlipala

From the command line:

Consider the keybase command line program.

# look me up
keybase id jchlipala
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment