Submit a story or source

Suggesting a link for: Eth R&D forum discussion proposes formal verification requirement for client hard fork upgrades