Es absolutamente posible escribir protocolos DeFi (y mucho más) mientras se confía en ZKPs para la privacidad; esto es exactamente para lo que fue diseñado 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 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 semi-privados (el estado es conocido por un conjunto de usuarios, pero no por toda la red) y estos también pueden interactuar tanto con actores completamente privados como con actores públicos. Este es un modelo muy poderoso que cubre un gran número de casos de uso de DeFi, desde AMMs anónimos y CLBOs, hasta stablecoins privadas y conformes. Y una cosa más agradable: para escribir estos protocolos DeFi, no necesitamos ingenieros que entiendan ZKPs; puedes escribir todo en Rust. Me gusta FHE; es una tecnología realmente genial y permite algunos casos de uso que ZKPs no pueden abordar (es decir, tener un estado compartido verdaderamente privado), pero también viene con un enorme costo de rendimiento para la red. La belleza de los ZKPs es que en realidad reducen la carga de la red; una transacción probada localmente no necesita ser ejecutada por la red (verificar pruebas ZK es muy barato); llamamos a este concepto la blockchain Edge. Mientras que con FHE, cada transacción se vuelve 100x (o 1000x) más cara para la red. Los ASICs ayudarán aquí, sin duda, pero esto también significa que cada nodo validador necesitará ejecutar estos ASICs o de lo contrario no podrá seguir la red. Y requerir que cada nodo tenga un ASIC es un poco como requerir que cada nodo de Bitcoin sea un minero.