"Security By Correctness"
It is a valid approach, but only exhaustive in trivial cases
Raison d'État
npub1mt…3ueyt
2026-01-31 01:32:53 UTC
in reply to nevent1q…eejp
Author Public Key
npub1mts2l7rsvgpqxdc8sk39e50fpntw0p7eamq8pp3kek5h6k7qemzq83ueytPublished at
2026-01-31 01:32:53 UTCEvent JSON
{
"id": "fa81d8b04cee58a3bda058063cd4dc8945415fbce7d506a608820e247567a47f",
"pubkey": "dae0aff870620203370785a25cd1e90cd6e787d9eec0708636cda97d5bc0cec4",
"created_at": 1769823173,
"kind": 1,
"tags": [
[
"alt",
"A short note: \"Security By Correctness\"\n\nIt is a valid approach,..."
],
[
"e",
"73c70bd0710f7af99e34885b947e905ef7c63831647e85bae13d2c0d89fbb932",
"wss://premium.primal.net/",
"root",
"da26e54b86c9a395a4233cbb540fe2aa93cdad4a9b657ed5a724efed5859d23d"
],
[
"e",
"722049be2264cf8ac95fde167b7c1a11a4ee9e81a14e608e8dfdcdef86d1e596",
"wss://premium.primal.net/",
"",
"da26e54b86c9a395a4233cbb540fe2aa93cdad4a9b657ed5a724efed5859d23d"
],
[
"e",
"645907f33ec2b260a9d3a047b9bb8f3d78118e9eb0fb07801b38bd4e6f34509d",
"wss://relay.primal.net/",
"reply",
"571803e69839673164022e8b20a1b6f9b7f8b058ac5d6ce916eea0145fd93cda"
],
[
"p",
"da26e54b86c9a395a4233cbb540fe2aa93cdad4a9b657ed5a724efed5859d23d",
"wss://relay.nostr.band/"
],
[
"p",
"571803e69839673164022e8b20a1b6f9b7f8b058ac5d6ce916eea0145fd93cda",
"wss://nos.lol/"
]
],
"content": "\"Security By Correctness\"\n\nIt is a valid approach, but only exhaustive in trivial cases",
"sig": "611861eb6d5b240835bca7aa5ecf47f4df9087bffe73c4896c15800b10cafc52266997880499f96b7a4360429af1b545ffbf39080e5d9a158690a69569f5482b"
}