Web3 보안 회사 Certora가 이더리움 재단의 지원을 받았습니다
2026-02-05 22:12:48
공유하십시오 
Web3 보안 회사 Certora가 이더리움 재단의 지원을 받았다고 발표했으며, 구체적인 금액은 공개되지 않았습니다. 관련 자금은 자동으로 미리 컴파일된 정확성을 검증하는 데 사용될 예정입니다. 자동 미리 컴파일은 제로 지식 계산에서 중요한 최적화 기술로, Powdr Labs가 이더리움 재단의 zkEVM 프로젝트를 위해 개발했습니다. Certora는 개발한 규격, 증명 및 검증 프레임워크를 오픈 소스화할 계획이라고 전해졌습니다.
관련 프로젝트
최신 뉴스
암호화 친화적 은행 에레보르 은행, 미국 국가은행 라이센스 획득
ChainCatcher
2026-02-07 13:57:54
데이터: BTC 70000 달러 아래로 하락
ChainCatcher
2026-02-07 13:54:56
a16z Crypto 창립자: 내가 본 블록체인 세계
ChainCatcher
2026-02-07 13:53:18
데이터: Aave 창립자들은 지난 13시간 동안 1,700 ETH를 매도하고 30,727 AAVE를 매수했습니다.
ChainCatcher
2026-02-07 13:29:47
아서 헤이즈: 비트코인 급락은 IBIT에서 거래자들이 급격한 변동을 유발할 수 있는 지점을 찾으려는 헤지 활동에서 비롯되었을 가능성이 있습니다.
ChainCatcher
2026-02-07 12:54:50
