@taoeffect Bitcoin has exactly that problem (losing accepted writes/transactions in forks). At least SCP requires a quorum to accept a write
@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 -
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.