동물원을 비유로 사용하여 zkSync 회로의 작동 원리에 대한 하드코어 과학 대중화

@zkSync의 새로운 동물원 과학 사진과 글을 보고 많은 사람들이 혼란스러워했고, 동물원을 회로에 비유하고, 특별한 능력을 가진 동물을 '논리의 문'으로 대하며 모든 동물을 행복하게 만드는 단체 사진으로 여겨집니다. "증명" 이 방법으로 회로에 입력된 데이터는 일련의 복잡한 계산을 거쳐 특정 내용을 공개하지 않고 증명을 생성하여 영지식 증명 프로세스를 완료합니다. 자, 하드코어 과학을 대중화해 보겠습니다.

1) Zoo는 "회로"에 해당합니다. 회로는 실제로 일련의 논리 게이트 제약 조건(덧셈, 뺄셈, 곱셈, 나눗셈 등 공식)의 집합입니다. 모든 동물의 능력과 동등하다. 의 응축된 표현이며, 컴퓨터를 구성하는 기본 요소이기도 하다. 따라서 회로에 전달된 "데이터"는 다양한 공식에 통합되어 계산을 수행해야 합니다.

Layer2 네트워크에서 저장되는 데이터는 일반적으로 거래 해시값, 계정 정보, 데이터 잔액 등입니다. 이러한 데이터는 계산을 위해 수학 공식으로 변환될 수 있지만 직접 공식화할 수 없는 경우 원시 데이터를 계산 가능한 공식으로 변환하려면 다른 코딩 변환이 필요합니다. 이 단계는 회로가 처리를 수행하는 기초이며 데이터가 효과적으로 처리되고 활용될 수 있도록 보장합니다.

동물원 모드에서 다양한 동물은 회로의 논리 게이트를 상징합니다. 예를 들어, 나무 상자는 "변수"라고 불리는 공개적으로 표시되지 않는 숫자를 나타내며, 돌은 다음을 상징합니다. 변경할 수 없는 숫자이며 "상수"로 간주됩니다.

얼룩말은 두 숫자가 "같은지" 비교할 수 있는 능력이 있습니다. 결과가 같으면 얼룩말은 "보다 작다"를 의미하고 오른쪽에 있는 숫자가 나올 때만 기뻐합니다. 거미는 더 복잡한 다중 선택 게이트를 나타냅니다. 0을 입력하면 true를 반환하고, 1을 입력하면 false를 반환합니다. 또한 비버가 나타내도록 할 수도 있습니다. 나눗셈, 다람쥐는 백분율을 나타내고, 애벌레는 덧셈을 나타냅니다. 다양한 동물은 덧셈, 뺄셈, 곱셈 및 나눗셈에 대한 다양한 공식을 나타냅니다. 행복하거나 슬픈 동물은 공식 연산의 구조를 나타냅니다.

많은 동물과 다양한 유형의 상자가 결합되어 회로를 형성합니다. 예를 들어 2 x + 3 = Y 공식을 계산하려면 x는 나무 상자를 나타내고 Y는 돌을 나타내고 나무 상자 2개, 애벌레, 얼룩말 등을 나타냅니다. . 여기로 와서 작업하고 마지막으로 공식이 확립되었는지 확인하십시오. 동물마다 능력이 다른 이유에 대해 걱정할 필요가 없습니다. 이것이 회로 요소 작동의 기본 원리이자 컴퓨터가 계산을 수행하는 기본 규칙입니다.

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

3) 방금 입력한 공식 2x+3 =Y가 확립되었다고 가정합니다. 이는 얼룩말 애벌레와 다른 동물이 행복하다는 것과 동일하며, 그러면 캐릭터가 공식에 대해 "증명"이 생성될 수 있습니다. 이 증거가 정확한지 확인하십시오. 따라서 증명의 신뢰성을 보장하기 위해 회로를 구축한 사육사는 Zeek이라는 특수 동물을 시뮬레이션했는데, Zeek은 다른 동물이 행복한지 확인할 수 있으며 레이어 2 시스템의 Verifier와 동일합니다.

Zeek가 동물들이 행복한지 관찰하는 과정은 실제로 Prover 시스템의 검증 과정입니다. 동물들이 모두 행복하다면 검증이 통과되어야만 Proof가 메인 네트워크에 업로드되어 최종적으로 확인됩니다. 물론 동물원에 있는 수천 마리의 동물들은 수많은 증거를 생산하고 있으며, Zeek이 그것들을 하나씩 살펴보는 것은 불가능합니다. 따라서 Zeek는 수천 마리의 Zeek 자신의 클론의 상태가 행복한지 여부도 관찰할 수 있습니다. 재귀증명이라고 합니다.

4) 사진을 찍는 과정은 SNARK 인증서 또는 KZG 약속을 생성하는 과정과 동일하며, 인쇄된 네거티브는 STARKSNARK 인증서 자체와 동일합니다. 동물원 방문객은 하나씩 입력하는 거래 거래와 동일합니다. 행복한 동물 사진만이 완성되고 생성됩니다. 증명은 방문객이 사진을 찍고 동물원을 떠나 증거를 남겨야 체인에 올려져 최종적으로 확인될 수 있음을 증명합니다.

동물원에는 많은 동물들이 있고, 그들 모두가 동시에 행복해하며 미리 정해진 규칙에 따라 일하는 것은 불가능하며, 논리 게이트가 많아 연결이 끊기는 등의 상황이 불가피합니다. 이러한 방식으로 일부 정체, 지연 및 오류 보고가 발생하여 잘못된 상태 전환, Under-Constrained가 발생하고 최종 확인을 통과하지 못하게 됩니다.

위 내용은 동물원을 비유로 사용하여 zkSync 회로의 작동 원리에 대한 하드코어 과학 대중화의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!