对话Taiko：什么是多重证明路线？与以太坊终局有何关联？

Question

Pada 23 Mei, Taiko mengumumkan halaman kueri airdrop putaran pertama, namun ini memicu kontroversi tentang keadilan di komunitas. Menghadapi tanggapan pendiri mereka, Daniel Wang, komunitas tampaknya tidak sepenuhnya setuju.

Pada tanggal 25 Mei, pendiri Ethereum, Vitalik Buterin, sebagai pengusul blok, mengajukan proposal pertama di mainnet Taiko, dan menyatakan dalam catatan pada blok tersebut: “Saya senang melihat Taiko diluncurkan sebagai platform Based Rollup, Ethereum mendapat manfaat dari adopsi berbagai metode L2 yang berbeda, saya menghargai Taiko sebagai proyek yang pertama mengembangkan hal ini.”

坎昆升级后，以太坊生态将关注点再次放回了 L2 领域。和其他 Rollup 项目不同，Taiko正在开发基于 Based Rollup 的方案，并吸引了红杉中国、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital 及 Flow Traders 等多家 VC 青睐。不禁让人好奇，相较于其他知名 ZK 扩容项目，Taiko 有何特别之处？它的扩容方案又将如何影响 L2 生态格局？

带着这些疑问，ChainFeeds 对话 Taiko 团队，就 Taiko 的起源、愿景、Ethereum扩容方案等内容进行了探讨。

Catatan Penting:

Pendiri Taiko, Daniel Wang, berharap dapat memperluas Ethereum tanpa mengorbankan desentralisasi, mencapai keadaan di mana jaringan lapisan kedua terpusat dan terdesentralisasi dapat berdampingan, sehingga dApp dapat membuat keputusan di antara dua pilihan tersebut.
Contestable Rollup adalah abstraksi dari zkRollup dan Optimistic Rollup. Di masa depan, jika bukti pengetahuan nol cukup murah, Contestable dapat dikonfigurasi menjadi zkRollup murni.
Selama pengembangan bukti SGX, tim Taiko semakin menyadari pentingnya klien tanpa status, dan yakin bahwa menjalankan klien tanpa status di zkVM di masa depan untuk menghasilkan bukti pengetahuan nol adalah layak.
Taiko telah diluncurkan ke Mainnet, pengiriman blok dan verifikasi tidak memerlukan izin, namun kontrak masih memiliki pemilik. Tim Taiko berencana untuk mentransfer kepemilikan kontrak ke Taiko DAO setelah sekitar satu tahun diluncurkannya Mainnet, sepenuhnya menyerahkan kepemilikan dan kontrol atas jaringan.

Asal Usul Taiko: Memperluas Ethereum tanpa Mengorbankan Desentralisasi

Taiko pendiri Daniel Wang membuat protokol pertukaran terdesentralisasi (DEX) Loopring ekosistem Ethereum pertama berbasis ZKRollup pada tahun 2017. Namun, arsitektur Loopring tidak sepenuhnya sesuai dengan visi Daniel. Daniel berharap dapat memperluas Ethereum tanpa mengorbankan desentralisasi, mencapai keselarasan antara jaringan lapis dua yang terdesentralisasi dan terpusat, sehingga aplikasi terdesentralisasi dapat membuat keputusan yang lebih bijaksana di antara kedua pilihan tersebut. Namun, Loopring hanya dapat dibangun sebagai jaringan lapis dua yang tidak dapat diprogram, tanpa struktur mesin virtual, dan mekanisme pembuatan bloknya juga terpusat untuk menurunkan biaya.

在创立 Taiko 之前，Daniel Wang 和志同道合的开发者进行了多次讨论，主要聚焦在两个方向上：Desentralisasi web sosial atau infrastruktur yang diperlukan untuk Desentralisasi web sosial yaitu “jaringan lapis kedua tanpa izin”. Setelah dipikirkan dengan matang, secara umum semua orang setuju bahwa risiko masuk ke bidang Desentralisasi web sosial lebih tinggi, sedangkan jaringan lapis kedua tanpa izin memiliki ruang kompetisi yang lebih berbeda, maka Taiko pun lahir.

