Super Testnet on Nostr: I think optimistic protocols are fine as long as you yourself can prevent fraud from ...
I think optimistic protocols are fine as long as you yourself can prevent fraud from happening against you by doing the verification yourself.
The lightning network is a good example of an optimistic protocol. My counterparty can *try* to broadcast a channel closure transaction containing old state, but I am optimistic that he won't, because whenever he broadcasts a transaction, *I* verify that it contains the current state, and if not, I take his money.
I think bitvm can be like that. Someone can *try* to finalize a bitvm contract without running the bitvm program correctly, but I am optimistic that he won't, because whenever he broadcasts a finalization transaction, *I* can verify that it produces the right result, and if not, I take his money.
The lightning network is a good example of an optimistic protocol. My counterparty can *try* to broadcast a channel closure transaction containing old state, but I am optimistic that he won't, because whenever he broadcasts a transaction, *I* verify that it contains the current state, and if not, I take his money.
I think bitvm can be like that. Someone can *try* to finalize a bitvm contract without running the bitvm program correctly, but I am optimistic that he won't, because whenever he broadcasts a finalization transaction, *I* can verify that it produces the right result, and if not, I take his money.