El famoso programador de blockchain ha escrito un blog sobre cómo los intercambios centralizados pueden evolucionar hacia otros no confiables.
Buterin opina que el argumento o conocimiento sucinto no interactivo (ZK-SNARK) es la mejor prueba de las reservas.
El cofundador de Ethereum, Vitalik Buterin, escribió en su blog el 19 de noviembre de 2022 sobre cómo los CEX (intercambios centralizados) pueden utilizar la prueba criptográfica para asegurar al público que los fondos mantenidos en la blockchain cubren lo que deben.
Buterin escribió que, además de las medidas utilizadas en TradFi (finanzas tradicionales), como auditores, gobierno corporativo, licencias y diligencia debida, como mínimo, los CEX podrían añadir un sistema que les impida retirar los fondos de los usuarios sin su consentimiento.
Citando una discusión que comenzó hace nueve años, el blog explica,
«Si demuestras que los depósitos de los clientes son iguales a X (prueba del pasivo), prueba de la propiedad de las claves privadas de X monedas (prueba del activo), entonces tienes una prueba de solvencia».
La discusión del programador canadiense de origen ruso se produce una semana después de la implosión de la bolsa de derivados FTX, descrita por su nuevo director general, John Ray, como un «completo fracaso de los controles corporativos».
La entrada del blog, que reconoce la contribución de Coinbase, Kraken y Binance, señala que estas grandes explosiones podrían evitarse utilizando pruebas criptográficas como la técnica del balance, el árbol de Merkle, ZK-SNARK, Plasma y Validiums.
ZK-SNARK presentó la mejor técnica para tener en cuenta la privacidad.
Buterin cree que ZK-SNARK es el mejor de todos los modelos cuando se compara con los transformadores (modelos de aprendizaje automático) en la inteligencia artificial, ya que demuestra que el balance total no es negativo. Describe la tecnología como complementaria al árbol de Merkle.
Cómo funciona
Los usuarios depositan fondos en el árbol de Merkle o en el compromiso KZG que permite al prover calcular el compromiso de un polinomio. A continuación, el sistema muestra el valor del polinomio en una posición determinada como valor reclamado.
Con el hashing para la privacidad, la rama Merkle o la prueba KZG asignada a cada usuario oculta los saldos individuales. El sistema también funciona para los prestamistas, ya que permite a los usuarios escribir el importe del préstamo en un árbol de Merkel o en un polinomio.
La raíz del Merkle se publica en la cadena, y el sistema puede entonces identificar a los prestatarios sobreendeudados.
Plasma, Validums y el futuro del no depositario
El famoso programador también habló de Plasma y Validiums como medio para evitar que CEX robe los fondos de los usuarios. Los Validiums son una mejora del Plasma.
En este ingenioso contrato, «a cada pieza se le asigna una pista y vive en una posición concreta del árbol de Merkle de un bloque de Plasma».
Además, para realizar una transferencia de monedas válida, una transacción debe colocarse en la posición correcta de un árbol y la raíz debe publicarse en la cadena.
Vitalik prevé un futuro de la custodia que consiste en intercambios centralizados controlados por contratos inteligentes como Validiums e intercambios no custodiados que se inclinan hacia la no custodia. También podría haber intercambios semicustodiales con monedas fiduciarias y criptomonedas, dice el programador.