Taiko adalah zkEVM Tipe-1, yang menyediakan opcode dan fitur yang sama persis dengan Ethereum, memastikan kompatibilitas tinggi dengan ekosistem Ethereum yang ada. Tim Taiko menekankan bahwa desain awal Taiko adalah struktur Based Rollup, yaitu membuat validator Ethereum bertanggung jawab atas pembuatan blok Taiko, ini mewujudkan desentralisasi proposer. Pada bulan Maret tahun ini, Taiko menyelesaikan putaran pendanaan Seri A sebesar USD 15 juta yang dipimpin oleh Lightspeed Faction, Hashed, Generative Ventures, dan Token Bay Capital, dengan total pendanaan mencapai USD 37 juta. Terkait dukungan dari VC, tim Taiko menyatakan bahwa mereka sangat menghargai sinergi strategis antara institusi investasi dan Taiko. Selain keunggulan tipe-1 dan arsitektur sepenuhnya desentralisasi, prestasi Taiko menjadi salah satu komunitas Discord terbesar di dunia (dengan lebih dari 1,07 juta anggota) dalam waktu singkat, dan menarik ratusan dApp untuk dideploy, tidak terlepas dari dukungan investor.

Penjelajahan Kerangka Desain Rollup Ethereum: BCR dan BBR

Taiko dan perbedaan utama lainnya dengan Rollup lainnya adalah pemilihan mekanisme Based Rollup, yang tidak bergantung pada sorter yang terpusat, tetapi bergantung pada validator Ethereum untuk mengurutkan transaksi dan blok. Lebih lanjut, pendiri bersama Taiko, Daniel Wang, mengusulkan konsep “Based Contestable Rollup (BCR)” pada akhir 2023. Konsep ini memperkenalkan mekanisme Contestable karena kode ZK-EVM tidak mungkin tidak pernah salah, dan Taiko adalah desentralisasi, memiliki toleransi kesalahan yang rendah, sehingga perlu sikap hati-hati.

Tim Taiko juga menjelaskan pertimbangan utama dalam memilih desain Contestable:

Pertama-tama, Based Rollup tidak memerlukan izin, tetapi harus memperkenalkan “bukti yang lebih tinggi” untuk menyelesaikan bug potensial dalam perangkat lunak. Ini menghindari kebutuhan jaringan terpusat untuk mematikan jaringan untuk koreksi data. Tentu saja, seiring berjalannya waktu operasional jaringan Taiko, mekanisme koreksi ini dapat secara bertahap dihapus.
Selanjutnya, meskipun bukti SGX relatif ribuan kali lebih murah daripada bukti zero-knowledge, tetapi itu bukan cara verifikasi yang paling ideal atau terdesentralisasi. Desain Kontes memungkinkan tantangan diajukan saat ada keraguan terhadap bukti SGX, yang mengharuskan verifikasi ulang blok dengan tingkat bukti yang lebih tinggi, yang pada saat yang sama menurunkan biaya dan meningkatkan kepercayaan verifikasi.
Terakhir, Contestable Rollup memiliki fleksibilitas dan skalabilitas, dapat dianggap sebagai abstraksi dari zkRollup dan Optimistic Rollup. Misalnya, jika di masa depan Zero-Knowledge Proof menjadi lebih murah, kita dapat mengkonfigurasi Contestable Rollup menjadi zkRollup murni, atau mengkonfigurasikannya sesuai kebutuhan aplikasi menjadi Optimistic Rollup murni, sehingga dapat menyesuaikan dengan kebutuhan verifikasi yang berbeda.

Tentang struktur Based Contestable Rollup, Daniel Wang juga memberikan gambaran rinci dalam artikelnya. BCR adalah jenis Rollup yang kontroversial dan menggunakan urutan berdasarkan. Dalam desain ini, siapa pun dapat menentang transisi status blok, namun harus membayar margin token Taiko untuk menantang, dan memerlukan bukti tingkat yang lebih tinggi untuk menyelesaikan perselisihan agar blok tersebut dapat diverifikasi. Jika pihak yang menentang menang, mereka dapat mengambil kembali margin perselisihan, dan mendapatkan 1/4 margin keaslian bukti asli. Sementara itu, pembuktian baru juga akan menerima 1/4 margin keaslian bukti asli sebagai biaya pembuktian, sementara sisanya akan disita. Sebaliknya, jika sebaliknya. Perlu diperhatikan bahwa dalam mekanisme ini, penandatangan multi akan bertindak sebagai lapisan pembuktian tingkat tinggi dalam beberapa tahun pertama. Sebagai bukti tingkat tertinggi, dalam hal ini, transisi status dianggap final dan tidak memungkinkan keraguan lebih lanjut.

