Ein Einblick, wie es sich anfühlt, eine Quint-Spezifikation aus einer leeren Datei zu schreiben. Eine neue Spezifikation für den Tendermint-Konsens zu schreiben, jetzt mit all dem Wissen und den Techniken, die wir in den letzten 3 Jahren entwickelt haben. Mein Lieblingsteil sind die Ausführungsbeschreibungen. Sie zu schreiben, hat alles so gut zusammengefügt!