Taiko: Sequoia China에서 평가한 Type-1 zkEVM

Odaily资深作者

2023-06-11 06:38

이 기사는 약 3110자로, 전체를 읽는 데 약 5분이 소요됩니다

독립적으로 개발된 Loopring에서 시작되어 다음 "채택 주기"의 큰 승자 중 하나가 될 수 있습니다.

"umede.eth 작성, Odaily jk에서 편집.

편집자 주: Odaily에 따르면 6월 8일 zkRollup을 기반으로 하는 이더리움의 2차 네트워크인 Taiko는 총 2,200만 달러에 달하는 2차의 시드 파이낸싱을 완료했습니다. 1차 자금 조달은 세쿼이아 차이나(Sequoia China)가 주도하는 1000만 달러 규모로 2022년 3분기에 종료된다. 가장 최근의 1,200만 달러 시리즈 A 펀딩 라운드는 Generative Ventures가 주도했습니다.

면책조항: 다음은 오데일리의 견해를 대변하지 않으며 투자 조언을 구성하지도 않습니다.

영지식 증명 이더리움 장면을 잠시 따라갔다면 아마도 Polygon, Starkware, Scroll 및 zkSync라는 이름을 들었을 것입니다.

사실, 당신은 그들에 대해 들었을 뿐만 아니라 트위터에서 모든 종류의 문제에 대해 논쟁하는 것을 보았을 것입니다. 누가 더 나은 마케팅을 하는지, 기타 중요하고 중요하지 않은 문제.

그들의 주장에 대한 당신의 견해와 상관없이, 이 모든 프로젝트는 이더리움을 확장하기 위해 열심히 노력하고 있습니다.

첫 번째 레벨 제목

배경

배경Taiko(일본어로 "드럼")는 2022년 초 Daniel Wang, Brecht Devos 및 기타 이 분야의 거물들에 의해 설립되었습니다.Taiko를 설립하기 전에 두 사람은 Loopring에서 일했으며,

루프링은 이더리움에 배포된 최초의 영지식 롤업입니다.

Taiko의 생성 및 개발에서 Loopring이 수행한 역할을 빠르게 이해하는 것이 중요하다고 생각합니다. 원래 Taiko가 구축하고 있던 zkEVM은 영지식 증명 기반 이더리움을 대중에게 제공하기 위한 루프링의 노력의 일부여야 했습니다.

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

기술적 세부 사항

Type-1 zkEVM

보조 제목

Taiko를 경쟁사(또는 동료)와 차별화하는 주요 기능은 Type-1 zkEVM이 되는 것을 목표로 한다는 것입니다. Type-1의 zkEVM은 이더리움과 완전히 동등해지도록 노력합니다. 즉, 영지식 증명을 보다 쉽게 생성할 수 있도록 이더리움 시스템을 변경하지 않습니다.

시작하기 전에 Taiko의 zkEVM이 PSE(Privacy and Scaling Explorations) 팀의 커뮤니티 노력의 포크라는 점에 유의해야 합니다. Taiko는 이 포크를 사용하여 새로운 것을 테스트한 다음 PSE의 zkEVM에 기여하여 Type-1 zkEVM(아직 아님)을 개발하는 모든 프로젝트가 이 연구의 이점을 누릴 수 있도록 합니다.

Type-1 zkEVM은 이더리움과 완전히 호환되기를 희망합니다. Taiko의 경우 opcode 수준에서 이더리움과 동등하게 하려고 합니다. 즉, 해시 함수, 미리 컴파일된 계약, 트랜잭션 및 상태 트리, 기타 합의 논리가 변경되지 않습니다. 그러나 Taiko의 백서에서 언급한 바와 같이 프로토콜은 현재 특정 Ethereum 개선 제안(EIP)을 비활성화하지만 시간이 지남에 따라 변경될 것입니다.이더리움과 동등한 존재가 되면 많은 개발자 혜택을 얻을 수 있습니다. 예를 들어 개발자는 스마트 계약 및 분산 응용 프로그램(dApp)을 Taiko로 원활하게 마이그레이션할 수 있습니다.

Uniswap과 같은 dApp이 Taiko로 마이그레이션하려는 경우 프로토콜을 변경할 필요가 없기 때문에 이는 매우 중요합니다. 그렇지 않으면 Solidity가 아닌 다른 프로그래밍 언어로 코드를 다시 작성하거나 다른 변경을 수행하면 프로토콜의 보안과 자산에 여러 가지 위험이 즉시 발생합니다.

그 외에도 Taiko의 경우 호환성이 더욱 강화되었습니다. Taiko 클라이언트는 전투 테스트를 거친 Ethereum 클라이언트 Go-Ethereum을 기반으로 합니다. 이것은 참여하려는 사람들에게 더 친숙하고 사용하기 쉽다는 것을 의미합니다. 최종 사용자 관점에서 Taiko에서 Uniswap을 사용하는 기능은 Ethereum 메인넷에서 Uniswap의 일관성, 접근성 및 사용자 만족도를 유지하고 심지어 향상시킵니다.

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

보조 제목

가속화된 영지식 증명 생성

Taiko는 여러 가지 방법으로 영지식 증명 생성 속도를 높입니다.

