Binance, el intercambio de criptomonedas más grande del mundo, publicó su informe de reservas de agosto de 2023, que muestra un índice de reservas muy superior al 100% para todas sus principales tenencias de criptomonedas.

La divulgación forma parte del compromiso continuo de Binance de mantener un sistema de Prueba de Reservas (PoR), que proporcione evidencia de que tiene fondos suficientes para cubrir todos los depósitos de los clientes. El informe se basa en una auditoría de BTC Block Height 801130 a partir de datos agregados actualizados al 1 de agosto de 2023.

La Prueba de Reservas (PoR) es un protocolo de transparencia que confirma la solvencia de un intercambio de criptomonedas. Funciona como prueba de que el intercambio posee fondos suficientes para cubrir los activos de los usuarios en una proporción de 1:1. Básicamente, cuando un usuario deposita un Bitcoin, las reservas de Binance aumentan en al menos un Bitcoin, garantizando así que todos los fondos del cliente estén totalmente respaldados. Estas cifras no incluyen las participaciones corporativas de Binance, que se mantienen separadas.

El informe PoR de Binance demuestra que las reservas del intercambio están muy por encima del saldo neto del cliente para todas las criptomonedas reportadas, incluidas Bitcoin, Ethereum, Binance Coin, Tether, BUSD y USDC, con tasas de reserva que oscilan entre el 101,62% y el 117,99%. Esto demuestra que la empresa tiene reservas más que suficientes para hacer frente a todos los posibles retiros de clientes.

PoR tiene como objetivo aumentar la transparencia, la seguridad y la protección del usuario en el ecosistema de las criptomonedas. Como tal, disuade a los intercambios de hacer un mal uso de los fondos de los usuarios y promueve la confianza entre los usuarios. En línea con esto, los usuarios de Binance pueden verificar ellos mismos la inclusión de su cuenta en la última verificación PoR, lo que enfatiza aún más el compromiso del intercambio con la transparencia y la confianza de los usuarios.

Cómo funciona la prueba de reservas (PoR) con los árboles Merkle

Para garantizar que todos los activos de los usuarios se mantengan 1:1, Binance ha implementado un sistema que aprovecha los árboles Merkle. Un Merkle Tree es una herramienta criptográfica que facilita la condensación de grandes volúmenes de datos en un único hash, llamado Merkle Root. Esta raíz actúa como un "sello" criptográfico que resume todos los datos de entrada. Además, Merkle Trees permite a los usuarios verificar contenidos específicos incluidos dentro de un conjunto particular de datos sellados.

En el contexto de PoR, Binance utiliza las propiedades de Merkle Trees para verificar que las cuentas de usuarios individuales estén incorporadas en el informe de pasivos inspeccionado por un auditor. Cada usuario puede verificar sus tenencias de activos utilizando su ID de registro/hash Merkle único generado.

Aquí hay un desglose paso a paso del proceso:

Verificar la propiedad de la dirección: Binance primero verifica que la propiedad de las billeteras (tanto billeteras frías como calientes) utilizadas en el proceso PoR pertenecen al intercambio.

Instantánea de los saldos de los usuarios: se toma una instantánea de las tenencias de activos dentro de la cuenta de cada cliente en una fecha y hora específicas.

Generación de Merkle Tree: Binance genera un bloque de datos subyacente vinculando la ID de usuario con hash y el saldo de cada usuario. A partir de los datos de todos los usuarios, se crea un árbol Merkle. Si cambia algún ID de cuenta o saldo en el nodo hoja, la raíz de Merkle también cambiará. En consecuencia, cada usuario puede verificar si sus activos están incluidos en el nodo hoja.

zk-SNARK en el proceso de verificación

Junto con Merkle Trees, Binance también utiliza zk-SNARK (Argumento de conocimiento no interactivo, sucinto y no interactivo de conocimiento cero) en el proceso de verificación. Un zk-SNARK es un protocolo de prueba que permite demostrar que conoce un valor sin revelar cuál es ese valor.

En el caso de Binance, el intercambio utiliza un zk-SNARK para demostrar que todos los conjuntos de saldos de los nodos hoja (es decir, los saldos de las cuentas de los usuarios) contribuyen al saldo total de activos del usuario reclamado por el intercambio. Cada usuario puede acceder fácilmente a su nodo hoja para ver si se incluyó en el proceso.

El uso de zk-SNARK sigue algunos pasos:

Verificar la propiedad de la dirección: al igual que en el proceso anterior, Binance verifica la propiedad de las billeteras (tanto frías como calientes) utilizadas en el proceso PoR.

Instantánea de los saldos de los usuarios: nuevamente, se toma una instantánea de las tenencias de activos dentro de la cuenta de cada cliente.

Generar prueba de zk-SNARKs: los archivos de prueba de zk-SNARKs se generan para cada usuario. Esto permite que cada usuario acceda fácilmente a su nodo hoja y verifica que el saldo neto total del usuario sea mayor o igual a cero.

Además de estos métodos de autoverificación, Binance también utiliza auditorías de terceros para proporcionar informes de auditoría, lo que refuerza aún más la seguridad y la transparencia del proceso de verificación.

Descargo de responsabilidad: este artículo se proporciona únicamente con fines informativos. No se ofrece ni pretende ser utilizado como asesoramiento legal, fiscal, de inversión, financiero o de otro tipo.