PANews는 2월 5일, 체인와이어(Chainwire)를 인용하여 웹3 보안 회사인 서토라(Certora)가 이더리움 재단으로부터 연구 자금을 지원받아 파우더 랩스(Powdr Labs)와 협력하여 이더리움 재단의 zkEVM 이니셔티브의 핵심 최적화 기술인 "자동 사전 컴파일"에 대한 형식 검증을 제공한다고 발표했다고 보도했습니다. 자동 사전 컴파일은 파우더 랩스가 개발한 저수준 ZK 회로 구성 요소로, 자동으로 추론될 수 있으며 zkEVM의 암호화 및 산술 성능을 최적화하도록 설계되었습니다.
웹3 보안 기업인 세트로라(Cetrora)가 이더리움 재단으로부터 연구 자금을 지원받았습니다.
공유하기:
작성자: PA一线
이 내용은 시장 정보 제공만을 목적으로 하며, 투자 조언을 구성하지 않습니다.
PANews 공식 계정을 팔로우하고 함께 상승장과 하락장을 헤쳐나가세요
추천 읽기
