AviBurra on Nostr: so if a priori formal verification is possible, why do we need gas?
so if a priori formal verification is possible, why do we need gas?
Published at
2022-12-22 14:30:36Event JSON
{
"id": "90f3524b21bce6b72328df74a44cf6125996e59ba9d584ed7cdf1a2c9ca92674",
"pubkey": "b83a28b7e4e5d20bd960c5faeb6625f95529166b8bdb045d42634a2f35919450",
"created_at": 1671719436,
"kind": 1,
"tags": [
[
"e",
"44a7bc382c55adaa226c3ffd8ed0d7d4394e5cdd7201d42e080f8a3139146f89",
""
],
[
"e",
"83e78db6be3d0f1ec32a3da5c64dca98fb0be6c54e207fdec6d8919b431a231c"
],
[
"p",
"5c10ed0678805156d39ef1ef6d46110fe1e7e590ae04986ccf48ba1299cb53e2"
]
],
"content": "so if a priori formal verification is possible, why do we need gas?",
"sig": "3e880fdaa77d60474abbf056370523295b38bbb5d37abd08f561813591e1b7b4e4d2d02a2bf721e5b28a9019f4732b0e4e9bc125033af2bf17bc7ccb8b527af0"
}
