Tienda de dapps | Hub de Web3 para eventos y juegos

Temas en tendencia

Bobbin Threadbare

blockchains, pruebas de conocimiento cero, máquinas virtuales. trabajando en @0xMiden

Es absolutamente posible escribir protocolos DeFi (y mucho más) mientras se confía en los ZKP para la privacidad: esto es exactamente para lo que se diseñó Miden. El truco principal es reimaginar cómo funciona el estado y, en lugar de usar un estado monolítico, adaptar el modelo de actor (algo utilizado en los sistemas distribuidos durante décadas). Entonces podemos tener actores privados que pueden interactuar con actores públicos que controlan el estado compartido. O podríamos tener actores semiprivados (el estado es conocido por un conjunto de usuarios, pero no por toda la red) y estos también pueden interactuar tanto con actores totalmente privados como con actores públicos. Este es un modelo muy poderoso que cubre una gran cantidad de casos de uso de DeFi, desde AMM y CLBO anónimos hasta monedas estables privadas que cumplen con los requisitos. Y otra cosa buena: para escribir estos protocolos DeFi, no necesitamos ingenieros que entiendan de ZKP, puedes escribir todo en Rust. Me gusta FHE, una tecnología realmente genial y permite algunos casos de uso que los ZKP no pueden abordar (es decir, tener un estado compartido verdaderamente privado), pero también viene con una gran sobrecarga de rendimiento para la red. La belleza de los ZKP es que en realidad reducen la carga de la red: una transacción probada localmente no necesita ser ejecutada por la red (verificar las pruebas de ZK es muy barato), llamamos a este concepto la cadena de bloques Edge. Mientras que con FHE, cada transacción se vuelve 100 veces (o 1000 veces) más cara para la red. Los ASIC ayudarán aquí con seguridad, pero esto también significa que cada nodo de validación deberá ejecutar estos ASIC o, de lo contrario, no podrán seguir la red. Y exigir que cada nodo tenga un ASIC es como exigir que cada nodo de Bitcoin sea un minero.

6/ b) es el más sutil y difícil de entender. Aquí es donde falla ZK Para entender por qué, consideremos la aplicación de privacidad más simple: zcash (sin defi). Cuando envía una transacción de zcash blindada, produce una prueba que dice: aproximadamente "Estoy enviando monedas de tal manera que mi saldo permanece >0 después de esta transacción". Bueno, si agregas 1000 de esas transacciones y luego miras el estado de la cadena como un extraño, ¿qué sabes sobre el estado? Nada Ahora imagina intentar hacer DeFi además de eso. ¿Cómo se hace DeFi si su transacción literalmente no puede ver o interactuar con los activos de otra persona? Un montón de equipos han estado tratando de abordar esto durante la última década, incluidos Aztec, Aleo y probablemente algunos más que no recuerdo en este momento. El desafío fundamental con el que cada uno de estos equipos tiene que lidiar es el desafío descrito anteriormente. Básicamente, ¿cómo se diseñan los ZKP para permitir que el mundo exterior vea información selectiva (por ejemplo, cuánta garantía respalda un préstamo)? Ahora considere ser un desarrollador de DeFi. No solo debe diseñar su protocolo DeFi, debe hacerlo 1) de una manera parcialmente paralizada y 2) debe comprender cómo funcionan los ZKP. ¿Quién quiere ser el desarrollador que construye un sistema DeFi que tiene 9 o 10 cifras con todos estos riesgos adicionales? Esto es algo aterrador Muchos de los equipos de zk DeFi han estado trabajando para tratar de hacer que estas cosas sean más comprensibles, pero la realidad subyacente es extremadamente difícil de manejar. Además, esto requiere reconstruir cada primitiva de DeFi desde cero. El desafío fundamental aquí es que DeFi, tal como lo conocemos actualmente, *requiere la capacidad de razonar sobre el estado compartido globalmente*. Tal vez haya una manera de reconstruir DeFi desde cero con un razonamiento selectivo, pero soy extremadamente escéptico con esa afirmación. Y demostrando ese reclamo al mundo en general de una manera que todos los demás creerán que será un esfuerzo de una década dado el riesgo técnico que existe con docenas de circuitos zk a medida. Entonces, ¿qué es FHE? FHE le permite calcular sobre datos cifrados. Esto ha sido considerado el santo grial de la criptografía durante décadas. Pensar en DeFi privado usando FHE como construcción criptográfica principal es bastante simple. ¡Lo piensas igual que si fuera transparente! Es solo que, mágicamente, no todo es transparente, pero aún puede calcular sobre él de todos modos Sí, esto es magia

Populares

Ranking

Favoritas