Opinión: las pruebas de conocimiento cero no son la solución adecuada para DeFi

Autor: DARREN KLEINE, blockworks Compilador: Shan Ouba, Golden Finance

Muchos equipos están trabajando para lograr DeFi de conocimiento cero, pero todos se enfrentan a la misma lógica básica.

En un podcast reciente de Lightspeed, Kyle Samani de Multicoin Capital expresó su confianza en que las pruebas de conocimiento cero no son la solución adecuada para los problemas de privacidad en DeFi. Él cree que las pruebas de conocimiento cero tienen su uso en otros campos, pero pueden no ser aplicables en DeFi. **

Las pruebas de conocimiento cero se pueden usar para probar la edad de alguien para comprar alcohol sin revelar otros detalles personales. Este es un escenario de aplicación efectivo para las pruebas de conocimiento cero, que pueden preservar la privacidad y probar ciertos hechos.

Sin embargo, si el objetivo de DeFi es la privacidad, las pruebas de conocimiento cero no son una solución adecuada. En DeFi, se debe considerar el concepto de "estado compartido", es decir, cuando se realizan transacciones financieras, se realizan operaciones matemáticas entre varios participantes y se comprometen transacciones de conocimiento cero. El concepto de estado global no existe en DeFi, lo que hace que sea imposible razonar sobre el estado global, lo que hace que las pruebas de conocimiento cero sean ineficaces en DeFi.

Kyle Samani dio un ejemplo para ilustrar este punto: en DeFi, hay grupos de socios limitados y órdenes limitadas, y se producirán transacciones e interacciones entre diferentes personas. Dado que no existe un concepto de estado global, es imposible razonar sobre el estado de todo el sistema. Por lo tanto, cree que las pruebas de conocimiento cero no son adecuadas para resolver problemas de privacidad en DeFi. En DeFi, se necesita una solución que pueda manejar el estado compartido y el razonamiento del estado global, y la prueba de conocimiento cero no puede proporcionar tal función.

Razonamiento de arriba hacia abajo

En su argumento para explicar la inaplicabilidad de las pruebas de conocimiento cero (ZK) en DeFi, Kyle Samani presentó una premisa básica usando zcash (ZEC) como ejemplo. Con zcash, la prueba de cualquier transacción muestra que una serie de salidas de transacciones no gastadas (UTXO) se han enviado a una serie de "blobs cifrados" de direcciones privadas.

Como ejemplo, dijo: "La cantidad total de UTXO que he recibido es menor que la cantidad de UTXO que he enviado, incluida la transacción actual". En este caso, la prueba de transacción solo puede mostrar que el saldo del usuario es mayor que cero, pero no puede proporcionar detalles más específicos.

Aunque, en teoría, la circulación de zcash nunca podría superar los 21 millones porque tiene las mismas limitaciones de suministro que una bifurcación de bitcoin, debido a su diseño basado en la privacidad, el suministro no se puede auditar. Esto también significa que el sistema no puede ser auditado de arriba a abajo para determinar si el suministro total de zcash todavía está fijado en 21 millones. De hecho, zcash tenía un error potencialmente catastrófico que se informó y solucionó en 2019.

Kyle Samani vinculó el incidente a los intentos de implementar soluciones de conocimiento cero en DeFi, enfatizando que DeFi no puede lograr sus objetivos sin poder razonar sobre el sistema de arriba hacia abajo. Dijo que cuando todos envían un montón de pruebas privadas a la cadena, conceptos como la gestión de garantías y la solvencia en DeFi ya no funcionan. DeFi necesita una perspectiva de arriba hacia abajo para funcionar, no solo un montón de transacciones ZK encriptadas.

Si bien muchos equipos están trabajando arduamente para implementar un SDK de conocimiento cero, él cree que todavía están lidiando con un problema de lógica muy básico. Sugirió que la forma adecuada de lograr la privacidad en DeFi es a través del cifrado totalmente homomórfico (FHE). Al cifrar los contratos de extremo a extremo y aplicar transiciones de estado por parte de los verificadores, se puede preservar la lógica central del sistema, que es la forma correcta de resolver el problema de la privacidad.

En resumen, Kyle Samani destacó por qué las pruebas de conocimiento cero no son adecuadas en DeFi y propuso la forma correcta de lograr la privacidad a través del cifrado totalmente homomórfico. Él cree que DeFi necesita una perspectiva de arriba hacia abajo para aprovechar mejor su potencial.