3 ms·
Looks interesting, but where is the proof? Distributed consensus is HARD. Without a formal proof why should I trust this? TLA+ would be great, but I'd be happy
by User23 7y ago
Looks interesting, but where is the proof? Distributed consensus is HARD. Without a formal proof why should I trust this? TLA+ would be great, but I'd be happy with anything that demonstrated formal correctness.
- toomim 7y agoBraid itself is just a neutral protocol— the proof you want applies to the particular CRDT or OT algorithm that you use with it. For instance, you can use it with ShareDB, or Automerge. Both of these synchronizers are quite robust, and prove correctness with fuzz testing. Links: https://github.com/automerge/automerge https://github.com/automerge/automerge https://github.com/share/sharedb https://github.com/share/sharedb