Bitcoin: Una auditoría independiente elogia la solidez de Bitcoin Core

La auditoría de Bitcoin Core que todos exigían finalmente se llevó a cabo y encontró casi nada para criticar. Para un software que asegura una red valuada en cientos de billions, esto no es un detalle menor. Es una señal fuerte, tanto para los cypherpunks como para las mesas institucionales que acumulan BTC detrás de escena.

Una auditoría de Bitcoin Core aprobada con honores

Durante 104 días, Quarkslab auditó Bitcoin Core para OSTIF, financiado por Brink: la primera auditoría pública histórica. El objetivo era verificar si el software que ejecuta la mayoría de los nodos de BTC realmente merece la confianza que se le ha otorgado durante años.

El alcance no fue un detalle menor. Los auditores se enfocaron en las partes más sensibles: la capa peer-to-peer (P2P), la lógica de validación de bloques, la gestión del estado de la cadena y los escenarios de reorganización. En resumen, todo aquello que, en caso de un bug sutil, podría desestabilizar toda la red.

Resultado: ninguna vulnerabilidad crítica, alta ni siquiera media. Solo se detectaron dos problemas menores, con algunas recomendaciones dirigidas a herramientas de fuzzing y a mejorar la cobertura de pruebas. Estos puntos no afectan el consenso, la resistencia a ataques DoS ni la validación de transacciones. Para más de 200.000 líneas de C++ y 1.200 pruebas, los auditores elogian una base de código entre las más maduras.

P2P, mempool, reorganizaciones: el núcleo de la red bajo la lupa

La auditoría de Bitcoin Core se centró en la capa P2P, donde transitan bloques, transacciones y el descubrimiento de pares. Cada nodo puede manejar unas 125 conexiones, convirtiendo esta red en una gigantesca telaraña de propagación. Los auditores exploraron caminos alternativos, intentando eludir la validación y los bloqueos de pares maliciosos en Bitcoin Core. No encontraron ninguno explotable.

Luego, se puso atención en el mempool, las transiciones de estado de la cadena y la gestión de reorganizaciones. Estas áreas críticas pueden causar divergencias en la cadena, desincronizaciones temporales o abrir la puerta a ataques sofisticados. Una vez más, la auditoría no reveló vectores de ataque prácticos que pudieran ser explotados en la red real.

Por sobre todo, Quarkslab no se limitó a marcar casillas . El equipo recomendó ampliar el fuzzing con nuevos escenarios, especialmente sobre la conexión de bloques y reorganizaciones. Esto ya se traduce en nuevos harnesses de fuzzing, mejor gestión del sistema de archivos para acelerar las pruebas y herramientas para detectar regresiones de rendimiento a lo largo del tiempo. En resumen, la auditoría no solo afirma que hoy es sólido, sino que refuerza la capacidad de Bitcoin Core para seguir siendo robusto en el futuro.

Mientras la auditoría de Bitcoin Core terminó sin fallas, otra tormenta se gestaba en la comunidad. En octubre, la actualización Bitcoin Core v30, descrita por algunos como un cambio que amenaza la unidad de la red, reavivó las tensiones entre los partidarios de Bitcoin Core y los de Bitcoin Knots.