Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity
Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Sen Gupta, P. Madhusudan · 2019
We report on the development of a blockchain system that is significantly verified and performant, detailing the design, proof, and system development based on a process of continuous refinement. We instantiate this framework to build, to the best of our knowledge, the first blockchain (Kaizen) that is performant and verified to a large degree, and a cryptocurrency protocol (KznCoin) over it. We experimentally compare its performance against the stock Bitcoin implementation.