Binance implementó la actualización basándose en la sugerencia de Vitalik Buterin de aumentar la transparencia del sistema de prueba de reserva.
Binance ha actualizado su sistema de Prueba de Reserva (PoR) con verificación zk-SNARK, una forma de prueba de conocimiento cero que protege la privacidad y seguridad de la información confidencial del usuario.
El director ejecutivo de Binance, Changpeng Zhao, dijo que las mejoras se implementaron en base a sugerencias del cofundador de Ethereum, Vitalik Buterin. En noviembre pasado, Buterin propuso la idea de promover intercambios centralizados sin confianza a través de un sistema transparente de prueba de reserva.
Binance lanzó por primera vez su sistema PoR en noviembre de 2022 cuando los usuarios comenzaron a exigir más transparencia al intercambio luego de la caída de FTX. En ese momento, Binance utilizó la criptografía del árbol Merkle para permitir a los usuarios verificar sus tenencias.
Sin embargo, este sistema tiene dos grandes desventajas. Primero, los nodos hoja en el árbol Merkle representan los hashes que posee el usuario para proteger la privacidad, lo que significa que la raíz de Merkle no puede reflejar la suma de la información del saldo de sus nodos hoja.
En segundo lugar, una entidad maliciosa podría agregar un saldo negativo en una cuenta falsa en algún lugar del árbol para que el tamaño de las reservas requeridas parezca menor.
Binance afirma que los zk-SNARK resuelven estos desafíos. Un sistema de verificación de conocimiento cero garantiza que todos los nodos hoja del árbol Merkle contribuyan al saldo total del usuario para cada criptomoneda reclamada por Binance. También garantizará que no haya usuarios con saldos negativos en el árbol.
Binance generará y publicará pruebas de zk-SNARK utilizadas para construir árboles Merkle para demostrar sus reservas. Al validar las pruebas de Merkle, los usuarios de Binance pueden verificar si su saldo está contenido en la raíz del árbol de Merkle. Los usuarios pueden verificar las pruebas de zk-SNARK para garantizar que el árbol Merkle se haya creado sin ninguna manipulación.
Dado que Binance tiene millones de usuarios, es imposible obtener una sola prueba de la construcción del árbol Merkle. Por tanto, Binance dividirá a los usuarios en 864 lotes. Generar pruebas de zk para un lote de usuarios lleva 110 segundos. La prueba se puede verificar en menos de 1 milisegundo.
Binance tarda 2 horas en generar pruebas para todas las cuentas y cuesta alrededor de $1000. El intercambio está trabajando para implementar la solución propuesta por Buterin para hacer que el proceso de generación de pruebas sea más eficiente, lo que reducirá los costos y le permitirá proporcionar pruebas con mayor frecuencia.
El sistema PoR de Binance actualmente admite 13 criptomonedas, 4 de las cuales se agregaron recientemente, y hay planes para agregar más tokens en las próximas semanas.
Binance también ha abierto el código de su sistema PoR en un esfuerzo por brindar más transparencia a sus usuarios.