tranny demon hacker on Nostr: since R'(P, X*) is true iff R(X*) is true, and moreover, P is a perfect ...
since R'(P, X*) is true iff R(X*) is true, and moreover, P is a perfect representation of _why_ R(X*) is true, then the ways in which, say, X_3 participates in the valid R(X*) proof is captured entirely by X_3's relation to P in R'
Published at
2024-10-28 16:16:08Event JSON
{
"id": "cf01881b80a86d98d36be133401e240aa2b13a5392e25bba7b6487d29cba3442",
"pubkey": "6e5b64a93f9c17d6528911485e399c8be0361c502e3c736e8118f8e00d950d0c",
"created_at": 1730132168,
"kind": 1,
"tags": [
[
"e",
"bf3753af64146086aead26957dafce48a6718d9291108893983ba41c2ddebd2f",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/113385941808903502",
"activitypub"
]
],
"content": "since R'(P, X*) is true iff R(X*) is true, and moreover, P is a perfect representation of _why_ R(X*) is true, then the ways in which, say, X_3 participates in the valid R(X*) proof is captured entirely by X_3's relation to P in R'",
"sig": "71f591c3eb05b63c1a5291d677043f692d7e1c5766d908b76ec2fc0460a57042aad26a2bed5045246c9c32a0459bde647a5bfe54a081b72aa2004da02e54a439"
}
