Taiko：레드우드 차이나가 주목하는 Type-1 zkEVM

원문：《Taiko: 블록에서 새로운 zkEVM》

저자：umede.eth

편집：jk, Odaily星球日报

편집자의 말：암호 데이터 플랫폼 RootData에 따르면, 6월 8일 zkRollup 기반의 이더리움 2층 네트워크 Taiko가 총 2200만 달러의 두 차례 시드 라운드 자금을 조달했습니다. 첫 번째 라운드에서 1000만 달러를 조달했으며, 세쿼이아 차이나가 주도했고, 2022년 3분기에 종료되었습니다. 최근 두 번째 라운드에서 1200만 달러를 조달했으며, Generative Ventures가 주도했습니다.

면책 조항：다음 내용은 Odaily星球日报의 견해를 반영하지 않으며, 투자 조언을 구성하지 않습니다.

제로 지식 증명 이더리움 분야의 동향에 조금이라도 관심이 있다면, Polygon, Starkware, Scroll, zkSync와 같은 이름을 들어본 적이 있을 것입니다.

사실, 당신은 그들에 대해 들어본 것뿐만 아니라 Twitter에서 그들이 다양한 문제에 대해 논쟁하는 모습을 보았을 것입니다: zkEVM의 진정한 정의는 무엇인지, 누가 이더리움 메인넷에 zkEVM을 최초로 배포했는지/하고 있는지/할 것인지, 누가 마케팅에서 더 뛰어난지, 그리고 다른 중요한 문제와 덜 중요한 문제들.

그들의 논쟁에 대해 어떤 입장을 취하든, 모든 프로젝트는 이더리움의 확장을 추진하기 위해 노력하고 있습니다.

하지만, 새로운 참가자가 등장하고 있습니다. 이 참가자는 상대적으로 저조한 주목을 받고 있지만, 다른 참가자들과 마찬가지로 실행 가능성을 가지고 있습니다. 이 새로운 참가자는 Taiko로, 완전히 탈중앙화되고 이더리움과 동등한 제로 지식 확장을 목표로 하는 zkEVM입니다. 제가 아는 한, 현재 다른 zkEVM 팀은 이러한 업적을 달성하려고 하지 않기 때문에 Taiko는 특별한 주목을 받을 가치가 있다고 생각합니다.

함께 Taiko가 무엇인지 살펴보겠습니다.

1. 배경

Taiko(일본어로 "북")는 2022년 초에 Daniel Wang, Brecht Devos 및 이 분야의 다른 저명한 인사들에 의해 설립되었습니다. Taiko를 설립하기 전에 이 두 사람은 Loopring에서 일했습니다. Loopring은 이더리움에 배포된 첫 번째 제로 지식 롤업입니다.

Taiko의 설립과 발전 과정에서 Loopring이 수행한 역할을 빠르게 이해하는 것이 중요하다고 생각합니다. 처음에 Taiko가 구축하고 있는 zkEVM은 Loopring이 제로 지식 증명을 통해 이더리움을 대중에게 알리기 위한 노력의 일부여야 했습니다.

그러나 개발 단계의 어느 시점에서 Wang과 그의 팀은 두 가지를 혼동하는 것이 큰 혼란을 초래할 수 있다는 것을 깨달았습니다. Loopring은 애플리케이션 특정 확장이며, Taiko는 범용 확장이 되는 것을 목표로 하고 있습니다. 그래서 Taiko는 Loopring에서 분리되어 독립적으로 발전하게 되었습니다.

현재 Taiko는 터키, 오스트리아, 바바도스, 중국, 인도, 미국, 캐나다, 우크라이나 등에서 온 약 20명의 직원으로 구성되어 있습니다.

2. 기술 세부 사항

1. Type-1 zkEVM

Taiko를 경쟁자(또는 더 정확히 말하면 동료)와 구별짓는 주요 특징은 그것이 Type-1 zkEVM이 되는 것을 목표로 한다는 것입니다. Type-1 zkEVM은 이더리움과 완전히 동등해지기를 추구하며, 이는 이더리움 시스템에 어떤 변경도 가하지 않음을 의미하여 제로 지식 증명을 더 쉽게 생성할 수 있게 합니다.

심층적으로 탐구하기 전에, Taiko의 zkEVM은 Privacy and Scaling Explorations(PSE) 팀 커뮤니티 노력의 한 분파라는 점에 유의해야 합니다. Taiko는 이 분파를 사용하여 새로운 것을 테스트하고, PSE의 zkEVM에 기여하여 Type-1 zkEVM을 개발하는 프로젝트가 이 연구로부터 혜택을 받을 수 있도록 합니다(현재는 없습니다).

Type-1 zkEVM은 이더리움과 완전히 호환되기를 희망합니다. Taiko의 경우, 이는 운영 코드 수준의 이더리움과 동등해지기를 의도하며, 이는 해시 함수, 프리컴파일 계약, 거래 및 상태 트리 및 기타 일관성 논리가 변경되지 않음을 의미합니다. 그러나 Taiko의 백서에서 언급했듯이, 현재 이 프로토콜은 특정 이더리움 개선 제안(EIPs)을 비활성화하고 있지만, 이는 시간이 지남에 따라 변경될 것입니다.

