PANews는 5월 14일 이더리움 재단 공식 홈페이지에 따르면 블록체인 보안 기관인 CertiK이 최근 이더리움 재단으로부터 2025년 1분기에 두 건의 연구 보조금을 지원받았으며, 지원 대상은 개발자 도구와 zkVM 회로 검증의 공식적 수단에 집중되어 있다고 보도했습니다.

  1. Verus 도구 평가: CertiK은 Rust로 작성된 회로와 EVM으로 미리 컴파일된 모듈을 검증하는 Rust 검증 도구인 Verus의 유용성을 평가합니다.

  2. zkVM 회로 검증 단순화: 이 프로젝트는 모듈러 산술과 여러 값이 단일 도메인 요소에 포함되는 경우에 초점을 맞춰 zkVM 회로 검증을 단순화하는 전략을 개발하는 것을 목표로 합니다.

CertiK의 공식 검증 기술은 zkWasm, TON 메인 체인 컨트랙트, Cosmos SDK, 그리고 Ant Group의 HyperEnclave TEE, Asterinas OS를 비롯한 여러 주요 Web3 프로젝트에서 널리 사용된 것으로 알려졌습니다.