Browse Research and Tech Reports - Computer Science by Subject "Casper, Blockchain, Formal Verification"

  • Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Rosu, Grigore (2018-11-19)
    This report describes our effort to model and verify the Casper blockchain finality system in the Coq proof assistant. We outline the salient details on blockchain systems using Casper, describe previous verification ...


    application/pdfPDF (424kB)