Иногда я сдулся, насколько тщательно Pieter Wuille это ...

https://github.com/bitcoin/bitcoin/pull/6954#issuecomment-167126321

Для всех выше, мы имеем: * Высокий охват теста (только недостающие части криптографический маловероятно, чтобы добраться до них). * Рука проверяемого доказательство корректности алгоритма умножения поля (доказуемо не перелив, и доказуемо эквивалентно правильная реакцию предполагая отсутствие переполнения). * Компьютер проверить доказательство правильности групповых формул сложения (система компьютерной алгебры может доказать полиномиальную эквивалентность между реализацией и математическими выражениями для результата). * Специальный компилируется режим, который изменяет константу в конечном итоге с очень небольшой группой, и исчерпывающего тесты, все предположения остаются верными (в процессе, Эндрю Poelstra). * Тестовые для кода скалярного, которые были извлечены из набора 1 триллион случайно сгенерированных тестов, которые дают очень высокий уровень охвата, а также незавершенной к алгебраически выведут случаи которые вызывают (почти) недостижимые остальное. Кроме того: * Есть режим старого билда, который используется bignum кода OpenSSL для целочисленных операций помогли обнаружить ошибку в коде OpenSSL квадратной (CVE-2014-3570). * Во время испытания мы обнаружили платформы несогласованность в подписи синтаксического анализа кода OpenSSL, (фиксированный по BIP66). * Наша ECDSA подпись fuzzer указал несколько типов неизвестных ранее недопустимых типов сигнатур, что OpenSSL принятых (обнаружено после BIP66 вступил в силу).