Fascinating. I am not super familiar with the verification of consensus systems like this one, but have done some work testing resilience and consistency guaran

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? [1] https://github.com/jepsen-io/jepsen https://github.com/jepsen-io/jepsen