TTF: Berapa lama waktu yang dibutuhkan untuk menyelesaikan kesepakatan rollup?

原文标题:《Tweet tentang rollup time-to-finality (TTF)》

Ditulis oleh: @larry0x

编译:Frank,Berita Pandangan ke Depan

Pertama-tama, apa itu TTF dan mengapa itu penting?

Finalitas adalah keadaan di mana transaksi tidak pernah dapat dibatalkan, dipulihkan, atau dimodifikasi, yaitu, dianggap telah menyelesaikan masalah transaksi yang sesuai.

TTF (time to finality) adalah waktu yang dibutuhkan sinyal perdagangan untuk mencapai keadaan akhirnya dari awal siaran, dan berikut ini adalah TTF dari beberapa rantai yang dipilih:

! [TTF: Berapa lama waktu yang dibutuhkan untuk menyelesaikan kesepakatan rollup?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/1479927338818e02a46e6f57d2b767fd.)

TTF adalah parameter penting dengan berbagai kegunaan:

• Jika saya seorang pedagang yang menerima pembayaran cryptocurrency, saya ingin menunggu TTF sebelum mengirimkan barang atau jasa sehingga saya tahu bahwa pembayaran tidak akan dibatalkan.
• Jika saya adalah protokol bridging lintas rantai dan rantai pengirim mengirimkan paket, saya ingin menunggu TTF sebelum menyampaikannya ke rantai penerima.
• …

Kedua, Rollups

Ada 2 fase dalam siklus hidup blok rollup:

(1) datanya dipublikasikan ke lapisan Ketersediaan Data (DA);

(2) terbukti valid pada lapisan penyelesaian;

Perlu dicatat bahwa TTF berbeda untuk node penuh dan ringan dari rantai Rollup:

• Untuk yang pertama, mereka tidak perlu menunggu (2) untuk diselesaikan, karena segera setelah data blok diterbitkan di (1), mereka dapat segera memverifikasi validitas itu sendiri;
• Untuk yang terakhir, mereka perlu menunggu proses penyelesaian;

Selama fase proof-of-settlement lapisan penyelesaian, ada dua jenis rollup, tergantung pada mekanisme yang mereka gunakan:

• Pembatalan Validitas (alias pembatalan tanpa pengetahuan, zkRU). Setelah sequencer menghasilkan blok, prover (biasanya orang yang sama dengan sequencer) menyerahkan bukti validitas yang membuktikan bahwa blok tersebut valid melalui beberapa sihir kriptografi.
• Rollups Optimis (opRUs)。 Sequencer menghasilkan blok, tetapi tidak membuktikan bahwa itu valid. Jika sebenarnya tidak valid, siapa pun (pepatah) dapat menantangnya dengan mengirimkan bukti penipuan, yang menghasilkan blok yang ditolak. Jika tidak ada yang membuktikan bahwa blok tidak valid untuk jangka waktu tertentu, yang dikenal sebagai periode sengketa, blok tersebut dianggap valid.

Catatan: Saya tidak suka istilah zkRU karena banyak dari sistem bukti ini sebenarnya bukan teknik tanpa pengetahuan, jadi “Validity Rollup” adalah istilah yang lebih akurat. Namun, penggunaan “zkRU” sangat umum, jadi saya menggunakannya.

Ada juga beberapa hal penting yang perlu diketahui:

• Dalam prakteknya, data blok biasanya tidak dipublikasikan ke lapisan DA segera setelah blok dihasilkan. Sequencer biasanya menunggu sebentar dan kemudian menerbitkan beberapa blok dalam jumlah besar (mungkin untuk menghemat biaya gas);
• Bukti validitas juga sering tertunda, biasanya karena generasi komputasi intensif dan memakan waktu dari bukti-bukti ini;
• Bukti validitas dan penipuan tidak hanya tersebar secara on-chain. Misalnya, jika seseorang mengirimi saya bukti validitas off-chain, saya dapat yakin bahwa blok tersebut valid tanpa harus menunggu (2) proses penyelesaian on-chain.

Akhirnya, kami siap untuk membahas berapa lama waktu yang dibutuhkan untuk kesepakatan rollup untuk mencapai hasil akhir.

Untuk node penuh, prosesnya sederhana: segera setelah blok (1) diterbitkan dan diselesaikan pada lapisan DA, maka diselesaikan.

Jika kami menunjukkan:

T1: Seberapa sering blok dipublikasikan pada layer DA (misalnya jika sequencer menerbitkan batch pada layer DA setiap 10 menit, maka T1 = 10 menit)

• T2: TTF dari lapisan DA

Maka TTF rollup = T1 + T2.

