El desarrollador de Ethereum, Barry, publicó nuevos avances sobre los contratos inteligentes privados de zkEVM: soporte para el estado privado del usuario, pero no para el estado global privado.

 El desarrollador de Ethereum, barryWhiteHat, escribió que con la comercialización de la máquina virtual de pruebas de conocimiento cero (zkEVM), ha surgido una oportunidad interesante: puede 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 a través de una versión específica del compilador de Solidity o mediante algunas herramientas de post-procesamiento para crear contratos inteligentes privados.

Existen algunas compensaciones importantes en torno al estado global privado y la privacidad, siendo la razón principal: para probar algo, debes saber qué estás probando. Por lo tanto, no puede existir un contrato inteligente privado que tenga un estado global público del que no tengas conocimiento. En consecuencia, tampoco pueden existir contratos inteligentes privados con estado global privado. Por ejemplo, aplicaciones como Uniswap no pueden implementarse en una forma privada porque el verificador necesita conocer los saldos de dos pools de liquidez para demostrar que una transacción de intercambio se ejecutó correctamente.

Por lo tanto, algunas aplicaciones conocidas y populares actualmente no pueden implementarse en una forma privada a menos que tengamos capacidades de entrada-salida (IO), y esta es exactamente la razón por la cual IO es crucial. Nos permite construir un Ethereum completamente privado, con sus supuestos de confianza idénticos a los de Ethereum nativo.

Sin embargo, este artículo tiene como objetivo explorar cómo compilar las operaciones pstore y pload en la máquina virtual de pruebas de conocimiento cero (zkEVM) agregándolas a reth, para lograr un contrato inteligente privado; estos contratos tienen estados privados de usuario pero no tienen estados globales privados.