Hi, Really cool! Thank you for the heads-up.
On Thu, 03 Nov 2022 at 15:44, Efraim Flashner <efr...@flashner.co.il> wrote: > We should also continue working on implementing a > change in the ACL to allow requiring a K of N agreement between > different substitute servers that a build is correct^2. I am not a specialist about consensus algorithm so maybe I am totally out of topic. This K-of-N agreement looks like a Proof of Stake [1]. Well, the problem looks like «Byzantine generals problem» [2] and I do not know what is the state of the art. Somehow Paxos [3] algorithm and variants are often implemented to keep consistent a distributed database (which is another way to see “different substitute servers”). Maybe, it could be worth to compare the various approaches… well, if it has not already been done. :-) 1: <https://en.wikipedia.org/wiki/Proof_of_stake> 2: <https://en.wikipedia.org/wiki/Byzantine_fault> 3: <https://en.wikipedia.org/wiki/Paxos_(computer_science)> Cheers, simon
