Binance ha actualizado su sistema de prueba de reservas (PoR) con verificaciones zk-SNARK, una forma de prueba de conocimiento cero que preserva la privacidad y seguridad de la información confidencial del usuario.
El director ejecutivo de Binance, Changpeng Zhao, dijo que la mejora se implementó de acuerdo con la sugerencia del cofundador de Ethereum, Vitalik Buterin. Buterin había expuesto en noviembre sus ideas sobre la promoción de intercambios centralizados sin confianza a través de sistemas transparentes de prueba de reservas.
Binance publicó por primera vez su sistema PoR en noviembre de 2022, cuando los usuarios comenzaron a exigir más transparencia a los intercambios tras el colapso de FTX. En ese momento, Binance utilizó la criptografía del árbol Merkle para permitir a los usuarios verificar sus tenencias.
Sin embargo, el sistema tenía dos inconvenientes importantes. En primer lugar, los nodos de hoja en el árbol Merkle representaban el hash de las tenencias de los usuarios para proteger la privacidad, lo que significaba que la raíz Merkle no podía reflejar la suma de la información de saldo de sus nodos de hoja.
En segundo lugar, una entidad maliciosa podría potencialmente agregar un saldo negativo en una cuenta falsa en algún lugar del árbol para hacer que el tamaño de las reservas requeridas parezca menor.
Binance afirma que los zk-SNARK resuelven estos desafíos. El sistema de verificación de conocimiento cero puede garantizar que todos los nodos de hoja en el árbol de Merkle hayan contribuido al saldo total de usuarios de cada criptomoneda que afirma Binance. También garantizará que no haya ningún usuario con un saldo negativo incluido en el árbol.
Binance generará y publicará la prueba zk-SNARK para la construcción del árbol Merkle a fin de demostrar sus reservas. Al verificar la prueba Merkle, los usuarios de Binance pueden verificar si su saldo está incluido en la raíz del árbol Merkle. Los usuarios pueden verificar la prueba zk-SNARK para asegurarse de que la construcción del árbol Merkle no haya sufrido ninguna alteración.
Como Binance tiene millones de usuarios, no es posible obtener una sola prueba de la construcción del árbol de Merkle. Por lo tanto, Binance dividirá a los usuarios en grupos de 864 cada uno. Se necesitarían 110 segundos para generar una prueba zk para un solo grupo de usuarios. La prueba se puede verificar en menos de 1 milisegundo.
Binance necesitaría dos horas para generar pruebas para todas las cuentas, lo que costaría unos 1000 dólares. La plataforma está trabajando para implementar las soluciones sugeridas por Buterin para mejorar la eficiencia del proceso de generación de pruebas, lo que debería reducir los costos y permitirle proporcionar pruebas con mayor frecuencia.
El sistema PoR de Binance actualmente admite 13 criptomonedas, con 4 incorporaciones recientes, y planea agregar más tokens en las próximas semanas.
Binance también está haciendo que el código para su sistema PoR sea de código abierto con el objetivo de brindar más transparencia a sus usuarios.