피에이뉴스(PANews) 5월 14일 소식에 따르면, 이더리움 재단 공식 웹사이트에 의하면, 블록체인 보안 기관 CertiK가 최근 이더리움 재단 2025년 첫 분기 두 가지 연구 지원을 받았으며, 개발자 도구와 zkVM 회로 검증의 형식적 방법 개선에 초점을 맞추고 있습니다:
Verus 도구 평가: CertiK는 Rust로 작성된 회로 및 이더리움 가상 머신(EVM) 사전 컴파일 모듈 검증에 있어 Verus(Rust 검증 도구)의 유용성을 평가할 예정입니다.
zkVM 회로 검증 간소화: 이 프로젝트는 zkVM 회로 검증을 간소화하기 위한 전략을 개발하는 것을 목표로 하며, 모듈 산술 및 여러 숫자를 단일 도메인 요소로 패킹하는 상황에 중점을 둡니다.
알려진 바로는, CertiK의 형식적 검증 기술이 zkWasm, TON 메인 체인 계약, 코스모스(Cosmos) SDK, 그리고 앤트 그룹의 HyperEnclave TEE, Asterinas OS 등 여러 최고 Web3 프로젝트에 광범위하게 적용되고 있습니다.
