From the article, this appears to be an implementation of Making CRDTs Byzantine Fault Tolerant [0] in Rust [1].

[0]: https://martin.kleppmann.com/papers/bft-crdt-papoc22.pdf

[1]: https://github.com/jackyzha0/bft-json-crdt