Binance agrega verificación zk-SNARK a su sistema de prueba de reservas

Binance tiene actualizado su sistema de prueba de reservas (PoR) con verificaciones zk-SNARK, una forma de pruebas de conocimiento cero que preserva la privacidad y seguridad de la información confidencial del usuario.

CEO de Binance Changpeng Zhao dijo la mejora se implementó de acuerdo con el cofundador de Ethereum, Vitalik Buterin. sugerencia. Buterin había expuesto sus ideas sobre la promoción de intercambios centralizados sin confianza a través de sistemas transparentes de prueba de reservas en noviembre.

Binance publicado por primera vez su sistema PoR en noviembre de 2022 cuando los usuarios comenzaron a exigir más transparencia de los intercambios tras el colapso de FTX. En ese momento, Binance usó la criptografía de árbol de Merkle para permitir a los usuarios verificar sus tenencias.

Sin embargo, el sistema tenía dos grandes inconvenientes. En primer lugar, los nodos de hoja en el árbol de Merkle representaban el hash de las propiedades de los usuarios para proteger la privacidad, lo que significaba que la raíz de Merkle no podía reflejan la suma de la información de saldo de sus nodos hoja.

En segundo lugar, una entidad malintencionada 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 más pequeño.

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 Merkle hayan contribuido al saldo total de usuario reclamado por Binance de cada criptomoneda. También se asegurará de que no haya ningún usuario con saldo negativo incluido en el árbol.

Binance generará y publicará pruebas de zk-SNARK para la construcción del árbol Merkle para probar sus reservas. Al verificar la prueba de Merkle, los usuarios de Binance pueden verificar si su saldo está incluido en la raíz del árbol de Merkle. Los usuarios pueden verificar la prueba zk-SNARK para asegurarse de que la construcción del árbol Merkle no haya sido manipulada.

Debido a que 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 lotes de 864 cada uno. Tomaría 110 segundos generar una prueba zk para un solo lote de usuarios. La prueba se puede verificar en menos de 1 milisegundo.

Binance tardaría 2 horas en generar pruebas para todas las cuentas a un costo de aproximadamente $1,000. El intercambio está trabajando en la implementación de 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 adiciones recientes, y planea agregar más tokens en las próximas semanas.

Binance también está haciendo que el código de su sistema PoR sea de código abierto con el objetivo de brindar más transparencia a sus usuarios.