Gate.io es un intercambio de cifrado líder con más de 13 millones de usuarios y más de 1700 pares comerciales. Como una de las plataformas comerciales más grandes y antiguas del mundo, Gate.io cumple estrictamente con las regulaciones de la industria y no participa en ninguna manipulación del mercado. La apertura, la transparencia, la igualdad y la colaboración siempre han sido nuestra misión. Adoptamos una variedad de métodos centralizados y descentralizados para garantizar la seguridad de los activos de los usuarios.

Ya en mayo de 2020, Gate fue el primero en proponer una prueba de reserva (PoR) de intercambio e invitó a la conocida firma de auditoría estadounidense Armanino LLP a auditar sus activos. Es uno de los primeros intercambios de la industria en proponer prueba de reserva. El 23 de noviembre de 2023, Gate anunció oficialmente que había actualizado su PoR mediante tecnología a prueba de conocimiento cero, lo que permite a los usuarios disfrutar de una mejor protección de la privacidad y seguridad de los datos. Se convirtió en uno de los primeros intercambios de la industria en adoptar PoR a prueba de conocimiento cero. Este artículo le guiará sobre cómo utilizar la Prueba de reserva de Gate para verificar la seguridad de sus fondos en Gate.io.

Descripción

¿Qué es la prueba de reserva?

En los intercambios centralizados (CEX), los activos de cada usuario se registran en el libro mayor de la base de datos de la plataforma, lo que dificulta que los usuarios confirmen si sus activos han sido transferidos y si el intercambio tiene activos suficientes para cubrir los activos depositados por los usuarios. Por lo tanto, los intercambios necesitan un método para demostrar que tienen suficientes activos de reserva para canjear completamente los fondos de los usuarios, lo que requiere que el valor de los activos de reserva del intercambio sea mayor que el valor de los activos depositados por los usuarios. Esta prueba de activos disponibles públicamente se llama Prueba de Reserva. Los datos relacionados con la Prueba de Reserva son el índice de reserva, que es la relación entre los activos mantenidos en el intercambio y los activos depositados del usuario multiplicado por 100%. Cuando el índice de reserva es superior al 100%, los activos del intercambio pueden satisfacer las necesidades normales de retiro de los usuarios. Cuanto mayor sea el coeficiente de reservas, mayor será la capacidad de resistir los riesgos de liquidez.

El coeficiente de reservas generalmente se divide en coeficiente de reservas cambiarias y coeficiente de reservas en moneda única. El índice de reserva cambiaria se refiere a la relación entre los activos totales del intercambio y el total de depósitos de los usuarios multiplicado por 100%. El índice de reserva de moneda única se refiere a la relación entre la cantidad de una moneda específica mantenida en la billetera de cambio y la cantidad de esa moneda depositada por los usuarios multiplicada por 100%.

Para obtener más información, haga clic en Cómo zk-SNARK mejora la prueba de reservas de Gate.io.

¿Qué es la prueba de conocimiento cero?

La prueba de conocimiento cero (ZKP) es un método de cifrado que permite a una parte (conocida como probador) demostrarle a otra parte (conocida como verificador) que una determinada afirmación es cierta sin revelar ninguna información adicional que revele la base de la misma. prueba. Este proceso no sólo protege la privacidad del probador sino que también garantiza que el verificador no pueda replicar el proceso de prueba ni obtener información adicional del mismo.

Para comprender esta tecnología, consideremos un ejemplo simple: el usuario A conoce el número de teléfono del usuario B. Cuando el usuario C le pregunta al usuario A si conoce el número de teléfono del usuario B, el usuario A puede demostrar que efectivamente posee el número de teléfono marcando el número de B. en el acto, sin revelarlo al Usuario C. Este proceso preserva la privacidad del usuario y al mismo tiempo proporciona la respuesta, y es lo que llamamos "prueba de conocimiento cero".

Para obtener más información, haga clic en Una explicación detallada de las pruebas de conocimiento cero.

Combinación de pruebas de conocimiento cero con prueba de reservas

zk-SNARK es una tecnología a prueba de conocimiento cero, concisa y no interactiva. Realiza una "configuración confiable" de antemano para generar una cadena de referencia común (CRS), que permite a todos los probadores acceder a ella directamente. Esto es similar a un sistema de puntuación en un examen, donde zk-SNARK carga directamente las respuestas correctas y permite a los examinados verificar sus respuestas (enviando sus soluciones al sistema backend, que proporcionará el resultado final de corrección). Es muy eficiente.

Merkle Tree es una estructura de datos similar a un "árbol". Los datos de la capa más baja se denominan "nodos hoja" y los datos de la capa intermedia se pueden denominar "nodos intermedios". Los valores de los nodos intermedios se calculan aplicando hash a los valores de los dos nodos secundarios (cualquier valor de entrada se procesa de una manera específica para producir un valor específico). Luego, los nodos intermedios de la izquierda y la derecha se procesan para obtener un valor de salida único para el nodo intermedio de nivel superior. Después del procesamiento en cada nivel, se obtiene un nodo raíz único (Root) del árbol Merkle.

