Tonalli Shield: si la IA acelera el código, debemos elevar la evidencia

Cuando Brandon Black presentó rbitcoin, la parte más provocadora no fue Rust, el tamaño del archivo ni la velocidad de sincronización. Según la política de seguridad del proyecto, todo el código first-party fue escrito por Grok bajo su dirección.

Para nosotros, esa declaración no elimina al ingeniero: hace más visible su responsabilidad. Una IA puede producir una arquitectura ambiciosa, escribir miles de líneas, generar pruebas y proponer soluciones con una velocidad que hace pocos años parecía imposible. Lo que no puede hacer es decretar que esa arquitectura es segura.

Esa diferencia está en el centro de Tonalli Shield.

La IA ya puede escribir el experimento

rbitcoin es un precedente importante porque lleva el desarrollo asistido por IA a una de las zonas más sensibles del software: un nodo completo de Bitcoin, donde un error puede aceptar una cadena inválida, rechazar una cadena válida o servir información equivocada a una wallet.

El proyecto es transparente sobre su autoría y también sobre su inmadurez. Su documentación lo clasifica como software experimental 0.x y su guía de mainnet utiliza un lenguaje inequívoco: uso de laboratorio, alta vigilancia y ninguna equivalencia demostrada con Bitcoin Core o Fulcrum.

Más importante todavía: el registro público de rbitcoin reúne 21 hallazgos externos, incluidos dos críticos y nueve de severidad alta. Según el propio repositorio, todos fueron corregidos y recibieron pruebas de regresión. Al mismo tiempo, su documento de calidad reconocía que el fuzzing diferencial continuo seguía pendiente dentro del proyecto.

Eso es exactamente lo que viene para la ciberseguridad dentro del ecosistema Bitcoin: más implementaciones, más experimentos y más capacidad para buscar fallos; pero también más código del que ningún equipo humano podrá confiar por simple lectura o reputación.

La IA elevará simultáneamente la capacidad ofensiva y defensiva. Podrá comparar implementaciones, generar secuencias adversariales, encontrar conversiones peligrosas, descubrir estados imposibles y automatizar regresiones. También podrá reproducir errores con enorme velocidad, inventar APIs plausibles que no existen y producir explicaciones convincentes para garantías nunca demostradas.

Por eso la nueva unidad de confianza no puede ser “lo escribió un experto” ni “lo escribió una IA”. Debe ser la evidencia reproducible asociada a un commit exacto.

Tonalli Shield es la pregunta principal

Nos interesa rbitcoin como precedente, pero nuestro objeto principal es Tonalli Shield: una investigación sobre si puede construirse para eCash una máquina de estados privada, auditable y no custodial, sin reemplazar la verdad pública del nodo y sin sacar de Tonalli Wallet los secretos o la autorización del usuario.

No estamos anunciando un producto. El proyecto permanece en PRE-ENGINEERING. La implementación funcional no ha comenzado, el uso de mainnet y fondos reales está prohibido, no existe una L2 operativa, no asumimos que exista una subnet nativa de eCash y la arquitectura zero-knowledge continúa siendo una hipótesis de investigación.

El estado público confirma esa cautela: la rama principal del repositorio independiente contiene únicamente la licencia; la misión, los límites y las decisiones propuestas viven por ahora en un PR documental abierto y en borrador. Son un expediente de investigación, no código ejecutable ni evidencia de una capacidad desplegada.

Ésa no es una debilidad de comunicación. Es el primer control de seguridad. En una industria que suele anunciar la solución antes de escribir el modelo de amenazas, nosotros queremos preservar el derecho técnico a concluir que una idea debe rediseñarse o detenerse.

Las fronteras que no negociamos

La arquitectura propuesta distribuye autoridad. Ningún componente debe apropiarse de funciones que pertenecen a otro:

Si Bitcoin ABC y Chronik discrepan, Shield debe detenerse. Si falta historia, aparece un nullifier duplicado, una raíz no puede reconstruirse o una prueba pertenece a otro dominio, el gate debe permanecer cerrado. Pero Fail Closed tampoco significa inventar restricciones: significa obedecer con precisión la especificación y negarse a completar los huecos con defaults convenientes.

