Prueba de Reservas

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

Audit Time

Mecanismo de verificación:

Hash raíz de Merkle:

¿Qué es la Prueba de Reservas (PoR)?

Cuando hablamos de Prueba de Reservas, nos referimos específicamente a los activos que mantenemos en custodia para los usuarios. Esto significa que mostramos evidencia y pruebas de que Binance tiene fondos para cubrir todos los activos de nuestros usuarios en una proporción de 1:1, además de otras reservas.

Cuando un usuario realiza un depósito de un Bitcoin, las reservas de Binance aumentan en un Bitcoin para garantizar que los fondos de los clientes estén completamente respaldados.

Esto significa que Binance mantiene todos los activos de usuario en una proporción 1:1, lo que incluye las reservas. Binance no tiene deudas en nuestra estructura de capital y contamos con un fondo de emergencia (fondo SAFU) para casos extremos, como hacks 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 la comunidad se mantiene intacto como ha sido siempre.

Transparencia

Siempre seremos transparentes con nuestros usuarios.

Seguridad

La seguridad de los fondos de los usuarios es nuestra prioridad.

Protección

Tus fondos están protegidos.

Árbol de Merkle

¿Qué hemos construido?

Para demostrar que Binance tiene todos los activos de los usuarios respaldados 1:1, hemos creado e implementado un árbol de Merkle (que ves abajo) para que los usuarios puedan verificar que sus activos están incluidos en el balance neto agregado de la cuenta. Nuestro objetivo es que cada usuario pueda verificar el respaldo 1:1 de sus tenencias de activos usando el hash de Merkle/ID de registro que genere.

¿Qué es un árbol de Merkle?

Un árbol de Merkle es una herramienta criptográfica que te permite consolidar grandes cantidades de datos en un solo hash. Este hash único, llamado raíz de Merkle, funciona 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 fueron incluidos dentro de un conjunto específico 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-SNARKs

¿Qué hemos construido?

Al utilizar una prueba zk-SNARK, un exchange de criptomonedas puede demostrar que todos los grupos de balances de los nodos hoja del árbol de Merkle (es decir, los balances de cuenta de los usuarios) contribuyen al balance total de activos de usuarios declarado por el exchange. Cada usuario puede acceder fácilmente a su nodo hoja como incluido en el proceso. Para cada grupo de balances de usuarios (nodo hoja del árbol de Merkle), nuestro circuito asegura que:

1. Los balances de la cuenta de un usuario se incluyen en el cálculo de la suma de los balances netos totales de la cuenta con Binance.

2. El balance neto total de la cuenta es mayor o igual a 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.

Estos son algunos recursos útiles:

blog

especificación técnica

nuestro código fuente

del circuito (restricciones) para conocer los detalles de la implementación.

¿Qué es la prueba zk-SNARK?

Una prueba

zk-SNARK

(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) es un protocolo de prueba que sigue los principios de conocimiento cero o "zero-knowledge" descritos anteriormente. Con una prueba

zk-SNARK

, puedes demostrar que conoces el valor de hash original (más información más adelante) sin revelar cuál es ese valor. También puedes demostrar la validez de una

transacción

sin revelar ninguna información sobre las cantidades, valores o direcciones específicas involucradas.

Cómo funciona

¿Cómo puedo revisar mis propias transacciones?

Inicia sesión en el sitio web de Binance

-> Haz clic en “Billetera”

-> Haz clic en “Verificación”

Podrás encontrar tu hoja de Merkle e ID del registro en la página.

Selecciona la fecha de verificación que quieres revisar. Encontrarás una confirmación del tipo de verificación, tu ID de registro (específico de tu cuenta y de esta verificación en particular), los activos que se incluyeron y tus balances de activos durante la auditoría.

El ID de registro/hoja de Merkle te permite verificar de forma independiente que tu balance de la cuenta fue incluido en el informe de pasivos usando nuestro método de autoverificación.

Proceso de verificación

1. Comprobar la propiedad de la dirección

En el caso de los activos que se utilizan para comprobar las reservas, debemos asegurarnos de que la propiedad de la billetera pertenezca a Binance (incluidas las billeteras frías y calientes).

2. Instantánea de los balances de los usuarios

El valor de la instantánea se calcula en función de los holdings de activos de los balances de las cuentas de los clientes al momento (día y hora) de la instantánea.

3. Generar prueba zk-SNARK

Generamos archivos de prueba zk-SNARK para usuarios con el fin de que cada usuario pueda acceder fácilmente a su nodo hoja, lo que proporciona más transparencia para todos los usuarios.

4. Generación del árbol de Merkle

Generamos el bloque de datos subyacente vinculando el balance y el UID hashed de cada usuario. A continuación, generamos un árbol de Merkle según los datos de todos los usuarios. La raíz de Merkle cambiará si cambia algún ID de cuenta o balance en el nodo hoja. Cada usuario puede revisar si sus activos están incluidos en el nodo hoja.