Prueba de reservas

Verifica que todos los saldos de las cuentas de Binance estén totalmente respaldados 1:1.

Audit Time

Mecanismo de verificación:

Hash de raíz de merkle:

¿Qué es la prueba de reservas (PdR)?

Cuando decimos «prueba de reservas», nos referimos específicamente a los activos que mantenemos bajo custodia para los usuarios. Esto significa que estamos demostrando que Binance cuenta con fondos que cubren todos nuestros activos de los usuarios en proporción de uno a uno, así como algunas reservas.

Cuando un usuario deposita un Bitcoin, las reservas de Binance aumentan en un Bitcoin para asegurar que los fondos de los clientes están totalmente respaldados.

Esto significa que Binance mantiene todos los activos de los usuarios en una proporción 1:1, incluidas las reservas. Binance no tiene ninguna deuda en nuestra estructura de capital y contamos con un fondo de emergencia (fondos de activos seguros para usuarios, SAFU) para casos extremos, como hackeos o brechas de seguridad.

Lee más para encontrar información adicional sobre lo que hemos creado para que los usuarios puedan verificar que sus fondos están seguros con Binance.

Nuestro compromiso con nuestra comunidad es el mismo de siempre

Transparencia

Siempre seremos transparentes con nuestros usuarios

Seguridad

La seguridad de los fondos de nuestros usuarios es nuestra prioridad

Con protección

Protegemos tus fondos

Árbol de Merkle

¿Qué hemos desarrollado?

Para demostrar que Binance tiene todos los activos de los usuarios con respaldo 1:1, hemos creado e implementado un Árbol de Merkle (lo puedes ver más abajo) para que verifiques que tus activos están incluidos en el saldo neto agregado de cuentas. Nuestro objetivo es que cada usuario pueda verificar el respaldo 1:1 de sus activos usando el hash Merkle/id. de registro que haya generado.

¿Qué es un árbol de merkle?

Un árbol de Merkle es una herramienta criptográfica que permite consolidar grandes cantidades de datos en un único hash. Este hash único, llamado raíz de Merkle, actúa como un sello criptográfico que «resume» todos los datos ingresados. Además, los árboles de Merkle te dan la capacidad de verificar que ciertos contenidos se incluyeron en un conjunto concreto de datos «sellados». Usamos estas propiedades de los árboles de Merkle durante nuestras evaluaciones de prueba de reservas para verificar que las cuentas individuales están incluidas en el informe de pasivos, validado por nuestro mecanismo de zk-SNARKs.

zk-SNARK

¿Qué hemos desarrollado?

Al usar una zk-SNARK, un exchange de criptomonedas puede demostrar que todos los conjuntos de saldos de los nodos hoja del árbol de Merkle (es decir, los saldos de las cuentas de los usuarios) contribuyen al saldo total de los activos de los usuarios reclamados por el exchange. Cada usuario puede acceder de forma fácil a su nodo hoja como si se hubiera incluido en el proceso. En cada conjunto de saldos de un usuario (un nodo hoja del árbol de Merkle) nuestro circuito se asegura de que:

Los saldos de la cuenta de un usuario se incluyen en el cálculo de la suma total de los saldos netos de cuenta con Binance.

2. El saldo neto total de la cuenta es mayor o igual que cero.

3. El cambio de la raíz del árbol de Merkle es válido (es decir, no se utiliza información falsificada) después de actualizar la información de una cuenta al hash del nodo hoja.

Existen una serie de recursos que podrían serte de ayuda: el

blog

, las

especificaciones técnicas

nuestro código fuente

del circuito (restricciones) para obtener más información sobre su aplicación.

¿Qué es un zk-SNARK?

zk-SNARK

(argumento de conocimiento sucinto no interactivo de conocimiento cero, en inglés) es un protocolo de pruebas que sigue los principios de conocimiento cero definidos anteriormente. Con un

zk-SNARK

, puedes demostrar que conoces el valor de hash original (algo que se explica más adelante) sin revelar el valor en sí. También puedes demostrar la validez de una

transacción

sin compartir información específica sobre los importes, los valores o las direcciones involucradas.

Cómo funciona

¿Cómo puedo verificar mis propias transacciones?

Iniciar sesión en el sitio web de Binance

-> Haz clic en «Billetera»

-> Haz clic en «Verificación»

Podrás encontrar tu hoja de merkle y tu id. de registro dentro de la página.

Selecciona la fecha de verificación que quieres comprobar. A continuación, encontrarás la confirmación del tipo de verificación, tu id. de registro (específica de tu cuenta y de esta verificación en particular), los activos que quedaron cubiertos y los saldos de tus activos en el momento de la verificación.

El ID de registro/Hoja de Merkle te permite verificar de forma independiente que tu saldo de la cuenta está incluido en el informe de pasivos mediante nuestro método de verificación automática.

Proceso de verificación

1. Verificar la propiedad de la dirección

Para los activos que se utilizan para verificar las reservas, debemos asegurarnos de que la propiedad de la billetera pertenece a Binance (incluidas las billeteras fría y caliente).

2. Captura de saldos de usuario

El valor de la captura se calcula sobre la base de la retención de activos dentro de los saldos de la cuenta del cliente en la fecha y hora de la captura.

3. Generar prueba de zk-SNARK

Generamos archivos de prueba de zk-SNARK para los usuarios, de manera de cada uno pueda acceder al nodo hoja con facilidad. Esto supone transparencia para todos los usuarios.

4. Generación de árbol de merkle

Generamos el bloque de datos subyacente vinculando el UID con hash y el saldo de cada usuario. Luego generamos un árbol de merkle basado en los datos de todos los usuarios. La raíz de merkle cambiará si cualquier id. de cuenta o saldo en el nodo de hoja cambia. Cada usuario puede verificar si sus activos están incluidos en el nodo de hoja.