El desarrollador de Ethereum, Barry, anunció nuevos avances en los contratos inteligentes privados de zkEVM: ahora se admite el estado privado de usuario, pero aún no cuenta con un estado global privado.

Jinse Finance informó que el desarrollador de Ethereum, barryWhiteHat, publicó que, con la comercialización de las máquinas virtuales de prueba de conocimiento cero (zkEVM), ha surgido una oportunidad interesante: ofrecer una infraestructura de contratos inteligentes privados manteniendo la compatibilidad con la Ethereum Virtual Machine (EVM). Los desarrolladores pueden escribir código en Solidity y, mediante una versión específica del compilador de Solidity o algunas herramientas de post-procesamiento, compilarlo para crear contratos inteligentes privados. Existen importantes compensaciones en torno al estado global privado y la privacidad, cuyo motivo central es: para poder demostrar algo, es necesario saber qué se está demostrando. 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 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 para demostrar que la ejecución de un swap (intercambio) es correcta. Por lo tanto, algunas de las aplicaciones que conocemos y preferimos actualmente no pueden implementarse de forma privada, a menos que contemos con una función de entrada y salida (IO), lo cual es precisamente la razón por la que IO es tan importante. 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 agregar 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 tienen un estado de usuario privado, pero no cuentan con un estado global privado.