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

La auditoría de Bitcoin Core que todos estaban exigiendo finalmente se ha realizado y no encontró casi nada que criticar. Para un software que asegura una red valorada en cientos de miles de millones, esto no es un detalle menor. Es una señal fuerte, tanto para los cypherpunks como para los equipos institucionales que acumulan BTC tras bambalinas.

Una auditoría de Bitcoin Core superada con gran éxito

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 era un detalle cosmético. Los auditores se centraron 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 error sutil, podría desestabilizar toda la red.

Resultado: ninguna vulnerabilidad crítica, alta o incluso media. Solo se detectaron dos problemas menores, con algunas recomendaciones dirigidas a las herramientas de fuzzing y a mejorar la cobertura de pruebas. Estos puntos no afectan al consenso, la resistencia a ataques DoS ni a 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 examinado de cerca

La auditoría de Bitcoin Core se centró en la capa P2P, donde transitan los bloques, las 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 rutas alternativas, intentando eludir la validación y las prohibiciones de pares maliciosos en Bitcoin Core. No encontraron ninguna explotable.

Luego, la atención se centró 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 encima de todo, Quarkslab no se limitó a marcar casillas. El equipo recomendó ampliar el fuzzing con nuevos escenarios, especialmente en la conexión de bloques y las reorganizaciones. Esto ya se traduce en nuevos entornos 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 fallos, otra tormenta se estaba gestando 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.