Gate.io PoR
Última hora de auditoría:
(UTC+0)
Exceso de valor de reserva:
$ B
Algoritmo:
Merkle Tree + zk-SNARKs
Tasa de reserva total:
Hash de Merkle Root:
Saldo neto del cliente
$
Saldo de la Cartera Gate
$
Exceso de valor de reserva
$
Not Data
¿Qué es la prueba del 100% de las reservas?
La plataforma comercial centralizada mantiene un libro de contabilidad en la base de datos para registrar los activos de los usuarios. Por lo tanto, la plataforma se enfrenta a la dificultad de demostrar que mantiene los activos de todos los usuarios en buen estado y en su totalidad.
Gate.io 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 de hoja del árbol de Merkle. Cada usuario puede auditar la cantidad total de activos de los usuarios almacenados en los nodos de hojas del árbol de Merkle y verificar si sus fondos están incluidos a través de una agencia de auditoría de terceros cualificada.
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 del 100% de las reservas?
¿Cómo conseguimos mantener un nivel de reservas del 100%?
Si el número total de tokens gestionados por el intercambio en la cadena de bloques alcanza o supera el saldo agregado de todas las cuentas de usuario, tal y como se captura en una instantánea, la plataforma mantiene un margen del 100% para esos tokens.
Propiedad sobre la billetera
Cuando se utilizan monederos calientes o fríos, se transfiere una cantidad designada al azar a las direcciones designadas por la empresa auditora para demostrar su propiedad sobre el monedero.
La empresa auditora sumará el saldo de las direcciones correspondientes para calcular el importe total de la transacción (incluidos los activos de los usuarios y los activos propios de la plataforma).
¿Cómo se construye el árbol de Merkle con el id de usuario y el saldo de usuario con hash?
En primer lugar, se exportan de la base de datos de Gate el identificador de usuario (UID) y los saldos de usuario.
Cada par de UID y saldos de usuario con hash serán sometidos a hash respectivamente y luego concatenados 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. A continuación, los datos hash resultantes se combinan por pares para crear los nodos padre de los nodos hoja.
Este proceso continúa hasta que da como resultado un hash único conocido como raíz merkle.
Por favor consulte el diagrama que figura a continuación a modo de ilustración. Una vez que el árbol merkle se ha construido correctamente, los nodos de las hojas se exportarán a un archivo de texto sin formato, que el auditor publicará junto con el hash de la raíz merkle.
¿Qué es el árbol de Merkle?
En criptografía e informática, un árbol de hash o árbol de Merkle es un árbol en el que cada nodo de la hoja está etiquetado con el hash criptográfico de un bloque de datos. Cada nodo que no es hoja está etiquetado con el hash de las etiquetas de sus nodos hijos. Los árboles hash permiten una verificación eficaz y segura del contenido de grandes estructuras de datos.
¿Cómo utilizamos un Merkle Tree para proporcionar una prueba de reservas?
Guardamos el valor hash del activo de la cuenta de cada usuario como un nodo hoja en el árbol de Merkle. A continuación, empleamos la tecnología zk-SNARK para confirmar que tenemos todos los activos de los usuarios. Durante todo este proceso, no se revela ningún dato sobre los activos. Los pasos de la verificación son los siguientes:
1. zk-SNARK ayuda a comprobar 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 provocará la alteración del valor hash de la raíz Merkle.
2. Verificación por el usuario: Los usuarios pueden verificar la autenticidad de la prueba verificando el valor hash de la raíz Merkle mediante zk-SNARK. La tecnología nos permite completar la auditoría del 100% de la reserva de forma eficiente y segura, evitando al mismo tiempo los riesgos de filtración de secretos comerciales o de privacidad, lo que contribuirá a cumplir nuestro compromiso de realizar operaciones transparentes y a aumentar la confianza de los clientes.
¿Qué son los zk-SNARK?
zk-SNARK, siglas de Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (argumento de conocimiento sucinto no interactivo cero), es una herramienta innovadora basada en la criptografía. Utilizando algoritmos matemáticos avanzados, puede validar eficazmente el importe de la reserva sin revelar detalles específicos de los activos. zk-SNARK no sólo facilita la verificación rápida de los activos, sino que también elimina los riesgos de violación de la privacidad. Debido a estas ventajas, junto con su naturaleza no interactiva y su gran escalabilidad, encuentra amplias aplicaciones en áreas como la verificación de transacciones en cadena, la protección de la privacidad de los datos y la autenticación de identidades.
Proceso de verificación.
1. Instalar el programa y descargar los datos:"
1)Descargar el programa de verificación:"
En primer lugar, descarga el programa de verificación a través del enlace proporcionado o accede a GitHub para descargar el programa de verificación. A continuación, cámbiale el nombre a main.
2)Descarga los datos necesarios:
Acceda a la Página de Auditoría y localice el lote que necesita verificar. Haga clic en [Descargar Merkle Tree] 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 coloque el archivo user_config.json dentro del configcarpeta.
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, utilice el comando cd para navegar hasta la carpeta descargada, como cd ~/Downloads/zkmerkle_cex_xxx.
(Antes de ejecutar el programa, es posible que tenga que ejecutar chmod 777 main para conceder permisos o establecer elementos de seguridad).
Ejecute el siguiente comando para iniciar la verificación.
./main verify cex
Si la verificación se realiza correctamente, aparecerá el mensaje .
All proofs verify passed!!!
Para obtener documentación técnica detallada y principios de verificación, consulte el proyecto de código abierto GitHub.
Implementación del PoR de Gate.io
HACKEN
Empresa de auditoríaTiempo de la auditoría
January 3, 2024
Auditor
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
Repositorios
Informe de auditoría
Gate.io PoR Implementation
