Web3 보안 회사 Certora가 이더리움 재단의 지원을 받았습니다

Web3 보안 회사 Certora가 이더리움 재단의 지원을 받았다고 발표했으며, 구체적인 금액은 공개되지 않았습니다. 관련 자금은 자동으로 미리 컴파일된 정확성을 검증하는 데 사용될 예정입니다. 자동 미리 컴파일은 제로 지식 계산에서 중요한 최적화 기술로, Powdr Labs가 이더리움 재단의 zkEVM 프로젝트를 위해 개발했습니다. Certora는 개발한 규격, 증명 및 검증 프레임워크를 오픈 소스화할 계획이라고 전해졌습니다.