https://123dok.net/document/z1d3wvr3-synchronous-byzantine-lattice-agreement-in-o-log-rounds.html