웹3 보안 기업인 세트로라(Cetrora)가 이더리움 재단으로부터 연구 자금을 지원받았습니다.
웹3 보안 기업인 Certora는 이더리움 재단으로부터 연구 자금을 지원받아 Powdr Labs와 협력하여 이더리움 재단의 zkEVM 이니셔티브의 핵심 최적화 기술인 "자동 사전 컴파일"에 대한 형식 검증을 제공한다고 발표했습니다. 자동 사전 컴파일은 Powdr Labs가 개발한 저수준 ZK 회로 구성 요소로, 자동으로 추론될 수 있으며 zkEVM의 암호화 및 산술 성능을 최적화하도록 설계되었습니다.
2026-02-05