La Fundación Ethereum anuncia la resolución de todos los problemas con los contratos del sistema Pectra tras una auditoría de seguridad

Organización sin fines de lucro que apoya el desarrollo de la cadena de bloques Ethereum, Fundación Ethereum anunció los resultados de una auditoría de seguridad externa realizada sobre los contratos del sistema Pectra. La revisión identificó problemas importantes, todos los cuales fueron abordados.

Los contratos del sistema Pectra incluyen varias propuestas de mejora de Ethereum (EIP), a saber, EIP-2935, EIP-7002 y EIP-7251. El objetivo principal de las revisiones fue evaluar los contratos en busca de posibles riesgos de seguridad y garantizar que su lógica implemente con precisión la funcionalidad descrita en las respectivas especificaciones de EIP.

Se empleó un proceso de auditoría de varias fases, en el que cada revisión posterior se basaba en los hallazgos de las anteriores. Esto incluyó auditorías de Blackthorn, Dedaub y Sigma Prime, que abarcaron los EIP 2935, 7002 y 7251, así como la auditoría de PlainShift. Después de cada ronda de auditorías, se realizaron mejoras en el código antes de avanzar a la siguiente fase.

Además, la empresa de capital de riesgo a16z realizó una verificación formal utilizando Halmos, una herramienta para verificar formalmente la corrección de la funcionalidad del contrato. Este proceso se centró en confirmar que el código de bytes estaba alineado con las especificaciones del contrato, en lugar de evaluar la seguridad de las especificaciones en sí. Este enfoque permite a los auditores y a la comunidad revisar las especificaciones del contrato sin preocuparse por los detalles de nivel inferior de la implementación del código de bytes.

Pectra se lanza en Holesky; el lanzamiento de la red de prueba Sepolia está previsto para el 5 de marzo

Pectra, una próxima actualización de la red Ethereum, es una combinación de dos componentes: “Prague”, que aborda las actualizaciones del lado del cliente de ejecución, y “Electra”, que se centra en las mejoras del lado del cliente de la capa de consenso. Esta actualización sigue a la actualización de Dencun del año anterior.

Los pectra La actualización introduce varios cambios destinados a mejorar la escalabilidad, la seguridad y la facilidad de uso de Ethereum. Entre ellos se incluyen mejoras como la mejora de la experiencia del usuario en las billeteras de criptomonedas y la abstracción de cuentas (EIP-7702), el aumento del límite máximo de participación del validador de 32 a 2,048 ETH (EIP-7251) y la duplicación del recuento máximo de blobs para mejorar la escalabilidad de la acumulación (EIP-7691).

La actualización se activó en la red de prueba Holesky a principios de esta semana. Sin embargo, una vulnerabilidad de la capa de ejecución (EL) provocó divisiones de la cadena, lo que llevó a una situación en la que solo una minoría de las cadenas eran válidas, lo que redujo la salud general de la red. siguiente fase Para Pectra es necesaria su activación en la red de pruebas Sepolia, prevista para el 5 de marzo. 

Si ambas redes de prueba tienen éxito, el equipo de Ethereum procederá a seleccionar una fecha de activación de la red principal, que se prevé que sea en abril.