Исходное сообщение
"Ошибка в реализации криптовалюты Zcoin позволяла повторно тр..." Отправлено авпыв, 22-Фев-17 00:44
> Криптовалюты — как раз та область, где формальная верификация кода просто необходима. > И, естественно, не на хрупких, допускающих неопределённое поведение и чувствительных к > окружению языках типа C и C++ там код должен писаться (кстати, > некоторые дистрибутивы не поставляют биткоин из-за опасений, что отличия в сборочном > окружении могут привести к несовместимостям и форку блокчейна). Формальная верификация 1 невозможна для проектов крупнее hello world 2 не нужна: как же тогда лохов на бекдорах разводить а вот статический анализ строго обязателен. Я уверен, что, если это не бекдор, то такое дерьмо нашли, прогнав статический анализатор