Cysic: ZK 산업에서 zkVM는 어떻게 새로운 패러다임이 되는가? -(5)
기술적인 세부사항에 들어가기 전에, 우리는 먼저 제로 지식 증명(ZKP)에 대한 일부 기본 지식을 소개할 필요가 있습니다. Plonkish 증명 시스템의 전형적인 증명 생성 과정은 다음과 같은 단계로 나눌 수 있습니다.
1. 증인 기록: 증인은 또한 트레이스로 알려져 있습니다. 이것은 다른 데이터와 함께 어떤 명제가 참인지를 보여주는 일부 데이터를 말합니다. 기록은 트레이스 테이블이라고 하는 이차원 행렬을 통해 수행됩니다. 테이블의 각 항목은 유한 필드의 요소입니다. 트레이스 테이블을 채우는 과정은 "증인 생성"이라고 하며, 테이블의 각 셀을 순회하며 올바른 값을 채우는 것을 요구합니다. 이 과정은 유한 필드에서의 산술 연산을 필요로 하며 특정 ZK 회로에 맞춰져 있습니다.
2. 증인 제출: 증인 생성 후, 우리는 트레이스 테이블을 얻게 되며, 그 테이블의 각 열은 Lagrange 보간을 통해 다항식으로 해석됩니다. 이 다항식들은 KZG 및 FRI와 같은 다양한 커밋 메커니즘을 사용하여 커밋될 수 있습니다. 여기에 포함된 주요 계산은 다항식 곱셈(MSM), 수론 변환((I)NTT), 다항식 평탄화 및 메르클 트리를 포함합니다. 큰 유한 필드에서 복잡한 계산과 필요한 막대한 데이터 양으로 인해, 이것은 증명 생성의 병목 현상이 됩니다.
3. 증인의 진실성 증명: 이제 트레이스 테이블이 채워지고 커밋이 계산되었습니다. 남은 것은 트레이스가 유효하다는 것을 보여주는 것뿐입니다. 이는 특정한 제약 조건이 충족된다는 것을 의미합니다. 여기에 포함된 계산은 수론 변환((I)NTT), 다항식 곱셈(MSM) 및 다항식 평탄화를 포함합니다.
요약하자면, 증명 생성에서의 계산은 다항식 곱셈(MSM), 수론 변환(NTT), 메르클 트리 및 다항식 평탄화와 같은 몇 가지 공통 모듈을 포함하며, 추가 모듈도 있습니다.
영희에게 코인 인증하고 코인올백 심화방 입장하기