pure val L1a = { authority: 0, round: 0, label: "L1a", leader_rank: 0 } pure val L1b = { authority: 1, round: 0, label: "L1b", leader_rank: 1 } pure val L1c ...

Sui employs a delegated proof-of-stake mechanism for validating transactions on the blockchain. To achieve consensus, the Sui blockchain uses the Mysticeti algorithm, which in part is designed to ...

This repository contains an unofficial Quint specification for the Mysticeti-C consensus algorithm based on its paper and public talks. This was written as an exercise and should not be used to inform ...