So... Discord homebrewed their crypto by amateurs?
F*/FStar kind of exists for this explicit purpose. Why not use it?
LisPi /
npub132…qgzqx
2024-09-17 23:24:08
in reply to nevent1q…r44g
Author Public Key
npub1326y4p8mw4l750yc8e52n0xguvcl5j0dn88ul5r2gjva2sh2ay7qjqgzqxSeen on
wss://relay.momostr.pinkPublished at
2024-09-17 23:24:08Event JSON
{
"id": "fd7922bed061102b0f1a4a23dfc93e9b9980f405b449d5e2989de87f6249f666",
"pubkey": "8ab44a84fb757fea3c983e68a9bcc8e331fa49ed99cfcfd06a4499d542eae93c",
"created_at": 1726615448,
"kind": 1,
"tags": [
[
"p",
"86c03ba3b8d96187adbcc71c80bdd6c25a3675371854b2b187e3f44cb42f20e2"
],
[
"e",
"67e8993234cdd29b6b859abd48dcdc697f2c2e65f1967e6813a24d48e8973993",
"",
"root",
"6438a15871ecf74285ce4130bfc91a4db7428cf4f547631be15de5cd514ffad3"
],
[
"p",
"6438a15871ecf74285ce4130bfc91a4db7428cf4f547631be15de5cd514ffad3"
],
[
"proxy",
"https://udongein.xyz/objects/19a33518-b652-4b99-988e-921e4d46accf",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://udongein.xyz/objects/19a33518-b652-4b99-988e-921e4d46accf",
"pink.momostr"
],
[
"-"
]
],
"content": "So... Discord homebrewed their crypto by amateurs?\n\nF*/FStar kind of exists for this explicit purpose. Why not use it?",
"sig": "18b514bc67ed85cf1dead3bb6919e8efa493b7d8c80c527160b4fac0a0a897b279ba49f2d0720bdac9f4f18e3effe6b2f04aee653d7209bfe5dbd5d124f52d3e"
}