Ú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
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.
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.
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).
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.
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.
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.
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.
1. Instalar el programa y descargar los datos:"
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.
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.
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