This is fantastic news. What would you say were the hardest aspects of the design and implementation, in terms of effort and thinking that went into those accomplishments ?
Here is a post on building a dummy key-value db to test jepsen https://vectorized.io/validating-consistency/