Composability solution for Rollups with trustless shared sequencing | co-founder of @radius_xyz
Dec 19, 2022 • 40 tweets • 14 min read
[zkEVM이 블록체인 산업의 궁극적인 목표인 이유]
급변하는 산업의 참여자들은 언제나 각자 다른 산업의 형태를 꿈꾸고 있습니다. 무엇이 살아남을지 지금의 우리는 알 수 없지만, 적어도 #zkEVM 이 블록체인 산업에서 바라봐야 할 궁극적인 형태이자 목표 중 하나라 믿고 있습니다.
해당 트윗은 제 계정인 @0xgosu 의 트윗을 재 업로드한 것입니다. @Scroll_ZKP의 @LuozhuZhang이 작성한 zkEVM 아키텍처 설명을 번역하여 작성하였으며, 독자의 이해를 돕기위한 의역과 자료가 포함되어 있습니다.
[암호학 서적 추천]
ZK를 공부하고 있지만 암호학 전공은 아닙니다.
영지식에서 필요한 암호 개념들만 공부하니, 항상 부족한 느낌이 들어서 올해는 강남 교보문고에 있는 암호책을 거의 다 읽어버렸네요.
영지식 때문에 암호학을 처음 공부하는 분들에게 추천하는 책 3권👇
1. 수학으로 이해하는 암호의 원리
- 암호학을 처음 접하는 분들에게 추천
- 암호에서 주로 사용하는 단어와 개념을 처음 익히기 아주 좋음
- 이미 암호학이 익숙한 사람들이라면 소설책 읽듯이 쉽게 읽을 수 있음 product.kyobobook.co.kr/detail/S000001…
방금 @0xPolygonHermez 에서 @zk_seoul 에게 zkEVM Product Overview 자료를 공유해주었습니다. 곧 @zk_seoul 계정에서 자료를 공개할 예정이니 팔로우하고 제일 먼저 받아보세요 :)
As a summary by @0xPolygonHermez
The zkEVM code has already been open-sourced!
Road to Mainnet of zkEVM:
✅ Q3 2022 - public testnet, permission-less
✅ Early 2023 - Mainnet.
👇디테일은 스레드에서 확인!
[Lookup table]
- 증명자가 table에 witness value가 존재한다고 주장할 수 있도록 미리 만들어 놓은 값. zkEVM에서 증명을 만들때 이 table에서 값을 가져와 연산의 정확성을 증명함
- 대표적인 솔루션: Plookup, Halo2 Lookup table
- Halo2를 사용하면 Plookup보다 universality가 높음
[Verkle tree와 Merkle tree 간단 비교]
- Verkle tree는 ETH 2.0 업그레이드의 주요한 부분임
- Verkle tree는 기존 Merkle tree보다 증명 크기를 매우 작게 줄일 수 있음
- 이는 ETH 2.0 확장성에 큰 기여를 할 걸로 보임
👇detail
- Verkle tree와 Merkle tree의 가장 큰 차이는 원소(element)의 존재를 증명하기 위해 저장해야하는 데이터의 차이임
- Merkle tree: 32를 증명하기 위해서 빨간색 원소(sister node)를 모두 증명에 포함
- Verkle tree: pi_3를 증명하기 위해서 초록색 부분만 증명에 포함 vitalik.ca/general/2021/0…
