영지식 증명을 위한 zkSync의 동물원 비유 이해하기

PANews에 따르면 zkSync는 최근 영지식 증명의 개념을 설명하기 위해 동물원 비유를 사용한 교육용 일러스트레이션을 공개했습니다. 이 비유는 동물원을 회로에, 특별한 기술을 가진 동물을 논리 게이트에, 행복한 동물들의 단체 사진을 증명에 비유한 것입니다. 특정 내용을 밝히지 않고 회로에 데이터를 입력하고 복잡한 계산을 수행하면 증명이 생성되어 영지식 증명 프로세스가 완료됩니다. 동물원 비유에서 회로는 모든 동물의 능력을 종합하는 일련의 논리 게이트 제약 조건(덧셈, 뺄셈, 곱셈, 나눗셈 등)에 해당합니다. 회로에 전달된 데이터는 다양한 공식 내에서 실행될 수 있어야 합니다. 레이어2 환경에서는 트랜잭션 해시, 계정, 데이터 잔액과 같은 데이터를 계산을 위한 공식으로 변환할 수 있습니다. 동물원의 다양한 동물들은 서로 다른 로직 게이트를 나타냅니다. 예를 들어 얼룩말은 두 숫자가 같은지 비교할 수 있고, 악어는 '보다 작음'을 나타내며, 거미는 더 복잡한 객관식 게이트를 나타냅니다. 동물마다 서로 다른 산술 공식을 나타내며, 동물의 행복 또는 슬픔은 공식 계산의 구조를 나타냅니다. 다양한 동물(논리 게이트)과 상자(규칙)로 복잡한 회로가 구성됩니다. 공식이 참으로 증명되면 얼룩말과 애벌레와 같은 동물이 행복해지고, 공식에 대한 증명이 생성됩니다. 증명에 대한 신뢰성을 보장하기 위해 레이어2 시스템에는 지크라는 특별한 동물이 검증자로 도입되었습니다. 지크는 다른 동물들이 행복한지 관찰하고, 행복한 경우 증명을 검증하여 메인 네트워크에 업로드하여 최종 확인을 받습니다. 단체 사진을 찍는 과정은 SNARK 증명 또는 KZG 약속을 생성하는 것과 유사하며, 인쇄된 필름은 STARK/SNARK 증명과 동일합니다. 동물원 방문자는 개별 거래를 나타내며, 동물들이 행복해하며 단체 사진을 찍을 때만 블록체인에서 증명이 생성되고 확인됩니다. 그러나 동물원의 모든 동물이 동시에 행복하고 미리 정해진 규칙에 따라 작동할 수는 없으므로 혼잡, 오류, 유효하지 않은 상태 전환이 발생할 수 있습니다. 이러한 상황이 발생하면 제약 조건이 충족되지 않아 최종 검증을 통과할 수 없게 됩니다.