오늘 라그랑주는 기존의 ZK 코프로세서 및 상태 위원회(State Committee) 서비스에 더해, ZK 롤업의 증명 생성을 지원하기 위해 ZK 프로버 네트워크를 확장했습니다. 새로운 기능 추가를 통해 라그랑주는 이제 롤업, 앱, 코프로세서 및 상호 운용성을 위한 증명을 생성하는 무한 증명 레이어로서, 누구나 인터넷 규모에서 모든 것을 증명할 수 있도록 합니다. 이전에 라그랑주는 코인베이스(Coinbase), 크라켄(Kraken), OKX(OKX) 등 업계 최고의 운영자들이 운영하는 업계 최초의 상용화 준비 완료 ZK 프로버 네트워크를 출시한 바 있습니다. 이제 라그랑주의 ZK 프로버 네트워크는 롤업이 마주한 주요 과제 해결과 ZK 기술의 확산 및 활용도 증진을 위해 확장되고 있습니다.
ZK 코프로세서는 임의의 블록 범위에 대해 임의의 저장 슬롯의 올바른 연산 증명을 생성할 수 있습니다. 예를 들어, 이더리움의 ETH/USDC 가격 평균을 계산하려는 애플리케이션이 있다고 가정해 봅시다. 개발자는 먼저 데이터셋에 포함시키고자 하는 메모리 슬롯과 블록 범위(약 50,400)를 지정해야 합니다. 다음으로 개발자는 여러 블록에서 병렬로 실행되어야 하는 저장 슬롯의 연산을 작성합니다. 증명이 생성되면 이는 스마트 계약 정보에서 파생된 블록 헤더에 대해 저장 포함 여부와 집계된 연산의 유효성을 증명합니다.