Monitoring Ethereum's Beacon Chain for Safety and Liveness

Thu, Jan 1, 1970, 12:00 AM · 09:51

We introduce a new tool that analyzes safety and liveness properties of the Beacon chain, designed to alert when the chain enters periods of low reliability. We present the different critical periods identified from Genesis to Today, and classified by our Defense Readiness Condition (DEFCON) Alert Systems that we propose.