Web3 보안 회사 Certora가 이더리움 재단의 지원을 받았습니다
2026-02-05 22:12:48
공유하십시오 
Web3 보안 회사 Certora가 이더리움 재단의 지원을 받았다고 발표했으며, 구체적인 금액은 공개되지 않았습니다. 관련 자금은 자동으로 미리 컴파일된 정확성을 검증하는 데 사용될 예정입니다. 자동 미리 컴파일은 제로 지식 계산에서 중요한 최적화 기술로, Powdr Labs가 이더리움 재단의 zkEVM 프로젝트를 위해 개발했습니다. Certora는 개발한 규격, 증명 및 검증 프레임워크를 오픈 소스화할 계획이라고 전해졌습니다.
관련 프로젝트
최신 뉴스
미국 연방준비제도(Fed)가 3월에 금리를 동결할 확률은 82.3%, 금리를 인하할 확률은 17.7%입니다
ChainCatcher
2026-02-10 06:02:50
데이터: BTC 70000 달러 이하로 하락
ChainCatcher
2026-02-10 05:34:36
미국 주식 3대 지수가 상승 마감했으며, 오라클은 9% 이상 상승했습니다
ChainCatcher
2026-02-10 05:01:51
보스틱, 사람들은 달러에 대한 신뢰에 의문을 제기하기 시작했다
ChainCatcher
2026-02-10 04:46:40
보스틱: 고용 데이터 변동으로 인해 연준이 신중함을 유지하고 있다
ChainCatcher
2026-02-10 04:26:39
