Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity

This repository contains resources for the Kaizen blockchain system, presented at FMCAD 2019.

• Coq modified Toychain

• Coq Bitcoin instantiation

• Dafny refinements (to appear)

• C# refinements (to appear)