hylomorphic on Nostr: Syllogism: 1) If it is true that BIP110 is unnecessary, then the set of possible ...
Syllogism:
1) If it is true that BIP110 is unnecessary, then the set of possible malicious attacks of 2^83 must be equal to 2^100,000
2) the sets of possible malicious attacks are NOT equal
3) MT ∴ BIP100 is necessary
Published at
2026-07-08 00:52:20 UTCEvent JSON
{
"id": "c83d05fd6c3f984de1b66789373136b6468c90554529c1b54886f34a261e0928",
"pubkey": "38a1cd1be90b9a898d2415dc101df0870f15b72ea23cdb0adfaafac80d02fd09",
"created_at": 1783471940,
"kind": 1,
"tags": [],
"content": "Syllogism:\n1) If it is true that BIP110 is unnecessary, then the set of possible malicious attacks of 2^83 must be equal to 2^100,000\n\n2) the sets of possible malicious attacks are NOT equal\n\n3) MT ∴ BIP100 is necessary",
"sig": "899593cb21ce760117c9726c3574db6be8482d69458de8e946cb08c8d868ff432668d11596c2b5814a23846e8462f293144def0a27eefc04d4be44d258d5c82e"
}
