Lesson 1 — The BFT problem from scratch