Work

A Methodology for a Probabilistic Security Analysis of Sharding-Based Blockchain Protocols