Gate.io combina la tecnología zk-SNARK con Merkle Tree para colocar todos los depósitos de los usuarios en Merkle Tree. Luego, zk-SNARK se utiliza para demostrar que todos los saldos en el árbol no son negativos (es decir, el intercambio no ha falsificado ninguna cuenta para interferir con la salida del árbol Merkle). Finalmente, se genera el árbol Merkle y los hash de nodo y raíz relevantes se hacen públicos para la verificación del usuario.

Tutorial de operación

Interfaz de interfaz de usuario frontal

Haga clic en el enlace o vaya al sitio web Gate.io y desplácese hasta el final. Haga clic en el botón 100% Prueba de reservas para acceder a la página frontal de Gate Reserves.

Información básica de reserva

Después de ingresar a la página frontal de Prueba de reservas de Gate.io, los usuarios pueden ver directamente la última hora de actualización de la reserva. En el siguiente ejemplo, la auditoría más reciente se realizó el 10 de noviembre de 2023, utilizando Markle Tree + zk-SNARKs como método de auditoría. Los usuarios han depositado aproximadamente 2,77 mil millones de dólares en activos, y los activos mantenidos en la billetera Gate superan los depósitos de los usuarios en 434 millones de dólares, por un total de 3,206 mil millones de dólares. El ratio de reservas global es del 115,69%.

Relación de reserva de criptomoneda única

Al desplazarse hacia abajo en la página se mostrarán los montos específicos y los índices de reserva para diferentes criptomonedas. Tomando la primera criptomoneda, BTC, como ejemplo, al 8 de diciembre de 2023, los usuarios han depositado 13,85 mil BTC, mientras que la billetera Gate tiene 17,10 mil BTC, lo que resulta en un índice de reserva del 123,52% para BTC.

Haga clic en el ícono de la página en la esquina inferior derecha de la imagen para ver el índice de reserva de hasta 112 tokens en Gate. Haga clic en el botón "Verificar ahora" en la imagen para mostrar el tutorial de verificación. Siguiendo el tutorial, puede verificar si el saldo de su cuenta está incluido en el cálculo, confirmando así que el índice de reserva refleja los resultados con sus fondos contabilizados correctamente.

Otras páginas de visualización frontal

Hay otra forma de verificar el estado de auditoría de sus activos, que es ir a la página Mi cuenta y navegar a la sección Auditorías. Aquí puede ver sus registros históricos de auditoría y la situación integral de las reservas de Gate.

Proceso de verificación

1. Descargar el programa de verificación

Los usuarios pueden descargar el programa de verificación a través de Github o el enlace de descarga proporcionado en la página de reserva y cambiarle el nombre a [principal]:

El usuario debe elegir el sistema correspondiente de su dispositivo para la descarga.

2. Descargar datos de verificación de activos

Ingrese a la página de Auditoría personal, busque el lote que necesita verificación y haga clic en "Descargar Merkle Tree" y "Descargar configuración de usuario" respectivamente para descargar los datos.

Después de la descarga, tendrá un archivo comprimido llamado zkmerkle_cex_xxx.tar.gz. Coloque el programa principal (el archivo del programa de verificación mencionado anteriormente) en la carpeta y coloque el archivo user_config.json en la carpeta de configuración. Una vez hecho todo, la estructura del archivo quedará como se muestra en el siguiente diagrama:

Una vez que se completa este paso, se han realizado todos los preparativos necesarios y se puede comenzar la validación formal.

3. Verificar los activos de Exchange

Los usuarios pueden ingresar directamente [cmd] o ingresar el comando [cd ~/Downloads/zkmerkle_cex_xxx] en [terminal] para ingresar el archivo zkmerkle_cex_xxx previamente configurado mencionado anteriormente.

Luego ingresa:

Texto sin formato 
 ./principal verificar cex

Si la verificación es exitosa, generará:

Texto sin formato 
 ¡¡Todas las pruebas verifican que se hayan aprobado!!!

4. Verifique sus propios activos

Ingrese el siguiente comando para verificar sus propios activos:

Texto sin formato 
 ./principal verificar usuario

Si los activos del usuario se calculan correctamente, los datos de la cuenta y el saldo serán un nodo hoja del árbol Merkle. Por lo tanto, se generará una verificación exitosa.

Texto sin formato 
 merkle dejar hash: 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce 
 ¡¡¡verificar pase!!!

Si desea conocer más detalles técnicos, puede hacer clic en el enlace para acceder a Github y ver el código fuente abierto.

Conclusión

Habilitar zk-SNARK es una actualización importante de la Prueba de reservas de Gate.io y un paso importante para proteger la seguridad de los activos del usuario. Con excelentes salvaguardas de seguridad y privacidad, brinda a los usuarios más confianza y establece un nuevo estándar para toda la industria de las criptomonedas.