두루마리 Lianchuang과의 대화: 두루마리와 ZK가 함께 갑니다
원본 출처: 스크롤 CN
Scroll Talk는 Scroll CN이 호스팅하는 팟캐스트입니다. 우리는 스크롤 팀과 스크롤 생태 프로젝트 당사자들과 다양한 형태로 대화하여 모두가 스크롤을 더 잘 이해할 수 있도록 도울 것입니다.
이번 에피소드에서는 Scroll의 공동 창업자인 Ye Zhang을 초대하여 zkEVM의 설계와 장단점, 증명 시스템의 선택, 하드웨어 가속 증명 네트워크, ZK의 미래 등 Scroll과 ZK에 대해 이야기를 나눴습니다. .
열리는
FF: 안녕하세요 여러분, Scroll Talk에 오신 것을 환영합니다. 오늘은 Scroll의 공동 창립자인 Zhang Ye를 초대하게 되어 매우 기쁩니다. Scroll CN에서도 Zhang Ye에 대한 많은 인터뷰와 연설을 발표했습니다. 그렇다면 이번이 Ye와의 첫 대면 소통이 될 것입니다. 우선 와주신 Ye님께 진심으로 감사드립니다. 전체 영지식 증명 커뮤니티에서 Ye는 이제 매우 영향력이 크지만, 여전히 Ye가 먼저 자신을 간략하게 소개하기를 바랍니다.
Ye：안녕하세요, 이번 인터뷰를 준비해주신 Scroll CN에 감사드리며, 높은 번역 품질을 포함하여 중국 커뮤니티에 큰 영향력을 미칠 수 있도록 도와주신 Scroll CN에 항상 감사드립니다. 간단하게 제 소개를 부탁드리겠습니다. 안녕하세요 여러분, 저는 Scroll의 공동 창업자 중 한 명인 Zhang Ye라고 합니다. 제가 주력하고 있는 분야는 부분 영지식 증명과 관련된 연구입니다. 이전에는 세 가지 방향에 중점을 두었습니다.
첫 번째 방향은 영지식 증명의 하드웨어 가속입니다. 우리는 약 5년 전부터 이 방향으로 작업을 시작했습니다. 5년 전 영지식 증명을 사용할 때 가장 큰 병목 현상 중 하나는 증명 생성이 매우 느리다는 것이었기 때문입니다. 예를 들어 Zcash와 같은 애플리케이션은 거래 증명을 생성하는 데 오랜 시간이 걸리며, 아마도 10분 이상 걸릴 수 있습니다. 그러면 이는 증명 효율성이 너무 낮기 때문에 영지식 증명을 많은 시스템에서 사용할 수 없다는 뜻으로 이어집니다. 그래서 나의 첫 번째 연구 방향은 GPU, FPGA 및 ASIC 하드웨어를 통해 증명 생성을 가속화하는 방법입니다.
두 번째 방향은 부분 영지식 증명의 백엔드에 있는 암호화 및 수학입니다. 영지식 증명은 다항식과 같은 많은 수학을 포함하는 매우 복잡한 암호화 프로토콜이기 때문입니다. 그런 다음 나의 주요 연구 작업은 더 이론적인 기존 알고리즘을 최적화하는 방법을 알아보기 위해 많은 논문을 읽는 것입니다.
세 번째 방향은 보다 애플리케이션 지향적입니다. 즉, zkEVM의 아키텍처와 회로를 설계하는 방법과 zkEVM에 대한 증명을 생성하는 방법입니다.
일반적으로 영지식 증명의 하드웨어 가속, 영지식 증명의 이론적 알고리즘, 영지식 증명 관련 응용 등 대략 세 가지 방향을 다루고 있습니다.
그런 다음 Scroll에서는 영지식 증명과 관련된 연구, 프로토콜 설계 수준 연구, 그리고 회사 전체를 위한 일부 관련 전략을 포함한 일부 연구 중심 작업에 주로 집중할 것입니다.
FF: 감사합니다. Ye님, 그동안 ZK 연구를 해오신 것으로 알고 있습니다. 어떤 계기로 Scroll을 창업하게 되셨고, 이후 ZK 분야에 깊이 관여하게 되셨습니다. 계속해서 발전하게 된 동기는 무엇인가요?
Ye：이것은 매우 다른 이야기입니다. 이제 대부분의 사람들은 영지식 증명에 대해 들어봤거나 ZK를 배웠습니다. 모두가 블록체인에 영지식 증명이 필요하다는 것을 깨달았기 때문입니다. 하지만 실제로 제가 배우는 과정은 그 반대였습니다. 사실 저는 반대 방향으로 갔습니다. 처음에는 ZK에 매력을 느꼈고, 이후 ZK가 블록체인에서 사용될 수 있다는 것을 알게 되었습니다. 제가 학부생이었을 때 연구실 선배와 함께 하드웨어 가속 알고리즘에 관한 연구를 하고 있었습니다. 그러다가 당시 가장 유행했던 게 사실 AI 가속을 하는 거였는데, 사실 AI에 별로 관심이 없었어요. 훈련 후의 결과입니다. . 나는 어떤 일이 일어날 확률을 아는 좀 더 결정론적인 수학을 선호합니다. 그래서 자연스럽게 암호수론을 선호하게 되었고, 그러다가 영지식증명 알고리즘을 당시 발견하게 되었고, 하드웨어 가속에 대한 필요성이 매우 크다는 것을 알게 되었습니다. 그래서 관련 연구를 시작했고, 나중에 가속 알고리즘을 연구하는 과정에서 하드웨어 가속보다 알고리즘 자체의 매력이 더 크다는 걸 알게 됐어요. 알고리즘에는 매우 기발한 다항식 구성과 몇 가지 프로토콜 구조 등이 많이 포함되어 있기 때문이죠. 영지식 증명 프로토콜을 자세히 살펴보면 다항식 설계를 통해 프로그램을 코딩하는 것이 정말 영리하다는 것을 알게 될 것입니다. 그런 다음 몇 가지 다항식 점을 사용하여 다항식의 일부 속성을 검증하고 최종적으로 이를 매우 작은 증명으로 압축합니다. 전체 수학적 구조는 매우 영리합니다. 그래서 처음 영지식증명 업계에 입문했을 때 그 수학적 구조의 매력에 완전히 매료됐고, 나중에 제가 공부하던 것이 블록체인이 직면하고 있는 가장 큰 문제인 확장을 해결할 수 있다는 것을 알게 되었습니다.
그러다가 나중에 이더리움 생태계 전체가 매우 번영하고 오픈소스 커뮤니티가 매우 훌륭하다는 것을 깨달았는데, 이는 내 개인적인 신념과 더 일치합니다. 전체적인 연구 분위기, 오픈소스를 포용하는 태도, 학문적 추구가 더 그렇습니다. 엄격한 스타일 또한 저를 완전히 매료시켰고, 동시에 블록체인 전체가 정지된 이야기가 아니라 많은 사람들의 삶의 문제를 해결할 수 있는 실제 아키텍처라는 것을 깨달았습니다. 차세대 금융 인프라가 될 수도 있고, 많은 사람들에게 투명성과 검열 저항이 꼭 필요합니다. 그래서 블록체인에는 실제 적용 시나리오가 있고 동시에 내 기술이 이 문제를 해결할 수 있다고 생각합니다.
2021년 초가 가장 좋은 시기 노드입니다. 영지식 증명의 효율성이 2~3배 향상되었기 때문입니다. 기술이 2~3배 정도 향상되면 기업가적 기회이든 다른 새로운 기회이든 실제로 엄청난 기회가 생길 것입니다. 이전에는 해결되지 않았던 문제가 이제는 해결될 수 있기 때문입니다. 그 당시에는 zkEVM이 실제로 가장 큰 기회라고 느꼈습니다. 그 당시에는 하는 사람이 많지 않거나 만드는 사람이 많지 않았습니다. 그러다가 아주 좋은 기회가 생겼고, 그런 기술이 축적되면서 그런 문제를 해결할 수 있게 되어서 스크롤 작업을 시작하게 됐어요.
사실 저도 박사과정을 공부할 때 영지식 증명을 연구하고 있었습니다. 그런데 문제를 깨달았습니다. 즉, Scroll과 같은 업계에 있으면 ZK 관련 연구를 할 수 있는 유연성이 많지만 학교에서는 멘토와 협력해야 하고 그러면 ZK 관련 연구를 할 수 있습니다.한 방향으로 연구합니다.
하지만 Scroll에서는 먼저 해결하는 문제가 실제 업계 문제이기 때문에 더 많은 유연성을 가질 수 있으며, 이 문제를 해결한 후에는 그 영향이 더 커질 것입니다. 둘째, 박사과정 연구를 한 방향으로만 국한하지 않고, Grant 등을 통해 더 많은 사람들과 협력할 수 있습니다. 그래서. 사실 스크롤에서도 같은 일을 하고 있지만 업계에서 더 큰 영향력을 발휘하고 가장 현실적인 문제를 해결하며 협력의 범위가 더 넓어질 것입니다. 그래서 저는 박사과정보다 이 길이 더 매력적이라고 생각해요.
ZK 기술 발전과 미래
FF: 이해합니다. 감사합니다. 네, ZK 뒤에 숨은 수학의 매혹적인 매력이 당신이 관련 연구를 계속하도록 유도한다는 것을 이해합니다. 주요 돌파구는 2~3년 전이 되어야 한다고 들었는데, ZK도 올해 ChatGPT의 등장과 비슷한 엄청난 돌파구를 마련한 걸까요?
Ye：네, 네, 그런 것 같아요. 하지만 한계점이었고 갑자기 모든 것을 폭발시켰던 ChatGPT와는 다릅니다. 이는 여러 계층의 요인이 중첩되는 과정입니다. 예를 들어 제가 이전에 연구해 온 하드웨어 가속 방향은 영지식 증명의 효율성을 10~100배까지 높일 수 있으며, 그런 다음 몇 가지 새로운 회로 다항식 표현과 결합됩니다. , 예를 들어 고차 커스텀 게이트(Custom Gate)와 룩업 테이블(Lookup Table)을 통해 보다 효율적으로 표현하고 비용을 10배 절감할 수 있으며, 이를 집계할 수 있는 몇 가지 재귀 증명(Recursive Proof)이 있습니다. 많은 증명, 검증에 드는 비용이 많이 절약됩니다. 그래서 이 세 가지 포인트의 조합이 엄청난 효율성 향상으로 이어질 것이라고 생각합니다.
물론 최종 결과는 효율성 향상이지만, 갑자기 유행하는 ChatGPT와는 달리 암호화폐 전문가와 수많은 하드웨어 엔지니어들의 노력의 결과입니다.
FF: AI에 대해 이야기한 이상, Worldcoin이 출시되어 ZKML 기술을 사용한다는 사실을 포함하여 현재 ZK와 AI의 결합에 대해 어떻게 생각하시나요? ZKML과 ZK의 교차점에서 AI가 무엇을 할 것이라고 생각하시나요? 분야마다 차이가 있나요?
Ye：현재 ZKML을 작업하는 사람들이 많이 있다고 생각하지만 이 방향은 아직 초기 단계라고 생각합니다. 사진이 실제로 카메라로 촬영되었는지 식별하는 등 몇 가지 응용 시나리오가 있습니다. 복잡한 PS가 없습니다. 입증됨 오디오가 특정 사람의 것인지 여부 모델에 입력을 제공한 다음 출력을 반환할 때 다른 사람인지 확인할 수 없기 때문에 Microsoft가 모든 사람에게 동일한 모델을 제공하고 있는지 여부를 증명할 수 있습니다. 다른 모델로 변경하세요. 이와 같은 몇 가지 작은 응용 프로그램 시나리오가 있을 것이지만 ZKML이 AI만큼 광범위한 응용 프로그램이어야 하는 이유에 대해 특별히 큰 필요성은 보지 못했습니다.
예를 들어 ChatGPT처럼 모델을 보유한 대부분의 회사는 절대적인 힘을 가지고 있기 때문에 내가 이 모델을 사용해야 한다는 것을 증명할 필요도 없고, 그렇게 하라고 요구할 수도 없습니다. ChatGPT와 같은 회사가 10개 있는데 ChatGPT가 원하지 않는 시장에서 그런 일이 발생하지 않는 한 다른 회사 중 하나가 기꺼이 할 것이라고 생각합니다. 그러한 요구를 가진 다수의 사용자 그룹은 이 회사가 제공하는 서비스를 선택할 것입니다. 하지만 이제 전체 시장은 소수의 회사만이 ChatGPT와 같은 모델을 구축할 수 있는 시장이고, 그러한 일을 하도록 도울 강력한 동기나 인센티브가 없습니다. 그래서 이 길이 아직 꽤 멀다고 생각합니다. 게다가 사진이나 오디오 등 해결되지 않은 문제도 많고, 이 시스템을 구축하려면 하드웨어가 필요할 수도 있습니다.
전반적으로 아직 갈 길이 멀다고 생각합니다. 물론 ZKML은 유동성 관리에 있어 몇 가지 새로운 게임플레이 전략을 갖게 될 것이며, 작은 사용 사례도 있을 수 있다고 생각합니다. 더 큰 응용 프로그램 시나리오에는 여전히 테스트하는 데 시간이 필요합니다. 시장에 맞는 제품을 찾아보세요. 게다가 ZKML은 훈련 과정이 올바른지 실제로 증명할 수 없으며 영향 요인이 정확하다는 것만 증명할 수 있기 때문에 ZKML이 할 수 있는 작업이 더욱 제한됩니다. 아직 갈 길이 멀다고 생각합니다.
대부분의 ZKML 회사는 여전히 도구를 개발하고 있습니다. 일부 ZKML 회사에서는 TensorFlow나 Pytorch로 작성된 코드를 직접 ZK 회로로 변환하고 직접 증명을 생성하는 방법을 생각하고 있는 것으로 알고 있는데, 이는 매우 흥미로운 방향이 될 수 있습니다. 먼저 DSL과 SDK부터 시작한 다음 모두가 새로운 혁신을 생각해내도록 격려하세요. 아직은 초기 단계입니다. 결국에는 ZK와 같은 일반 컴퓨팅으로 발전할 수도 있다고 생각하지만, 일부 행렬 곱셈이나 컨볼루션 등 ML에 더 적합한 일부 알고리즘 라이브러리가 단순한 ZKML보다는 그러한 애플리케이션에 더 도움이 될 것이라고 생각합니다. 갈 길이 멀다.
그리고 이 분야에서 가장 앞선 인물 중 한 분이 바로 UIUC의 강다니엘 교수입니다. 이전에 스크롤의 ZK 심포지엄에서 강연자로 초청한 적이 있으니, 이 방향에 관심이 있으신 분은 아래의 내용을 확인하시기 바랍니다. 이 시리즈.
https://www.youtube.com/watch?v=Co5gNoHnMhs&list= PLrzRr 7 okCcmbAlgYpuFjzUJv 8 tAyowDQY &index=14
FF: 네, 감사합니다. 그러다가 ZKML이 아직 상대적으로 초기 단계에 있다고 들었습니다. 현재는 상대적으로 작은 구축 방향에 있습니다. 일반 컴퓨팅에 관해서는 아직 상대적으로 초기 단계입니다. 나중에 시장이 매우 성숙해 모두가 그렇게 할 수도 있습니다. 개인 정보 보호 요구 사항이 있으면 ZKML이 이를 갖습니다. ZK의 더 큰 관점에서 Vitalik은 이전에 ZK와 블록체인이 동등하게 중요한 개념이라는 것을 말한 적이 있는데, 이러한 관점에 대해 어떻게 생각하시나요?
Ye：ZK는 실제로 블록체인이 해결할 수 없는 많은 문제를 해결하고 매우 완벽한 조합이기 때문에 이것이 사실이라고 생각합니다. 블록체인은 확장 문제를 해결할 수 없지만 ZK는 계산을 압축하여 확장 문제를 해결할 수 있습니다. 블록체인은 항상 개방적이고 투명하며 개인 정보 보호 문제를 해결할 수 없지만 ZK는 정보를 숨기고 개인 정보 보호 문제를 해결할 수 있습니다. 그래서 저는 ZK와 블록체인이 자연스럽고 아주 좋은 조합이라고 생각합니다.
게다가, ZK는 이제 일반 컴퓨팅을 매우 빠르게 지원하고 있기 때문에 매우 큰 기회를 갖고 있다고 생각합니다. 예를 들어 개인 거래, 일부 온체인 포커를 포함한 프라이버시 풀과 같은 개인 정보 보호 측면에서 카드가 체인에 전달된 후 다른 사람이 카드를 볼 수 없도록 하려면 다음을 통해 정보를 숨길 수 있습니다. 영지식 증명. 이와 같은 정보를 숨기는 게임은 ZK를 통해서만 블록체인에서 구현될 수 있습니다. 개인 정보 보호 측면에서 ZK ID는 매우 흥미롭고 작은 방향이며 매우 유망합니다. 10억 명의 사용자가 블록체인을 사용하도록 하는 방법은 무엇입니까? 그런 다음 모든 사람이 사용하기 전에 기존 ID 시스템 중 일부를 ZK화해야 할 수도 있습니다. 일부 정보는 위에 있습니다.
그런 다음 확장성과 관련하여 예를 들어 다양한 롤업을 사용하여 계산을 압축하고, 다양한 보조 프로세서를 사용하여 일부 계산을 압축하고, 마지막으로 증명을 체인에 올려 놓습니다. 이는 온체인과 오프체인의 매우 좋은 조합입니다. 체인.
또한 매우 흥미롭고 유망한 작은 방향도 있는데, 일부 팀에서는 서비스를 제공하기 위해 ZK 크로스 체인 브리지나 ZK 하드웨어를 구축하고 있습니다. 하지만 아직 성숙해지려면 몇 년은 더 걸릴 것 같아요. 개발자 SDK의 편의성이나 ZK의 효율성과 보안에 관계없이 아직 갈 길이 멉니다.
FF: 이해합니다. 감사합니다. 예. 귀하의 설명에 따르면 ZK와 블록체인은 상호 보완적인 관계에 해당합니다. 방금 언급한 적용 시나리오 외에도 효율성과 공정성의 관점에서 볼 때 이 기술 혁신이 What에 도움이 된다고 생각하십니까? 현실 세계는 변화를 가져올 것인가?
Ye：어떠한 계산도 무신뢰로 할 수 있다는 점이 매우 강력한 특징이라고 생각합니다. 어떤 계산이든 무신뢰 플랫폼에 던져서 결과를 반환하고 그 결과가 정확하다는 증거를 생성하도록 할 수 있습니다. 이를 통해 계산의 정확성과 검증 가능성이 보장됩니다. 그러면 앞서 말한 대로 ID, 개인 정보 보호, 확장성 등 다양한 응용 프로그램이 있습니다.
FF: 이해합니다 감사합니다. 즉, ZK가 일반 컴퓨팅에 축복을 내릴 수도 있습니다. 프라이버시를 제공하든 신뢰성을 제공하든 매우 유망한 방향입니다. 스크롤이 만들어지지 않으면 시작하라는 메시지가 표시되면 ZK 분야 제2사업, 어떤 길과 방향을 선택하시겠습니까?
Ye：이것은 매우 어려운 질문입니다. 우선 zkEVM은 이더리움 트래픽 입구를 가지고 있기 때문에 확실히 가장 큰 방향이고 가장 큰 방향이어야 한다고 생각합니다. 만약 다른 방향을 선택해야 한다면 저는 개인적으로 비EVM 계산을 매우 효율적이고 검증 가능하게 만들 수 있는 공동 프로세서가 되는 것에 대해 매우 낙관적입니다. 다른 하나는 아이덴티티 프로토콜입니다. 좋은 아이덴티티 시스템을 구축하는 것은 매우 어려운 일이며, 실생활의 많은 문제를 해결할 수 있다고 생각합니다. 특히 이전에 아프리카에 갔을 때 금융 인프라가 많이 보였습니다. 다양한 문제가 있습니다. 미성숙으로 인한 것이기 때문에 정체성이 큰 방향이 될 것 같아요.
그렇다면 개인적으로 선택해야 한다면 규모가 그다지 크지 않으면 아이덴티티 기회가 크다고 생각하고, 매우 강력한 엔지니어링 팀이라면 더 복잡한 일을 해야 한다고 생각합니다. 이 ZK 코프로세서 더 나은 방향이겠지만, 이 트랙에는 이미 너무 많은 사람들이 있습니다. 그래서 아이덴티티는 대중들에게 아직 대중화되지 않은 트랙이 될 것이라고 생각하고, 기술뿐만 아니라 비즈니스 전략도 필요한 방향이라고 생각합니다. 어떤 비즈니스 파트너와 협력하고 싶은지, 그들의 대량 데이터를 직접 ZKize할 수 있는지 생각해야 사용자 기반을 더 빠르게 확장할 수 있습니다. 기술은 작은 문제일 수 있습니다.
매우 혁신적인 사람이라면 ZK 게임 방향을 시도해 볼 수도 있습니다. 게임에서는 좋은 디자인이 필요하고 ZK는 숨겨야 할 정보가 필요합니다. 그러나 ZK는 만병통치약이 아니며 모든 개인 정보 보호 문제를 해결할 수는 없습니다. 증명자는 특정 정보를 알아야 합니다. 그래서 저는 이 게임이 ZK를 극한까지 사용할 수 있도록 매우 영리하게 디자인되어야 한다고 생각합니다. 좋은 아이디어가 있고 게임을 좋아하는 사람이라면 게임 로직에 대해 명확하게 생각한 다음 매우 흥미로운 ZK 게임을 만드는 것도 매우 흥미로운 방향입니다.
FF: 감사합니다. 방금 세 가지 방향을 말씀하셨는데요, 첫 번째는 Axiom이 하는 일과 유사한 Co-Processor 방향이고, 두 번째는 Worldcoin이 하는 일을 이해할 수 있는 Identity 방향으로 특별한 예이고, 세 번째는 Axiom이 하는 일을 이해할 수 있는 방향이 되어야 합니다. 게임이며, 일반 유저들이 일상적으로 접하게 되는 방향이 될 것입니다. 그럼 네, 방금 아프리카에서 돌아왔다고 하셨는데, 이번에 이더리움을 포함한 ZK의 기술을 홍보하기 위해 아프리카를 여행하면서 얻은 것이 무엇인지 묻고 싶습니다.
Ye：이번에는 여전히 매우 독특한 경험입니다. 배경을 간단히 소개하자면 올해 2월 비탈릭, 이더리움 재단의 아야 등이 아프리카 4개국을 방문했다. 그들은 약 한 달 동안 아프리카 공동체와 함께 몇 가지 활동을 한 다음 아프리카 창립자들을 만나 이 대륙의 상황에 대해 배울 수 있습니다. 아프리카의 이더리움 커뮤니티는 실제로 상대적으로 작기 때문에 커뮤니티의 현재 상태를 이해하기 위해 그곳으로갔습니다. 이더리움의 가치를 확산시키기 위해 지금 커뮤니티에 필요한 것은 무엇입니까? 당시 그들은 이더리움이 여전히 약간 비싸다는 결론을 내렸습니다.
그들은 이더리움의 레이어 2를 아프리카로 가져오기 위해 레이어 2 여행을 준비하기를 희망합니다. 아프리카 사람들은 이더리움을 감당할 수 없기 때문에 레이어 2를 통해서만 이더리움의 세계에 들어갈 수 있습니다. 그래서 올해 4월인가 5월쯤에 레이어 2 여행을 계획할 기회가 있는지 알아보기 위해 비탈릭의 소개로 여행 기획자인 조셉을 알게 되었습니다. 대화를 나눈 후 우리는 우리의 가치관이 매우 일관적이라는 것을 느꼈습니다. Scroll의 가치 중 하나는 실제 사용자와 사용 사례를 블록체인으로 가져오고 싶다는 것이므로 아프리카의 실제 요구 사항에 대해 배울 수 있어 매우 기쁩니다.
거기에 가본 후에는 그것이 정말 다르다는 것을 알게 되었고, 이는 개발도상국과 신흥국의 실제 사용 사례에 대해 더 자신감을 가지게 만들었습니다. 사실 아프리카에 가기 전, 지금 제가 접촉하고 있는 사람들을 포함해 많은 사람들이 블록체인이 정말 필요한지 여전히 의문을 품고 있기 때문입니다. 그냥 사기일까요, 모두가 토큰을 발행하기 위한 도구일까요? 그런 발언을 할 수 있는 사람들은 실제로 중국이나 다른 아시아 지역, 서구, 미국, 유럽을 막론하고 블록체인에 대한 모든 사람들의 이해가 거대 고래와 유동성 채굴이기 때문이라고 생각합니다. 그들의 삶에 블록체인이 꼭 필요한 것은 아니지만 그들은 단지 블록체인에 더 많은 수익을 올릴 수 있는 몇 가지 도구가 있고 때로는 자신의 재산을 블록체인에 두는 것이 더 안전할 수도 있다고 생각할 뿐입니다. 특별히 필요한 도구는 아닙니다.
우리가 갔던 두 나라는 케냐와 나이지리아였는데, 그곳 사람들이 일상생활에서 플랫폼으로 블록체인이 정말로 필요하다는 것을 분명히 느꼈습니다. 아주 분명한 예는 아프리카의 이웃 국가 간에 돈을 이체할 때 은행을 통해 직접 돈을 이체할 수 있는 방법이 없고, 돈을 받으려면 먼 길을 돌아다녀야 한다는 것이다. 왜냐하면 금융 인프라가 매우 열악하고 글로벌 지원 시스템을 구축할 수 없기 때문입니다.
따라서 먼저 결제 도구가 필요합니다. 블록체인은 결제 도구로서 매우 유용하며 실제로 그들의 삶을 바꿀 수 있습니다. 다른 이웃 국가로 이동하려면 블록체인 결제 매체가 필요하기 때문입니다. 많은 사람들이 블록체인이 할 수 있는 일은 단지 글로벌 결제 시스템일 뿐이라고 말하는데, 이는 매우 단일한 목적처럼 들립니다. 그러나 실제로 글로벌 결제 시스템은 특히 금융 인프라가 아직 완성되지 않은 국가에서 많은 사람들의 요구를 해결할 수 있습니다. 하지만 인프라가 매우 완비된 중국, 미국, 유럽에 있을 수도 있기 때문에 일반적으로 이러한 문제에 대해 전혀 걱정하지 않습니다.
두 번째는 인플레이션이 매우 높다는 것입니다. 그들의 통화는 아마도 우리가 지금까지 있었던 것보다 10%의 인플레이션율을 가지고 있었을 것입니다. 당신의 손에 있는 위안화나 미국 달러가 한 달 안에 10% 하락하고, 당신의 재정 관리가 1년에 3~4%만 증가한 다음 가격이 계속 상승한다고 상상해 보십시오. 이는 그들의 삶에 큰 영향을 미치며, 스테이블코인은 달러를 얻을 수 있는 수단인데, 달러 인플레이션율이 상대적으로 낮기 때문에 달러가 필요하기 때문에 달러를 얻기를 희망하지만 달러를 얻기가 불가능하다. 왜냐하면 미국 은행에서는 계좌를 개설하는 것이 불가능하기 때문입니다. 그래서 그들은 실제로 USD 스테이블코인을 구매한 다음 체인에 일부 자산을 보유하고 있으며, 초인플레이션을 방지하는 매우 중요한 방법인 USDT를 얻습니다. 어쩌면 중국에서는 모든 사람이 RMB를 보유할 수 있고 USDT는 암호화폐를 구매할 때만 필요할 수도 있습니다. 하지만 모두 실생활에 꼭 필요한 것들이며, OTC 거래를 자주 하고 실제 사용 시에는 자국 통화로 변환해 줍니다. 그래서 저는 이것이 큰 적용 시나리오라고 생각하며, 이들 국가와 다른 많은 곳에서는 실제로 이러한 필요성이 있습니다.
셋째, 금융 인프라가 불완전하기 때문에 돈을 빌릴 때 신용등급과 신분이 매우 불완전하다는 점이다. 따라서 예를 들어 100달러를 빌리는 데 한 달이 걸릴 수 있고, 여러 금융기관 간에 정보가 흐르지 않기 때문에 다양한 승인도 필요합니다. 따라서 이는 은행이나 많은 금융 기관의 매우 큰 사업인 대출이 여기서 매우 불완전하다는 사실로 이어집니다. 그래서 이번 또한 큰 기회라고 생각합니다.
아프리카에는 블록체인이 필요한 실제 응용 시나리오가 많이 있습니다. 예를 들어, 이러한 문제를 해결하고 체인에서 대출이나 기타 서비스를 제공할 수 있는 좋은 신원 시스템이 있다면 매우 가치 있는 일이 될 것이라고 생각합니다. 귀하의 기술이 세계 곳곳의 사람들의 삶을 실제로 변화시키고 있다고 느낀 것은 이번이 처음입니다. 이것은 매우 중요한 것입니다.
Scroll의 가치 중 하나는 다음 수십억 명의 사람들을 Ethereum으로 데려오고 싶다는 것입니다. 사람들은 종종 BSC가 매우 분산화되어 있고 이더리움도 매우 분산화되어 있지만 이더리움은 비싸다고 불평합니다. BSC에는 바이낸스가 있기 때문에 그냥 플레이하는 실제 사용자가 많이 있습니다. 제가 아프리카에서 처음으로 본 것은 많은 사람들이 바이낸스를 결제에 사용하고 있다는 것입니다. 바이낸스는 매우 간단하고 사용하기 쉽기 때문입니다. . 우리는 이러한 실제 사용자를 이더리움으로 다시 데려오기를 희망합니다. 이것이 우리 임무의 일부입니다. 우리는 레이어 2를 통해 수수료를 줄임으로써 신뢰도가 낮은 이더리움으로 다음 수십억 명의 사용자를 다시 데려오고 싶습니다. 중앙화된 거래소에 돈을 보관하면 몇 가지 문제가 발생할 수 있기 때문입니다. 그래서 우리는 이를 Layer 2에 올려서 이더리움의 보안을 이어받기를 희망하며 이는 좋은 기회입니다.
암호화폐가 일상 생활에서 중요한 역할을 하고 특히 신흥 경제에서 블록체인이 실제 채택되는 미래를 상상해 보세요.
터키의 어린이들은 더운 여름날 스크롤의 스테이블코인으로 아이스크림을 구입할 수 있습니다. 이를 통해 단 한 번의 클릭으로 암호화폐를 터키 리라로 교환할 수 있습니다.
아르헨티나의 한 노인은 Scroll을 통해 정부 혜택과 보조금을 받아 사기를 줄이고 자금의 공정한 분배를 보장할 수 있습니다.
필리핀 상인들은 많은 중개인을 거치지 않고도 스크롤을 통해 몇 초 만에 국경을 넘어 돈을 보낼 수 있습니다.
케냐 농민들은 스크롤의 투명한 신용평가 시스템을 통해 대출을 받을 수 있어 신뢰 문제를 해결하고 운전자본 활용도를 향상시킨다.
온체인으로 진행되는 기관, 스테이블코인을 발행하는 정부, 여러 지역의 법률 준수 완화 등 이러한 모든 일이 동시에 일어날 것입니다.
우리는 다음 10억 명의 사용자가 암호화폐가 실제로 필요한 곳에서 올 것이라고 믿습니다. 스크롤은 이러한 사용자를 암호화폐 생태계로 끌어들이고 금융 포용, 사회적 조정, 개인 주권과 같은 실제 문제를 해결하는 것을 목표로 합니다.
두 번째 포인트는 마케팅 발표를 많이 하지 않고, 여러 곳에 가서 우리 자신을 홍보하겠다는 것이 스크롤의 가치입니다. 우리는 실제로 일부 교육 자원과 일부 연구 자원을 아프리카 땅이나 기타 유사한 지역에 가져오기를 희망합니다. 어떻게 하면 그들이 이 분야뿐만 아니라 스크롤뿐만 아니라 전체 블록체인 교육을 더 빨리 배울 수 있도록 할 수 있을까요? 일부 프로젝트는 아프리카에서도 몇 가지 전략을 수행했지만 기본적으로 무작위로 돈을 뿌리고 많은 보조금을 발행하지만 실제로 이러한 커뮤니티의 발전은 매우 단기적이고 가치 중심의 커뮤니티가 아닙니다. . 우리는 매우 올바른 일을 함으로써 이러한 교육 자원을 아프리카에 가져오고, 실제 지역 요구 사항을 이해한 다음, 돈만 낭비하기보다는 맞춤화하여 어떤 종류의 도움을 제공할 수 있는지 알아볼 수 있기를 바랍니다. 우리는 이 장소의 사람들과 이 장소의 커뮤니티에 대해 진심으로 관심을 갖고 있습니다. 나는 이것이 실제로 많은 현재 애플리케이션에서도 동일하다고 생각합니다. 많은 애플리케이션이 한 체인에서 다른 체인으로 배포된 다음 다른 체인으로 배포됩니다. 그들은 항상 같은 에어드롭 사냥꾼의 물결이거나 같은 서양 사용자의 물결일 것입니다. 전체 사용자 그룹을 실제로 다양화할 수 있다면 이는 우리 체인의 애플리케이션 생태계에 큰 보너스가 될 것입니다. 다양한 장소의 사람들이 귀하의 응용 프로그램을 시도하고 경험하도록 유도할 수 있는 것도 우리가 생각하고 있는 큰 방향입니다.
zkEVM
FF: 아프리카에 대한 많은 통찰력을 우리와 공유해 주신 Ye씨에게 진심으로 감사드립니다. 개발도상국은 현 세대의 기존 인프라를 잃어버렸기 때문에 실제로 매우 큰 기회라고 생각됩니다. 대신에 많은 새로운 인프라를 직접 적용할 수 있는 백지가 될 것입니다. 실제 생활. 그런 다음 Scroll은 이 시장을 사용하여 다음 10억 명의 사용자에게 블록체인을 제공할 수도 있습니다.
그래서 우리는 Scroll이 개발하고 있는 zkEVM에 대해 구체적으로 이야기하고 싶습니다. zkEVM의 분류도 일반적인 주제이지만 이것이 성능과 호환성의 균형에 관한 문제라는 것을 우리 모두는 알고 있습니다. 그런 다음 Scroll은 PSE 팀과 협력하여 가장 호환 가능한 절충 상태인 Type 1 zkEVM을 구축했습니다. 우리가 묻고 싶은 것은 zk 기술의 발전으로 이런 트레이드오프가 깨질 가능성이 있는 것인지, 아니면 앞으로 성능이 향상되면 모두가 더 큰 호환성의 방향을 선택할 것인지이다.
Ye：먼저 기술 스택에 대해 이야기하자면, 우리는 2021년 초부터 PSE 팀으로도 알려진 이더리움 재단의 ZK 팀과 함께 Type 1 zkEVM을 구축해 왔습니다. 그러면 전체 코드 베이스의 기여 중 약 절반이 우리 측에서, 절반은 PSE 측에서 이루어지며, 커뮤니티에서 산발적으로 기여하는 사람도 있을 수 있습니다. 따라서 우리는 항상 이러한 커뮤니티 오픈 소스 개발 분위기를 매우 지지해 왔으며 항상 이더리움에 코드를 기여해야 한다고 주장해 왔습니다. 전체 프로젝트의 목적은 이더리움 계층에서 실제로 사용할 수 있는 Type 1 zkEVM을 구축하는 것입니다. 1은 이더리움의 로드맵을 바꾸고 우리 자신만을 위한 것이 아닌 이더리움의 미래를 구축할 수 있습니다. 이 부분은 우리와 PSE 및 기타 커뮤니티 기여자들이 개발한 Type 1 zkEVM의 커뮤니티 버전입니다. 그러므로 그것은 우리 모두의 신용이 아니라 모든 사람의 신용입니다.
그런 다음 스크롤 자체를 위해서는 완전한 제품 기능과 더 나은 감사 기능을 갖춘 버전인 메인넷이 필요합니다. 그리고 현재 평가에 따르면 Type 1의 증명 오버헤드는 Type 2의 10배이므로 Type 1 zkEVM을 구축하려는 경우에도 한 단계에서 다른 단계로 전환해야 하며 다음 단계가 필요하다고 생각합니다. 따라서 아키텍처를 테스트하기 위해 먼저 Type 2 버전을 만든 다음 Ethereum의 전체 아키텍처를 지속적으로 업데이트하는 것이 가장 좋은 방법이라고 생각합니다. 충분한 성능을 갖춘 Type 1이 있으면 Ethereum의 아키텍처가 변경됩니다. 다시 변경해야 할 수도 있습니다. 그래서 우리는 Type 1과 Type 2의 차이가 주로 스토리지가 동일한 세트를 공유하는지 여부에 반영된다고 생각합니다. 따라서 우리의 현재 주요 초점은 Type 2 제품을 준비하는 것입니다. 현재 코드 베이스는 우리가 협력하는 커뮤니티 버전에서 파생됩니다. 우리는 스토리지를 변경하고, 다른 해당 모듈을 설계하고, GPU 증명자를 최적화하고, 기타 여러 가지를 최적화했으며, 마침내 GPU 증명기에서 증명 시간을 10분 가까이 압축했습니다. 이것은 매우 효율적인 zkEVM입니다. 그러나 우리는 이더리움이 어떻게 더 강력해지고 이더리움의 미래를 구축할 수 있는지 알아보기 위해 이더리움이 Type 1 zkEVM을 구축하도록 계속 지원할 것입니다. 따라서 우리의 임무는 효율적이고 제품 사용이 가능하며 완전히 감사 가능한 Type 2 zkEVM을 구축하는 것입니다. 동시에 우리는 이더리움용 Type 1 zkEVM도 구축하고 있습니다.
여전히 성능 차이가 크고 실제 테스트가 필요하다고 생각하기 때문에 여전히 Type 2 zkEVM에 중점을 두고 있으며 호환성에는 전혀 영향을 미치지 않습니다. 왜냐하면 기본적으로 모든 계약과 Foundry와 같은 모든 도구가 있기 때문입니다. , Remix, Hardhat 등은 완벽하게 호환되며 플러그인이 필요하지 않습니다. 게다가 곧 출시할 테스트 네트워크나 메인 네트워크는 Paring 등을 지원하는 사전 컴파일된 컨트랙트이므로 호환성이 매우 좋습니다. 다음 단계로 들어갑니다. 동시에 우리는 증거 없이는 안전한 레이어 2, zkEVM 또는 zkRollup으로 간주될 수 없다고 믿으며 보안 원칙을 고수합니다.
우리의 개발 상태는 기본적으로 완벽합니다. 모든 opcode는 0까지 푸시합니다. 우리는 푸시 0을 지원하는 유일한 zkRollup일 수 있습니다. 페어링을 확인할 수 있습니다. 이는 당사 자체의 개발 진행 상황 및 호환성이며, 이미 감사가 진행 중입니다. 당사의 Seplia 블로그를 읽어보실 수 있습니다.
그리고 이러한 호환성의 각 회사별 발전 방향에 대해서는 스타크웨어를 제외한 모든 회사가 결국 호환성이 더 강한 방향으로 발전할 것이라는 개인적인 추측이 있습니다. zkEVM을 지원하기 위해 Kakarot이 있기 때문에 다른 방향을 고려하지 않습니다. 이것이 Cario 언어가 어두워지는 유일한 방법이어야 합니다. 이제 zkSync가 온라인 상태이므로 개발자로부터 받은 피드백은 여전히 많은 코드 변경이 필요하고 개발자들은 여전히 보안을 믿지 않는다는 것입니다. 계약에서 가장 중요한 것은 보안이기 때문에, 아무리 효율적이라고 해도 코드를 변경하거나 재감사해야 한다면 비용은 개발자 몫이어야 합니다. 이것은 확실히 지속 가능한 개발 방향이 아닙니다. 따라서 우리는 개발자가 자신의 코드를 수정할 필요가 없도록 호환성이 매우 높아야 한다고 생각하며 이는 매우 중요합니다. 앞으로도 다들 이 방향으로 열심히 일하실 거라 생각해요.
그러나 나는 유형 1이 일반화하기에 매우 정확한 방법이라고 생각하지 않습니다. 제가 방금 이더리움이 동등하다고 말할 때마다 EVM은 동등하거나 언어 수준에서 호환됩니다. 정확한 정의가 없기 때문에 이것이 더 직관적이고 직접적인 요약 방법이라고 생각하기 때문입니다. 비탈릭은 모호한 분류 방식만 제시했는데, 이는 변경될 수 있다고 생각합니다. 현재 단계를 기준으로 회사의 비전을 정의하는 것은 어렵다고 생각합니다. 우리의 비전과 마찬가지로 먼저 테스트 네트워크와 메인 네트워크를 Type 2로 출시한 후 실제 테스트와 성능 테스트를 수행한 다음 다른 업그레이드를 고려하고 Ethereum이 Type 1 zkEVM을 구축하도록 계속 돕는 것이 우리의 한 가지 방법입니다. 유형 1과 유형 2를 사용하는 것은 매우 단계적인 목표이기 때문에 매우 부정확합니다.
일반적으로 말하면, zkEVM을 만들고 싶다면 호환성을 향해 발전해야 한다고 생각합니다. 왜냐하면 이제 기술이 정말 많이 향상되었다는 것이 입증되었고 zkEVM은 매우 매우 빠르게 만들 수 있기 때문에 그럴 필요가 없다고 생각합니다. 효율성이 2~3배 향상되고 호환성이 희생되기 때문에 그렇게 합니다. 더 빨라질 수 있을지도 의문이라 아직은 호환성이 더 좋은 방향으로 발전할 것이라 생각합니다.
FF: 알겠습니다. 감사합니다. 스크롤은 항상 호환성을 유지하면서 성능을 향상해 왔습니다. 다른 회사는 다른 절충안을 선택할 수 있지만 Starkware를 제외한 모든 회사는 결국 Ethereum과 호환될 수 있습니다. 그러나 사용자의 관점에서 볼 때 보다 직관적인 느낌은 주로 속도와 비용이라는 두 가지 측면에서 비롯됩니다. 속도나 블록생성 시간 면에서 스크롤은 항상 3초 내외로 안정적이었습니다. 폴리곤은 예전에는 10초 정도였는데 최근에는 3초 이상으로 줄었고, 리네아도 현재는 3초 안팎입니다. 3초 블록타임은 무엇이 결정하는 건지, 분류기 성능에 따라 결정되는 건지 묻고 싶습니다. 이제 모두가 중앙 집중식 분류기이기 때문에 공통 Alt L1의 블록 시간은 더 짧아지고, 합의 수준. 이 영역에 고려 사항이나 병목 현상이 있습니까?
Ye：지금 우리가 설계하고 있는 3초는 실제로는 훨씬 더 빨리 단축될 수 있습니다. 우리는 현재 이를 3초로 정의하고 있으며 이는 테스트 단계에 있으며 현재 증명자의 크기를 기반으로 합니다. 왜냐하면 블록을 더 짧은 길이로 줄이면 시간 내에 블록을 증명하기 위해 더 많은 증명자가 필요하기 때문입니다. 너무 짧게 단축하면 데이터 업로드에 더 큰 병목 현상이 발생할 수 있습니다. 더욱이 현재 zkRollup의 일반적인 실제 처리량은 수천 개에 불과하며 실제 수요는 수십 개에 불과할 수 있습니다. 그래서 사실 너무 빨리 블록을 생성하면 별 소용이 없고, 중앙집중형 시퀀서는 매우 빠르게 할 수 있지만, 이는 증명자의 규모와 체인에 업로드되는 양에 따라 중간 전환 기간이기도 합니다. 병목.
실제로 최대 처리량을 추정한 다음 거꾸로 작업하여 블록을 생성하는 데 몇 초가 걸리는지 확인할 수 있습니다. 블록을 생성하는 데 몇 초가 걸리는지도 트레이드오프입니다. 예를 들어 1,000만 공간 크기의 블록을 생성하는 데 3초가 걸리고, 1억 공간 크기의 블록을 생성하는 데 30초가 걸립니다. 블록타임만 보면 몇 밀리초 안에 단 한 번의 트랜잭션만으로 블록을 생성할 수 있는데, 예를 들어 Arbitrum 같은 경우는 얼마 전 블록에 트랜잭션이 하나만 있었는데 블록 생성 속도가 매우 빠릅니다. 현재 상황은 모르겠습니다. 그래서 블록의 용량을 보는 더 좋은 방법은 초당 처리할 수 있는 Gas의 양인 Gas/s라고 생각합니다. 이것이 더 나은 측정 방법이며 처리량 및 블록 생성 시간보다 더 과학적입니다. 작은. 이는 전적으로 병목 현상이 체인인지 증명자인지에 따라 달라지며, 이는 단순히 중앙 집중식 시퀀서의 효율성 때문이 아니라 다양한 요인의 영향을 받습니다.
두 번째는 모든 사람이 탈중앙화할 때 그 역시 탈중앙화 계획에 달려 있다는 것입니다. 합의 프로토콜을 따르면 합의는 허가가 필요한 합의와 허가가 필요 없는 합의로 구분됩니다. 예를 들어, BFT는 더 빠를 수 있지만 가장 긴 체인을 사용하려는 경우 매우 느릴 수 있습니다. 따라서 이것이 Rollup의 각 개념의 선택이며, 일부는 더 빠른 최종 확인과 사용자 경험을 위한 반면, 일부는 더 분산되어야 한다고 느낄 수도 있고 블록 시간의 이 부분의 이점을 포기할 수도 있습니다.
FF: 이해합니다 감사합니다 사실 블록 생성 시간은 여전히 각 체인의 선택에 따라 결정됩니다. 비용 측면에서도 묻고 싶은 점은 이제 zkSync와 Polygon zkEVM이 메인넷에 출시되었기 때문에 실제로 가스 비용이 OP Rollup보다 높다는 것을 알 수 있습니다. 하지만 zkSync와 Polygon zkEVM은 서로 다른 상황일 수 있습니다. zkSync에서는 상호 작용하는 사람이 너무 많아서 가스 가격이 오르고, Polygon zkEVM에서는 상호 작용하는 사람이 너무 적기 때문에 그들 사이에 공유되는 L1의 거래 수수료가 높습니다. 그러니 당연히 가스비가 비싸죠. 스크롤은 현재 테스트 네트워크에서 거래 수수료가 매우 낮은데, 메인 네트워크에 출시된 후 이 두 가지 문제를 어떻게 해결할 것인지 묻고 싶습니다.
Ye：저희 Sepolia 블로그를 보시면 저희가 수행한 많은 최적화에 대해 설명하고 그 안에 많은 기술 요약이 있습니다. 우리는 Goerli 테스트넷 이후에 많은 최적화를 이루었습니다. Sepolia의 블로그에는 증거를 압축하는 방법을 설명하는 사진이 있습니다. 구체적으로, 증명에 해당하는 이전 블록을 배치(Batch), 청크(Chunk), 블록(Block)의 3계층 구조로 변경했는데, 먼저 블록 증명을 하나의 증명으로 집계한 후 이 증명을 집계할 수 있습니다. 우리는 마침내 두 개의 주요 레이어를 집계했고, 그 다음 두 개의 주요 레이어 내부에 두 개의 집계 레이어가 있어 증명과 검증을 압축했습니다. 우리는 이러한 검증 비용을 줄이기 위해 많은 노력을 기울였습니다. 우리는 또한 재귀 증명을 위한 더 나은 알고리즘을 연구하고 있습니다. 또 다른 점은 블록 생성 빈도, 체인에 데이터 제출 빈도 등 빈도를 제어함으로써 크로스체인 브릿지에서도 많은 최적화를 이루어 최종적으로 가스 비용을 50% 절감했다는 것입니다. 블로그에서도 확인하실 수 있습니다. 내부에서 보실 수 있습니다.
그렇다면 앞으로도 많은 최적화 방향이 있을 것입니다.예를 들어, 현재 EIP 4844 이후 크로스체인 브리지를 업그레이드하는 방법과 블롭을 사용하여 가스 비용을 더욱 절감하는 방법을 연구하고 있습니다. 나중에 이에 대한 블로그 게시물도 올릴 예정입니다. 그리고 큰 방향이 있다고 생각합니다. 왜 zkEVM이 지금 OP보다 여전히 비싼가? 모든 ZK 프로젝트가 ZK와 zkEVM을 잘 만드는 방법에 초점을 맞추고 있기 때문입니다. 기술 자체가 이미 매우 복잡해서 아직 심층적인 최적화 단계에는 도달하지 못했습니다. 하지만 OP는 다릅니다. 온라인을 오랫동안 사용했기 때문에 비용에 주의해야 합니다. 그래서 ZK의 최적화 팀은 온체인 데이터 압축, 체인의 데이터 축소 등을 이제 막 시작했다고 생각합니다. 하지만 이는 데이터를 다른 곳에 두는 것을 의미하지는 않습니다. 원본 데이터를 메인 체인에 넣었는데 이제 압축된 데이터를 넣을 수 있지만 이 데이터는 여전히 복구할 수 있습니다. ZK 회로에서 이 데이터가 이전에 압축되지 않은 데이터와 동일하다는 것을 증명한 다음 사용하면 됩니다. . 현재 ZK 팀 대부분은 이 작업을 수행하지 않았을 수 있습니다. 이 작업이 완료되면 비용이 매우 많이 압축될 수 있으므로 ZK 친화적인 압축 알고리즘을 사용하여 이 부분을 줄일 수 있는 기회가 아직 많이 있습니다. 비용을 절감하세요. 모두가 zkEVM을 더 좋게 만들고 더 높은 성능을 달성하는 방법에 집중하고 있을 뿐이지만 비용은 다음으로 매우 중요한 주제가 될 것입니다.
FF: 알겠습니다. 감사합니다. 한 가지 가능성은 집계 증명을 통해 이 비용을 줄이는 것이고, 다른 하나는 향후 DA 계층에서 일부 절충을 통해 비용을 더욱 압축하는 것이라고 이해합니다. 그렇다면 비용이나 속도 측면에서 스크롤이 스타크넷과 같은 L3 솔루션을 채택하는 것이 가능한지 스크롤님께 여쭤보고 싶습니다.최신 파이낸싱 카카로트는 카리오 언어로 작성된 EVM입니다. 질문드리고 싶습니다. 현재 L1-L2 아키텍처와 유사하게 Scroll에서 또 다른 EVM을 구축할 수 있습니까, 아니면 Kakarot과 같은 계약을 사용하여 EVM을 작성하는 것이 가능합니까?
Ye：레이어 3 주제와 관련하여 우리는 현재 떠다니는 이야기를 맹목적으로 추구하기보다는 자체 개발, 즉 사용하기 쉽고 완전한 시스템을 구축하는 방법에 중점을 두고 있습니다. Layer 3을 구축하려면 Scroll을 포크한 다음 Scroll에 배포하기만 하면 된다고 생각하기 때문입니다. 우리 코드도 오픈 소스이기 때문에 모든 사람이 포크하고 배포하는 것이 매우 편리합니다. 앞서 말했듯이 우리는 모두가 레이어 3에 대한 이야기를 하고 있다고 생각합니다. 하지만 레이어 3, 특히 SNARK 기반의 레이어 3을 지원하려면 사전 컴파일된 페어링 계약을 지원해야 합니다. 하지만 지금은 우리 외에는 미리 컴파일된 계약인 페어링(Pairing)을 지원하고 페어링 확인을 지원하는 다른 zkRollup을 본 적이 없습니다. 이는 가장 중요한 링크를 놓쳤지만 여전히 추가 이야기를 해야 하는 것과 같습니다. 우리는 단지 이야기를 하는 것 이상의 일을 하고 싶습니다.
실제로 어느 체인에 더 많은 ZK 애플리케이션이 있는지 살펴보면 이를 확인할 수 있습니다. 페어링을 지원하기 때문에 체인에는 기본 ZK 애플리케이션이 많이 있습니다. 당신이 말하는 이야기와 실제로 그것을 지지할 수 있는지 여부는 별개입니다. 제 생각에는 Scroll은 지원하기 쉽고, 포크되고, 배포되고, 검증될 수 있습니다. Scroll의 Layer 3은 구축하기 쉽고 SNARK 기반 ZK Layer 3만 지원할 수 있습니다.
그렇다면 세 번째 요점은 카카로트는 디자인이 매우 다르다는 것입니다. Kakarot은 Starkware의 애플리케이션으로 Layer 3가 아닙니다. 향후 Layer 3으로 발전할 수도 있지만 현재는 Cario에서 작성한 프로그램이며 Starknet 자체 분류기를 사용합니다. 이는 스크롤에 또 다른 레이어 3을 구축하는 것과는 다르지만 스크롤에 Solidity를 사용하여 EVM을 작성한 다음 사용자가 실행을 위해 트랜잭션을 EVM에 보내는 것과 비슷합니다.
FF: 이해합니다, 감사합니다. 예, 최근 zkSync가 한 번의 클릭으로 L3 및 L2를 전송할 수 있는 zk Stack을 출시했다는 또 다른 이야기가 있습니다. 과거에는 Op 및 Arbitrum과 같은 회사가 자체 솔루션을 출시했는데, Scroll이 현재 RaaS 및 zkRaaS 트랙에 대해 어떻게 생각하는지, 그리고 Scroll도 자체 솔루션 세트를 출시할 것인지 묻고 싶습니다.
Ye：개인적으로 지금은 이것이 우리의 초점이 아니라고 생각하며, 모두가 Scroll Stack이나 SDK를 사용하고 싶다면 직접 Fork하면 됩니다.. 모두가 사용해야 한다고 유행하는 이름을 만들 필요는 없습니다. 지금은 우리의 초점이 아니지만 원하는 경우 누구나 쉽게 사용할 수 있습니다. 이것이 첫 번째 이유입니다.
그리고 저는 개인적으로 예를 들어 OP Stack이 현재 가장 인기가 있다고 생각합니다. 그러나 현재 논쟁 중 일부는 이 프레임워크가 전달하는 이야기는 각 모듈이 매우 유연하다는 것인데 실제로 얼마나 유연합니까? 영지식 증명, Arbitrum의 증명을 지원할 수 있습니까? 이 표준은 논쟁의 여지가 많으며, 좋은 기술 스택 표준이 무엇인지 결정하기 위해 테스트하는 데 여전히 오랜 시간이 걸립니다. 저는 Scroll의 가치는 커뮤니티와 함께 구축하는 것이라고 믿습니다. 이러한 표준을 구축하려면 커뮤니티를 통해 구축되어야 합니다. 예를 들어 Arbitrum, Optimism, zkSync 및 Polygon과 협력하여 사전에 표준을 추진해야 모든 레이어 2를 통합할 수 있습니다. 그렇지 않으면 Arbitrum은 OP 스택에 대한 자체 스택을 변경하지 않고 이 인터페이스를 호환 가능하게 만들지 않습니다. 각 회사는 여전히 서로 호환되지 않는 자체 스택을 홍보하고 있습니다. 이 경우 Stack은 진정으로 유연한 프레임워크가 아니라 그 자체로 포크입니다.
게다가 OP Stack은 불완전한 프레임워크로, 증거도 없고, 가장 중요한 링크로서 누락되어 있습니다. 이 경우 다수의 포크체인은 자신들이 레이어 2라고 느낄 것이지만, 레이어 2 보안 표준을 충족할 수 있는 사람은 아무도 없습니다. 레이어 2는 모두가 이더리움의 보안을 믿기 때문에 사용되지만 레이어 2에는 증거가 없기 때문에 레이어 2는 이더리움의 보안을 달성할 수 없습니다. 나는 이것이 널리 홍보되고 있다고 생각하지만 실제로 암호화 분야에는 좋은 것이 아닙니다. 모든 사람은 실제 보안이 아닌 내러티브만을 중요하게 생각합니다. 시스템이 아직 성숙하지 않았다는 것을 증명했다고 생각하며, 시장화를 촉진하고 모든 사람의 자금을 유치하기 위해 많은 마케팅 방법을 사용하고 싶지 않습니다. 프레임워크가 성숙해졌다고 느낄 때 추진하는 것이 더 적절합니다. 이것이 우리가 이를 우선순위로 삼지 않는 두 번째 이유입니다.
세 번째 이유는 우리가 스스로 완전한 zkRollup을 실행했기 때문입니다. 우리는 이러한 세트를 실행하는 것이 얼마나 복잡한지 알고 있습니다. 계약의 업그레이드 가능성을 고려해야 하고, 시퀀서의 안정성을 고려해야 하며, 자신의 증명자 네트워크와 모델을 고려해야 하며, 이러한 복잡한 것들이 아주 많습니다. 내 생각에는 이 스택이나 이를 필요로 하는 애플리케이션을 실행할 수 있는 능력을 갖춘 팀은 소수에 불과하다고 생각합니다. 우리는 대부분의 팀이 자체적으로 Rollup을 실행할 수 있는 능력을 갖추고 있지 않다고 생각하며, 아직은 그러한 시스템을 유지할 때가 아닙니다. 나중에 레이어 2가 러그 풀링되거나 큰 문제가 발생하면 전체 레이어 2 분야에 좋지 않습니다. 일반적으로 Layer 2 Stack을 추진하는 것은 좋은 방향이지만, 사고가 발생하여 Layer 2가 MEME로 변한다면 이는 우리가 원하는 바가 아닙니다.
마지막 이유는 상호 운용성의 문제입니다. 서로 다른 애플리케이션은 자체 체인을 실행하며 이들 간의 상호 작용은 그다지 신뢰할 수 없습니다. 나는 이것이 상호 운용 가능한 시스템을 분할하는 큰 문제라고 생각합니다. 현재 Scroll의 초점은 기본 레이어 2를 구축하여 네트워크 효과를 최대화하고 상호 운용성 및 보안 요구 사항이 있는 일부 애플리케이션 시나리오를 포착하는 것입니다. 이는 현재 우리에게 가장 중요한 사항이며, 향후 일부 관련 방향을 고려할 가능성도 배제하지 않습니다. 하지만 아직 이렇게 말하기는 이르며, 상호 운용성에 대한 요구 사항과 해결되지 않은 문제를 계속 검토하고 있습니다.
ZK 하드웨어 가속 및 증명자 네트워크
FF: 알겠습니다. 감사합니다. 제가 들은 바에 따르면 Scroll은 레이어 2를 발전시키기 위해 매우 실용적인 접근 방식을 사용하고 있으며 트렌드를 전달하는 데 초점을 맞추지 않을 것 같습니다. 글쎄요, 사실 현재 레이어 2 자체의 개발 초점은 지금 프레임워크에 대해 이야기할 필요가 있을 때보다는 성능 병목 현상과 같은 문제를 해결하는 것이라고 말씀하셨는데요. 우리는 또한 Ye가 이전에 하드웨어 가속 분야에서 가장 중요한 논문이라고 할 수 있는 PipeZK를 출판했다는 것을 알고 있습니다. 따라서 저는 Scroll이 하드웨어 가속 측면에서 다른 경쟁사보다 훨씬 뒤처져야 한다고 생각합니다. 제가 묻고 싶은 것은 스크롤의 하드웨어 가속 측면에서 최근 진행 상황이 어떤지, 공개해도 될까요? 현재의 협력 모델과 기술 업그레이드를 포함합니까?
Ye：배경지식을 추가하자면 우리는 하드웨어 가속의 방향을 연구한 최초의 팀입니다. PipeZK 외에도 GZKP도 있습니다. 우리는 FPGA, ASIC 및 GPU의 가속을 연구해왔기 때문에 하드웨어 가속 방향에 있어서 매우 전문적입니다. 그리고 현재 ASIC을 사용하여 증명 네트워크를 지원하는 것을 선호하는 Cysic과 같은 많은 협력 파트너가 있습니다. 하지만 FPGA와 ASIC은 전문적인 팀과 전문적인 기술이 필요한 분야이기 때문에 IPGA와 ASIC을 직접 수행하지는 않을 것입니다. 그런 일을 하기 위해 내부적으로 그런 팀을 가질 방법이 없습니다. 우리 내부 팀은 여전히 GPU용 솔루션에 집중하고 있습니다. 우리는 일부 CUDA를 작성하고 있습니다. (참고: CUDA®는 그래픽 처리 장치용으로 특별히 설계된 NVIDIA의 범용 소프트웨어입니다. (GPU) 더 빠른 버전의 GPU 증명자를 만들기 위한 병렬 컴퓨팅 플랫폼 및 컴퓨팅 개발을 위한 프로그래밍 모델입니다. 우리는 소프트웨어를 작성하며, 우리의 원래 의도는 이 시장을 독점하기 위해 매우 강력한 ASIC을 구축해야 한다고 말하는 것이 아니라 더 많은 사람들이 우리 GPU 코드를 실행할 수 있기를 바라는 것입니다. 우리는 이 시장이 제로섬 게임이 아닌, ASIC, FPGA, GPU를 포함하여 모두가 가장 빠르고 최고의 성능을 발휘하는 증명자가 되기 위해 경쟁하는 공정한 경쟁의 시장이 되도록 장려하고 있습니다. 그런 다음 우리가 직접 버전을 출시하면 누구나 우리의 GPU 알고리즘을 사용하여 우리의 증명자가 될 수 있습니다.그리고 이제 우리의 GPU 성능은 매우 잘 최적화되어 CPU 증명자보다 약 10배 더 빠를 수 있습니다. 우리는 여전히 성능을 지속적으로 반복하고 있으며 이 증명 시스템의 차세대 선택을 고려하고 있습니다.
구체적인 협력 모델에 관해서는 아직 탐색 중입니다. 많은 하드웨어 회사가 이미 스택을 가속화하겠다고 약속했습니다. 우리는 커뮤니티가 이를 수행하는 것을 매우 기쁘게 생각합니다. ***우리는 우리가 좋아하는 사람이 승자가 될 것이라고 말하기보다는 상대적으로 중립적인 관점에서 벤치마크 테스트를 실행하는 방법과 교육 및 도움을 제공하는 방법을 알려줄 것입니다. 우리는 이제 모든 사람이 점점 더 빠르게 증명할 수 있도록 장려하기 위해 일부 증명자 대회를 시작하려고 생각하고 있습니다. 메인넷이 처음 출시되면 전체 시스템을 메인넷에서 다시 테스트해야 한다고 생각하기 때문에 완전히 분산된 증명자 네트워크를 사용하지 않을 것입니다. 몇 가지 테스트를 통해서만 메인넷이 더욱 탈중앙화될 것입니다. 우리는 증명자와 분류기를 탈중앙화하는 방법을 논의하기 위한 몇 가지 좋은 제안을 이미 가지고 있습니다. 먼저 일부 대회를 통해 천천히 탈중앙화할 수도 있습니다. 앞으로 나아갈 길입니다.
FF: 네, 감사합니다 예, 방금 Scroll이 소프트웨어 최적화에 더 집중하고 하드웨어 분야에서는 다른 회사와 협력할 것이라고 들었습니다. 방금 언급한 탈중앙화 인증자에 관해서 커뮤니티의 모든 사람들은 Scroll의 인증자 네트워크에 대해 매우 우려하고 있습니다. 내 생각에는 Scroll이 분산형 증명자를 제안하는 첫 번째 사람이 되어야 한다고 생각합니다. 이더리움 POW가 POS로 전환된 이후 등장한 유휴 GPU가 많기 때문에 Scroll의 증명 네트워크는 양측 모두에게 큰 기회입니다. 여기서는 커뮤니티를 대신하여 향후 Scroll의 증명 네트워크에 참여하고 싶다면 GPU에 대한 특별한 요구 사항이 무엇인지, 어떤 사항을 적용해야 하는지 물어보고 싶습니다. 언제 테스트되나요?
Ye：현재 입증자 요구 사항은 CPU와 2개 또는 4개의 카드 GPU입니다. 실제로 GPU에 대한 우리의 요구 사항은 상대적으로 낮습니다. 8GB 메모리를 갖춘 1080이 우리의 증명자를 실행할 수 있어야 합니다. 그러나 현재 CPU 요구 사항은 상대적으로 높으며 여전히 200GB 이상의 CPU 메모리가 필요하므로 여전히 상대적으로 비싼 증명자입니다. 이 시점에서 어떤 zkEVM도 자체 CPU 비용을 200GB 미만으로 줄일 수 없습니다. 이것이 가장 큰 문제이자, 우리가 보고 있는 방향이기도 합니다.zkEVM 블록을 더 작은 블록으로 자른 다음 분할 증명 등을 수행할 수 있습니까?
FF: 커뮤니티의 개발자와 참가자가 테스트하고 싶다면 언제 증명자를 테스트할 수 있나요?
Ye：우리의 CPU 증명자는 완전한 오픈 소스이므로 언제든지 CPU 증명자를 실행할 수 있습니다. 그런 다음 메인넷이 온라인 상태가 된 후에도 더 다양한 GPU 모델에 적응할 수 있도록 GPU의 증명 버전을 계속 최적화할 것입니다. 그래서 그 시점에는 증명자를 직접 실행해 볼 수도 있을 것 같습니다. 하지만 정말 개방적이고 모든 사람이 인증자 네트워크에 연결할 수 있다면 네트워크를 지원하는 시스템이 필요하기 때문에 여전히 시간이 걸릴 것이라고 생각합니다. 현재 전체 시스템 설계는 분산되어 있지만 구체적인 인센티브 모델, 처벌 모델 등을 설계해야 합니다. 그래서 실제로 네트워크에 접속하는데 시간이 좀 걸리겠지만, 그냥 실행하고 싶다면 지금 실행하면 되고, 증명자의 코드가 오픈소스이기 때문에 자체적으로 증명자를 실행할 수도 있습니다.
FF: 네, 감사합니다. 그리고 Future Prover Network의 출시도 기대하고 있습니다. 증명자 네트워크의 탈중앙화에 관해 이야기할 때 실제로는 많은 조정 문제가 수반됩니다. 이제 Scroll이 공개할 수 있는 대체 솔루션이 있습니까?Polygon을 포함한 다른 체인을 연구하고 살펴봤기 때문에 그들은 무단 제출 증명과 유사한 POE(Proof of Efficiency) 솔루션을 채택해야 합니다. 가장 빠른 증명자가 승리합니다. 미나, 닐처럼 증명마켓과 비슷한 솔루션은 없을까요? Scroll에는 이와 관련하여 혁신적인 솔루션이 있습니까?
Ye：이제 전체 네트워크가 분산화되면 PSS(Prover Sequencer Separation) 솔루션을 갖게 될 것이 비교적 확실합니다. 이더리움 레이어 1은 PBS(Proposer Builder Separation)라고 합니다. 우리는 분류기와 증명자가 두 가지 별도의 역할이 될 것이라고 확실히 말할 것입니다. 그러나 양측의 특정 설계는 장기적인 문제가 될 것입니다. 왜냐하면 증명자를 설계한 다음 분류기를 설계하면 문제가 있음을 알게 될 것이기 때문입니다. . 따라서 장기적으로 보면 증명자가 시퀀서에 영향을 미칠 수 있고, 시퀀서가 증명자에 영향을 미칠 수 있습니다. 여기에는 시퀀서용으로 예약된 거래 수수료와 증명자용으로 예약된 금액에 대한 인센티브 모델이 포함됩니다. 많은 계획이 있지만 아직 어떤 계획을 사용할지 결정하지 못했습니다.
우리의 현재 철학은 가장 빠른 증명을 피하고 항상 승리하는 것입니다. 왜냐하면 귀하의 시스템이 가장 빠른 증명에 의존한다면 커뮤니티의 다른 사람들이 증명을 실행하여 가장 빠른 증명을 실행할 수 없다는 것을 알게 되었기 때문입니다. 오랜 시간이 걸리며 전체 시스템은 가장 빠른 증명자에 의존하게 됩니다. 가장 빠른 증명자에 의존하면 증명자를 계속 업그레이드할 동기가 없을 수 있습니다. 이것이 사라지면 시스템에는 단일 실패 지점이 있으므로 가능한 한 이를 방지하려고 노력합니다. *** 다만 구체적인 디자인에 대해서는 앞으로 천천히 다양한 제안을 공개한 후 그 중 하나를 선택할 예정이며, 커뮤니티와도 논의하고 의견을 들을 예정이지만 아직은 아직은 이르다. .
FF: 이해합니다. Scroll 솔루션은 가장 빠른 증명자를 피하는 경향이 더 많은 것 같습니다. 증명자 간의 자유로운 경쟁 상태가 있어 이 네트워크의 장기적인 발전을 장려할 수 있기를 바랍니다.
Ye：그렇습니다. 가장 빠른 증명자가 항상 승리하는 것은 아닙니다.
증명 시스템
FF: 이것이 더 많은 커뮤니티 참여자들이 참여할 수 있는 최선의 방법이라고 생각합니다. 다음으로 증명 시스템에 대해 이야기해 보겠습니다. 사실 모든 사람이 ZK를 생각할 때 여전히 두 가지 유형의 증명 시스템을 생각합니다. 하나는 STARK이고 다른 하나는 SNARK입니다. 네, 아까 연설에서도 현재의 증명 시스템도 모듈형 추세라고 말씀하셨는데요. 그러면 이 분류가 더 이상 적용되지 않는다는 뜻인가요? 나중에 증명 시스템에 대해 이야기할 때는 정면과 측면에 따라 사용해야 합니다. 백엔드 분할할 구성요소 그렇다면 STARK는 더 이상 Starkware만의 증명 시스템이 아닙니다. STARK는 양자 공격에 강하다는 인상을 받았는데, 미래에는 SNARK도 그러한 특성을 가질 수 있을 것입니다.
Ye：네, SNARK와 STARK의 차이는 정말 작다고 생각합니다. 단지 다항식 커밋(Polynomial Commitment) 구성 요소일 뿐입니다. STARK에 고유한 이 구성 요소를 FRI라고 합니다. SNARK는 이제 양자 저항성도 갖췄습니다. 이것이 중요하다고 생각한다면, 예를 들어 Plonky 2 등은 양자 저항성이 있으며, 우리가 사용하는 Halo 2 증명 시스템도 FRI로 대체하면 양자 저항성을 갖습니다. 그래서 저는 이것이 특별히 뚜렷한 차이라고 생각하지 않으며, 현재로서는 양자 저항이 가장 큰 고려 사항이 아니라고 생각합니다. 사람들은 양자 저항을 위해 FRI를 사용하지 않습니다. 주로 FRI가 증명을 더 빠르게 생성하고 증명 시스템에 효율성이 더 중요할 수 있기 때문입니다. FRI는 실제로 미래에 매우 중요한 방향으로 Proof를 매우 빠르게 만들 수 있지만 동시에 검증 비용도 매우 높기 때문에 비용을 줄이기 위해 지속적으로 반복해야 합니다. 이는 우리가 탐구하고 있는 방향이기도 합니다.
증명 시스템은 실제로 매우 모듈화되어 있습니다. 우리가 추진하고자 하는 것은 모든 사람이 동일한 증명 시스템을 사용할 수 있도록 커뮤니티 표준을 만드는 것입니다. 그러면 이 프레임워크는 FRI, STARK 및 SNARK를 지원할 수 있습니다. 이것이 우리가 바라는 것입니다.
FF: 알겠습니다. 감사합니다. 여기서 더 자세한 내용을 문의할 수 있습니다. Scroll의 현재 2계층 증명 시스템은 Halo 2를 사용합니다. 우리가 궁금한 점은 trade-off의 관점에서 최적은 없고 가장 적합한 것만 있다는 것입니다. 이것은 Halo 2가 zkEVM에 가장 적합한 증명 시스템이라는 것을 의미합니까? .
Ye：저는 그렇게 생각하지 않습니다. 왜냐하면 Halo 2는 실제로 코드 프레임워크이기 때문입니다. 실제로 우리는 Halo 2를 사용할 때 Halo 2를 시스템을 증명하기 위한 모듈식 프레임워크로 더 많이 사용합니다. Halo 2에서는 KZG를 추가하여 PLONK가 되고, FRI를 추가하여 STARK가 되며, 다양한 구성 요소를 추가하여 다양하고 새로운 증명 시스템이 될 수 있습니다. 이것은 Halo 2에 대한 설명입니다. 특정 증명 시스템을 구체적으로 설명하려면 다른 많은 설명 표현을 추가해야 합니다.
zkEVM의 경우 현재 유망한 방향이 많이 있습니다. 현재 우리가 사용하고 있는 Halo 2와 KZG 같은 것이 가장 전통적이며 보안 모델도 시간 테스트를 거쳤습니다. 또 다른 방향은 Halo 2와 FRI를 추가하거나 Plonky 2 또는 STARK를 사용하여 zkEVM을 수행하는 것인데, 이 역시 매우 효율적입니다. Polygon의 데이터에 따르면 그들의 증명 시스템도 매우 효율적이어서 우리도 이 방향을 검토하고 있습니다. 주요 차이점은 타원 곡선에 의존하지 않는다는 점이며, 이는 타원 곡선의 유한 필드에서 많은 계산을 절약할 수 있으며 이것이 매우 빠른 중요한 이유입니다. 또한 FRI의 경우 Goldilocks(64비트) 소규모 도메인을 사용하여 zkEVM을 더 빠르게 만들 수 있습니다.
또 다른 큰 방향은 Hypernova, Supernova, Paranova 및 기타 다양한 Nova Proof 시스템과 같은 Folding입니다. 원칙적으로 FRI는 도메인이 다르고 유한 도메인 표현 요소가 더 작고 빠르기 때문에 Plonk보다 빠릅니다. 그러면 Folding의 주요 원리는 동일한 프로그램 100개를 증명해야 할 때, 다른 증명 프로그램을 사용하면 100개의 증명을 생성해야 할 수도 있고, 100개의 프로그램을 모아서 하나의 큰 증명을 생성해야 할 수도 있다는 것입니다. Folding을 사용한 후에는 이 100개의 프로그램을 매우 적은 비용으로 함께 접은 다음 마지막으로 접은 프로그램만 증명할 수 있습니다. 따라서 증명자에게 필요한 비용의 일부를 줄일 수 있으며, 이것이 매우 빠른 이유 중 하나입니다. 이 방향 역시 매우 유망하지만 아직 해결되지 않은 문제가 많습니다. 예를 들어, 서로 다른 프로그램 간의 조회 테이블을 위한 매우 성숙한 개발 프레임워크가 없으므로 모든 사람이 NOVA 기반 프로그램을 개발할 수 있습니다. 적용 가능한지, 얼마나 효율적인지 모두가 여전히 관찰하고 있습니다. 상대적으로 가능성이 높다고 생각하는데, Keccak, ECDSA 등 다수의 반복적인 회로를 증명하는데 매우 효율적입니다. 성능이 중요한 부품을 최대한 교체하기 위해 부품을 Folding이나 FRI로 단계적으로 교체하는 등 좋은 방향이다. 하지만 여전히 나머지 부분과 연결해야 하고, 전체 시스템의 감사 보안도 고려해야 하는 등 문제가 많다.
그래서 아직은 신중한 비교가 필요한 방향이라고 생각합니다. 우리는 Folding과 FRI를 보다 공정하게 비교할 수 있는 시스템을 구축하는 방법을 찾기 위해 많은 내부 벤치마크 테스트를 수행했습니다. 우리는 이 문제에 대해 많은 작업을 수행했으며 많은 벤치마크 테스트 결과가 나올 것이며 우리의 결론을 논의하는 기사도 있을 것입니다. 차세대 증명 시스템이 이러한 방향으로 발전해야 한다고 생각하는 이유는 무엇입니까?
FF: 폴딩이 회로에서 집계 계층을 수행하기 위해 재귀를 사용하는 것과 비슷한지 묻고 싶습니다. 그렇다면 앞서 이야기한 증명 집계는 증명 수준에서 일부 집계를 수행하는 것을 의미합니다.
Ye：예, 이것은 일반적인 생각입니다. 하지만 재귀와는 여전히 매우 다릅니다. 왜냐하면 증명할 항목을 실제로 선형적으로 결합한 다음 한 번만 증명할 수 있기 때문입니다. 결과는 다소 비슷해 보이지만 실제로는 여전히 많은 차이점이 있습니다.
세부적으로는 별로 생생하지 않은 예를 들어보겠습니다. 예를 들어 지금 작성해야 할 과제가 100개라면 전통적인 증명 방법은 하나씩 작성하는 것입니다. 재귀는 100명의 사람이 각자 복사본을 작성하고 마침내 그들을 통합하는 방법을 알아내는 것과 약간 비슷합니다. 접는 것은 100개의 접점이 있는 긴 펜을 들고 한 번에 100을 쓰는 사람과 비슷합니다. 약간 이런 느낌인데, 좀 게으른 생각이 나서 작업을 압축해서 한 번만 썼어요.
재귀의 경우 작업량을 줄이지 않고 글을 써야 하는데 결국 정리하는 방법을 찾는다. 예를 들어 100명이 글을 다 쓴 뒤에 쌓아두면 선생님이 승인만 해준다. 한 번 정도요.
FF: 그렇다면 Folding은 우리가 숙제를 다 적기 위해 아래에 100장의 카본지를 사용했던 방식과 같을 수도 있겠네요.
Ye：예, 그렇게 느껴지지만 그다지 마법적이지는 않습니다. 여전히 약간의 비용이 듭니다. 예를 들어 카본지 100장을 쓰면 하단의 표시가 더 옅어집니다.
FF: 그렇다면 Scroll의 미래 보장 시스템에 대한 일부 업그레이드를 기대해야 합니다. 증명 시스템을 업그레이드할 때 이전 아키텍처를 살펴보면 Geth 클라이언트가 실행 추적을 증명자에게 제출하게 되는데 이 부분은 강한 바인딩 관계를 갖고 있지 않은 것으로 보여 증명 시스템도 컴포넌트와 유사합니다. .인증 시스템을 업그레이드하는 것은 구성 요소를 업그레이드하는 것과 유사합니다.
Ye：예.
FF: 또 다른 트렌드는 작년에 Barry Whitehat이 제안한 조회 특이성인데, 최근 출시된 a16z의 Lasso 및 Jolt도 Lookup에 대한 대규모 최적화 및 업그레이드입니다. Ye는 이 트렌드에 대해 어떻게 생각하는지 묻고 싶습니다.
Ye：이것도 유망한 방향이라고 생각합니다. 그들의 핵심 아이디어는 매우 큰 조회 테이블을 만드는 것입니다. 예를 들어, 이전 조회 테이블은 2의 10배 또는 20배 이상의 거듭제곱일 수 있습니다. 이제 그들은 2의 100배 거듭제곱의 조회 테이블을 수행할 수 있습니다. 나는 이것이 매우 흥미로운 방향이라고 생각하지만, 룩업 테이블만을 사용하여 회로를 구축하는 방법은 상당히 어렵습니다. 그들의 아이디어는 조회 테이블을 매우 저렴하게 만들어 미래에는 모든 사람이 조회 테이블만 사용하여 다양한 제약 조건을 증명할 수 있도록 하는 것입니다. 그러나 실제로는 이전의 룩업 테이블 Caulk, Baloo, Cq 때문에 대부분은 고정 룩업 테이블만 증명할 수 있을 뿐 동적 룩업 테이블은 증명할 수 없습니다. 나는 그들의 새로운 아키텍처가 동적 조회 테이블을 지원할 수 있는지 구체적으로 살펴보지 않았습니다. 동적 조회 테이블을 지원할 수 있다면 zkEVM에 적용할 수 있는 매우 훌륭하고 강력한 디자인입니다. 그래서 아직은 룩업 테이블로 얼마나 많은 회로 부품을 교체할 수 있는지, 그리고 효율성을 확인하려면 한두 달 정도 더 관찰해 봐야 할 것 같습니다. 우리는 이미 이 방향을 보기 시작했습니다. 오늘 아침에 룩업 테이블 논문을 공유했지만, zkEVM 논문은 아직 공유되지 않았습니다. 앞으로 2주 안에 우리만의 결론이 나올 것으로 추정됩니다.
스크롤의 비전과 가치
FF: 알겠습니다. 증거 시스템의 최근 진행 상황을 우리와 공유해 주셔서 감사합니다. 그렇다면 이번 Talk의 주제는 Scroll과 ZK입니다. 현재 Scroll에서 공개하는 메인넷 출시 시기는 Q3, Q4가 되어야 하므로 Ye가 좋은 기대를 해주기를 바랍니다. 스크롤과 ZK가 개발할 수 있습니다.
Ye：3~4분기가 될 것으로 예상됩니다(참고:실제 온라인 시간 : 2023.10.17)이 메인넷에 출시됩니다. 우리의 비전은 다음 10억 명의 사용자가 스크롤을 통해 이더리움 생태계에 들어갈 수 있도록 하는 것입니다. 우리는 또한 오픈 소스 원칙을 고수하고 커뮤니티와 공동 구축하며 중립성을 유지해 왔습니다. 우리는 오히려 레이어 2가 확장 기술이라고 믿고 싶습니다.기술적 확장, 이더리움의 보안 계승, TPS 증가뿐만 아니라 더 중요한 것은 이더리움의 좋은 품질을 계승하는 것입니다. 예를 들어, 이더리움은 분산화와 중립성을 믿습니다. Ethereum이 하지 않을 일이 많고 Ethereum은 모든 사람이 미친 일을 하도록 지원하는 활동에 참여하지 않을 것입니다. 그러나 Layer 2는 현재 매우 미친 마케팅 프로모션과 같은 많은 일을 해왔습니다.
그래서 스크롤이 앞으로도 발전할 때 항상 자신의 신념과 가치를 고수할 수 있기를 바랍니다. 우리는 이더리움이 할 수 없는 일은 하지 않을 것이며 모든 사람의 기본 이더리움 확장 레이어가 되기를 희망합니다. 이제 모든 레이어 2는 실제로 이더리움과 일치하지 않는 방향으로 발전하고 있습니다. 그들은 그들만의 시장 전략과 출시 목표를 갖게 될 것이며, 우리는 이더리움과 고도로 일치하는 유일한 레이어 2가 되기를 희망합니다. 왜냐면 우리는 느끼기 때문에
