Conform Foresight News, firma de audit de securitate CertiK a anunțat că a primit două granturi de cercetare de la Fundația Ethereum pentru primul trimestru al anului 2025. Aceste granturi sunt concentrate în principal pe verificarea formală a zkEVM, o tehnologie menită să îmbunătățească scalabilitatea Ethereum prin intermediul dovezilor zero-knowledge.
Tehnologia avansată de verificare formală a CertiK, concepută pentru a gestiona sisteme complexe de dovezi zero-knowledge, oferă suport robust pentru strategia de scalabilitate a Ethereum. Această tehnologie a fost deja aplicată în diverse proiecte Web3, inclusiv zkWasm, contractele principale TON, Cosmos SDK, TEE HyperEnclave al grupului Ant și Asterinas OS.
zkEVM, sau mașina virtuală Ethereum cu dovezi zero-knowledge, reprezintă o inovație în tehnologia blockchain, utilizând dovezi zero-knowledge pentru a obține scalabilitate pentru Ethereum.
