AviBurra on Nostr: how can you have formal verification if there’s recursion?
how can you have formal verification if there’s recursion?
Published at
2022-12-22 14:29:39Event JSON
{
"id": "6f13e463f1ca0fabf5ecc4c0a57f3775129ff42854411db840dbe368f5657637",
"pubkey": "b83a28b7e4e5d20bd960c5faeb6625f95529166b8bdb045d42634a2f35919450",
"created_at": 1671719379,
"kind": 1,
"tags": [
[
"e",
"44a7bc382c55adaa226c3ffd8ed0d7d4394e5cdd7201d42e080f8a3139146f89",
""
],
[
"e",
"bf4eae5bc8c47f108bfb64a872eeb85210d2964c53727366ec4ca89da6f57f4d"
],
[
"p",
"5c10ed0678805156d39ef1ef6d46110fe1e7e590ae04986ccf48ba1299cb53e2"
]
],
"content": "how can you have formal verification if there’s recursion?",
"sig": "6a734780949ff13ec94d060bdc8f56bb09e5efd306d3a0978dd0df04fd5182f55dac6c789ce8502bd3386816044066f16d4f9514f1316a108a560cec654eaffb"
}
