What does HackerNews think of jepsen?
A framework for distributed systems verification, with fault injection
Language:
Clojure
If you only used the versions of databases tested by Jepsen you would have problems worse than data loss, such as security vulnerabilities, because some tests are years old.
Then, has someone independently verified the Jepsen testing framework? https://github.com/jepsen-io/jepsen/
I mean they're automated but also hand crafted.
One very nice example of this is Jepsen:
Fascinating. I am not super familiar with the verification of consensus systems like this one, but have done some work testing resilience and consistency guarantees of distributed data stores. Would something like Jepsen [1] be useful here? Could it be adapted to verify contracts like those of BTC with similar modifications to adapting it to verify, say, a new distributed database?