El desarrollador de Ethereum, Barry, publica nuevos avances sobre los contratos inteligentes privados en zkEVM: soportan estados de usuario privados, pero no cuentan con un estado global privado.

Jinse Finance informó que el desarrollador de Ethereum, barryWhiteHat, declaró que, con la comercialización de las máquinas virtuales de prueba de conocimiento cero (zkEVM), ha surgido una oportunidad interesante: proporcionar una infraestructura de contratos inteligentes privados manteniendo la compatibilidad con la Ethereum Virtual Machine (EVM). Los desarrolladores pueden escribir código en Solidity y compilarlo mediante una versión específica del compilador de Solidity o utilizando algunas herramientas de post-procesamiento, para así crear contratos inteligentes privados. Existen importantes compensaciones en torno al estado global privado y la privacidad, cuyo motivo central es que, para probar algo, se debe saber qué se está probando. Por lo tanto, no puede existir un contrato inteligente privado que posea un estado global público que uno desconozca. En consecuencia, tampoco pueden existir contratos inteligentes privados con un estado global privado. Por ejemplo, aplicaciones como Uniswap no pueden implementarse de forma privada, ya que el probador necesita conocer los saldos de ambos pools de liquidez para demostrar que la ejecución de un swap (intercambio) es correcta. Por lo tanto, algunas aplicaciones que conocemos y preferimos actualmente no pueden implementarse de forma privada, a menos que contemos con la funcionalidad de entrada y salida (IO), lo cual es precisamente la razón por la que IO es tan crucial. Esto nos permite construir un Ethereum completamente privado, manteniendo las mismas suposiciones de confianza que el Ethereum nativo. Sin embargo, este artículo tiene como objetivo explorar cómo, al añadir los códigos de operación pstore y pload en reth y compilarlos en la máquina virtual de prueba de conocimiento cero (zkEVM), se puede lograr un tipo de contrato inteligente privado: estos contratos poseen un estado privado de usuario, pero no un estado global privado.