Una plataforma de trading centralizada gestiona un libro mayor para registrar los activos de los usuarios en una base de datos. Como tal, las plataformas enfrentan el desafío de probar que tienen la custodia completa de todos los activos de los usuarios en buen estado.

Gate implementó el árbol de Merkle para resolver este problema, almacenando el valor hash de los activos de la cuenta de cada usuario en los nodos hoja del árbol de Merkle. Cada usuario puede auditar la cantidad total de activos de los usuarios almacenados en los nodos hoja del árbol de Merkle y verificar si sus fondos están incluidos a través de una agencia de auditoría externa calificada.

Si se verifica que los activos almacenados en el árbol de Merkle son mayores o iguales al 100%, significa que los activos de los usuarios se mantienen en su totalidad en la plataforma, es decir, la plataforma proporciona una Prueba de Reservas del 100% para los activos de los usuarios.

¿Por qué es tan importante la Prueba de Reservas del 100%?

La plataforma proporciona Prueba de Reservas del 100%

La plataforma es financieramente sólida

Mejora la confianza de los usuarios

Garantiza la seguridad de los activos de los usuarios

Retiro del 100% en caso de retiros masivos

Sin el compromiso de prueba de reservas del 100%

Los activos de los usuarios están en riesgo de ser malversados

Retraso o incapacidad para retirar activos

La plataforma puede sufrir una corrida si los usuarios se aglomeran para solicitar un retiro

La plataforma tiene más probabilidades de quebrar o sufrir pérdida de activos

¿Cómo logramos mantener un nivel de reservas del 100%?

Si el número total de tokens gestionados por el exchange en la blockchain cumple o excede el saldo agregado de todas las cuentas de usuarios, como se captura en una instantánea, la plataforma mantiene un margen del 100% para esos tokens

Propiedad sobre la billetera

Cuando utiliza billeteras calientes o frías, transfiere una cantidad designada aleatoriamente a las direcciones designadas por la empresa de auditoría para probar su propiedad sobre la billetera.

La empresa de auditoría sumará el saldo de las direcciones relevantes para calcular el monto total involucrado en la transacción (incluyendo los activos de los usuarios y los activos propios de la plataforma).

¿Cómo construir el árbol de Merkle con ID de usuario hasheado y saldo de usuario?

El ID de usuario hasheado (UID) y los saldos de usuarios se exportan primero desde la base de datos de Gate.

Cada par de UID hasheado y saldos de usuario se hasheará respectivamente y luego se concatenará para formar el bloque de datos subyacente.

Para cada bloque de datos, se aplicará la misma función hash para generar los nodos hoja del árbol de Merkle. Los datos hasheados resultantes se hashean posteriormente juntos en pares para crear los nodos padre de los nodos hoja.

Este proceso continúa hasta que resulta en un único hash conocido como la raíz de Merkle.

Consulte el diagrama a continuación para la ilustración. Después de que el árbol de Merkle se construye exitosamente, los nodos hoja se exportarán a un archivo de texto plano, que será publicado junto con el hash raíz de Merkle por el auditor.

¿Qué es un Árbol de Merkle?

En criptografía e informática, un árbol hash o árbol de Merkle es un árbol en el que cada nodo hoja está etiquetado con el hash criptográfico de un bloque de datos. Cada nodo no hoja está etiquetado con el hash de las etiquetas de sus nodos hijo. Los árboles hash permiten una verificación eficiente y segura del contenido de grandes estructuras de datos.

¿Cómo usamos un Árbol de Merkle para proporcionar Prueba de Reservas?

Guardamos el valor hash del activo de la cuenta de cada usuario como un nodo hoja en el Árbol de Merkle. Luego, empleamos la tecnología zk-SNARK para confirmar que mantenemos todos los activos de los usuarios en su totalidad. Durante este proceso, no se revela ningún dato de activos. Los pasos para la verificación son los siguientes:

1. zk-SNARK ayuda a auditar que el saldo total de los activos de los usuarios se almacena como nodos hoja en el Árbol de Merkle (es decir, el saldo de la cuenta del usuario). Para cada nodo hoja, confirmamos los siguientes puntos:

a. La cantidad total de activos gestionados por la plataforma incluye el saldo total de activos de todos los usuarios.

b. El saldo neto de cada usuario es mayor o igual a cero.

c. El cambio de los activos de cualquier usuario resultará en la alteración del valor hash raíz de Merkle.

