Según Foresight News, en un seminario organizado conjuntamente por la Fundación Ethereum y ZKProof, el Dr. Vilhelm Sjöberg, científico jefe senior de CertiK, dio una charla centrada en los resultados de verificación de zkWasm y el plan de escalabilidad de Ethereum.
Sjöberg presentó los avances de CertiK en la verificación formal del primer zkVM universal del mundo, zkWasm, y exploró las técnicas de verificación de máquinas virtuales de conocimiento cero, apoyando el proyecto zkEVM de la Fundación Ethereum.
Este plan tiene una duración de varios años, con una inversión total de 20 millones de dólares, y es clave para lograr la escalabilidad de las capas L1 y L2 de Ethereum. CertiK trabajará con la Fundación Ethereum y la comunidad para lograr la verificación completa de zkEVM de Ethereum.
