Индекс форумов |
Исходное сообщение |
---|
"Ошибка в реализации криптовалюты Zcoin позволяла повторно тр..." Отправлено Аноним, 19-Фев-17 00:12 |
Криптовалюты — как раз та область, где формальная верификация кода просто необходима. И, естественно, не на хрупких, допускающих неопределённое поведение и чувствительных к окружению языках типа C и C++ там код должен писаться (кстати, некоторые дистрибутивы не поставляют биткоин из-за опасений, что отличия в сборочном окружении могут привести к несовместимостям и форку блокчейна). |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |