The DAO soft fork solution has a potential DoS vector