Certora, 이더리움 재단으로부터 개발 지원금 확보
Web3 보안 기업 Certora가 이더리움 재단으로부터 개발 자금을 지원받았다고 밝혔다. 이번 지원금은 Certora가 자동 프리컴파일러의 정확성을 검증하는 데 활용될 예정이다. 자동 프리컴파일러는 제로지식 계산에서 중요한 최적화 기술로, 이더리움 재단의 zkEVM 프로젝트를 추진 중인 Powdr Labs가 개발한 것이다. Certora는 자사에서 개발한 규격, 증명 및 검증 프레임워크를 오픈소스로 공개할 계획이다.
<저작권자 ⓒ TokenPost, 무단전재 및 재배포 금지>
