Hacken publica un estudio de caso sobre la solución de prueba de reservas de Gate y comparte información sobre auditorías de seguridad

2024-02-04 04:24 (UTC)
15 099 vistas

Cuando iniciamos nuestro programa de Prueba de Reservas (PoR) en 2020, marcó nuestro compromiso más importante con la transparencia y la responsabilidad, permitiendo a los usuarios verificar de forma independiente que sus saldos de BTC y ETH están respaldados 1:1 por activos reales. Desde entonces, hemos fortalecido este compromiso con informes más regulares, tecnología de conocimiento cero y cubriendo más de 170 activos, la mayor cantidad de cualquier intercambio.

Ahora estamos en nuestro cuarto año produciendo 100% PoR y recientemente contratamos a Hacken, una empresa líder en seguridad blockchain, para evaluar nuestro método PoR. Después de una revisión exhaustiva, no encontraron vulnerabilidades y continuaron con un estudio de caso que describe sus hallazgos, que puede leer a continuación.

Hacken: Evaluación de seguridad de prueba de reservas de Gate: elevando los estándares y la confianza de las criptomonedas

Uno de los intercambios de cifrado más grandes del mundo Gate ha actualizado recientemente su Prueba de Reservas (PoR) para incluir tecnología de conocimiento cero, lo que marca un paso importante hacia una mayor transparencia financiera. Hacken ha realizado una evaluación independiente de terceros para evaluar la implementación más reciente de Prueba de Reservas de Gate, examinándola en busca de vulnerabilidades a ataques conocidos o códigos maliciosos.

La medida es particularmente significativa en el panorama posterior a FTX, donde la mayoría de los intercambios no proporcionan una reserva de capital del 100%. Con esta iniciativa, Gate eleva el listón de la transparencia de los activos digitales entre los intercambios centralizados.

Tecnología e implementación

La implementación original de PoR de Gate, derivada de la "prueba de solvencia zkmerkle" de Binance, experimentó modificaciones significativas en la estructura, la gestión de dependencias y los marcos criptográficos desde 2020.
La mejora más importante fue la adición de la verificación zk-SNARK, que eliminó la debilidad de la implementación anterior. eso podría haber permitido la inclusión de cuentas inventadas con saldos negativos, alterando potencialmente la precisión de los datos.
El proyecto utiliza los siguientes marcos y estructuras criptográficas:
- Una bifurcación de GNARK – para construir circuitos criptográficos.
- Función hash Poseidon con la curva BN254 – para hash de datos de usuario y la estructura Sparse Merkle Tree (SMT).
- Biblioteca BSMT: para implementar SMT con una profundidad máxima de 28, lo que permite que el sistema de Prueba de Solvencia se adapte a más de 250 millones de usuarios.
Consulte la implementación de Prueba de reservas de Gate en GitHub o lea más al respecto [aquí](https://www.gate.io /prueba-de-reservas/ "aquí").

Hallazgos y recomendaciones


La evaluación de Hacken

Equipo de evaluación

La evaluación de seguridad de la implementación de la prueba de reservas fue dirigida por Luciano Ciattaglia, director de servicios de Hacken y un renombrado experto en criptología, junto con los auditores principales Sofiane Akermoun, Nino Lipartiia y Bartosz Barwikowski.

Método

El equipo llevó a cabo un análisis exhaustivo de la documentación de Gate, la base del código del repositorio, la estructura del código y la calidad arquitectónica, además de examinar las nuevas etiquetas de lanzamiento y funcionalidades. Realizamos comprobaciones exhaustivas de las vulnerabilidades conocidas, incluida la verificación mediante validación de suma de comprobación para las 1157 dependencias. El objetivo principal de esta evaluación fue evaluar el código en busca de vulnerabilidades a ataques conocidos o códigos maliciosos y verificar la ausencia de problemas en los procesos de compilación, implementación y diseño arquitectónico.

Hallazgos

La evaluación del equipo de Hacken no reveló vulnerabilidades de gravedad crítica, alta, media o baja. Encontramos varios problemas informativos:
- Integridad del hash de la raíz de Merkle: se recomendó que la raíz de Merkle esté firmada por un auditor externo confiable o publicada en la cadena de bloques para su verificabilidad.
- Versión desactualizada de GNARK: se recomienda encarecidamente actualizar a la última versión de GNARK para mitigar los riesgos de seguridad y los inconvenientes de eficiencia.

Evaluación

En general, el proyecto es testimonio de una base sólida en la implementación criptográfica y una organización de código excepcional. Su estado actual refleja un equilibrio bien considerado entre funcionalidad y complejidad, ofreciendo una configuración integral para los usuarios con su documentación detallada y datos de muestra proporcionados. El marco y las características existentes del proyecto ya contribuyen significativamente al campo, demostrando una clara comprensión y aplicación de los principios clave en la tecnología blockchain y los sistemas criptográficos.
El informe completo es público y se puede acceder a él en https://hacken.io/audits/gate.io.

Conclusiones

La implementación PoR de Gate establece un nuevo punto de referencia en la industria blockchain y criptomonedas. Es un ejemplo de compromiso con la transparencia y la confianza para todos sus más de 14 millones de usuarios. El compromiso de Prueba de Reservas del 100%, así como una evaluación de seguridad posterior de la implementación por parte de terceros, ofrece un modelo para que otros intercambios de activos digitales mejoren su seguridad e integridad.

Gateway to Crypto Trade over 1,700 cryptocurrencies safely, quickly, and easily on Gate

Download Gate App / Web Client now>>>
Follow us on Gate X (Twitter) to get more bonuses>>>
Join our Telegram to discuss hot topics>>>
Join our Global Community to get more updates>>>
We provide 100% proof of reserve>>>
Regístrese para disfrutar al máximo. $6666 en recompensas exclusivas para nuevos usuarios
Obtenga una comisión del 40% de referrals

Equipo Gate
4 de febrero de 2024