Prueba de Reservas

Corrobora que los activos de los usuarios de Binance están completamente respaldados en una proporción de 1:1. Ten en cuenta que la gran mayoría de los holdings corporativos de Binance se almacenan en billeteras que no forman parte de los cálculos de la Prueba de Reservas.
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 deposita un Bitcoin, las reservas de Binance aumentan en al menos un Bitcoin para garantizar que los fondos de los usuarios estén completamente respaldados. Es importante destacar que esto no incluye los holdings corporativos de Binance, que están en un ledger completamente separado.
Lo que esto significa en términos reales es que Binance mantiene todos los activos de los usuarios en una proporción de 1:1 (así como algunas reservas), que no tenemos deudas en nuestra estructura de capital y que nos hemos asegurado de tener un fondo de emergencia (Fondo SAFU) para casos extremos.
Sigue leyendo si quieres obtener más información sobre lo que hemos construido para permitir que las personas comprueben 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 mantiene todos los activos de los usuario a una proporción de 1:1, hemos construido e implementado el árbol de Merkle (que se muestra a continuación) para permitir que las personas revisen sus activos dentro de la plataforma. Nuestro objetivo es que todos los usuarios puedan revisar sus holdings de activos utilizando su propio ID de registro/hash de Merkle generado. De este modo, las personas podrán confirmar que sus fondos están almacenados en una proporción de 1:1 y que una agencia de auditoría externa puede verificarlo.
¿Qué es un árbol de Merkle?
Un árbol de Merkle es una herramienta criptográfica que permite la consolidación de grandes cantidades de datos en un solo hash. Este hash único, llamado raíz de Merkle (Merkle Root), actúa como un sello criptográfico que "resume" todos los datos ingresados. Además, los árboles de Merkle permiten a los usuarios revisar contenido específico que se incluyó en un conjunto particular de datos "cerrados". Utilizamos estas propiedades de los árboles de Merkle durante nuestras evaluaciones de la Prueba de Reservas para comprobar que las cuentas individuales de los usuarios están incluidas dentro del informe de pasivos inspeccionado por el auditor.

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 activos de un usuario se incluyen en el cálculo de la suma de los balances netos totales del usuario en Binance.
2. El balance neto total del usuario es mayor o igual a cero.
3. El cambio de la raíz del árbol de Merkle es válido (es decir, no hay información falsificada) después de actualizar la información de un usuario al hash del nodo hoja.
Estos son algunos recursos útiles: blog, especificación técnica y 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 del registro/hoja de Merkle te permite comprobar de forma independiente que el balance de tu cuenta se incluyó en el informe de certificación del auditor externo.