Tendencias del momento
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

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 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.

Kyle Samani23 oct, 00:36
6/
b) es el más sutil y el más difícil de entender. Aquí es donde ZK falla.
Para entender por qué, consideremos la aplicación de privacidad más simple: zcash (sin defi).
Cuando envías una transacción de zcash protegida, produces 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 externo, ¿qué sabes sobre el estado? Nada.
Ahora imagina intentar hacer DeFi sobre eso. ¿Cómo haces DeFi si tu transacción literalmente no puede ver ni interactuar con los activos de nadie más?
Un montón de equipos han estado tratando de abordar esto durante la última década, incluyendo Aztec, Aleo, y probablemente bastantes más que no puedo recordar 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 diseñas ZKPs para permitir que información selectiva sea vista por el mundo exterior (por ejemplo, cuánto colateral respalda un préstamo)?
Ahora considera ser un desarrollador de DeFi. No solo tienes que diseñar tu protocolo DeFi, sino que tienes que hacerlo 1) de una manera parcialmente limitada, y 2) tienes que entender cómo funcionan los ZKPs. ¿Quién quiere ser el desarrollador que construye un sistema DeFi que tiene 9 o 10 cifras en él con todos estos riesgos adicionales? Esto es 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 que es extremadamente difícil de manejar.
Además, esto requiere reconstruir cada primitiva DeFi desde cero.
El desafío fundamental aquí es que DeFi tal como lo conocemos actualmente *requiere la capacidad de razonar sobre un estado compartido globalmente.*
Quizás haya una manera de reconstruir DeFi desde cero con razonamiento selectivo, pero soy extremadamente escéptico de esa afirmación. Y demostrar esa afirmación al mundo en general de una manera que todos los demás lo crean será un esfuerzo de una década dado el riesgo técnico que hay con docenas de circuitos zk a medida.
Entonces, ¿qué es FHE? FHE te permite computar sobre datos encriptados. Esto ha sido considerado el santo grial de la criptografía durante décadas.
Pensar en DeFi privado usando FHE como la construcción criptográfica principal es en realidad bastante simple. ¡Lo piensas de la misma manera que si fuera transparente! Es solo que mágicamente, todo no es transparente, pero aún puedes computar sobre ello de todos modos.
Sí, esto es magia.
7,28K
¡Estoy súper emocionado por esto! Hemos estado trabajando con el equipo durante más de un mes y la experiencia ha sido excepcional. @OpenZeppelin es el estándar de oro para definir componentes/frameworks de blockchain fundamentales (y seguros) - y estoy encantado de que aporten su experiencia a Miden.

Miden15 oct, 22:00
🔸 𝐌𝐢𝐝𝐞𝐧 × 𝐎𝐩𝐞𝐧𝐙𝐞𝐩𝐩𝐞𝐥𝐢𝐧 🔹
Seguridad, estándares, privacidad
Para llevar la privacidad y la seguridad a las finanzas del mundo real, Miden se está asociando con el estándar de la industria para la seguridad de contratos inteligentes: @OpenZeppelin
2,72K
Parte superior
Clasificación
Favoritos

