❓[zk리서치] ZKP와 롤업과 EVM..

지난 zk리서치에서 ZKP의 생태계에 대해서 대략적으로 살펴보았습니다. 조금 더 깊게 들어가 보니 결국 "이더리움 기반 블록체인의 확장성"으로 이어지게 된 것 같아 그들에 대해 좀 더 깊게 파보고 있습니다.

🖥실제로 zkValidator가 한 설문조사에 따르면 영지식증명 쪽에서 가장 잠재력이 기대되는 분야는 42.9%가 선택한 'Scaliling'이었습니다. 'Privacy'분야와 'Identity'도 각각 23.8%와 22.2%로 유망한 분야로 꼽혔습니다. zkML쪽이 11.1%로 좀 낮았네요

🚩 zk-EVM 관련 목록 ( )는 참고용
-zkSync
Matter Labs 에서 개발했으며 네이티브 계정 추상화와 광범위한 EVM 호환성을 제공(zkPorter, Zinc)

-Starknet
Starkware에서 개발한 수학 위주의 연산을 통해 무결성을 달성하는 유효성 증명 시스템으로 이에 맞게 설계된 연산 코드인 카이로 가상 머신을 사용(starkEx, Cairo, Kakarot)

-Scroll
보안, 개발자 또는 사용자 경험을 해치지 않으며 확장할 수 있도록 설계, 주로 롤업을 통해 호환성과 최적화된 성능에 중점을 두고 있음(lookup, halo2, zkTrie)

-Aztec Network
프라이빗 바이트코드, 암호화된 로그 등의 다양한 암호학적 기능을 통해 이더리움과의 호환성을 유지하도록 설계(UTXO, Noir, private)

-Polygon zkEVM
탈중앙화된 이더리움 L2 확장성 솔루션으로, 영지식 증명을 통해 오프체인 트랜잭션 계산에 대한 유효성과 빠른 완결성을 제공(zkNode, zkProver, zkASM)

-Taiko
이더리움 메인넷에 직접 데이터를 저장하여 이더리움과 같은 보안성을 유지하고, 옵티미스틱 롤업과 zk롤업의 하이브리드형(EIP-1559, DAO)

-Linea
컨센시스에서 제공하는 개발자 친화적 zk롤업으로, EVM 빌더가 코드를 변경하거나 컨트랙트를 다시 작성하지 않도록 함

-Kroma
높은 EVM 호환성, 낮은 수수료, 높은 처리량, 빠른 완결성 등 옵티미스틱 롤업과 ZK 롤업의 강점을 결합한 최첨단 ZK 롤업을 지향, GPU 가속 zkp생성 기술 개발(tachyon, Bedrock, GPU)

-Manta network
zk앱을 위한 모듈러 에코시스템으로, EVM 기반 영지식 애플리케이션에 최적화된 L2 프레임워크 제공

😧지난해부터, 아니 그 이전부터 계속해서 ZKP 생태계, 특히 zk롤업과 EVM 호환성에서 상당한 발전이 이루어지고 있음을 느끼셨을 겁니다. 그러한 움직임을 주도한 곳이 바로 위와 같은 곳들이네요. 관련 사이트를 한번은 들어가 보셔도 좋을 것 같아 정리 차원에서 글 올려봅니다.