https://123dok.net/document/qo51kw0y-asynchronous-consensus-with-bounded-memory.html