It's alive! Cardano has successfully hard forked to its major upgrade, Shelly, which introduced proof-of-stake to the network