@inproceedings{9af963d0f8fe479dbc146a175e4851a5,
title = "Kaizen: Building a performant blockchain system verified for consensus and integrity",
abstract = "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.",
author = "Faria Kalim and Karl Palmskog and Jayasi Mehar and Adithya Murali and Indranil Gupta and P. Madhusudan",
note = "Publisher Copyright: {\textcopyright} 2019 FMCAD Inc.; 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019 ; Conference date: 22-10-2019 Through 25-10-2019",
year = "2019",
month = oct,
doi = "10.23919/FMCAD.2019.8894248",
language = "English (US)",
series = "Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "96--104",
editor = "Clark Barrett and Jin Yang",
booktitle = "Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019",
address = "United States",
}