이더리움과 동등해지는 것은 많은 개발자에게 이점을 제공합니다. 예를 들어, 개발자는 자신의 스마트 계약과 탈중앙화 애플리케이션(dApp)을 Taiko로 원활하게 이전할 수 있습니다. 이는 Uniswap과 같은 dApp이 Taiko로 이전하고자 할 때, 프로토콜을 변경할 필요가 없기 때문에 매우 중요합니다. 그렇지 않으면, 코드를 Solidity와 다른 프로그래밍 언어로 다시 작성하거나 다른 변경을 수행하는 것은 프로토콜의 안전성과 그 위의 자산에 다중 위험을 초래할 수 있습니다.

그 외에도 Taiko의 경우, 호환성은 더욱 강화됩니다. Taiko 클라이언트는 실전에서 검증된 이더리움 클라이언트인 Go-Ethereum을 기반으로 합니다. 이는 참여하고자 하는 사람들에게 더 친숙하고 사용하기 쉬운 것을 의미합니다. 최종 사용자 관점에서 보면, Taiko에서 Uniswap을 사용하는 것과 이더리움 메인넷에서 사용하는 것 간의 일관성, 접근성 및 사용자 만족도가 유지되거나 심지어 개선됩니다.

물론, 완벽한 호환성을 추구하는 과정에서는 몇 가지 균형을 맞춰야 합니다. Taiko와 같은 Type-1 zkEVM이 직면한 주요 도전 과제는 느린 제로 지식 증명 생성입니다. 이더리움은 설계 초기부터 제로 지식 증명의 통합을 고려하지 않았기 때문에, 프로토콜의 많은 부분이 제로 지식 증명을 생성하기 위해 많은 계산을 필요로 합니다.

그러나 적절한 프로토콜 설계는 이 문제를 완화할 수 있습니다. Taiko가 제로 지식 증명 생성을 가속화하는 방법을 살펴보겠습니다.

2. 제로 지식 증명 생성 가속화

Taiko는 다음과 같은 방법으로 제로 지식 증명 생성을 가속화했습니다:

Taiko L2의 모든 제안 블록은 즉시 검증됩니다. 이는 결정적이며 철회할 수 없기 때문입니다. "결정적"이라는 것은 누구나 실행 후의 체인 상태를 계산할 수 있음을 의미합니다. L2 블록을 Taiko L1에 제출할 때 내재적 유효성 테스트를 한 번 통과하면 검증이 완료된 것으로 간주됩니다.

모든 Taiko L2 제안 블록이 결정적이기 때문에, 이들은 병렬로 증명할 수 있으며, 증명은 임의의 순서로 제출할 수 있습니다. 예를 들어, 증명자 #1은 블록 #1을 동시에 검증할 수 있고, 증명자 #2는 블록 #2를 동시에 검증할 수 있습니다. 이는 Taiko L1이 증명을 얻기 위해 더 오랜 시간을 기다려야 함을 의미합니다.

이 모든 것은 어느 정도 제로 지식 증명 생성을 가속화할 수 있습니다. 최종 사용자에게는 L2에서의 즉각적인 최종성과 L2에서 L1으로의 더 빠른 브리징 속도를 의미합니다.

3. Taiko 프로토콜

Taiko의 제로 지식 프로토콜은 이더리움 메인넷(L1)과 Taiko L2에 두 개의 스마트 계약을 배포했습니다:

(1) L1 스마트 계약은 L2의 블록을 제안, 증명 및 검증하는 데 사용됩니다.

(2) L2 스마트 계약은 현재 제안 블록의 무효성을 증명하고 앵커링하는 데 사용됩니다. 이는 프로토콜이 EVM의 프로그래머블성을 활용하여 특정 프로토콜 행동을 강제하는 방법입니다.

4. zkSNARKs

Taiko 프로토콜은 제로 지식 간결 비대화형 지식 증명(zkSNARK) 증명을 사용합니다. 적어도 이론적으로 zkSTARK에 비해 zkSNARK는 확장성이 부족하고 신뢰할 수 있는 설정 과정이 필요하다고 여겨집니다. 그러나 zkSNARK는 zkSTARK보다 경량이며, 검증 시간이 더 짧습니다. 또한 zkSNARK가 필요로 하는 가스가 적어 더 저렴한 거래를 제공합니다.

zkSNARK를 생성하기 위해 Taiko는 라그랑주 기반의 글로벌 비대화형 지식 증명(PLONK) 증명 시스템을 사용합니다. PLONK의 장점은 표준 암호학에 의존하며, 증명의 크기가 작다는 것입니다. 그러나 Taiko는 PLONK와 다른 증명 시스템(예: Plonky 2, Hyperplonk 및 Halo)을 결합할 가능성도 연구하고 있습니다.

Taiko 네트워크는 세 가지 참여자로 구성됩니다:

(1) 제안자는 L2 사용자 거래를 기반으로 롤업 블록을 구축하고 이를 Taiko L1 클라이언트에 제출합니다. 그들은 어떤 거래가 블록에 포함될지 및 이를 어떻게 정렬할지를 결정합니다.

