В дао-контракте проблема была в том, что высокоуровневая команда solidity давала после компиляции небезопасный набор OP-кодов. То есть ошибку невозможно было найти, прочитав код solidity, а только разобравшись в низкоуровневых опкодах, чего никто никогда не делает.
Нихуя подобного. В дао-контракте проблема была в криворукости говногодера, который писал эти несчастные 200 строк говно-кода. Уже 1000 раз обсосано было