Taiko

Taiko menempati posisi yang khas dalam lanskap Ethereum L2: ia secara bersamaan menjadi ZK rollup yang paling setara dengan Ethereum (type-1 EVM) dan yang paling terdesentralisasi dari sudut pandang sequencing (based rollup) — menargetkan type-1 berarti zkVM-nya membuktikan eksekusi EVM yang sama persis yang digunakan Ethereum, membuat deployment Taiko identik dengan mainnet Ethereum, sementara Taiko menggantikan sequencer terpusat tipikal dengan validator L1 yang menyekuensing blok Taiko, mewarisi jaminan liveness dan censorship resistance Ethereum secara langsung.


Latar Belakang: Type-1 ZK-EVM

Spektrum ZK-EVM (taksonomi Vitalik Buterin):

Tipe Kesetaraan EVM Kecepatan Pembuktian Contoh
Type 1 Identik byte-code Paling lambat / paling mahal Taiko
Type 2 Sebagian besar kompatibel Sedang Scroll, Polygon zkEVM
Type 3 Sebagian kompatibel Lebih cepat Polygon zkEVM awal
Type 4 Hanya bahasa tingkat tinggi Tercepat zkSync Era

Apa arti type-1 dalam praktik:

  • Smart contract Ethereum apa pun di-deploy ke Taiko tanpa modifikasi
  • Tooling Ethereum apa pun (Hardhat, Foundry, Ethers.js) bekerja di Taiko secara identik
  • Penelitian keamanan Ethereum berlaku langsung ke Taiko

Trade-off: Membuktikan eksekusi EVM itu mahal. EVM tidak dirancang untuk provabilitas ZK, sehingga type-1 ZK-EVM memerlukan jauh lebih banyak pekerjaan komputasi per blok.

Based Sequencing di Taiko

Taiko adalah implementasi produksi utama dari based rollup design:

Sequencing L2 tradisional:

  • Tim rollup mengoperasikan server sequencer
  • Jika sequencer offline, L2 berhenti

Based sequencing Taiko:

  1. Pengguna mengirimkan transaksi ke mempool Ethereum
  2. Proposer blok L1 menyertakan proposal blok Taiko dalam blok L1 mereka
  3. Pengurutan blok Taiko ditentukan oleh urutan inklusi blok L1
  4. Taiko mewarisi liveness L1 (tidak ada sequencer terpisah yang bisa turun)
  5. Taiko mewarisi censorship resistance L1

Preconfirmasi Taiko:

  • Validator L1 yang akan mengusulkan blok berikutnya dapat memberikan preconfirmasi Taiko (~100ms)
  • Ini sebagian mengatasi masalah latensi 12 detik tanpa memperkenalkan sequencer terpusat

Arsitektur Multi-Bukti

Taiko menggunakan beberapa sistem bukti:

  • ZK proofs (untuk keamanan kriptografi penuh)
  • Bukti optimistik (sebagai fallback sementara pembuatan ZK proof matang)
  • Pendekatan ini memungkinkan deployment lebih awal sambil ZK proof terus dioptimalkan

Istilah Terkait

Lihat Juga

Sumber

  • Taiko Documentation — docs.taiko.xyz. Dokumentasi teknis resmi arsitektur type-1 ZK-EVM dan based sequencing Taiko.
  • “Based Rollups: Taiko’s Approach to Decentralized Sequencing” — Taiko Blog (2023). Penjelasan mekanisme based sequencing dan implikasi desentralisasi.
  • Vitalik Buterin, “The Different Types of ZK-EVMs” — Vitalik.eth.limo (2022). Taksonomi asli type-1 hingga type-4 ZK-EVM yang mendefinisikan posisi Taiko.