Last week Yoichi released a blog post detailing the process of formally proving safety and liveness properties of my “minimal slashing…

Continue reading on Medium ยป

Source and More information: Minimal Slashing Conditions

Author: Vitalik Buterin