Lovro Rožić

Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures

2020 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

We present the first mechanized formal model of Bitcoin’s transaction and blockchain data structures including the formalization of the blockchain validation procedures. Our formal model, though still a simplified representation of an actual Bitcoin blockchain, …