Untuk node cahaya, mereka harus menunggu (1) dan (2) selesai. Untuk opRU, waktu untuk (2) adalah periode tantangan, dan untuk zkRU, waktunya adalah setelah prover menghasilkan dan menerbitkan bukti validitas.

Jika kami menunjukkan:

• T3: Untuk opRU, periode tantangan;
• T4: Untuk zkRUs, waktu ketika bukti validitas diterbitkan di lapisan penyelesaian;
• T5: TTF dari lapisan penyelesaian;

Lalu ada TTF untuk Rollup:

• Untuk opRU: max (T1 + T2, T3);
• Untuk zkRU: max (T1 + T2, T4 + T5);

“Maksimum” dalam persamaan ini berarti bahwa kita harus menunggu DA dan proses penyelesaian selesai, mana yang lebih lama (hampir selalu diselesaikan).

Sekarang, inilah masalahnya! Ingat, kami mengatakan bahwa bukti juga dapat disebarkan secara off-chain. Untuk zkRU, jika kita menerima bukti validitas off-chain, maka kita dapat langsung mengatakan bahwa transaksi selesai tanpa menunggu proses penyelesaian on-chain.

Sulit untuk mengatakan untuk opRU. Periode tantangan (T3) cenderung lebih lama karena kekhawatiran bahwa lapisan penyelesaian dapat meninjau bukti penipuan. Jadi itu sangat tergantung pada toleransi risiko Anda. Jika Anda cukup yakin bahwa lapisan penyelesaian tidak akan meninjau transaksi, Anda dapat memilih untuk menunggu waktu yang lebih singkat. Jika tidak, Anda akan menunggu lebih lama, tetapi Anda tidak perlu menunggu lebih lama dari T3.

Mari kita simpulkan:

! [TTF: Berapa lama waktu yang dibutuhkan untuk menyelesaikan kesepakatan rollup?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/dc879d6785275eb291bbc2cae4b7bc1d.)

Berikut adalah dua contoh dunia nyata, Arbitrum dan zkSync. Mereka menggunakan Ethereum untuk DA dan penyelesaian, jadi T2 = T5 = 13 menit.

• Sequencer Arbitrum menerbitkan data kira-kira setiap T1 = 6 menit, dan periode tantangan Arbitrum adalah T3 = 1 minggu;
• sequencer zkSync menerbitkan data kira-kira setiap T1 = 3 menit, membuktikan bahwa itu tidak dipublikasikan secara teratur, tetapi rata-rata sekali T4 = 1 jam;

Kita juga dapat mempertimbangkan zkRU hipotetis yang menggunakan Celestia untuk DA, yang menurut saya lebih dekat dengan hasil akhirnya:

• T1 = 0 (Celestia murah, jadi kami berasumsi bahwa blok diterbitkan segera setelah dibuat);
• T2 = 12 detik;
• T4 = waktu pembuatan bukti, tergantung pada sistem bukti;

! [TTF: Berapa lama waktu yang dibutuhkan untuk menyelesaikan kesepakatan rollup?] (https://cdn-img.panewslab.com//panews/2022/11/15/images/edba98503458c791b1db04f99e9d7a91.)

Akhirnya, diskusi singkat tentang apa artinya semua itu

Seperti yang Anda ketahui, saya penggemar Cosmos, dan IBC menggunakan klien simpul cahaya untuk memvalidasi paket, jadi Anda harus menunggu TTF, seperti yang ditunjukkan pada kolom “Untuk simpul cahaya” pada gambar di atas.

Untuk opRU, ini bisa sampai 1 minggu (jika Anda tidak terlalu percaya diri dengan resistensi sensor Ethereum), yang terlalu lama untuk tujuan praktis. Itu sebabnya untuk opRU, kita harus menggunakan jembatan node penuh, seperti Axelar dan Wormhole, yang terdiri dari sekelompok operator yang menjalankan node penuh.

Kelemahannya adalah kita perlu mempercayai rangkaian operator ini, yang mungkin tidak seaman rantai pengirim secara ekonomi, itulah sebabnya saya bearish pada opRU.

Untuk zkRU normal, kita hanya perlu menunggu DA diselesaikan (16 menit di Ethereum) + waktu pembuatan bukti, kita tidak perlu menunggu bukti dirilis di Ethereum – ini adalah keunggulan utama dibandingkan opRU!

Ini juga salah satu cara saya pikir Celestia dapat meningkatkan pengalaman lintas rantai Rollup. Di Ethereum, kami hanya menunggu 12 detik + waktu pembuatan bukti, bukan 16 menit. Klien node ringan dapat menggunakan QGB untuk memeriksa bukti dari validator Celestia (yang saya kira sekarang telah diubah namanya menjadi Blobstream), atau mungkin pengambilan sampel DA.