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 mientras mantiene 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 algunos compromisos importantes en torno al estado global privado y la privacidad, siendo la razón principal: para demostrar algo, debes saber qué estás demostrando. 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 ejecuta 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); esta es exactamente la razón por la que 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) añadiéndolas a reth, con el fin de lograr un contrato inteligente privado; estos contratos tienen estados de usuario privados pero no tienen estados globales privados.