동물원을 예로 들면, zkSync 회로가 어떻게 작동하는지에 대한 하드코어 과학입니다.

많은 사람들이 @zkSync의 새로운 동물원 과학 대중화 그래픽을 보고 혼란스러워하며 동물원을 회로 회로에 비유하고, 특별한 기술을 가진 동물들을 '논리 게이트 게이트'로, 단체 사진을 찍으며 기뻐하는 동물들을 '증명 증명 증명'으로 표현했습니다. "를 생성하기 위해 일련의 복잡한 계산을 거쳐 특정 내용을 밝히지 않는다는 전제하에 회로에 입력 된 데이터가 영 지식 증명 프로세스를 완료하도록합니다. 자, 나는 하드 코어 과학을 시도합니다 :

동물원은 "회로"에 해당하며 회로는 실제로 컴퓨터의 기본 요소의 구성 인 시간의 성능에 집중할 수있는 능력의 모든 동물의 합계에 대한 일련의 논리 게이트 제약 (더하기, 빼기, 곱하기, 나누기 및 기타 공식)의 일련의 논리 게이트 제약입니다. 따라서 회로에 들어오는 '데이터'는 다양한 공식에 넣어 실행할 수 있어야 합니다.

레이어2 환경에는 일부 트랜잭션 해시, 계정, 데이터 잔액 및 기타 데이터가 있으며, 이러한 데이터는 계산을 위해 수식으로 변환 할 수 있으며, 수식이 아닌 경우 다른 코딩 변환을 수행하여 원본 데이터를 수식으로 전환 할 수 있도록해야 처리를 수행하는 회로의 전제입니다.

동물원 모드에서는 다양한 동물이 각각 회로의 논리 게이트에 해당합니다: 나무 상자 - 공개적으로 표시되지 않은 숫자를 대신하여 "변수", 유리 상자 - 공개적으로 표시된 숫자를 대신하여 "변수", 유리 상자 - 공개적으로 표시된 숫자를 대신하여 "변수", 유리 상자 - 공개적으로 표시된 숫자를 대신하여 "변수"를 나타냅니다. -공개적으로 표시되는 숫자를 나타내며 "공개 입력"; 돌 - 이동할 수 없고 "상수"로 간주되는 숫자를 나타냅니다. p>얼룩말은 두 숫자를 비교하여 "같음"인지 확인하고 같으면 얼룩말은 행복하고, 악어는 "미만"이며, 악어는 오른쪽의 숫자가 왼쪽의 숫자보다 작아야만 행복합니다; 거미는 0을 입력하면 참인 숫자를 반환하고 1을 입력하면 참인 숫자를 반환하며, 1은 참이어야 하는 숫자를 반환하는 더 복잡한 다중 선택 게이트를 나타냅니다. 거미는 0을 입력하면 참을 반환하고 1을 입력하면 거짓을 반환하는 더 복잡한 객관식 게이트를 나타내며, 비버는 나눗셈을, 다람쥐는 백분율을, 애벌레는 덧셈을 나타내는 데 사용할 수 있습니다. 동물에 따라 덧셈, 뺄셈, 곱셈, 나눗셈 공식을 다르게 나타내며, 행복하거나 슬픈 동물은 공식의 구조를 나타냅니다.

여러 동물 + 여러 종류의 상자의 조합은 회로로, 예를 들어 2 x + 3 = Y라는 공식을 계산할 때 x는 나무 상자, y는 돌, 나무 상자 2개와 애벌레, 얼룩말 등이 등장하고 마지막으로 공식이 맞는지 확인하는 과정을 거칩니다. 동물마다 다른 능력이 왜 다른지 궁금해할 필요는 없습니다. 이것이 바로 회로 요소의 작동 원리이자 컴퓨터가 계산을 수행하는 기본 규칙입니다.

복잡한 회로는 다양한 동물(논리 게이트)과 상자(규칙)로 구성됩니다.

방금 입력한 2x+3 = Y라는 공식이 유효하고 얼룩말, 애벌레, 다른 동물들이 행복하다고 가정하면 해당 공식에 대한 증명이 생성되고 캐릭터가 그 증명이 정확한지 아닌지를 인식할 수 있어야 합니다. 따라서 증명의 신뢰성을 보장하기 위해 회로를 구축한 사육사는 다른 동물들의 행복 여부를 알 수 있는 지크라는 특별한 동물을 모델링했고, 지크는 레이어2 시스템에서 검증자에 해당합니다.

지크가 동물들을 관찰하여 행복 여부를 확인하는 과정이 사실상 증명자 시스템의 검증이며, 동물들이 모두 행복하면 검증자가 통과하고 증명 증명은 검증을 통과하게 됩니다. 동물들이 모두 만족하면 증명이 메인 네트워크에 업로드되어 최종적으로 확인됩니다. 물론 동물원 수천 마리의 동물은 많은 수의 증명을 생성하고, 지크는 하나씩 볼 수 없으므로 지크는 수백만 개의 지크 자신의 분할 상태가 행복하다는 것을 관찰 할 수 있으며,이 과정을 재귀 증명 재귀 증명이라고합니다.

사진을 찍는 과정은 SNARK 증명 또는 KZG 약속을 생성하는 과정과 동일하며, 인쇄 된 네거티브는 STARK \ SNARK 증명 자체에 해당하며 동물원 방문객은 거래 거래에 하나씩 해당하며 동물이 사진에 만족하는 것만 완료되고 증명 증명이 생성되며 궁극적으로 관광객이 사진을 동물원에서 꺼내어 인증서의 맨 아래를 유지합니다. 체인에 최종적으로 남게 됩니다.

동물원에는 많은 동물이 있고, 동시에 행복하고 미리 정해진 규칙에 따라 작동하는 것은 불가능하며, 많은 논리 게이트가 있으며, 탈락자가 발생하는 것은 불가피합니다. 이로 인해 일부 혼잡 지연과 오류 보고, 따라서 유효하지 않은 상태 변환, 제약 조건 미달, 최종 유효성 검사 통과 실패가 발생합니다.

위.