Taiko L2에서 제안된 모든 블록은 결정적이고 취소할 수 없기 때문에 즉시 검증됩니다. "결정론적"은 누구나 실행 후 체인의 상태를 계산할 수 있음을 의미합니다. 검증된 것으로 간주되기 위해 Taiko L1에 L2 블록이 제출될 때 고유 유효성 테스트를 한 번만 통과하면 됩니다.

이 모든 것이 영지식 증명 생성 속도를 어느 정도 높일 수 있습니다. 최종 사용자의 경우 이는 L2에서 즉각적인 완결성과 L2에서 L1로의 더 빠른 브리징을 의미합니다.

보조 제목

타이코 프로토콜

Taiko의 영지식 프로토콜은 Ethereum 메인넷(L1)과 Taiko L2에 두 가지 스마트 계약을 배포합니다.
L2 스마트 계약은 현재 제안된 블록의 무효성을 증명하고 이를 고정하는 데 사용되며, 프로토콜이 특정 프로토콜 동작을 시행하기 위해 EVM의 프로그래밍 가능성을 활용하는 방법입니다.

zkSNARKs

보조 제목

Taiko 프로토콜은 ZkSNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) 증명을 사용합니다. 적어도 이론적으로 zkSNARK는 zkSTARK에 비해 확장성이 부족하고 신뢰할 수 있는 설정 프로세스가 필요한 것으로 여겨집니다. 그러나 zkSNARK는 zkSTARK보다 가벼우므로 확인하는 데 시간이 덜 걸립니다. 그리고 zkSNARK는 더 적은 가스를 필요로 하므로 더 저렴한 트랜잭션을 제공합니다.

zkSNARK를 생성하기 위해 Taiko는 Lagrangian 기반의 PLONK(Global No Interaction Proof of Knowledge) 증명 시스템을 사용합니다. PLONK의 장점은 표준 암호화에 의존하고 증명의 크기가 작다는 것입니다. 그러나 Taiko는 PLONK를 Plonky 2, Hyperplonk 및 Halo와 같은 다른 증명 시스템과 결합할 가능성도 조사하고 있습니다.

Taiko 네트워크는 세 명의 참가자로 구성됩니다.
제안자는 L2 사용자의 트랜잭션을 기반으로 롤업 블록을 구축하고 이를 Taiko L1 클라이언트에 제출합니다. 블록에 포함되는 트랜잭션과 주문 방법을 결정합니다.
노드 실행자는 체인 상태와 동기화를 유지하기 위해 온체인 데이터에서 트랜잭션을 실행합니다. 제안자 및 증명자도 노드를 실행하지만 다른 서비스(예: 블록 탐색기)를 제공하려는 사용자도 노드를 실행해야 합니다.

보조 제목

Taiko L2 노드

자세한 기술 정보는 Taiko의 백서를 참조하십시오.

첫 번째 레벨 제목

Taiko는 최근 서부 아이슬란드의 화산을 따라 Snæfellsjökull이라는 첫 번째 테스트넷을 시작했습니다. 사용자는 Ethereum A1과 Taiko A1 간의 브리지를 테스트하고, 다른 계정 간에 토큰을 전송하고, 계약과 상호 작용하고, 제안자 노드를 실행하여 Taiko를 테스트할 수 있습니다.

이미지 설명

테스트 관점에서 테스트넷은 큰 성공을 거두었습니다. 불과 일주일 만에 Taiko L2 네트워크는 160만 건 이상의 트랜잭션, 650,000개 이상의 블록 및 275,000개의 지갑 주소를 처리했습니다. Snæfellsjökull은 폭발했다고 말할 수 있습니다.

Source: https://l2 explorer.a 1.taiko.xyz.

이미지 설명

Taiko는 메인넷 출시 시기를 지정하지 않았지만 2023년 말 또는 내년이 더 가능성이 높다고 언급했습니다.

첫 번째 레벨 제목

타이코의 신념

Taiko는 이 분야의 다른 zkEVM과 기술 설계가 완전히 다르지만 이를 추구하는 것도 논의할 가치가 있습니다.

Taiko는 접근 가능하고, 포괄적이며, 개방적이고, 비허가적이며, 탈중앙화되기를 원한다고 주장합니다. 사실, 완전히 분산된 제안자 및 증명자 집합과 함께 실행될 수 있기를 희망합니다. 대부분의 zkEVM이 중앙 집중화로 시작하여 점진적으로 분산화되기 때문에 이것은 다른 zkEVM과 다릅니다.

첫 번째 레벨 제목

발문

Type-1 zkEVM에는 장점과 단점이 있습니다. 그러나 그것이 제공하는 이점에 비해 단점이 무시할 수 있다면 어떨까요? 가장 높은 표준으로 보이는 이더리움과 영지식 증명 생성을 가속화하기 위한 기존 및 잠재적 방법이 결합되어 실제로 Type-1 zkEVM이 장기적인 승자가 된다면 어떨까요? 아직 알려지지 않은 것이 많지만 적어도 Vitalik은 Type-1과 같은 zkEVM이 올바른 선택임을 암시하는 것 같습니다.

Taiko는 적시에 적절한 장소를 찾은 것 같습니다. 2023년은 Build를 위한 해인 것 같습니다. Taiko가 목표를 달성하고 올해 또는 내년 초에 메인넷을 출시하면 다음 채택 주기에서 큰 승자 중 하나가 될 수 있습니다.