동물원을 예로 들면, zkSync 회로의 작동 원리에 대한 하드코어 과학 대중화
원저자: Haotian(X: @tme l0 211)
많은 사람들이 @zkSync의 새로운 동물원 과학 사진과 글을 보고 혼란스러워했습니다. 그들은 동물원을 회로에 비유하고, 특별한 능력을 가진 동물들을 논리적 문으로 여기고, 모든 동물들의 단체 사진을 행복하게 증거로 여겼습니다. 이런 방식으로 회로에 입력된 데이터는 일련의 복잡한 계산을 거쳐 특정 내용을 공개하지 않고 증명을 생성하여 영지식 증명 프로세스를 완료합니다. 자, 하드코어 과학을 대중화하도록 노력하겠습니다.
1) 동물원은 회로에 해당합니다. 회로는 실제로 일련의 논리 게이트 제약 조건(덧셈, 뺄셈, 곱셈, 나눗셈 등의 공식)을 집합한 것으로, 모든 동물의 능력을 집중적으로 표현한 것과 같습니다. .. 컴퓨터를 구성하는 기본 요소이기도 합니다. . 따라서 회로에 전달된 데이터는 다양한 공식에 통합되어 계산을 수행해야 합니다.
Layer 2 환경에는 거래 해시값, 계정, 데이터 잔액 등 일부 데이터가 있는데, 이러한 데이터를 수식으로 변환하여 계산할 수 있으며, 수식화할 수 없는 경우 원본 데이터가 될 수 있도록 별도의 코딩 변환이 필요합니다. 수식으로 변환됩니다.이것이 회로 실행 처리의 전제 조건입니다.
2) 동물원 모드에서 다양한 동물에 해당하는 회로의 논리 게이트는 다음과 같습니다: 나무 상자 - 공개적으로 표시되지 않는 숫자(변수라고 함), 유리 상자 - 공개적으로 표시되는 숫자를 나타냅니다. 공개 입력, 돌 - 움직일 수 없는 숫자를 나타내며 상수로 간주됩니다.
얼룩말은 두 숫자가 같은지 비교하는 능력이 있습니다. 결과가 같으면 얼룩말은 행복할 것이고, 악어는 보다 작다를 의미하며, 오른쪽에 있는 숫자가 더 작을 때만 악어는 행복할 것입니다. 왼쪽의 숫자보다 거미는 좀 더 복잡한 객관식 게이트를 의미하며, 입력 0을 입력하면 반환값이 true, 1을 입력하면 반환값이 false가 되며, 추가적으로 비버도 가능하다. 나눗셈을 나타내는 데 사용되며 다람쥐는 백분율을 나타내고 애벌레는 덧셈을 나타낼 수 있습니다. 동물마다 덧셈, 뺄셈, 곱셈, 나눗셈의 공식이 다르며, 행복하거나 슬픈 동물은 공식 연산의 구조를 나타냅니다.
많은 동물 + 다양한 종류의 상자가 결합되어 회로를 형성합니다. 예를 들어 2 x + 3 = Y라는 공식을 계산하려면 x는 나무 상자를 나타내고 Y는 돌을 나타내고 나무 상자 2개, 애벌레, 얼룩말 등이 나옵니다. 작업을 수행하고 마지막으로 공식이 성립되었는지 확인합니다. 왜 동물마다 능력이 다른지 걱정할 필요가 없습니다. 이것이 회로 요소 작동의 기본 원리이자 컴퓨터가 계산을 수행하는 기본 규칙입니다.
복잡한 회로는 다양한 동물(논리 게이트)과 상자(규칙)로 구성됩니다.
3) 방금 입력한 공식 2 x+ 3 =Y가 성립한다고 가정하면, 이는 얼룩말 애벌레 등의 동물이 행복하다는 의미이며, 그러면 해당 공식에 대한 증명이 생성됩니다. 증명은 정확합니다.. 따라서 증명의 신뢰성을 보장하기 위해 회로를 구축한 사육사인 Zeek이라는 특별한 동물을 시뮬레이션했는데, Zeek은 다른 동물들이 행복한지 확인할 수 있으며 레이어 2 시스템의 Verifier와 동일합니다.
동물들이 행복한지 Zeek가 관찰하는 과정은 사실상 Prover 시스템의 검증 과정으로, 모든 동물들이 행복하다면 검증이 통과되고, 그래야만 Proof가 메인 네트워크에 업로드되어 최종적으로 확정됩니다. 물론 동물원에 있는 수천 마리의 동물들은 수많은 증거를 생산하고 있어서 지크가 그것들을 하나씩 살펴보는 것은 불가능하기 때문에 지크는 자신의 클론 수천 마리의 상태가 행복한지 여부도 관찰할 수 있다. 재귀증명이라고 합니다.
4) 사진 촬영 과정은 SNARK 인증서 또는 KZG 확약서 생성 과정과 동일하며, 인쇄된 네거티브는 STARK\SNARK 인증서 자체와 동일하며, 동물원 방문객은 하나씩 입력하는 거래 거래와 동일합니다. 행복한 동물 사진만 완성되어 생성되며, 최종 방문객이 사진을 찍고 동물원을 떠나 증거를 남기고 연결되어 완성된다는 증거가 있습니다.
동물원에는 많은 동물들이 있는데, 그들 모두가 미리 정해진 규칙에 따라 동시에 행복하게 일할 수는 없으며, 논리 게이트가 많아 연결이 끊기는 등의 상황이 불가피합니다. 이러한 방식으로 일부 정체, 지연 및 오류 보고가 발생하여 잘못된 상태 전환, Under-Constrained가 발생하고 최종 확인을 통과하지 못하게 됩니다.
