원문: " 2023 ZK 트랙의 새 비밀번호를 찾고 있습니다 "
전사: Biteye 핵심 기여자 Xiao Yaoji
편집자: Biteye 핵심 기여자 Crush
회의 회원
- 사회자: Jesse, Biteye 콘텐츠 팀 리더
손님:
- Cora, 중국 폴리곤 책임자
- Leo, StarkNet 중국어 핵심 기여자
- Todd, A&T 캐피탈 투자 이사
- 젊은, 두루마리 연구원
- Pan Zhixiong, ChainFeeds 창립자
질문 가이드
1. ZK 롤업이란 무엇입니까? 블록체인의 확장 및 개인정보 보호에 있어 어떤 역할을 합니까?
2. Polygon, StarkNet 및 Scroll의 세 가지 프로젝트를 위한 ZKevm 솔루션의 기능은 무엇입니까? 그리고 현재 진행 상황과 향후 개발 계획은 무엇입니까?
3. 영지식 증명은 Web3의 미래에 어떤 역할을 하게 될까요? 확장 및 개인 정보 보호에 대해 자주 이야기되는 시나리오 외에도 탐색되지 않은 시나리오가 있습니까? 영지식증명 트랙에서 주목할 만한 다른 초기 프로젝트가 있나요?
4. 일반 투자자로서 ZK 급행 열차를 타고 싶다면 어떻게 해야 합니까?
회의 요약
- zkevm 분류: V God zkevem의 4가지 분류(이더리움 호환성과 zk 증명 시간 간의 트레이드오프)에 따라 스크롤과 폴리곤이 두 번째 분류(완전한 evm 호환)를 구축하고 있으며, 스타크웨어도 Solidity를 카이로로 컴파일할 수 있습니다. 네 번째 범주(고수준 프로그래밍 언어 호환성).
- 프로젝트 계획: Scroll은 2월 말에 테스트 네트워크를 Ethereum Goerli로 마이그레이션하고 연말에 메인 네트워크를 출시할 예정입니다. Polygon의 zkevm은 3월 27일에 메인 네트워크 테스트 버전을 출시할 예정이며 Starkware의 Cairo는 Cairo 1.0으로 업그레이드됩니다. 커뮤니티 투표가 필요합니다.
- 프로젝트의 새로운 트렌드: zk 기술을 기반으로 한 Polygon ID, Visa는 최근 Starkware의 체인 게임 및 디파이에 주목하여 Starkware에서 결제 애플리케이션을 만들었습니다. Scroll의 오픈 소스 접근 방식과 zkevm의 커뮤니티 공동 구축 및 분산 인증자입니다. 회로망.
- zk 애플리케이션 시나리오: 확장, 개인 정보 보호(zk 기반 KYC 포함), zk 크로스 체인 브리지, zk oracle, zk+gamefi, zk 도구(예: 개인 소셜 unirep.social 개발을 위한 세마포어 사용).
컨퍼런스 내용
코라:
안녕하세요 여러분 저는 폴리곤(Polygon)의 코라(Cora)입니다. 폴리곤(Polygon)은 다들 잘 아실 거라 생각합니다. 이제는 전체 블록체인 중 3번째로 큰 생태계입니다. 초기에는 이더리움의 사이드체인이었는데, 이후에는 폴리곤(Polygon)이 되었습니다. 레이어2 주변 체인에 있는 메인넷을 포함하여 이더리움을 위한 사이트 전체 확장 계획입니다.
2020년 메인넷이 런칭되었습니다. 다음으로는 이더리움을 중심으로 한 전체 사이트 확장 계획에서 zk에 특화된 계획으로 진화하겠습니다.
2021년에 우리는 zk의 연구 및 개발을 위해 특별히 10억 달러 규모의 기금을 출시했습니다. Polygon은 이제 zk용 zkevm을 출시할 예정입니다.
3월 27일은 zk 기술을 적용한 zkevm 메인넷의 테스트 버전이 출시되는 날입니다. 우리는 또한 PolygonID를 만들었습니다. 앞으로는 영국의 휴대전화 서비스 제공업체와 협력할 예정입니다. 그리고 HTC.
앞으로 Socialfi 트랙도 PolygonID와 더욱 긴밀하게 통합될 예정이니 많은 기대 부탁드립니다. 감사합니다.
사자 별자리:
안녕하세요 여러분, 저는 StarkNet Chinese의 Leo입니다. 저는 주로 중국 커뮤니티에서 StarkNet의 콘텐츠 교육을 담당하고 있습니다. StarkNet은 StarWare 팀이 Stark 유효성 증명을 사용하여 개발한 Layer 2의 확장입니다.
StarWare는 잘 알려진 StarkEx를 처음 개발했으며 해당 응용 프로그램에는 DYDX IMX와 같은 매우 잘 알려진 프로젝트가 포함되어 있습니다.
현재 처리된 총 거래량은 8,500억 건이 넘고, 하루 최대 거래량은 100억 건이 넘습니다. StartEx는 ZK 기술의 효율성 증명을 활용하는 최초의 확장 솔루션입니다.
StartEx 이후 StarkWare는 일반 컴퓨팅을 위한 개방형 플랫폼인 StarkNet을 출시했습니다.
StarkNet에는 처음부터 많은 개발자와 애플리케이션이 있었는데, 가장 유명한 것은 StarkNet에서 일부 이체 결제 애플리케이션을 만들기 위해 계정 추상화를 사용하는 최근 Visa의 이니셔티브입니다.
따라서 스타크넷은 앞으로 Layer 2에서 매우 다른 퍼포먼스를 보일 예정이니 많은 관심 부탁드립니다. 감사합니다.
토드:
A&T Capital의 Todd입니다. 저희 펀드는 지금까지 Scroll, delphinus lab 등 zk에 투자해 왔으며 최근에는 일부 하드웨어 투자에도 참여했습니다. ZK 역시 제가 집중하고 연구하는 방향이라 여기서 먼저 소개하겠습니다.
어린:
안녕하세요 여러분, 제 이름은 영입니다. 현재 우리는 ZK와 이더리움에 관련된 기술적 연구를 진행하고 있으며, Scroll에 대해서는 evm의 ZK Rollup인 Ethereum의 zk Rollup과 호환될 수 있는 바이트코드 수준에 있습니다. 스크롤은 보안을 희생하지 않고 이더리움을 확장한 것입니다.
우리가 다른 확장 솔루션과 다른 점은 개발자가 Ethereum에서와 마찬가지로 Scroll에서 정확히 동일한 개발 경험을 가질 수 있다는 것입니다.
현재 이더리움 재단과 협력하여 오픈 소스 방식으로 zkevm을 구축하고 있으므로 스크롤은 최고의 성능을 갖춘 레이어 2라고 해야 합니다.
ZKevm 전체를 보면 우리는 첫날부터 오픈 소스 방식으로 구축해 왔습니다. 실제로 이러한 오픈 소스 코드가 있는데, 이는 전체 프로젝트에 대해 많은 고유한 속성을 가지고 있습니다. 모든 PR과 코드는 통과되었습니다. 일부 기여자와 커뮤니티 동료 검토 및 이러한 오픈 소스 분위기는 ZK에 관심이 있는 업계의 일부 학술 기관뿐만 아니라 많은 ZK 개발 인재를 끌어 모았습니다.
현재 개발자 경험을 우리에게 배포하면 다시 컴파일하거나 감사할 필요가 없으며 원래 EVM에서 Scroll 네트워크로 원활하게 마이그레이션할 수 있어 개발자에게 매우 좋은 경험이 될 것입니다.
또한, 증명 측면에서 우리는 빠른 생성을 증명하는 데 도움이 되는 병렬 가속 계산을 효율적으로 지원할 수 있는 증명 네트워크를 갖게 될 것입니다.
우리는 분산형 Prover 네트워크를 구축한 다음 이를 지원하는 매우 빠른 GPU 솔루션을 갖게 될 것입니다.
전체 네트워크의 현재 상황은 작년 10월 개발자와 일부 DeFi가 일부 ERC20 토큰의 일부 크로스체인을 포함하여 네트워크에 계약을 배포할 수 있도록 허용되었다는 것입니다.
현재 우리는 2월 말경에 ETH Goerli 테스트 네트워크를 출시할 예정이며, 이 버전의 기능은 더욱 완전한 증거가 될 것이며 모든 코드는 zk에 해당하도록 만들 것입니다.
현재 우리의 생태학적 협력에는 Lens, The Graph, Ledger 및 Orbiter와 같은 프로젝트가 포함되어 있으며 현재 수십 개의 프로젝트가 테스트 네트워크에 진입했으며 100개 이상의 프로젝트가 테스트 네트워크에서 일부 테스트를 진행하고 있습니다.
전체 테스트 네트워크의 현재 디지털화는 현재 zkevm 피어의 총 거래량의 약 300배이며, zkSync의 현재 총 거래량의 약 20,000배가 되어야 합니다.
판지웅:
제 이름은 Pan Zhixiong이고 현재 ChainFeeds라는 콘텐츠 수집 플랫폼을 구축하고 있습니다. 평소에는 암호화 및 zk와 관련된 일부 개발에 더 관심을 갖고 학습을 합니다. 오늘은 주로 프로젝트 개발자로부터 배웁니다.
제시:
시작하기 전에 영지식 증명이 무엇이고 어떻게 작동하는지 간략하게 소개하겠습니다. 영어로 영지식 증명(Zero-knowledge Proof)은 일반적으로 zk라고도 알려져 있으며, 1985년 초에 제안된 수학적 프로토콜입니다.
영지식 증명에는 두 가지 중요한 역할이 있는데, 하나는 자신이 특정 정보를 알고 있음을 증명하려는 증명자(Prover)이고, 다른 하나는 증명자가 해당 정보를 알고 있는지 여부를 검증하는 데 사용되는 검증자(Verifier)입니다. 지식 증명을 통해 증명자는 검증할 수 있습니다. 저자는 특정 사물의 진위 여부를 증명하지만, 이 사실 외에 다른 정보는 공개하지 않습니다.
따라서 영지식 증명은 데이터를 공유하는 효과적이고 위험이 거의 없는 방법을 제공합니다.영지식 증명을 사용하면 데이터의 소유권을 유지할 수 있어 개인 정보 보호가 크게 향상될 수 있으며 데이터가 유출될 수 있습니다. 과거의 일이 됩니다.
영지식 증명에는 완전성, 합리성, 영지식이라는 세 가지 특성이 있습니다. 완전성은 진술이 참이면 정직한 검증자는 정직한 증명자에 의해 확신된다는 것을 의미합니다. 즉, 사실이 참이면 틀릴 수 없습니다.
합리성은 진술이 틀렸을 때 대부분의 경우 기만적인 증명자가 정직한 검증자가 거짓 증명을 믿게 만들 수 없다는 것을 의미합니다.
마지막 요점은 영지식(zero-knowledge)으로, 진술이 참이라면 검증자는 진술이 참이라는 것 외에는 어떤 추가 정보도 얻을 수 없습니다. 그렇다면 영지식 증명은 어떻게 작동하나요? 주로 대화형 영지식 증명과 비대화형 영지식 증명으로 구분됩니다. 인터랙티브는 증거, 도전, 대응의 세 부분으로 구성됩니다.
증거란 비밀 정보, 즉 다른 사람에게 알리고 싶지 않은 정보를 말합니다. 증거를 사용한다는 것은 일련의 질문을 설정하는 것이며 이러한 질문은 해당 정보를 아는 사람만이 올바르게 대답할 수 있습니다. 검증자는 먼저 챌린지를 시작하고, 그리고 그는 무작위로 질문을 추출하고 증명자에게 대답을 요청하며, 증명자가 질문을 수락한 후 계산 결과를 검증자에게 반환합니다. 증명자의 응답을 통해 검증자는 증명자가 증거를 알고 있는지 확인할 수 있습니다.
이 과정을 여러 번 반복하면 증명자가 비밀 정보를 알지 못한 채 정답을 추측할 확률이 매우 낮아지게 되므로 영지식 증명이 효과적이지만 대화형 영지식 증명에는 일정한 한계가 있습니다. 여러 번 반복해서 검증해야 하기 때문에 효율성이 상대적으로 낮습니다.
반면에 각 증명은 독립적인 검증에 재사용될 수 없으므로 대화형 증명은 상대적으로 비효율적입니다.
따라서 누군가는 증명자와 검증자가 공유하는 키를 사용하여 단 한 번의 인증만 수행함으로써 영지식 증명을 더욱 효과적으로 만드는 비대화형 영지식 증명을 제안했습니다.
그리고 일단 증거가 생성되면 공유 키와 검증 알고리즘을 가진 사람이라면 누구나 이를 검증할 수 있습니다. 따라서 비대화형 영지식 증명은 zk 기술의 주요 혁신이며 현재 zk 트랙의 활발한 개발을 촉진했습니다. 주요 방법은 잘 알려진 ZK-SNARK 및 ZK-STARK입니다.
제시: 영지식 증명을 이해한 후, 질의응답 시간으로 넘어가겠습니다. 먼저 첫 번째 질문은 ZK 롤업이 무엇인가 입니다. 블록체인의 확장 및 개인정보 보호에 있어 어떤 역할을 합니까?
어린:
영지식증명에 관해서는 개념 자체가 비교적 광범위하므로 관련 기사를 읽어 보시기 바랍니다.
그런 다음 영지식 증명에 사례를 추가하겠습니다. 예를 들어 한 장면에서 호스트의 전화번호를 알지만 번호를 노출할 수는 없습니다. 정보를 알고 있으면 직접 전화할 수 있고, 현장에서 전화벨이 울리면 정보를 알고 있다는 의미입니다.
따라서 진술 자체의 타당성 이상의 정보를 공개하지 않고 진술의 진위를 입증해야 합니다.
ZK Rollup에 관해 먼저 Roll up이 무엇인지 이해할 수 있는데, 이는 실제로 계산을 오프체인으로 이동하고 일부 기록된 메시지나 트랜잭션을 레이어 1에 두는 방법입니다.
롤업은 본질적으로 두 가지 주요 방향을 달성하는데, 현재 레이어 1의 보안을 상속하면서 원래 기술 레이어의 일부 리소스를 해제합니다.
그렇다면 Roll up은 크게 두 가지 종류로 나누어지는데요, 하나는 Optimism Rollup이고, 다른 하나는 제가 오늘 말씀드릴 ZK Rollup입니다. ZK Rollup의 출발점 중 하나는 처음에 Layer1에 문제가 있었다는 것입니다. 각 트랜잭션은 P2P 네트워크로 브로드캐스트되어야 하며, 각 노드는 트랜잭션으로 가득 찬 블록을 수신하고 모든 사람이 모든 트랜잭션을 다시 실행해야 합니다. 트랜잭션, 이 방법은 실제로 레이어 1에서는 매우 비효율적이며 많은 중복이 발생합니다.
따라서 ZK Rollup의 기본 아이디어는 각 트랜잭션을 P2P 네트워크에 브로드캐스트할 필요가 없다는 것입니다. 반대로 모든 트랜잭션을 오프라인 레이어 2 노드로 보냅니다. 지금 1,000개의 트랜잭션을 받았다고 가정합니다. 트랜잭션에 대해 그는 다음을 생성할 수 있습니다. 입력에 의존하는 일부 거래에 의해 생성된 증명인 수학적 증거 증명 그는 모든 거래에 재방송할 필요가 없으며 이 거래의 일부만 제출하면 됩니다.
예를 들어, 계정 가치와 같은 일부 중요한 정보를 복구할 수 있으며 공개 입력으로 사용하고 증명과 함께 추가할 수 있으며 원래 거래보다 훨씬 작으며 이러한 증명을 검증하는 효과로 인해 재실행이 가능합니다. 이러한 거래를 계산하는 것은 완전히 동일합니다.
따라서 ZK Rollup은 세 가지 포인트로 요약할 수 있으며 ZK-SNARK를 사용하여 트랜잭션을 확인합니다.
둘째, 모든 노드는 증명자를 신뢰하지 않고도 거래의 정확성을 검증할 수 있으며 동시에 거래 비용을 낮추면서 이더리움의 보안을 계승합니다.
ZK Rollup의 확장 및 개인 정보 보호와 관련하여 주류 zkvm은 개인 정보 보호를 고려하지 않습니다.
실제로 ZK-SNARK의 특징 중 하나는 계산량을 압축하는 데 주로 사용됩니다. 현재 ZKevm 프로젝트를 일부 개인 정보 보호 프로젝트와 비교할 수는 없지만 개인 정보 보호는 매우 중요한 방향입니다.
코라:
ZKevm은 일반적으로 ZK Rollup을 사용하여 evm 호환성 문제를 해결한다는 것을 이해합니다. 간단히 말해서, 영지식 증명 ZK 기술을 이더리움의 기존 인프라와 더 잘 호환되게 만들고 ZK 증명 생성 및 검증의 효율성을 높이는 것입니다.
ZK Rollup의 evm 호환성이 해결해야 할 문제가 된 이유는 이더리움이 처음 설립될 때 ZK 기술과의 호환성을 고려하지 않았기 때문입니다. 이제 evm을 사용하여 ZK를 검증하기 위한 증명을 직접 생성하는 것은 매우 느립니다. 현재 이더리움 상황에서는 몇 시간이 걸릴 수 있으므로 ZK Rollup은 evm 호환성과 ZK 효율성 간의 균형을 맞춰야 합니다.
이전에는 업계 전체가 evm과 동등한 zkevm이 존재하지 않을 것이라고 믿었고, 이더리움 커뮤니티는 인출 지연 및 사기 방지, ZK Rollup을 위한 새로운 언어 설계, zkevm과 호환되도록 특수 컴파일러 사용 등 특정 타협을 해야 했습니다. 상대적으로 말하자면, 기존 이더리움 개발 도구에 대한 지원이 부족합니다.
진정한 evm 동등성을 달성한다는 것은 이더리움이 타협 조치를 취하지 않고 확장될 수 있음을 의미하며, 이더리움을 확장하는 가장 좋은 방법은 코드 도구 및 인프라와 같은 기존 이더리움 생태계가 제대로 작동하도록 유지하는 것입니다.
이전에 V God님의 한 블로그에서는 zkevm을 자세히 나누어 보았는데, 예를 들어 Type 1은 호환성은 가장 좋으나 ZK 효율이 가장 낮기 때문에 개인적으로 원하는 가장 이상적인 형태입니다.
Type 2는 Polygon이 현재 달성하고자 하는 목표로 Ethereum과 완전히 동일하지는 않지만 evm과 완전히 동일합니다. Type 2는 데이터 구조에서 Ethereum과 일부 차이가 있으며 ZK에 친화적이지 않은 일부 스택은 삭제되지만 기존 Ethereum APP 디버깅 도구 및 일부 개발자 인프라와 완벽하게 호환됩니다.
유형 3은 실제로 폴리곤의 현재 단계로 evm과 거의 동일합니다.
6개월 전 Polygon이 출시한 테스트 네트워크와 3월 27일에 출시될 메인 네트워크 테스트 버전은 모두 일부 테스트를 통해 전체 솔루션이 더 잘 최적화될 수 있기를 바라고 있으며 가능한 한 Type 2에 의존하려고 노력하고 있습니다.
현재 직면한 문제 중 하나는 체인의 프로젝트가 보다 최적화된 방법을 찾기 위해 충분한 테스트가 필요할 수 있다는 것입니다.
토드:
내 관점에서 볼 때 ZK evm과 다른 evm의 핵심 차이점은 최종적으로 이더리움으로 보내는 섹션, 즉 데이터 패키지에 포함된 내용이 다르다는 것입니다.
Zk가 이더리움으로 다시 보내는 것은 zk의 증거입니다. 이더리움 레이어 네트워크에 검증자가 있어야 하며, 그런 다음 zkevm이 이를 이더리움 레이어 패키지로 다시 보내는지 확인하여 evm이 자체 가상 머신의 레이어인지 확인합니다. 2. 과거 블록에서 수행한 모든 거래의 신뢰성.
다른 EVM은 실제로 전체 트랜잭션을 압축하여 증명 형식으로 다시 보내는 대신 다시 보냅니다. 일반적으로 ZK의 레이어 2는 이더넷 레이어 네트워크가 증명을 확인할 때까지 기다리면 됩니다. , 다른 모든 레이어 2 트랜잭션은 레이어 2 트랜잭션 확인을 완료하려면 약 7일의 대기 기간이 필요한 Arbitrum 또는 Optimism과 달리 과거 블록은 이미 최종성에 도달할 수 있습니다.
다시 병목 단계에 대해 이야기해보자. Cora가 방금 그것에 대해 많이 이야기했다. ZKevm에서 이더리움 EVM과 완전히 동등해지기를 원한다면 현재로서는 매우 어려운 문제라는 점을 덧붙이고 싶다.
지금 이 부분이 정체된 가장 분명한 점은 전체 evm의 원본 코드가 전체 zk 회로로 컴파일되었기 때문입니다. 이는 매우 비우호적인 솔루션으로 두 세트의 디자인과 동일하며 호환성도 그리 우호적이지 않습니다. .
따라서 EVM에 상응하는 내용을 100% 페이지에 컴파일해야 한다면 문제가 발생할 것입니다. 해당 증명의 생성 시간이 매우 길어질 것입니다. 작년에 V God이 작성한 기사, 완전한 The EVM이 증거를 생성하는 데 걸리는 시간은 아마도 몇 시간 정도일 것입니다.
이 긴 시간은 이 유형의 ZKevm Layer2의 트랜잭션 효율성에 매우 분명한 영향을 미칠 것입니다. 사용자는 제안한 트랜잭션이 확인될 때까지 몇 시간을 기다려야 합니다. 이러한 시간은 너무 길어서 기사에서도 다룹니다. .전체 회로 부분의 최적화.
개인적으로 이 부분의 최적화를 이해하고 있으며, 이제는 이더리움 자체 팀이든 외부 팀이든 모두가 가능한 한 빨리 동등한 ZKevm을 모두가 사용할 수 있도록 최대한 최적화를 구현하려고 노력하고 있습니다. 사용된.
그 전에 방금 말한 Scroll이나 Polygon처럼 누구나 Type2나 Type3과 같은 ZKevm을 선택할 수 있습니다. 비록 동등성은 그다지 높지 않지만 개발자가 높은 가능성으로 과거를 변경하는 것을 방해할 수도 있습니다. 일부 응용 프로그램은 다음과 같이 할 수 있습니다. 좋은 개발 습관을 가지고 실현하세요.
Jesse: Polygon, StarkNet 및 Scroll의 세 가지 프로젝트에서 나온 ZKevm 솔루션의 기능은 무엇입니까? 그리고 현재 진행 상황과 향후 개발 계획은 무엇입니까?
사자 별자리:
이제 StarkEx와 StarkNet을 소개하겠습니다. StarkEx는 dydx와 같은 프로젝트에 맞춤화된 zk 회로와 마찬가지로 상용 맞춤형 솔루션이며 ZK 확장에 적용되기 때문에 각 애플리케이션에 대해 개별적으로 맞춤화하는 것이 매우 중요합니다. 쉽지만 실제로는 열려 있지 않습니다.
Starkware는 또 다른 확장 솔루션, 즉 개방적이고 허가가 필요 없는 확장 솔루션을 만들고 싶었고, 이 범용 레이어 2 솔루션이 StarkNet을 출시했습니다. Cora는 EVM과 완벽하게 호환되는 이러한 종류의 범용 회로를 만드는 것이 매우 어려울 것이라고 방금 언급했습니다.
방금 언급했듯이 속도가 느려질 것이기 때문에 Starkware는 이와 관련하여 Cairo라는 자체 언어를 만들었습니다. Cairo도 범용 언어이며 Stark Proof를 처리하기 위해 특별히 설계된 언어입니다.
Cairo의 이전 버전은 Python과 더 유사했으며, 최근 대규모 업데이트를 거쳐 Cairo1로 업그레이드되었습니다. Cairo1은 Rust를 기반으로 한 새로운 언어입니다.
Cairo1은 업그레이드 이후 더욱 개발자 친화적이 될 것입니다. 이전에 Rust 개발 경험이 있다면 StarkNet 생태계에 쉽게 연결할 수 있습니다.
이전에는 Cairo가 루프를 지원하지 않고 재귀 형식만 지원했습니다. 이제 개발자가 이 루프를 사용할 수 있으며 많은 새로운 기능이 있습니다. Cairo1은 이제 알파 테스트를 열었고 ERC20 계약 작성을 시작한 다음 테스트 네트워크에서 실행할 수 있습니다. 테스트를 거쳐 점진적으로 업데이트되어 이전 버전 Cairo의 모든 기능이 차후 구현될 예정입니다.
또한, 최근 2022년 말과 1월 23일에 시퀀서 및 증명자 오픈소스가 공개되었습니다. 이제 시퀀서는 이전 버전에서 병렬 트랜잭션을 구현했는데, 오픈 소스라면 다른 기능을 추가해 트랜잭션 속도를 높일 예정이다.나중에 시퀀서에 하나라도 있으면 전체 네트워크의 성능이 크게 향상될 것이다. .
또한, 증명자의 오픈소스는 이전의 Universal Prover를 기반으로 하여, 즉 증명자는 한 가지 유형의 트랜잭션만 처리하고 한 가지 비즈니스 로직만 증명할 수 있는 반면, 보편적인 증명자는 다음과 같은 작업을 수행할 수 있습니다. 다양한 비즈니스 유형과 StarkEx의 증명자도 향후 오픈 소스로 제공될 예정입니다.
Stark에서 오픈 소스로 이러한 애플리케이션을 개발한 후 개발자는 자신의 필요에 따라 더 나은 솔루션을 사용자 정의할 수 있습니다.
새로운 Rust 풀 노드인 StarkWare가 출시한 풀 노드 Papyrus도 있습니다. 현재 StarkNet 시장에는 Equilibrium이 개발한 Pathfinder와 Nethermind가 개발한 Juno라는 3개의 전체 노드가 있습니다. Cairo 1.0이 업데이트된 후 StarkNet에는 StarkNet 버전 0.11이라는 주요 업데이트가 있을 예정이며, 이 버전은 Cairo의 Rust 버전인 Cairo 1.0과도 완벽하게 호환됩니다.
이번 업그레이드는 커뮤니티 투표를 통해 결정되며, 누구나 전체 생태계에 참여할 수 있습니다. 그리고 방금 Evm을 언급했는데, Starknet은 실제로 Vitalik이 언급한 Evm 중 하나가 아니지만, Nethermind에서 Solidity를 Cairo로 번역할 수 있는 번역기를 개발했습니다. 워프입니다.
Warp를 통해 실제로 Type 4 EVM과 Ethereum 언어 수준 호환성을 달성하는 것이 가능합니다. Warp는 앞서 지난해 11월 모든 UniswapV3 컨트랙트를 카이로로 이전한 바 있는데, AAVE뿐만 아니라 Warp를 사용해 카이로로 번역할 예정이므로 Soildity 개발 경험이 있는 개발자들은 Warp를 통해 쉽게 할 수 있다.
어린:
현재 다양한 프로젝트에는 ZK에 대한 다양한 솔루션이 있으며 이는 주로 언어 수준 또는 바이트코드 수준으로 구분됩니다.
스크롤은 이더리움의 ZK 롤업에 대한 금융 바이트코드 수준 항목입니다. 이것의 장점은 일부 evm 개발자의 경우 Ethereum에서의 개발 경험이 스크롤에서의 개발 경험과 정확히 동일하다는 것입니다.
이제 전체 evm 생태계의 Dapp을 Scroll Network로 원활하게 마이그레이션하여 전체 프로젝트를 배포할 수 있습니다. 이는 개발자에게 매우 좋은 경험을 제공하고 개발자 커뮤니티가 매우 빠르게 성장하는 데 도움이 될 것입니다.
또 다른 점은 zkevm을 이더리움 재단과 함께 오픈소스로 구축하기 위해 첫날부터 zkevm을 작업해 왔다는 것입니다. 이것의 장점은 전체 Scroll 프로젝트를 더 좋게 만들 수 있다는 것입니다. 코드가 오픈 소스이기 때문에, 코드의 성능이 매우 좋고 안전합니다. 모든 PR과 코드는 많은 기여자와 커뮤니티 동료에 의해 검토되었기 때문입니다.
또한, 이러한 오픈 소스 문화를 갖춘 커뮤니티는 zk에 대해 널리 관심을 갖고 있는 많은 인재를 끌어들일 것이며, 커뮤니티에 기여할 개발자도 많이 끌어들일 것입니다. , Scroll은 또한 Scroll에서 전체 생태계의 인프라 구축을 강화하고 동시에 전체 생태계의 구축자에게 서비스를 제공하여 전체 네트워크의 연결을 촉진하기 위해 자체 Grant를 발행할 것입니다.
현재 스크롤은 일부 공공재, 인프라 연구 등 일부 프로젝트에 집중하고 있으며, 그 기준은 우리의 오픈소스 문화와 동일하다. 그리고 전체 이더리움 커뮤니티.
Grant 측면에서 Scroll은 재정적 지원을 제공할 뿐만 아니라 생태학적 개발자가 현재 직면하고 있는 일부 문제를 해결하는 데 도움이 되는 기술 또는 기타 리소스를 제공합니다. 이것이 현재 Scroll의 가장 중요한 목적입니다.
세 번째로, 증명 아웃소싱 개념을 가장 먼저 제안한 곳은 스크롤이다. 증명자 측면에서 Scroll은 올해 출시될 분산형 증명자 네트워크인 Prover 네트워크와 Prover 네트워크를 지원하는 매우 빠른 GPU 솔루션을 갖게 될 것입니다.
이 경우 Scroll은 전체 레이어 2가 Proof를 생성할 수 있도록 뛰어난 지원을 제공하는 동시에 레이어 3에 향후 고성능 요구 사항이 있는 일부 애플리케이션에 대한 Proof 생성을 위한 일부 지원도 제공할 것입니다.
네트워크 입증 측면에서 스크롤은 올해 하드웨어 가속 알고리즘을 오픈소스화할 예정이다. 또한 스크롤은 현재 일부 국내외 하드웨어 제조업체와 협력 중이며 애플리케이션 가속 API를 개발한 후 파트너를 찾을 수도 있다. 테스트하려면, 주로 일부 전체 최적화 테스트를 포함하여 전체 현재 모델을 테스트하는 것입니다.
현재 전체 네트워크의 진행 상황을 보면, Scroll은 2022년 8월에 Pre alpha 테스트넷을 출시했습니다. Scroll은 10월에 비교적 대규모 업그레이드를 했고, 이후 2월 중순에서 하순에 전체 테스트 네트워크가 Ethereum goerli로 마이그레이션될 예정입니다. 스크롤은 올해 2분기 말에 Prover Network를 출시하고, 올해 말에 메인넷을 출시할 예정이며, 메인넷 출시 전에 매우 엄격한 보안 감사가 실시될 예정입니다.
Sequencer의 경우 Scroll은 메인넷이 온라인 상태가 된 후 이를 분산화할 예정이며, 올해에는 분산형 시퀀서에 대한 기사도 나올 예정입니다.
왜냐하면 초기 시퀀서 탈중앙화가 꼭 좋은 것은 아니지만 시퀀서 탈중앙화는 여전히 장기적인 해결책이라고 생각하기 때문입니다. 현재 전체 생태계 측면에서 스크롤은 향후 생태계 성장을 위한 기반을 구축하기 위해 수많은 인프라 프로젝트와 접촉했습니다.
코라:
Polygon zkevm은 현재 사용 가능한 전체 소스 코드를 갖춘 zk 증명 시스템인 오픈 소스 zk 증명을 구현하고 있으며 완전한 오픈 소스, 무허가 코디네이터의 커뮤니티 중심 네트워크 및 검증 보상 토큰 경매 모델을 갖춘 분산형 네트워크를 약속합니다.
Polygon zkevm은 현재 zkevm에 적용 가능한 이더리움 테스트 벡터를 100% 통과했으며 개발자는 이더리움에 적용 가능한 코드를 복사하여 붙여넣고 이를 사용하여 아무런 변경 없이 Polygon zkevm 위에 구축할 수 있습니다.
따라서 Ethereum 도구는 Polygon zkevm과 원활하게 연결하고 협업할 수 있으며 Polygon zkevm은 evm 동등성을 위해 성능을 희생하지 않습니다. 현재 수백 건의 트랜잭션 배치에 대한 증명 시간은 2분에 가깝고, 처리량은 가까운 시일 내에 증가할 것입니다. 확장성이 아니라 증명 시간이 대기 시간을 결정한다는 점을 강조해야 합니다. 따라서 Polygon zkevm은 증명을 병렬로 생성하고 몇 분 내에 레이어 1에서 높은 처리량의 트랜잭션을 달성할 수 있습니다.
Polygon zkevm은 3월 27일에 메인넷 테스트 버전을 출시했습니다. 테스트 네트워크를 실행한 지 6개월 후 Polygon zkevm은 84,000개 이상의 지갑을 등록하고 300,000개 이상의 블록을 생성했으며 75,000개 이상의 A zk 인증서, 5,000개 이상의 스마트 배포된 계약 및 두 개의 공개 제3자 감사.
6개월 간의 공개 테스트 끝에 zkevm에 적합한 이더리움 테스트 볼륨을 100% 통과했으며, 증명 생성 시간도 거의 2분으로 단축되었으며, 대량 거래에 대한 증명 생성 비용도 이제 거의 $0.06로 절감되었습니다.
Polygon의 목표는 V God이 언급한 유형 2를 달성하는 것입니다. 이는 Polygon zkevm이 결국 내부에서 이더리움과 완전히 동일하게 보일 것임을 의미합니다. Polygon zkevm은 여전히 최적화 중이며 더 많은 프로젝트를 환영합니다. 곧 테스트 버전을 출시할 예정입니다. 테스트를 위해 메인넷이 출시되었습니다.
제시: 영지식 증명은 Web3의 미래에 어떤 역할을 하게 될까요? 확장 및 개인 정보 보호에 대해 자주 이야기되는 시나리오 외에도 탐색되지 않은 시나리오가 있습니까? 영지식증명 트랙에서 주목할 만한 다른 초기 프로젝트가 있나요?
판지웅:
확장과 개인정보 보호는 확실히 두 가지 주요 방향이라고 생각합니다. 확장 측면에서 보면 모두가 zkevm과 관련된 일을 시도하고 있다고 볼 수 있지만 장기적인 관점에서 보다 일반적인 evm은 이더리움의 짐을 짊어질 필요가 없을 수도 있습니다. EVM은 상대적으로 장기적인 방향일 수도 있습니다.
새로운 Layer1이나 Layer2를 포함하여 이러한 초기 시도를 하는 프로젝트가 이미 있습니다. 적어도 Starknet처럼 이러한 일반적인 EVM을 만드는 사람들이 있을 것이라고 생각합니다. 사실 상대적으로 장기적일 수 있다고 생각합니다. 그리고 프라이버시는 실제로 있습니다. 자산, 양도 등과 같은 다양한 시나리오가 있습니다.
최근 이더리움 재단 산하 응용영지식증명팀(applied zkp team)을 조사 중인데, 그들의 세마포어는 코드 라이브러리 도구 라이브러리인데, 그들은 세마포어라고 불리는 V3 코드를 공개했는데, 실제로 많은 기본 회로를 패키징하고 있습니다. 그리고 그런 것들.
개발자의 경우 영지식 증명을 이해할 필요가 없지만 Dapp 개발자의 경우 이를 이해한 후 세마포어 V3를 직접 사용하여 일부 특정 ZK 시나리오를 수행할 수 있습니다.
예를 들어, 그들이 지금 제공하는 두 가지 시나리오는 자신이 속한 특정 그룹의 관계를 증명할 수 있고, 다른 하나는 특정 그룹의 누군가가 투표했거나 무언가를 말했음을 증명할 수 있지만 자신을 밝힐 필요는 없습니다. 하지만 그 사람과 당신은 같은 그룹에 속해 있어요.
도구 코드 베이스가 오픈 소스화되면 많은 새로운 소셜 제품에서 이를 사용할 수 있을 것입니다. 예를 들어 작년에 한 팀이 unirep.social이라는 프로젝트를 시연했는데 몇 가지 개념과 세마포어를 통합했습니다. 블로그와 트위터 같은 것을 만들었습니다. 사용자가 자신을 지지할 일부 사람들에게 익명으로 투표할 수 있는 제품입니다.
영지식 증명 프레임워크 하에서 많은 새롭고 흥미롭고 구체적인 시나리오가 세분화될 것이며 비교적 일반적인 플랫폼에서 모든 사람에게 새로운 기능을 제공하는 데 사용될 수 있다고 생각합니다.
토드:
먼저 Pan 선생님이 방금 말씀하신 개인 정보 보호에 대한 보충 자료를 만들어 보겠습니다. 최근 ZKP를 기반으로 KYC 부분을 수행하려는 많은 프로젝트를 보았습니다. 제가 달성하고 싶은 것은 기존 사용자의 신원을 인증하는 것입니다. 오프 체인, 그리고 마지막으로 인증 결과가 체인으로 전송됩니다.
즉, 이 고객은 KYC를 통과했지만 온체인 데이터베이스가 완전히 공개된 상황이기 때문에 고객의 특정 정보가 체인으로 전송되지 않습니다. 전통적인 금융의 일부 시나리오나 요구에 맞춰.
또한 ZKP는 교차 사슬 방향으로 사용됩니다. 주요 가치는 실제로 ZKP를 사용하여 전체 라이트 클라이언트 크로스 체인 모드를 기록하는 것입니다. 전체 시스템을 확인한 다음 ZKP를 사용하여 복사하고 마지막으로 전체 결과를 ZKP의 체인에 보냅니다.
얻을 수 있는 최종 효과는 단일 블록의 Blok Header가 무신뢰 방식으로 어떤 대상 체인에도 전송될 수 있다는 것이며, 결국 전체 크로스체인 필드에 속하게 되면 정보는 무신뢰적이고 효율적으로 완성될 수 있습니다. 방식으로 크로스체인을 지원합니다.
일반적으로 크로스체인을 사용한다면 크로스체인 분야에서는 이른바 불가능의 삼각형이 존재했다는 사실을 모두가 알고 있을 것입니다. 효율성, 설정, 비용 측면에서 실제로 여러 가지를 만족시킬 수 있는 방법은 없습니다. 부품을 동시에.
그러나 ZKP를 기반으로 하는 ZKbridge와 같은 새로운 것 중에서 이러한 프로젝트가 자체 백서에 따라 완전히 구현될 수 있다면 미래에는 모든 사람이 안전하고 효율적이며 완전히 신뢰할 수 없는 저비용 프로젝트를 사용할 수 있습니다. 또한 매우 낮습니다. 이는 지난 시간 동안 ZKP가 점점 더 많이 보이고 그 가치를 발휘할 수 있는 방향을 만들기 위한 것입니다.
코라:
원래 공유하고 싶었던 ZK 관련 내용은 사실 토드가 말한 내용과 다소 비슷했습니다. 이제 실제로 업계 전체는 DID에 대해 상대적으로 큰 기대를 갖고 있으며, DID의 미래 가치도 퍼블릭 체인보다 낮지 않을 것으로 예상됩니다.
Polygon에는 ZK 기술을 사용하여 만들어진 PolygonID 제품도 있습니다. 이제 우리는 zkevm에 집중할 수 있을 뿐만 아니라 개인 정보 보호 컴퓨팅에도 집중할 수 있습니다. 예를 들어 zk에는 개인 정보 보호 기능도 있기 때문입니다.
프라이버시 컴퓨팅이 제로카피 기술과 결합된다면 일부 주요 Web2 기업에서도 제로카피 기술을 연구하고 있으며, 향후에는 프라이버시 컴퓨팅과 제로카피 기술을 함께 활용하는 것도 가능할 것으로 보인다.
예를 들어 다자간 계산 조정과 같은 기능 Todd가 말했듯이 일부 프로젝트에는 실제 데이터가 필요하지 않을 수 있습니다. 데이터 프레임을 제공하여 직접 계산하고 데이터를 찾은 다음 계산 결과를 체인에 업로드하면 됩니다. ZK의 개인 정보 보호 계산을 통해.
사실 zk 기술과 기타 기술적 하이라이트를 중심으로 구축된 프로젝트인 다양한 것에 모든 사람이 더 많은 관심을 기울일 수 있다고 생각합니다.
예를 들어, 대부분의 사람들은 Layer 2가 미래에 화두가 될 것이라고 생각하는데, DID, Socialfi, Gamefi를 포함한 zk 기술을 사용하면 이러한 트랙이 매우 커집니다. 하지만 개인적 관점에서는 예를 들어 소셜파이(Social fi)의 트랙과 DID의 융합 기술이 결합된 트랙이 더 주목할 만하다.
제시: 마지막 질문입니다. 일반 투자자로서 ZK 열차를 타고 싶다면 어떻게 해야 할까요?
코라:
더 자세히 확인할 수 있습니다. 주로 ZK 기술을 과시하는 것은 아니지만 ZK 기술을 사용하는 프로젝트입니다. 기술적 하이라이트는 예를 들어 다자간 계산 또는 제로 복사일 수 있으며 비교적 밝은 프로젝트입니다.
DID나 자산 크로스체인 등 주요 전제가 있고, 블록체인 전체의 생태학적, 기술적 병목 현상을 해결할 수 있는 프로젝트가 있다면 실제로는 더 많이 살펴볼 수 있다.
이더리움 확장을 위한 레이어 2 트랙으로 돌아가면 실제로는 매우 간단합니다. 코인을 발행하지 않은 프로젝트의 경우 더 많은 상호 작용에 참여하고 개별적으로 또는 팀으로 보상을 받으세요.
토큰을 발행한 분들에게는 Polygon과 같은 것들이 이미 두 번째 수준에 도달했습니다.Polygon의 현재 개발 기본 사항을 살펴보고 상대적으로 낮은 토큰을 구입할지 여부를 고려할 수 있습니다. 투자.
우리는 현재 산업 전반의 투자 환경이 더 이상 기술적 논리에 따라 달성 가능한 것에만 투자했던 초기와는 다르다고 자주 말합니다. 이제는 그것만이 아니라 팀의 운영 역량이 얼마나 좋은지, 팀의 BD 역량이 얼마나 좋은지, 업계 전체에서 회사를 발전시킬 수 있는 좋은 전략을 갖고 있는지도 중요하다고 생각합니다. .
그래서 이제 상대적으로 큰 자본이나 자산을 가진 많은 개인 투자자들이 폴리곤에 대해 더 낙관적입니다. 그 이유 중 하나는 폴리곤의 기본 원칙 중 하나가 모든 사람에게 보여졌기 때문입니다. 작년에 우리는 업계 전체의 폴리곤 육성을 주도한 유일한 회사였습니다. Web2 자산.체인.
지난해 시장이 좋지 않았을 때 폴리곤의 토큰은 상대적으로 그 가치를 유지했기 때문에 앞으로 투자할 때 투자자들이 팀의 종합적인 역량에 좀 더 주의를 기울여야 할 필요가 있지 않을까 개인적으로 느끼고 있습니다.
가치투자를 좋아하는 상대적으로 안전한 투자자라면 폴리곤을 선택하시면 될 것 같고, 위험 성향이 조금 더 큰 분들은 더 큰 수익을 원하실 수도 있을 것 같습니다. 그런 다음 현재 zk 기술을 사용하는 비교적 새로운 프로젝트 중 일부를 살펴볼 수 있습니다.
사자 별자리:
실제로 Pan 선생님이 말씀하신 것처럼 현재 ZK는 주로 확장에 관한 것입니다. 계획은 여기 있는 모두의 프로젝트입니다. 그리고 StarkNet을 예로 들면 위의 생태는 이제 점차 번영하고 있으며 미래에는 새로운 ZK와 함께 할 것입니다. Layer2 이런 고성능 인프라는 분명 이더리움과 같은 생태계를 낳을 것이고, 새로운 것들이 반드시 나올 것입니다.
이제 전체 체인의 게임(그 중 일부는 StarkNet에서 상대적으로 활발하게 활동함) 및 기타 DeFi 프로젝트와 같은 흥미로운 것들이 있으므로 누구나 더 많은 관심을 가질 수 있습니다.
그리고 방금 zk의 적용에 대해 언급했는데 사실 카이로 언어는 스타크넷에서만 사용되는 언어가 아니고 스마트 컨트랙트를 위해 특별히 작성된 언어도 아니고 C언어 Rust와 동등한 범용 언어입니다. 언어는 동일하며 StarknNt에서 스마트 계약을 작성하는 것에만 국한되지 않고 다른 많은 작업을 수행할 수 있습니다.
Future zk 방금 말했듯이 zk 기술이 다른 분야에서 발전한다면 이 카이로는 StarkNet 외부에도 더 많은 응용 프로그램을 가질 수 있습니다. 이 두 가지 사항에 대해 이야기하겠습니다.
어린:
일반 투자자들, 그리고 아마도 일부 기관들에게 ZK는 앞으로도 여전히 매우 큰 시장이 될 것이라고 생각하며, 이를 몇 가지 주요 측면으로 나눌 수 있습니다.
우선, zk의 첫 번째 포인트는 하드웨어 가속입니다. 우리는 비트코인의 가치가 해시 계산에 있다는 것을 알고 있습니다. 결국 일부 리소스를 소비하고 특정 가치를 갖는 합의에 도달합니다.
그런 다음 zkp의 경우 본질적으로 더 유용한 계산을 계산하고, 많은 병렬 계산을 수행하며, 인프라 일부 애플리케이션을 포함한 전체 인프라를 지원하는 증거를 생성하기 위해 많은 컴퓨팅 성능을 소비합니다.
그래서 ZK는 하드웨어 가속이나 ZK 채굴 측면에서 큰 잠재력을 갖고 있다고 생각하기 때문에 일반 투자자들이 이 부분에 관심을 가져도 된다고 생각합니다.
두 번째 요점은 게임에서 ZK의 일부 응용에 주목할 수 있으며 앞으로 Gamefi와 같은 일부를 포함하여 ZK plus Game은 매우 큰 응용 시나리오를 갖게 될 것이라고 생각합니다.
Scroll은 현재 매우 크고 잘 알려진 일부 게임 회사를 포함하여 Tencent와 협력하고 있습니다. 곧 Tencent Cloud의 Web3 컨퍼런스에 참석할 예정이며 그들과 대화할 수도 있습니다. 게임 측면에서 zk를 기반으로 한 몇 가지 탐색에 대해 이야기해 보겠습니다.
예를 들어 이것은 게임 측면에서입니다. 그 외에도 방금 토드 선생님이 말씀하신 브릿지 같은 프로젝트 같은 좋은 미들웨어도 있고, 그 외에도 zk oracle을 위한 프로젝트도 몇 가지 있는데, 이런 ZK 기반 미들웨어에 집중하시면 될 것 같아요.
zk와 MeV에는 확실히 집중할 수 있는 장면이 있습니다.
그렇지 않으면 zk 자체로 돌아갈 수도 있습니다. 저는 zk를 크게 4가지 방향으로 나누는데, 첫 번째 요점은 zk 기업 수준에서 프로토콜이 어떤 새로운 기회를 갖고 있는지입니다.
그런 다음 회로 수준에서 매우 우수한 오픈 소스 회로 라이브러리를 가질 수 있으며 그 뒤에 있는 팀에도 주의를 기울일 수 있습니다.
또한, zk 업계에는 프런트 엔드에 zk를 매우 잘 표시하는 일부 회사가 있으며 일부 백엔드 도구를 포함하여 프런트 엔드에 Turing을 사용하여 일부 도구를 만들고 있습니다. 도구를 만들 때도 이런 방향을 참고하시면 될 것 같아요.
마지막은 zk의 몇 가지 응용에 관한 것입니다. 네, 실제로 zk가 생각할 수 있는 방향이 많기 때문에 이 트랙에는 매우 많은 기회가 있습니다. 주의 깊게 살펴보시면 분명히 찾을 수 있을 것입니다. 미래에는 특히 대규모 프로젝트에 대한 잠재력이 있습니다.
