> I can't help thinking that we need a higher bar of correctness than the author's claims and some unit tests. Would you use a distributed algorithm that didn't come with a correctness proof?
Not any chance. Using any multi party algorithm, without any formal proof of any kind, and you just know that there is something that will not work as expected.
Not any chance. Using any multi party algorithm, without any formal proof of any kind, and you just know that there is something that will not work as expected.