No confíes, verifica: Binance despliega pruebas ZK en su sistema de prueba de reservas

Binance, con el objetivo de crear un ecosistema post-FTX que sea más amigable y que inspire más confianza, vuelve a liderar la industria de las criptomonedas en el ámbito de la transparencia, lo que beneficiará a todos los participantes del sector.

En noviembre de 2022, Binance anunció que permitiría que se hicieran públicos los datos sobre el estado de sus reservas en proporción a los activos de sus clientes, una respuesta directa a las consecuencias del hundimiento de FTX y de otras muchas plataformas de criptomonedas que se declararon insolventes. Por esto, Binance se ha establecido una vez más como líder del sector, esforzándose por hacer lo correcto para la comunidad y destacando que están comprometidos con la mejora de la credibilidad en el sector y marcando la pauta para que otros exchanges puedan seguir su ejemplo.

Binance está fomentando la transparencia en todo el sector. Imagen vía Binance

Aunque el anterior sistema de prueba de reservas que empleaba árboles de Merkle supuso un buen comienzo, tuvo algunos inconvenientes clave debidos a las limitaciones de estas estructuras, como por ejemplo:

• Fuga de privacidad: Los árboles de Merkle combinan los UID de los clientes con sus carteras de activos netos. Para proteger la privacidad de los usuarios, los nodos hoja de las pruebas Merkle representaban el hash de las carteras de los usuarios, por lo que la raíz Merkle no podía reflejar la suma del saldo de sus nodos principales.

Imagen vía Binance Blog

• Posibilidad de error o falsificación de datos: Un exchange puede haber omitido datos, o podría crear cuentas falsas con saldos negativos para alterar el pasivo total. El siguiente diagrama del blog de Vitalik Buterin muestra un ejemplo de cómo podría alterarse maliciosamente un árbol de Merkle.

Imagen sobre la prueba de insolvencia vía blog de Vitalik

Han sido muchos los detractores del sistema original de prueba de reservas, miembros de la comunidad preocupados, con razón, por las limitaciones y el potencial de falsificación de datos.

No obstante, son muchos los miembros de la industria de las criptomonedas se aferran a dos valores por encima de todo: la transparencia y la privacidad. Es muy difícil conseguir ambas, lo que a menudo da lugar a un dilema y a compromisos, ya que es complicado probar las reservas de fondos manteniendo intacta la confidencialidad. 

La solución: combinar los zk-SNARKs con los árboles de Merkle

Recientemente Binance intentó implementar por primera vez un sistema de prueba de conocimiento cero (zk-Proof) de reservas, que mejorará la privacidad, la seguridad y la fiabilidad. Los zk-SNARKS, una forma de prueba de conocimiento cero, han sido implementados por Binance para mejorar su anterior sistema de prueba de reservas.

Solución de Binance, implementando zk-SNARKS en el árbol de Merkle existente. Imagen vía Binance

Binance se ha asociado con Polyhedra Network para ayudar a la implementación de los SNARK.

De acuerdo a Polyhedra:

Las pruebas de conocimiento cero permiten a una de las partes determinar la validez de una declaración proporcionada por otra parte, sin necesidad de disponer de información personal de los implicados, confiar en la otra parte o hacer visible contenido sensible relativo a la cuenta utilizada. En este caso, Binance quiere demostrar que ha respaldado íntegramente los fondos de sus usuarios, sin revelar los saldos individuales de cada usuario.

Utilizando los zk-SNARKs, se puede verificar y revelar públicamente que todos los conjuntos de saldos de los nodos principales del árbol de Merkle contribuyen al saldo total de activos de usuario que afirma el exchange, al tiempo que garantiza que ningún árbol de Merkle generado contiene saldos netos totales negativos.

Para cada nodo hoja del árbol de Merkle, que representa el saldo de un usuario, este sistema garantiza que:

1. El saldo de un usuario se incluye en el cálculo de la suma del saldo neto total del usuario con Binance.

2. El saldo neto total del usuario es mayor o igual que cero.

3. El cambio de la raíz del árbol de Merkle es válido, no falsificado, tras actualizar la información de un usuario en el hash del nodo hoja.

El exchange puede entonces generar una prueba zk-SNARK para la construcción del árbol de Merkle, que puede ser examinada por cualquier verificador.

Para cada lanzamiento de la Prueba de Reservas, Binance publicará:

• La prueba Merkle para cada usuario

• La prueba zk-SNARK y la entrada pública del circuito para todos los usuarios.

Según Binance:

Cualquiera que tenga una cuenta de Binance puede verificar la prueba de Merkle, asegurándose de que sus saldos individuales contribuyeron a la raíz del árbol de Merkle, y también puede verificar la prueba zk-SNARK para asegurarse de que la construcción del árbol de Merkle cumple las restricciones definidas en el circuito.

No dudes en consultar nuestra guía para principiantes sobre pruebas de conocimiento cero y zk-SNARKs para saber más sobre esta innovadora tecnología.

Esfuerzos para mejorar la industria

Al igual que Binance animó a otros exchanges a seguir su ejemplo cuando publicaron su primera auditoría de prueba de reservas, ha declarado que hará que esta integración más avanzada sea completamente de código abierto, para que otras empresas y exchanges de criptomonedas puedan beneficiarse del trabajo preliminar que se ha realizado recientemente.

Los zk-SNARKs supusieron un avance sustancial en la tecnología criptográfica que proporciona los procesos necesarios para garantizar la integridad y privacidad de los datos. Sus capacidades para probar las reservas en los exchanges y mejorar la transparencia serán de enorme beneficio para la industria de la cadena de bloques, reparando gran parte de la confianza que han perdido los usuarios minoristas, al tiempo que atraerán potencialmente a organismos institucionales y gubernamentales.

Aquí puedes leer la entrada de su blog de Binance y el anuncio.

Para descargas, licencias, documentación y más, visita: github.com/binance/zkmerkle-proof-of-solvency

Acerca de Binance

Binance es la exchange de criptomonedas más importante del mundo en términos de volumen de negociación y usuarios. Fundado en 2017, Binance ha contribuido al amplio ecosistema de criptomonedas desarrollando una serie de productos centrados en las criptomonedas y lanzando su propia cadena de bloques capaz de albergar dApps, DeFi y NFTs. Binance ofrece a los usuarios la posibilidad de operar con diversos activos digitales como Bitcoin, Ethereum, Litecoin, Ripple y otros ecosistemas, y soporta el acceso a herramientas avanzadas de negociación y tipos de órdenes.

Puedes obtener más información sobre el exchange más popular del mundo en nuestra detallada reseña de Binance.

Aviso: Éstas son las opiniones del autor y no deben considerarse asesoramiento de inversión. Los lectores deben investigar por su cuenta.

El artículo Don’t Trust, Verify: Binance Deploys ZK-Proofs to their Proof of Reserves System fue publicado por primera vez en Coin Bureau.