El desarrollador de Ethereum, barry, ha publicado nuevos avances en los contratos inteligentes privados zkEVM: admite el estado privado del usuario, pero no tiene un estado global privado.

Según un informe de Jinse, el desarrollador de Ethereum Barry WhiteHat afirmó que, con la comercialización de la Máquina virtual de zk-SNARKs (zkEVM), ha surgido una oportunidad interesante: ofrecer una infraestructura de contratos inteligentes privados y, al mismo tiempo, mantener la compatibilidad con la Máquina virtual de Ethereum (EVM). Los desarrolladores pueden escribir código Solidity y compilarlo a través de una versión específica del compilador de Solidity o algunas herramientas de posprocesamiento para crear contratos inteligentes privados. Existen importantes compensaciones en torno al estado global privado y la privacidad, y la razón principal es que: para realizar una prueba, es necesario saber qué es lo que se va a probar. Por lo tanto, no puede existir un contrato inteligente privado de esta manera: que tenga un estado global público que tú no conoces. De ello se infiere que tampoco puede existir un contrato inteligente privado con un estado privado global. Por ejemplo, aplicaciones como Uniswap no pueden implementarse de forma privada, ya que el probador necesita conocer los saldos de los dos fondos para poder probar que la ejecución de un swap (intercambio) es correcta. Por lo tanto, algunas de las aplicaciones que conocemos y apreciamos actualmente no se pueden implementar de forma privada, a menos que tengamos capacidades de entrada y salida (IO), que es precisamente la razón por la cual IO es crucial. Nos permite construir un Ethereum completamente privado, y su suposición de confianza es completamente consistente con el Ethereum nativo. Sin embargo, este artículo tiene como objetivo explorar cómo, al agregar las operaciones pstore y pload en reth, se pueden compilar en la Máquina virtual de zk-SNARKs (zkEVM), lo que permite la creación de un contrato inteligente privado: este tipo de contrato tiene un estado de usuario privado, pero no cuenta con un estado global privado.