¡Los “teóricos de la conspiración” tenían razón otra vez!

El proyecto piloto de la moneda digital del Banco Central de Brasil, el Real Digital, permite congelar las billeteras de los usuarios y reducir los saldos, como siempre fue muy sospechado por los “teóricos de la conspiración”.

El verdadero digital

El presidente del Banco Central, Roberto Campos Neto, presentó la agenda digital de Brasil en noviembre de 2022, donde se presentó un avance de la aplicación Real Digital. Según Campos, «Real Digital, la moneda digital del banco central (CBDC) en Brasil, parece tokenizar el sistema bancario». Explicó que la CBDC no es más que un token emitido por el banco al momento del depósito. (fuente).

Sin embargo, es claramente más que eso, como lo revela un reportaje del periodista Vini Barbosa en el sitio web Portal do Bitcoin.

La Auditoría Pública

El lunes 3^rd En julio, el Banco Central de Brasil (Bacen) publicó información sobre su programa piloto de moneda digital, que ofreció participación pública en su auditoría. Como resultado, los desarrolladores descubrieron que la moneda digital permite la congelación y manipulación de las billeteras de los usuarios.

Según Barbosa, tras la publicación de la documentación sobre el proyecto piloto de CBDC brasileño el GitHubEl Banco Central de Brasil también permitió el inicio de una auditoría pública del código fuente del sistema.

La auditoría pública y colaborativa de su CBDC piloto en la plataforma abierta “Incorporación del kit” contiene documentación y archivos de configuración a los que cualquier persona puede acceder, ya que uno de los propósitos de la publicación del piloto (como está escrito en el llamado “Onboarding Kit” del proyecto) es recibir retroalimentación, dejando toda la documentación sujeta a evolución o cambios.

Desarrolladores

Como era de esperar, la auditoría atrajo la atención y los comentarios de varios desarrolladores, quienes analizaron el código y descubrieron algunas funciones desconocidas (comandos). Estas funciones permiten a los controladores realizar cambios relevantes en los datos del libro mayor de las CBDC, lo que afecta directamente a sus usuarios.

Ingeniería inversa

Un desarrollador full-stack Pedro Magalhaes que se especializa en Blockchain y DeFI, y el lenguaje de programación Solidity, anunció en LinkedIn que había “descubierto el código fuente del CBDC de Solidity a través de la ABI (interfaz) de Real Digital usando ingeniería inversa”.

Magalhães escribió: “Recientemente, me adentré en el mundo de las ABIs (interfaces) de Real Digital, una iniciativa del Banco Central, con la intención de explorar posibles vulnerabilidades con fines puramente didácticos”.

En una conversación con Portal do Bitcoin, Magalhães explicó: “La ingeniería inversa es una técnica para entender cómo funciona un sistema simplemente observando su comportamiento” y que una Interfaz Binaria de Aplicación (ABI) es “básicamente una forma de interactuar con contratos inteligentes en Ethereum.

Es como un manual que explica cómo se lee y se redacta el contrato. Continúa explicando: «Analicé el ABI para comprender las funcionalidades de Real Digital y descubrí las distintas funciones que implementaron».

Esto condujo a sus numerosos hallazgos, incluyendo operaciones como la acuñación de tokens digitales reales y la habilitación o deshabilitación de cuentas objetivo. Además, mediante la aplicación de la técnica de ingeniería inversa, pudo encontrar funciones que cualquier entidad que reciba los permisos correspondientes de la entidad que controla el nuevo sistema, es decir, el Banco Central, puede ejecutar.

Con base en este análisis, Pedro afirma que fue posible recrear el contrato inteligente en Solidity (el lenguaje informático) utilizado en el proyecto piloto. Este contrato permite la ejecución de las siguientes funciones:

Desactivar cuenta: Deshabilita una cuenta autorizada para transferir tokens.

habilitarCuenta: Habilita una cuenta previamente deshabilitada para transferencias de tokens.

aumentarSaldoCongelado: Aumenta el saldo congelado de una dirección de billetera.

Disminuir saldo congelado: Disminuye el saldo congelado de una dirección de billetera.

transferir: Anula la función de transferencia ERC20 para incluir verificaciones del estado de la cuenta y saldos congelados.

Transferido de: Anula la función transferFrom ERC20 para incluir verificaciones del estado de la cuenta y saldos congelados.

menta: Crea nuevos tokens digitales reales para una dirección específica.

quemar: Quema (destruye) una cantidad específica de tokens digitales reales.

pausa: Pausa las transferencias de tokens.

reanudar: Reanuda las transferencias de tokens.

BalanceDeCongelado: Recupera el saldo congelado de una dirección de billetera.

Cuenta autorizada: Comprueba si una cuenta está autorizada para transferencias de tokens.

movimiento: Transferir tokens de una billetera a otra.

moverYQuemar: Transfiere y quema tokens desde una billetera.

quemarDe: Quema tokens de una cuenta específica.

Estas funciones pueden ser realizadas por cualquier entidad autorizada por el Banco Central a través de otra función (también presente en el código fuente), denominada Control de Acceso. Portal do Bitcoin También verifiqué y confirmé con otros desarrolladores la existencia de estas funciones en el Digital real código fuente.

¿Destinado al entorno de prueba?

Barbosa dice que el Banco Brasileño afirmó originalmente que “el Digital real El proyecto piloto está destinado a ser utilizado únicamente en un entorno de prueba y no debe reproducirse para operaciones reales”. Sin embargo, al ser consultado por el informe, el Banco Central admitió la posibilidad de ejecutar las funciones descubiertas por Magalhães.

Sin embargo, “El BC y las instituciones ya cuentan con funcionalidades similares en el entorno actual de sistemas como SPB y Pix, siendo su uso regulado por ley y regulación”, informó la autoridad monetaria del país.

El banco confirmó que mantendrá las funciones

El Banco Central confirmó sus planes de mantener las funciones que permiten a la autoridad monetaria y a las entidades autorizadas congelar cuentas de usuarios, disminuir los saldos de direcciones objetivo, detener, y acuñar nuevas unidades de la moneda digital (CBDC).

Barbosa tuiteó: “Hasta hoy, la población solo especulaba si se mantendrían después de la Digital reallanzamiento oficial; o si solo se hicieron para la red de prueba.

*informe completo (en pt-br): https://portaldobitcoin.uol.com.br/bc-podera-cong

Esta capacidad de congelar o embargar los montos depositados en este Sistema está protegida por la legislación vigente en Brasil, según el Banco Central. ¿De verdad esperábamos otra cosa? ¿Por qué renunciarían a las funciones que les facilitan el control de las masas?