Bitcoin: Независимый аудит высоко оценил надежность Bitcoin Core

Аудит Bitcoin Core, которого все так ждали, наконец-то состоялся и практически не выявил никаких недостатков. Для программного обеспечения, обеспечивающего безопасность сети стоимостью в сотни миллиардов, это немаловажная деталь. Это сильный сигнал как для киберпанков, так и для институциональных инвесторов, которые накапливают BTC за кулисами.

A Bitcoin Core audit passed with flying colors

В течение 104 дней Quarkslab проводила аудит Bitcoin Core для OSTIF при финансировании Brink: это первый в истории публичный аудит. Целью было проверить, действительно ли программное обеспечение, на котором работают большинство узлов BTC, заслуживает доверия, оказанного ему годами.

Объем проверки был не просто формальностью. Аудиторы сосредоточились на самых чувствительных частях: уровне peer-to-peer (P2P), логике валидации блоков, управлении состоянием цепи, сценариях реорганизации. Короче говоря, на всем, что при наличии тонкой ошибки могло бы дестабилизировать всю сеть.

Результат: ни одной критической, высокой или даже средней уязвимости. Были обнаружены только две незначительные проблемы, с некоторыми рекомендациями, касающимися инструментов fuzzing и улучшения покрытия тестами. Эти моменты не влияют на консенсус, устойчивость к DoS-атакам или валидацию транзакций. Для более чем 200 000 строк кода на C++ и 1 200 тестов аудиторы отмечают одну из самых зрелых кодовых баз.

P2P, mempool, reorganizations: the network’s core examined closely

Аудит Bitcoin Core был сосредоточен на уровне P2P, где проходят блоки, транзакции и обнаружение пиров. Каждый узел может обрабатывать около 125 соединений, превращая эту сеть в гигантскую систему распространения. Аудиторы исследовали обходные пути, пытаясь обойти валидацию и блокировки вредоносных пиров в Bitcoin Core. Эксплуатируемых уязвимостей обнаружено не было.

Затем внимание было уделено mempool, переходам состояния цепи и управлению реорганизациями. Эти критические области могут привести к расхождениям цепи, временной десинхронизации или открыть путь для сложных атак. И здесь аудит не выявил практических векторов атак, которые можно было бы использовать в реальной сети.

Прежде всего, Quarkslab не ограничилась формальной проверкой . Команда рекомендовала расширить fuzzing с новыми сценариями, особенно по подключению блоков и реорганизациям. Это уже реализуется в виде новых инструментов fuzzing, лучшего управления файловой системой для ускорения тестов и инструментов для обнаружения деградации производительности со временем. Короче говоря, аудит не только подтверждает надежность сегодня, но и укрепляет способность Bitcoin Core оставаться устойчивым в будущем.

Хотя аудит Bitcoin Core завершился без выявленных недостатков, в сообществе назревал новый конфликт. В октябре обновление Bitcoin Core v30, которое некоторые описывали как изменение, угрожающее единству сети, вновь разожгло напряженность между сторонниками Bitcoin Core и Bitcoin Knots.