Share this page!

Hyun Jeong Profile picture
Twitter logo
Jul 25 • 4 tweets • 3 min read
방금 @0xPolygonHermez 에서 @zk_seoul 에게 zkEVM Product Overview 자료를 공유해주었습니다. 곧 @zk_seoul 계정에서 자료를 공개할 예정이니 팔로우하고 제일 먼저 받아보세요 :) Image
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.
@zk_seoul 은 @0xPolygonHermez과 함께 "zkEVM overview"를 주제로 세번째 세션을 진행할 예정입니다.
#ZKSEL 의 이전 세션을 보고 싶다면 YouTube에서 확인하세요!
youtube.com/channel/UCsbq3…
8월 5일 저녁 7시에 @0xPolygonHermez 팀과 함께하는 ZK-Night에 참석하세요!

• • •

Missing some Tweet in this thread? You can try to force a refresh
　

Keep Current with Hyun Jeong

Hyun Jeong Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @Hyunxukee

Hyun Jeong Profile picture
Jul 26
[블록체인과 영지식 증명 이해하기]
영지식 증명을 공부하면서 남겼던 글들입니다. 좀 더 수학적으로 깊이 영지식 증명을 이해하고 싶으신 분들에게 아래 글들을 순서대로 읽어보시는 것을 추천드립니다 :)
1편. 영지식 증명 이해하기
medium.com/@hyun-jeong/h-…
2편. 비대화형 영지식 증명 이해하기
hyun-jeong.medium.com/%EC%B6%94%EA%B…
3편. 블록체인의 영지식 증명 효용성 논의 with @DecipherGlobal
medium.com/decipher-media…
Read 9 tweets
Hyun Jeong Profile picture
Jul 24
@Sin7Y_Labs 아티클로 알아보는 #zkEVM 연구 트렌드
#Plonk #Halo #Lookup_table #Custom_gate #Recursive_Proof


👇디테일은 스레드에서 확인!
[Lookup table]
- 증명자가 table에 witness value가 존재한다고 주장할 수 있도록 미리 만들어 놓은 값. zkEVM에서 증명을 만들때 이 table에서 값을 가져와 연산의 정확성을 증명함
- 대표적인 솔루션: Plookup, Halo2 Lookup table
- Halo2를 사용하면 Plookup보다 universality가 높음 출처: https://twitter.com/Luo...
[Lookup table 참고 자료 @Sin7Y_Labs]
1) sin7y.org/plookup-an-alg…
2) hackmd.io/@sin7y/ByHDJPf…
3) hackmd.io/@sin7y/ryDJ-Yx…
4) hackmd.io/@sin7y/HysLzbU…
Read 11 tweets
Hyun Jeong Profile picture
Jul 22
#zkEVM 전쟁의 시작!

최근 zkEVM의 대표적인 플레이어인 @Scroll_ZKP @0xPolygonHermez @zksync @StarkWareLtd 들이 프로덕트 업데이트 소식을 알렸습니다. zkEVM의 전쟁이 이제부터 시작될 것으로 보입니다. 이 솔루션들의 특성과 업데이트 소식을 스레드에서 꼭 확인하세요.
먼저 각 서비스들의 zkEVM 특성 별로 분류해 봅시다. 이 분류는 앞으로 여러분이 zkEVM의 업데이트를 이해하는데 큰 도움이 될 것입니다.
1) zkVM @StarkWareLtd
2) custom zkEVM @0xPolygonHermez
3) native zkEVM @Scroll_ZKP
@zksync -- 원래는 zkVM이었으나 zkEVM으로 구현 방향을 바꿈
1) zkVM (Language Level) @StarkWareLtd
- EVM과 Solidity는 영지식을 구현하기 좋은 환경이 아님
- 언어부터 영지식 친화적으로 설계하여 자체 VM에서 실행
- 장점: EVM 설계에 제한받지 않고, 당장 돌아갈 만큼 견고하며 오버헤드가 적음
- 단점: EVM 호환성 ❌, 개발 접근성이 떨어짐
Read 13 tweets
Hyun Jeong Profile picture
Jul 19
[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… 출처: https://vitalik.ca/gene...출처: https://vitalik.ca/gene...
대신 Verkle tree는 root 부터 pi_3원소까지의 경로를 함께 증명해야함. 이를 위해 부모(바로 위에 있는 원소)와 자식간의 연결을 증명해야함. 부모는 자식의 commitment(쉽게 말해 hash 값)를 포함하여 경로 증명에 필요한 값을 가지고 있음.
vitalik.ca/general/2021/0…
Read 4 tweets

Did Thread Reader help you today?

Support us! We are indie developers!

This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Don't want to be a Premium member but still want to support us?

Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us on Twitter!

:(