ly on Nostr: It's not like Monero is better than this in regards to software security... only ...
It's not like Monero is better than this in regards to software security... only formally verified software could provide strong guarantees.
ly
npub12m…nnhq6
2026-10-02 14:40:21 UTC
in reply to nevent1q…c4ww
Author Public Key
npub12mnuxt7fhhn0qm53wcxvxw504nf0y85ag6x32d345e2mxzjvpzpqunnhq6Published at
2026-10-02 14:40:21 UTCEvent JSON
{
"id": "75a8a86498c6f21f8d7efce22d606e43fb072091c7d7755fb7f1374fdd7ecef1",
"pubkey": "56e7c32fc9bde6f06e91760cc33a8facd2f21e9d468d153635a655b30a4c0882",
"created_at": 1790952021,
"kind": 1,
"tags": [
[
"e",
"41c110b05c422f19b2a8f39ce2b7cda1f0c6b53321ebf32f097583a8cc6bb044",
"",
"root",
"7672c39dd8ac61f16a52f81578bfebdb5f8c70bc5a7277656ab5ba67bb590f58"
],
[
"p",
"7672c39dd8ac61f16a52f81578bfebdb5f8c70bc5a7277656ab5ba67bb590f58"
],
[
"client",
"Nostrich"
]
],
"content": "It's not like Monero is better than this in regards to software security... only formally verified software could provide strong guarantees.",
"sig": "55bb240de986d2bff90f2985fb7f1627cef85fd51f6bec986b541a7cea6ebc72212cbe69d0886f40dc5d28b6f43808c9300d2cc22c2de6ef5eeb1c156cd2427d"
}