Kaizen: Building a performant blockchain system verified for consensus and integrity

Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019
EditorsClark Barrett, Jin Yang
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages96-104
Number of pages9
ISBN (Electronic)9780983567899
DOIs
StatePublished - Oct 2019
Event19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019 - San Jose, United States
Duration: Oct 22 2019Oct 25 2019

Publication series

NameProceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019

Conference

Conference19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019
CountryUnited States
CitySan Jose
Period10/22/1910/25/19

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Safety, Risk, Reliability and Quality
  • Computational Mathematics
  • Modeling and Simulation

Fingerprint Dive into the research topics of 'Kaizen: Building a performant blockchain system verified for consensus and integrity'. Together they form a unique fingerprint.

  • Cite this

    Kalim, F., Palmskog, K., Mehar, J., Murali, A., Gupta, I., & Madhusudan, P. (2019). Kaizen: Building a performant blockchain system verified for consensus and integrity. In C. Barrett, & J. Yang (Eds.), Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019 (pp. 96-104). [8894248] (Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/FMCAD.2019.8894248