“”

" "

Selain itu, arsitektur BCR Taiko juga memiliki fitur inti yang memungkinkan setiap tingkat menggunakan sistem bukti mereka sendiri. Tim Taiko menyatakan bahwa di bawah arsitektur Contestable Rollup, bukti berbagai tingkat dapat dikonstruksi, seperti bukti Optimistic dengan biaya rendah, diikuti oleh bukti SGX, kemudian bukti zkEVM atau zkVM. Jenis bukti yang berbeda ini mencerminkan konsep Contestable dan juga dapat digabungkan menjadi sistem multi-bukti campuran, misalnya “SGX+zkVM” dapat dianggap lebih dapat dipercaya daripada hanya menggunakan bukti zkVM.

Sebagai tonggak penting pertama, rencana Taiko adalah menguji operasi BCR di Testnet Alpha-6 Katla, dan kemudian diluncurkan di Mainnet. Setelah itu, Taiko berencana untuk meng-upgrade protokol menjadi Boosted Based Rollup (BBR), atau meluncurkan BBR Layer 2 yang independen sebagai tonggak penting kedua. Taiko menyatakan bahwa untuk mencapai skalabilitas asli Ethereum, Boosted Based Rollup adalah pilihan yang bijaksana. Dengan memungkinkan validator L1 untuk mengusulkan blok baru untuk seluruh jaringan, Ethereum akan mendapatkan kemampuan skalabilitas yang siap pakai. Bagi pengembang, BBR dapat melakukan sharding terhadap eksekusi transaksi dan penyimpanan. Bagi pengguna, pengalaman pengguna akan meningkat karena dApp akan tersebar di semua L2.

" "

Tingkatkan Narasi: Menuju ZKVM?

Semua orang tidak asing dengan zkEVM, tetapi EVM tidak dirancang untuk berjalan di dalam sirkuit pengetahuan nol, sehingga dalam praktiknya, menerapkan zkEVM seringkali memerlukan beberapa kompromi. Berbeda dengan zkEVM, zkVM adalah mesin virtual yang diimplementasikan sebagai sirkuit sistem bukti pengetahuan nol. Keunggulannya meliputi: tidak perlu mempelajari kriptografi dan sistem ZKP, mudah digunakan; memiliki kegunaan umum, ZK-VM yang lengkap secara Turing dapat digunakan sebagai perhitungan bukti untuk perhitungan apa pun; sangat sederhana, seperangkat kendala sederhana cukup untuk mendeskripsikan seluruh VM; dapat memanfaatkan rekursi, verifikasi bukti hanya merupakan program lain yang dieksekusi pada VM.

Taiko telah mulai beralih dari model zkEVM ke model zkVM. Setelah beralih ke model zkVM, Taiko dapat mengubah dan menjalankan sebuah klien untuk menghasilkan bukti ZK. Untuk memastikan kestabilan, Taiko berkontribusi dalam membangun sistem bukti ganda dan berkontribusi pada beberapa zkVM (seperti RISC Zero, SP1, Powdr) untuk diversifikasi asumsi enkripsi, dan menggunakan SGX untuk meningkatkan privasi dan keamanan tanpa data bocor.