2. Verificación del usuario: Los usuarios pueden verificar la autenticidad de la prueba verificando el valor hash raíz de Merkle usando zk-SNARK. La tecnología nos permite completar la auditoría de reservas del 100% de manera eficiente y segura mientras se evitan los riesgos de privacidad o fuga de secretos comerciales, lo que ayudará a cumplir nuestro compromiso con operaciones transparentes y mejorar la confianza de los clientes.

¿Qué son los zk-SNARKs?

zk-SNARK, que significa Argumento de Conocimiento No Interactivo Sucinto de Conocimiento Cero, es una herramienta revolucionaria arraigada en la criptografía. Utilizando algoritmos matemáticos avanzados, puede validar eficientemente la cantidad de reserva sin revelar detalles específicos de los activos. zk-SNARK no solo facilita la verificación rápida de activos sino que también elimina los riesgos de violación de la privacidad. Debido a estos beneficios, junto con su naturaleza no interactiva y alta escalabilidad, encuentra amplias aplicaciones en áreas como la verificación de transacciones en cadena, salvaguardas de privacidad de datos y autenticación de identidad

Proceso de verificación

1. Instalar el programa y descargar datos:

1)Descargar el programa de verificación:

Primero, descargue el programa de verificación a través del enlace proporcionado o acceda a GitHub para descargar el programa de verificación. Luego renómbrelo a main.

Descarga Local

Mac OS

Descarga Local

Linux

Descarga Local

Windows

2)Descargar datos requeridos:

Acceda a la Página de Auditoría y localice el lote que necesita verificar. Haga clic en [Descargar Árbol de Merkle] y [Descargar Configuración de Usuario] para descargar los datos.

Descomprima el archivo comprimido zkmerkle_cex_xxx.tar.gz, coloque el programa main dentro de esta carpeta, y ponga el archivo user_config.json dentro de la carpeta config.

La carpeta del programa es ahora

zkmerkle_cex_xxx

Config

cex_config.json

user_config.json

proof.csv

zkpor864.vk.save

main

2. Verificación de activos:

Desde cmd o terminal, use el comando cd para navegar a la carpeta descargada, como cd ~/Downloads/zkmerkle_cex_xxx.

(Antes de ejecutar el programa, es posible que necesite ejecutar chmod 777 main para otorgar permisos o establecer elementos de seguridad.)

Ejecute el siguiente comando para comenzar la verificación.

./main verify cex

Tras una verificación exitosa, se mostrará el mensaje.

All proofs verify passed!!!

Para documentación técnica detallada y principios de verificación, consulte el proyecto de código abierto de GitHub

Gate PoR Implementation

Empresa de auditoría

HACKEN

Tiempo de auditoría

January 3, 2024

Auditor

Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski

Repositorios

https://github.com/gateio/proof-of-reserves

Informe de Auditoría

Gate PoR Implementation

Prueba del 100% de las Reservas

Gate es la primera plataforma principal que se compromete a proporcionar reservas del 100%

PoR de Gate

¿Qué es la Prueba de Reservas del 100%?

¿Por qué es tan importante la Prueba de Reservas del 100%?

La plataforma proporciona Prueba de Reservas del 100%

Sin el compromiso de prueba de reservas del 100%

¿Cómo logramos mantener un nivel de reservas del 100%?

Propiedad sobre la billetera

¿Cómo construir el árbol de Merkle con ID de usuario hasheado y saldo de usuario?

El ID de usuario hasheado (UID) y los saldos de usuarios se exportan primero desde la base de datos de Gate.

Cada par de UID hasheado y saldos de usuario se hasheará respectivamente y luego se concatenará para formar el bloque de datos subyacente.

Para cada bloque de datos, se aplicará la misma función hash para generar los nodos hoja del árbol de Merkle. Los datos hasheados resultantes se hashean posteriormente juntos en pares para crear los nodos padre de los nodos hoja.

Este proceso continúa hasta que resulta en un único hash conocido como la raíz de Merkle.

¿Qué es un Árbol de Merkle?

¿Cómo usamos un Árbol de Merkle para proporcionar Prueba de Reservas?

1. zk-SNARK ayuda a auditar que el saldo total de los activos de los usuarios se almacena como nodos hoja en el Árbol de Merkle (es decir, el saldo de la cuenta del usuario). Para cada nodo hoja, confirmamos los siguientes puntos:

¿Qué son los zk-SNARKs?

Gate PoR Implementation