오늘, 라그랑주는 ZK 롤업을 위한 증명 생성을 지원하도록 ZK Prover Network를 확장했으며, 이는 라그랑주의 기존 ZK Coprocessor 및 State Committee 제품군에 추가된 것입니다. 이번 확장을 통해 라그랑주는 이제 롤업, 앱, 코프로세서 및 상호 운용성을 위한 모든 것에 대한 증명을 무한한 증명 계층으로 제공하며, 누구나 인터넷 규모로 모든 것을 증명할 수 있도록 지원합니다. 이전에도 라그랑주는 업계 최초로 코인베이스, 크라켄, OKX 등 최고의 운영사들이 운영하는 프로덕션 레디 ZK prover network를 출시한 바 있습니다. 이제 라그랑주의 ZK Prover Network는 롤업이 직면한 주요 과제를 해결하고 ZK 채택 및 유용성을 발전시키기 위해 확장되고 있습니다.

ZK Coprocessor는 임의의 블록 범위에 대해 임의의 스토리지 슬롯에 대한 올바른 계산 증명을 생성할 수 있습니다. 예를 들어, 이더리움에서 ETH / USDC 가격에 대한 평균을 계산하려는 애플리케이션을 생각해 볼 수 있습니다. 개발자는 먼저 데이터 세트에 포함시키려는 메모리 슬롯과 블록 범위(~50,400)를 지정해야 합니다. 다음으로 개발자는 다양한 블록에 걸쳐 스토리지 슬롯에서 병렬로 실행될 계산을 작성합니다. 증명이 생성되면 스마트 컨트랙트 정보에서 파생된 블록 헤더에 대해 스토리지 포함 및 집계된 계산이 모두 유효함을 증명합니다.