Prueba de reservas

Verifica que los activos del usuario de Binance estén completamente respaldados, al menos en una proporción de 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 al menos en un bitcoin para garantizar que los fondos de los clientes estén completamente respaldados. Es importante tener en cuenta que esto no incluye los holdings corporativos de Binance, que se guardan en un libro de contabilidad completamente distinto.

Todo esto significa, en términos reales, que Binance almacena todos los activos de los usuarios en una proporción de uno a uno (y también algunas reservas). No tenemos ninguna deuda en nuestra estructura de capital y nos hemos asegurado de tener un fondo de emergencia (fondo SAFU) para casos extremos.

Sigue leyendo para ver más información sobre lo que hemos desarrollado para permitir que los usuarios comprueben 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 mostrar que Binance conserva todos los activos de los usuarios en una proporción 1:1, hemos desarrollado e implementado el árbol de Merkle, que se muestra a continuación, para permitir a los usuarios verificar sus activos dentro de la plataforma. Nuestro objetivo es que todos los usuarios puedan verificar sus holdings de activos utilizando su propio hash o id. de registro generado de Merkle. De esta manera, los usuarios podrán confirmar que sus fondos se conservan en una proporción 1:1 y que pueden verificarlos a través de una agencia de auditoría de terceros.

¿Qué es un árbol de merkle?

Un árbol de Merkle es una herramienta criptográfica que permite la consolidación grandes cantidades de datos en un único hash. Este hash, denominado raíz de Merkle, funciona como un sello criptográfico que «resume» todos los datos introducidos. Además, los árboles de Merkle ofrecen a los usuarios la posibilidad de verificar los contenidos específicos que se incluyeron dentro de un determinado conjunto de datos «sellados». Utilizamos estas propiedades de los árboles de Merkle durante nuestras evaluaciones de la prueba de reservas para verificar que las cuentas individuales de los usuarios se incluyen en el informe de pasivos que inspecciona el auditor.

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:

1. Los saldos de activos se incluyen en el cálculo de la suma de saldos totales netos del usuario con Binance.

2. El saldo total neto del usuario es superior o igual a cero.

3. El cambio de la raíz del árbol de Merkle es válido (es decir, no usar información falsificada) tras actualizar la información del usuario al hash del nodo hoja.

Here are some useful resources:

blog

technical specification

and

our source code

for the circuit (constraints) for implementation detail.

¿Qué es un zk-SNARK?

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) is a proof protocol that follows the zero-knowledge principles previously outlined. With a

zk-SNARK

, you could prove that you know the original hashed value (discussed further below) without revealing what that is. You could also prove the validity of a

transaction

without revealing any information about the specific amounts, values, or addresses involved.

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.

The Record ID/Merkle Leaf enables you to independently verify that your account balance was included by the third-party auditor’s attestation report.

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.