Bitcoin Mailing List on Nostr: 🔖 Title: Formal specification of Miniscript in Alloy 🏷️ Categories: ...
Published at
2023-06-07 18:27:35Event JSON
{
"id": "f6dc5151542f60dfdc8979d1ba9258cb71ed6b7baf9821460942d5b791016b0f",
"pubkey": "a23dbf6c6cc83e14cc3df4e56cc71845f611908084cfe620e83e40c06ccdd3d0",
"created_at": 1686162455,
"kind": 1,
"tags": [
[
"p",
"98dea680e98226bf50f3205457779fbb9d796a4546ff0042d3fba59daafc3adc"
],
[
"p",
"78f5a82a0b64fb3c18bd33a69c53b1af612b3ac8dd81e12f74ba62f3793dac05"
]
],
"content": "🔖 Title: Formal specification of Miniscript in Alloy\n🏷️ Categories: bitcoin-dev\n👥 Authors: \n• Clark Moody ( nostr:npub1nr02dq8fsgnt758nyp29waulhwwhj6j9gmlsqsknlwjem2hu8twqp0hypj )\n• Dmitry Petukhov ( nostr:npub10r66s2stvnancx9axwnfc5a34asjkwkgmkq7ztm5hf30x7fa4szsv9afdw )\n📅 Messages Date: 2020-11-25\n✉️ Message Count: 3\n📚 Total Characters in Messages: 5995\n",
"sig": "c0deb3b63f3358f0b0a20e21ed587f585e9bc5196c6b68d666754b56c21cc94f0acf2ec611125b6ed2f55a72c40f62c8a2594636f8ffadfca6e7c03e50fe7194"
}
