December 22, 2017· Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
conference-paper
Open access
Mechanising blockchain consensus
Abstract
We present the first formalisation of a blockchain-based distributed consensus protocol with a proof of its consistency mechanised in an interactive proof assistant.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.