Thread by @Hyunxukee

#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 호환성 ❌, 개발 접근성이 떨어짐

2) custom zkEVM (bytecode Level) @0xPolygonHermez
- 언어는 Solidity를 지원하지만, 영지식 친화적으로 설계한 VM에서 코드 실행
- Heremz: Solidity -> micro Op -> uVM
- 장점: 개발자는 언어를 따로 배우지 않아도됨
- 단점: 완전한 EVM 호환성 지원 ❌, uVM은 Intel의 x86과 유사한 os임

3) native zkEVM (bytecode Level) @Scroll_ZKP
- Solidity와의 호환성 뿐만 아닌 EVM opcode와도 완전한 호환성을 달성
- 장점: 이더리움의 dApp을 그대로 L2에 마이그레이션 가능
- 단점: EVM을 변형하지 않으니, 영지식을 적용하기 위해 최적화해야하는 것들이 많음 (circuit table 디자인 등).

@zksync: zkVM -> zkEVM

블록체인 시장에서 중요한 것은 생태계의 확장과 그 속도이다.
@optimismFND 과 @arbitrum 의 경쟁에서 @Arbitrum
이 승리한 이유도 결국 EVM과의 호환성때문이다. 새로운 환경에 개발자의 적응을 요구하는 것은 시장 점유율을 빼앗기는 결과를 낳게 될 수 있다.

@zkSync는 이러한 시장 현황을 의식한 듯, 빠른 생태계 확장과 시장 점유율 확보를 위해 zkEVM으로 구현 방향을 바꾸었다.
*custom 인지 native인지 확인이 안되는데 아는 분 있으면 스레드 남겨주세요
blog.matter-labs.io/unisync-a-port…

zkVM인 @StarkWareLtd 는 이 문제를 자체적인 커뮤니티 빌딩과 StarkNet의 dApp 개발 지원으로 해결하고 있었다.
- cairo 언어 교육, dApp 개발 지원 등
starknet-ecosystem.com

@StarkWareLtd는 이번 @Scroll_ZKP 과의 협업을 통해 zkVM의 한계를 극복하려는 것으로 보인다. Scroll의 native zkEVM을 Starkware의 Layer 3에 올리면, 개발자 경험을 해치지 않고 dApp을 모두 마이그레이션 할 수 있다. 이 협업은 zkVM 한계를 극복할 수 있는 묘수이다.

https://twitter.com/Scroll_ZKP/status/1550196128338980864

@0xPolygonHermez 는 #EthCC 에서 zkEVM-rom을 공개했다. 앞서 말했든 자체 uVM이기 때문에 native EVM보다는 빨리나올 것이라 기대했었다. 여기서 주목할 것은 uVM과 @0xPolygonZero 의 #plonky2 를 결합하여 proof 생성 속도를 굉장히 빠르게 만들었다는 것이다.
github.com/0xPolygonHerme…

@0xPolygonZero' #plonky2
Plonky2는 Recursive zk proof 알고리즘으로 증명 생성시간을 170ms로 축소한 기술이다. 이 알고리즘은 Plonk와 FRI 그리고 영지식에 효율적인 Poseidon hash가 결합되었다.
Plonk: 가장 작은 크기의 다항식을 만듬
FRI: FFT를 차용하여 효율적인 다항식의 증명 생성 가능

@zksync의 100일 마일스톤
개인적으로는 zkVM에서 zkEVM으로 방향을 바꾸고 선보이는 첫번째 프로덕트라 기대가 많이 됩니다. 다른 zkEVM과 어떤 차별점을 가지게 될지, Zinc나 LLVM에서 가지고 있던 기술력을 어떻게 녹일지 궁금하네요.

https://twitter.com/zksync/status/1549757888641437696

19년부터 zk 시장을 눈여겨 보고 있었던 사람으로서 이번 전쟁의 시작은 너무나 설레입니다. 공부할 것들이 앞으로 100배는 더 많아질 것 같아요. 정말 빨리 zk scalability solution들이 시장에 나와 그 가능성을 입증해주었으면 합니다.
@zk_seoul 의 #ZKNight 신청하기: eventbrite.com/e/zk-night-tic…