ZK: primero la propiedad, después el circuito

Zero-knowledge puede ser parte de la respuesta, pero hoy no es una garantía de Tonalli Shield. Antes de elegir un circuito debemos escribir la afirmación que queremos demostrar:

Después tendremos que intentar refutarla: qué información residual puede correlacionarse, cómo se vincula la prueba a la cadena, la versión y el propósito, qué ocurre ante replay o reorg, dónde vive el witness, de dónde provienen los parámetros y cuánto cuesta generar una prueba en el dispositivo real.

No comenzaremos por elegir una tecnología y después inventar qué protege. Una prueba que devuelve true no demuestra nada si verificó la propiedad equivocada.

Nuestro fork de Bitcoin ABC: infraestructura paciente

xolosArmy/bitcoin-abc es nuestra superficie controlada de investigación alrededor del software de nodo de eCash. Hoy funciona como hogar documental y su rama pública está divergida y desactualizada respecto de upstream: no es una implementación de Shield, una nueva red ni un fork hostil de consenso.

Su alcance futuro es más sobrio y, por eso mismo, más útil: fijar versiones upstream, verificar procedencia, reproducir builds, mapear capacidades reales de Bitcoin ABC, Chronik, Avalanche y regtest, y construir fixtures deterministas contra los cuales una futura máquina de estados pueda ser comparada.

El propio expediente del fork advierte que su base documentada está desactualizada y que no debe utilizarse como base de implementación hasta completar una sincronización upstream separada y revisada. Ese bloqueo debe respetarse. Tener una copia del código no equivale a tener una distribución verificada; tener hashes o firmas tampoco equivale a haber probado correctamente la cadena de confianza.

“Desarrollo a futuro” significa aquí preservar conocimiento y opcionalidad: un lugar donde investigar sin contaminar upstream, sin modificar consenso y sin fingir que una capacidad ausente ya existe. Cualquier delta futuro respecto de Bitcoin ABC tendrá que identificarse, justificarse y probarse por separado.

Cómo debe involucrarse la IA

En Tonalli Shield no queremos usar IA para reducir el estándar de ingeniería, sino para volver el proceso más adversarial y verificable. Su participación puede ser profunda:

1. mapear capacidades desde código, pruebas y artefactos fijados;
2. proponer especificaciones y modelos de estado que un humano pueda revisar;
3. generar vectores límite, secuencias de reorg, datos malformados y campañas diferenciales;
4. rastrear cada requisito hasta código, test, log y digest;
5. buscar contradicciones entre documentación, implementación y comportamiento observado;
6. convertir cada hallazgo reproducible en una regresión permanente.

Pero la IA no puede ser la autoridad que aprueba su propio trabajo. El modelo de amenazas, la aceptación de riesgo, la propiedad que una prueba debe demostrar y la decisión de cruzar un gate siguen siendo responsabilidades humanas y, cuando sea posible, deben recibir reproducción independiente.

Cuatro resultados honestos

Tonalli Shield no está diseñado para producir obligatoriamente un “sí”. La investigación puede terminar en cualquiera de cuatro resultados:

Si la evidencia concluye NO-GO, Shield habrá cumplido una función valiosa: impedir que una narrativa se convierta en riesgo técnico.

Construir también significa saber detenerse

rbitcoin hace visible una nueva realidad: la IA puede convertir una idea de años en una base de código en muy poco tiempo. La respuesta responsable no es correr más rápido hacia producción. Es construir mejores mecanismos para detenernos, comparar, reconstruir y admitir que una hipótesis falló.

Para xolosArmy, Tonalli Shield representa esa disciplina. Queremos investigar privacidad y estado derivado sobre eCash, pero hacerlo sin pedir confianza anticipada, sin usar fondos como herramienta de descubrimiento y sin atribuirle a la criptografía propiedades que todavía no han sido demostradas.