Vitalik Buterin habla de Seguridad CEX

El cofundador de Ethereum, Vitalik Buterin, escribió un artículo en su blog sobre los intentos pasados de acercar los intercambios centralizados (CEX) a la falta de confianza, las deficiencias de las tácticas actuales y algunas ideas frescas y poderosas que se basan en ZK-SNARKs y otras tecnologías.

El socio general de A16z y ex CTO de Coinbase, Balaji Srinivasan, así como empleados de Binance, Coinbase y Kraken, contribuyeron al estudio de Vitalik.

Buterin señaló que las técnicas de prueba de solvencia obsoletas incluyen los árboles de Merkle y las listas de saldos. Según Buterin, los primeros intentos de los exchange de demostrar criptográficamente que no están defraudando a sus usuarios se remontan a bastante tiempo atrás, citando el intercambio de Bitcoin MtGox como ejemplo.

Buterin afirma que la técnica del árbol de Merkle, si el objetivo es sólo conseguir una prueba de responsabilidades, es básicamente lo mejor que puede ser un esquema de prueba de responsabilidades.

Continúa diciendo que los ZK-SNARK pueden aumentar la privacidad y la robustez. Según Buterin, podemos utilizar un ZK-SNARK para demostrar que todos los saldos del árbol no son negativos y suman algún valor reclamado poniendo todos los depósitos de los usuarios en un árbol de Merkle o en un compromiso KZG.

Según Buterin, a largo plazo, «esta forma de prueba de pasivos ZK podría utilizarse posiblemente no sólo para los depósitos de los clientes en las exchange, sino para los préstamos de forma más amplia».

Buterin identificó dos problemas en el mundo real con este sencillo método de prueba de activos, a saber, el «manejo con almacenamiento en frío» y el «doble uso de la garantía».

Los intercambios pueden mantener un pequeño número de direcciones para uso público a largo plazo, tener numerosas direcciones y probar unas cuantas al azar para solucionar esto.

Para mantener la privacidad, los exchanges podrían incluso hacer una prueba de conocimiento cero sobre la blockchain que establezca el saldo total de todas las direcciones que utilizan este formato.

Convertir los CEX en no custodiados Buterin aconseja utilizar las técnicas de Validiums y Plasma. Solución para escalar Ethereum Plasma divide el saldo en un número de «monedas» distintas, cada una de las cuales recibe un índice y ocupa una ubicación específica en el árbol de Merkle de un bloque Plasma.

Un validium, que es efectivamente un ZK-rollup con la excepción de que los datos se mantienen fuera de la cadena, es la aplicación más reciente de la idea de Plasma.

En un validium, el operador no tiene forma de robar dinero, pero dependiendo de los detalles de la implementación, parte del dinero del usuario podría quedar atrapado si el operador desaparece.

El cofundador de Ethereum dijo: «A largo plazo, mi objetivo es que nos acerquemos cada vez más a que todos los exchange sean no custodiados, al menos en el lado de las criptomonedas«.

Este estudio fue publicado por Vitalik después de la caída de CEX FTX. Durante el hackeo de FTX, Vitalik Buterin se deshizo de 3000 tokens ETH. El 12 de noviembre, en tres transacciones, intercambió estos ETH por 4 millones de USDC en el creador de mercado automatizado DeFi Uniswap V3.