Taiko team menyatakan bahwa Taiko adalah salah satu tim pengembang awal yang terlibat dalam pengembangan PSE zkEVM oleh Ethereum Foundation, dan telah memberikan kontribusi dan optimalisasi dalam kode-kode kritis seperti Keccak dan sirkuit Moore. Namun, dalam proses ini, mereka juga menyadari keterbatasan dari pola pengembangan ini, misalnya kode-kode tersebut adalah kode-kode tingkat rendah yang sulit diuji dan diverifikasi. Selain itu, hal ini tidaklah mudah bagi pemula. Melalui eksplorasi berkelanjutan dalam pengembangan bukti SGX, tim mulai menyadari pentingnya klien tanpa status, dan dipengaruhi oleh kemajuan yang dicapai oleh tim Risc0, mereka yakin bahwa di masa depan, menjalankan klien tanpa status dalam menghasilkan bukti pengetahuan zero-knowledge di zkVM adalah memungkinkan. Saat ini, Taiko telah bekerja sama dengan Risc0, dan akan bekerja sama dengan SP1 dan tim zkVM lainnya di masa depan, dengan menggabungkan sistem-sistem bukti yang berbeda melalui Contestable Rollup, sambil tetap mempertahankan desain lapisan kedua Taiko dan mengikat setiap zkVM secara menyeluruh.

Selain itu, Taiko telah diluncurkan pada Mainnet Ethereum pada tanggal 27, dan saat ini telah memproses sekitar 15% dari total blok data di seluruh jaringan Ethereum. Tim kami menekankan bahwa meskipun dalam mode Mainnet Tahap 1, pengajuan dan verifikasi blok tidak memerlukan izin, kontrak masih memiliki pemilik. Tim kami berencana untuk mentransfer kepemilikan kontrak ke Taiko DAO setelah sekitar satu tahun diluncurkannya Mainnet, dengan sepenuhnya melepaskan hak kepemilikan dan kontrol atas jaringan. Tim Taiko juga menyatakan bahwa akan mengalokasikan lebih banyak sumber daya untuk pengembangan Preconfirmation, MEV, dan skema Taiko BBR, dengan harapan dapat memberikan kejutan lebih banyak bagi proyek-proyek ekosistem dan pengguna komunitas di masa depan.

Airdrop Kontroversi: Bisakah Taiko Memulihkan Kepercayaan Komunitas?

Taiko pada 23 Mei mengumumkan tokenomik TKO, mengumumkan bahwa 5% dari pasokan token awal akan digunakan untuk airdrop genesis. Menurut FAQ resmi, akan ada 300.000 alamat yang memenuhi syarat untuk mengklaim lebih dari 50 juta token. Meskipun langkah ini adalah untuk memberikan kembali kepada komunitas, tetapi ini telah menimbulkan kontroversi tentang “apakah airdrop adil”. Beberapa anggota komunitas mengeluh bahwa jumlah airdrop yang diterima lebih rendah dari yang diharapkan, dan ada juga pengguna yang menyatakan telah berpartisipasi dalam tugas terkait tetapi tidak menerima airdrop.

Dihadapkan dengan ketidakpuasan anggota komunitas, Daniel Wang, co-founder Taiko, memberikan tanggapan bahwa tujuan Taiko adalah keadilan, namun tidak dapat memuaskan semua orang, dan meminta maaf kepada pengguna yang tidak mendapatkan TKO. Namun, tanggapannya tersebut tampaknya tidak diterima oleh komunitas. Kemudian, Daniel Wang memberikan tanggapan lagi di komunitas Discord, menyatakan bahwa jika tidak mendapatkan airdrop, hal tersebut karena orang lain memiliki skor lebih tinggi. Mengenai ketidaktransparanan aturan airdrop, hal ini disebabkan oleh kenyataan bahwa transparansi pun tidak dapat menyelesaikan perbedaan pendapat, dan definisi “keadilan” memiliki subjektivitas yang kuat. Pernyataan ini sekali lagi menempatkan Taiko di pusat perhatian publik, dengan sejumlah anggota komunitas mendesak untuk menentang Taiko. Namun, keraguan komunitas terhadap airdrop bukanlah hal baru, banyak proyek yang melakukan airdrop baru-baru ini mengalami hal serupa. Terutama ketika airdrop menjadi sebuah industri yang melibatkan banyak tim profesional, mereka pun menjadi bagian dari ekosistem, dan pendapat komunitas juga mungkin dipengaruhi oleh tim-tim tersebut. Di masa depan, Taiko berencana untuk melakukan dua putaran airdrop lagi.