(2) 증명자는 zkSNARK 증명을 생성하여 L2 거래와 블록의 유효성을 확인합니다. 그들은 어떤 블록이 체인에서 검증되어야 하는지를 결정합니다.

(3) 노드 운영자는 체인 상태를 동기화하기 위해 체인에서 오는 거래를 실행합니다. 제안자와 증명자도 노드를 운영하지만, 다른 서비스(예: 블록 탐색기)를 제공하고자 하는 사람들도 노드를 운영해야 합니다.

5. Taiko L2 노드

Taiko의 L2 노드는 이더리움에서 거래 데이터를 가져오고, Taiko L2에서 이러한 거래를 실행합니다. 앞서 언급했듯이, Taiko의 L2 노드는 Go-Ethereum을 기반으로 합니다.

더 자세한 기술 세부 사항은 Taiko의 백서를 읽어보시기 바랍니다.

3. 현재 진행 상황

Taiko는 최근 첫 번째 테스트 네트워크인 Snæfellsjökull을 출시했습니다. 이는 아이슬란드 서부의 화산 이름입니다. 사용자는 Ethereum A1과 Taiko A1 간의 브리징 테스트, 다양한 계정 간의 토큰 이동, 계약과의 상호작용 및 제안자 노드 실행을 통해 Taiko를 테스트할 수 있습니다.

Snæfellsjökull 화산. 출처: Icelandic Mag.

테스트 관점에서 볼 때, 이 테스트 네트워크는 큰 성공을 거두었습니다. 단 일주일도 안 되는 시간 동안 Taiko L2 네트워크는 160만 건 이상의 거래, 65만 개 이상의 블록 및 27.5만 개의 지갑 주소를 처리했습니다. Snæfellsjökull은 이미 폭발했다고 할 수 있습니다.

출처: https://l2 explorer.a 1.taiko.xyz.

Taiko 팀은 향후 몇 개월 내에 Snæfellsjökull을 단계적으로 폐기하고, 제로 지식 증명 기술을 채택한 새로운 테스트 네트워크로 대체할 계획입니다. 추가 테스트 네트워크는 이전 버전을 개선하고 토큰 경제 모델을 구현할 것입니다.

Taiko는 주 네트워크 출시 시점을 구체적으로 언급하지 않았지만, 2023년 말이나 내년 초가 더 가능성이 높다고 언급했습니다.

4. Taiko의 신념

Taiko는 기술 설계에서 이 분야의 다른 zkEVM과 완전히 다르지만, 그 추구는 논의할 가치가 있습니다.

Taiko는 접근성, 포용성, 개방성, 허가 필요 없음 및 탈중앙화를 갖추고자 한다고 주장합니다. 사실, 완전히 탈중앙화된 제안자와 증명자 집합을 사용하여 온라인으로 운영할 수 있기를 희망합니다. 이는 다른 zkEVM과는 다르며, 대부분 중앙화에서 시작하여 점차 탈중앙화를 이루는 방식을 선택합니다.

Taiko는 완전한 탈중앙화와 이더리움과 동일한 목표를 추구하는 것이 이더리움과 동등해지기 위한 필수 조건이라고 믿습니다. 그 외에도 팀은 미래의 어느 시점에 DAO를 출시할 계획입니다. 공동 창립자 Wang은 Taiko가 비영리 조직 형태로 운영되기를 희망한다고도 밝혔습니다.

Taiko의 가치관을 읽으면서 매우 진보적이고 거의 혁명적이라는 느낌을 받았습니다. 이는 zkSync의 사명 선언을 떠올리게 합니다. Taiko가 약속을 지키고, 첫 번째 완전 탈중앙화된 Type-1 zkEVM으로 이더리움 메인넷에 진입하기를 바랍니다.

5. 결론

Type-1 zkEVM은 장점과 단점이 있습니다. 그러나 그것이 제공하는 장점에 비해 단점이 무시할 수 있을 정도라면 어떨까요? 이더리움과 동등해지는 것이 가장 높은 기준으로 보이며, 현재 및 잠재적인 제로 지식 증명 생성 가속화 방법이 더해진다면, Type-1 zkEVM이 장기적으로 승자가 될 가능성이 정말로 있을까요? 현재로서는 많은 미지수가 있지만, 적어도 Vitalik은 Type-1 zkEVM이 올바른 선택이라는 암시를 주는 것 같습니다.

Taiko에 관해서는, 그들이 올바른 시기에 올바른 위치를 찾았다고 생각합니다. 2023년은 Build를 위해 남겨진 해로 보입니다. Taiko가 목표를 달성하고 올해 또는 내년 초에 주 네트워크를 출시한다면, 다음 채택 주기에서 큰 승자가 될 수 있습니다.

Taiko는 분명히 독특하며, 비범한 업적을 이루려 하고 있습니다. 그들이 성공할 수 있을지는 또 다른 문제지만, Wang과 그의 팀이 Loopring에서 이룬 성과를 고려할 때, 그들의 승산은 그들 편에 있는 것 같습니다. Taiko가 승리한다면, 이더리움도 승리할 것입니다.