Binance, el intercambio de criptomonedas más grande del mundo, publicó su informe de reservas para agosto de 2023, que muestra que su índice de reservas para todas las principales tenencias de criptomonedas supera con creces el 100%.
La divulgación es parte del compromiso continuo de Binance de mantener su sistema de Prueba de Reservas (PoR), proporcionando evidencia de que tiene fondos suficientes para cubrir todos los depósitos de los clientes. El informe se basa en una auditoría de la altura del bloque BTC 801130 (actualizado para datos agregados al 1 de agosto de 2023).
La Prueba de Reservas (PoR) es un protocolo transparente que se utiliza para confirmar la solvencia de los intercambios de criptomonedas. Su función es demostrar que el intercambio tiene fondos suficientes para cubrir los activos del usuario en una proporción de 1:1. Básicamente, cuando un usuario deposita Bitcoin, las reservas de Binance aumentan en al menos un Bitcoin, lo que garantiza que todos los fondos de los clientes estén totalmente respaldados. Estas cifras no incluyen las participaciones corporativas de Binance, que son independientes.
El informe PoR de Binance muestra que las reservas del intercambio son significativamente más altas que los saldos netos de los clientes de todas las criptomonedas reportadas, incluidas Bitcoin, Ethereum, Binance Coin, Tether, BUSD y USDC, con un índice de reservas que oscila entre el 101,62 % y el 117,99 %. Esto indica que la empresa tiene reservas suficientes para hacer frente a todos los retiros de clientes potenciales.
PoR tiene como objetivo aumentar la transparencia, la seguridad y la protección del usuario en el ecosistema de las criptomonedas. Por lo tanto, evita que los intercambios hagan un mal uso de los fondos de los usuarios y promueve la confianza entre los usuarios. Con esto, los usuarios de Binance pueden autoverificar si sus cuentas fueron incluidas en la última verificación PoR, lo que subraya aún más el compromiso del intercambio con la transparencia y la confianza de los usuarios.
Cómo funciona la Prueba de reserva (PoR) con los árboles Merkle
Para garantizar que todos los activos de los usuarios se mantengan en una proporción de 1:1, Binance ha implementado un sistema que utiliza árboles Merkle. El árbol Merkle es una herramienta criptográfica que ayuda a comprimir grandes cantidades de datos en un único valor hash, llamado raíz de Merkle. Esta raíz actúa como un "sello" criptográfico que resume todos los datos de entrada. Además, los árboles Merkle permiten a los usuarios verificar contenido específico contenido dentro de un conjunto específico 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 incluidas en los informes de responsabilidad que verifican los auditores. Cada usuario puede verificar sus tenencias de activos utilizando su ID de registro/hash de Merkle generado de forma única.
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 (billeteras frías y calientes) utilizadas durante el proceso PoR pertenece al intercambio.
Instantánea del saldo del usuario: tome una instantánea de las tenencias de activos dentro de cada cuenta de cliente en una fecha y hora específicas.
Generación de Merkle Tree: Binance genera el bloque de datos subyacente vinculando la ID de usuario con hash y el saldo de cada usuario. Luego cree un árbol Merkle basado en los datos de todos los usuarios. Si cambia cualquier ID de cuenta o saldo en un nodo hoja, la raíz de Merkle también cambiará. De esta forma, cada usuario puede verificar si sus activos están incluidos en los nodos hoja.
zk-SNARK durante la verificación
Además de los árboles Merkle, Binance también utiliza zk-SNARK (Argumento de conocimiento no interactivo, sucinto y no interactivo de conocimiento cero) en el proceso de verificación. zk-SNARK es un protocolo de prueba que permite a las personas demostrar que conocen un valor sin revelar cuál es ese valor.
Tomando Binance como ejemplo, el intercambio utiliza zk-SNARK para demostrar que el conjunto de saldos de todos 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 está incluido en el proceso.
El uso de zk-SNARKs sigue los siguientes pasos:
Verificar la propiedad de la dirección: Al igual que con el proceso anterior, Binance verificará la propiedad de las billeteras (billeteras frías y activas) utilizadas en el proceso PoR.
Instantánea del saldo del usuario: nuevamente, tome una instantánea de las tenencias de activos dentro de cada cuenta de cliente.
Generar certificados zk-SNARKs: Genera archivos de certificados zk-SNARKs para cada usuario. Esto permite a cada usuario acceder fácilmente a sus nodos hoja y verificar 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 mejora aún más la seguridad y la transparencia del proceso de verificación.