Formal methods on some PoS stuff – Yoichi Hirai – Medium

Formal methods on some PoS stuffIn Paris, I received a description of a distributed consensus mechanism. If the description below looks ambiguous or impenetrable, this post is for you. I banged my head to formal verification tools called Alloy and Isabelle/HOL to clarify my understanding (code). Here is the description: Message types:* commit(HASH, view), 0 <= view * prepare(HASH, view, view_sourc