Web3 보안 회사 Certora, 이더리움 재단으로부터 자금 지원 확보

Odaily 소식 Web3 보안 회사 Certora가 이더리움 재단으로부터 자금 지원을 받았다고 발표했으며, 구체적인 금액은 아직 공개되지 않았다. 관련 자금은 자동 사전 컴파일(automatic precompilation)의 정확성 검증을 지원하는 데 사용될 예정이다. 자동 사전 컴파일은 영지식 계산(zero-knowledge computation)의 핵심 최적화 기술로, Powdr Labs가 이더리움 재단의 zkEVM 프로젝트를 위해 개발했다. Certora는 자체 개발한 사양, 증명 및 검증 프레임워크를 오픈소스로 공개할 계획이라고 밝혔다. (Chainwire)