@bascule Forks seem likely, and once they occur reconciliation seems impossible.
@taoeffect if it does, then there's something wrong with their correctness proofs
-
-
@taoeffect which is entirely possible, and why they should write their proofs in something amenable to automated model checking (e.g. TLA+) -
@taoeffect I'm pretty sure Tendermint is broken, for example -
@bascule Yeah, Tendermint, NXT, and Slasher all can lose writes due to forks. I haven't had a chance to check Peercoin or Hyperledger. -
@taoeffect Tendermint, NXT, and Slasher all lack correctness proofs AFAICT
End of conversation
New conversation -
-
-
@bascule@taoeffect it's easy to forget that "proofs" are based on assumptions which themselves are unproven and often incorrect -
@stevedekorte@taoeffect they're based on temporal logic: https://en.wikipedia.org/wiki/Temporal_logic … -
@bascule@taoeffect real world assumptions are involved: how compute power is distributed, network connectivity, game theory wrt humans, etc -
@bascule@taoeffect of course, the most dangerous assumption is that there is such a thing as a trustworthy third party -
@stevedekorte@taoeffect most Bitcoin startups to-date are Trusted Third Parties-as-a-service -
@bascule@taoeffect Yes, exchanges are a necessary evil until the fiats collapse. Fortunately, we won't have to wait long.
End of conversation
New conversation -
-
-
@bascule@taoeffect …if one can choose the assumptions, one can prove anythingThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.