Згідно з офіційним сайтом Ethereum Foundation, компанія з безпеки блокчейнів CertiK нещодавно отримала два дослідницькі гранти на перший квартал 2025 року від Ethereum Foundation, зосереджені на вдосконаленні формальних методів для інструментів розробників та верифікації zkVM схем:

  1. Оцінка інструменту Verus: CertiK оцінить практичність Verus (інструменту верифікації на Rust) у верифікації схем, написаних на Rust, та попередньо скомпільованих модулів EVM.

  2. Спрощення верифікації zkVM схем: Цей проект має на меті розробити стратегії для спрощення верифікації zkVM схем, зосереджуючись на вирішенні арифметики модулів та упаковці кількох значень в один елемент поля.

Повідомляється, що технологія формальної верифікації CertiK широко застосовується в провідних проектах Web3, таких як zkWasm, контракти основного ланцюга TON, Cosmos SDK, а також HyperEnclave TEE від Ant Group, Asterinas OS та інших.