พูดคุยเกี่ยวกับ TTF: ใช้เวลานานเท่าใดในการสรุปธุรกรรมแบบสะสม?

ชื่อเดิม: ทวีตเกี่ยวกับเวลาสิ้นสุดการสะสม (TTF)

ผู้เขียนต้นฉบับ: @larry 0x

การรวบรวมต้นฉบับ: Frank, Foresight News

ก่อนอื่น TTF คืออะไร และเหตุใดจึงสำคัญ

ขั้นสุดท้ายคือสถานะที่ไม่สามารถยกเลิก กู้คืน หรือแก้ไขธุรกรรมได้ กล่าวคือ ปัญหาธุรกรรมที่เกี่ยวข้องจะถือว่าได้รับการแก้ไขแล้ว

TTF (time to Finality) คือเวลาที่สัญญาณการซื้อขายเริ่มออกอากาศและถึงสถานะสุดท้าย ต่อไปนี้คือ TTF ของเครือข่ายที่เลือกหลายรายการ:

TTF เป็นพารามิเตอร์สำคัญที่มีการใช้งานหลายอย่าง:

• หากฉันเป็นร้านค้าที่รับการชำระเงินด้วยสกุลเงินดิจิทัล ฉันคงต้องรอ TTF ก่อนที่จะส่งสินค้าหรือบริการ เพื่อที่ฉันจะได้รู้ว่าการชำระเงินจะไม่ถูกยกเลิก

• หากฉันกำลังเชื่อมต่อโปรโตคอลแบบข้ามสายโซ่ และมีการส่งแพ็กเก็ตไปยังสายโซ่ผู้ส่ง ฉันต้องการรอ TTF ก่อนที่จะส่งต่อไปยังสายโซ่ตัวรับ

• ……

ประการที่สอง โรลอัพ

วงจรชีวิตของบล็อก Rollup มี 2 ขั้นตอน:

(1) ข้อมูลถูกเผยแพร่ไปยังชั้น Data Availability (DA)

(2) พิสูจน์แล้วว่าใช้ได้ที่ชั้นการชำระหนี้

เป็นที่น่าสังเกตว่า TTF นั้นแตกต่างกันสำหรับโหนดแบบเต็มและโหนดแสงของ Rollup chain:

• สำหรับแบบแรก ไม่จำเป็นต้องรอการชำระ (2) เนื่องจากตราบใดที่ข้อมูลบล็อกถูกเผยแพร่ใน (1) พวกเขาสามารถตรวจสอบความถูกต้องได้ทันที

• ในส่วนหลัง พวกเขาต้องรอกระบวนการชำระบัญชี

ในระหว่างขั้นตอนการพิสูจน์เลเยอร์การชำระ จะมี Rollups สองประเภท ขึ้นอยู่กับกลไกที่ใช้:

• การยกเลิกความถูกต้อง (หรือที่เรียกว่าการยกเลิกความรู้แบบศูนย์, zkRU) หลังจากที่ซีเควนเซอร์สร้างบล็อก ผู้พิสูจน์ (โดยปกติจะเป็นบุคคลเดียวกันกับซีเควนเซอร์) จะส่งการพิสูจน์ความถูกต้อง โดยพิสูจน์ผ่านเวทย์มนตร์การเข้ารหัสบางอย่างว่าบล็อกนั้นถูกต้อง

• Rollups ในแง่ดี (opRU) ซีเควนเซอร์สร้างบล็อกแต่ไม่ได้พิสูจน์ว่าบล็อกนั้นถูกต้อง หากไม่ถูกต้องจริง ๆ ใครก็ตาม (ผู้พิสูจน์) สามารถโต้แย้งได้โดยส่งหลักฐานการฉ้อโกง ซึ่งจะทำให้การบล็อกถูกปฏิเสธ การบล็อกจะถือว่าใช้ได้หากไม่มีใครพิสูจน์ได้ว่าใช้ไม่ได้ในช่วงระยะเวลาหนึ่ง ซึ่งเรียกว่าช่วงการโต้แย้ง

หมายเหตุ: ฉันไม่ชอบคำว่า zkRU เนื่องจากระบบพิสูจน์เหล่านี้จำนวนมากไม่ใช่เทคโนโลยีที่ไม่มีความรู้ ดังนั้น การสรุปความถูกต้อง จึงเป็นคำที่แม่นยำกว่า อย่างไรก็ตาม การใช้ zkRU เป็นเรื่องปกติมากจนฉันใช้มัน

ยังมีสิ่งสำคัญบางประการที่ควรทราบ:

• ในความเป็นจริง ข้อมูลบล็อกมักจะไม่ได้รับการเผยแพร่ไปยังเลเยอร์ DA ทันทีหลังจากสร้างบล็อก โดยปกติแล้วซีเควนเซอร์จะรอสักครู่แล้วจึงเผยแพร่บล็อกสองสามบล็อกเป็นชุด (อาจช่วยประหยัดค่าธรรมเนียมก๊าซ)

• การพิสูจน์ความถูกต้องมักจะล่าช้า โดยทั่วไปเนื่องจากการสร้างมีราคาแพงในการคำนวณและต้องใช้เวลา

• หลักฐานความถูกต้องและการฉ้อโกงไม่เพียงแต่เผยแพร่ทางออนไลน์เท่านั้น ตัวอย่างเช่น หากมีคนส่งหลักฐานความถูกต้องแบบออฟไลน์มาให้ฉัน ฉันสามารถมั่นใจได้ว่าบล็อกนั้นถูกต้องโดยไม่ต้องรอ (2) กระบวนการชำระเงินแบบออนไลน์

สุดท้ายนี้ เราพร้อมที่จะหารือว่าธุรกรรม Rollup จะใช้เวลานานเท่าใดจึงจะบรรลุผลลัพธ์สุดท้าย

สำหรับโหนดแบบเต็ม กระบวนการนั้นง่ายดาย: ทันทีที่บล็อก (1) ได้รับการเผยแพร่และเสร็จสิ้นบนเลเยอร์ DA จากนั้นจะมีการสรุปผล

ถ้าเราหมายถึง:

• T 1 : ความถี่ในการเผยแพร่บล็อกบนเลเยอร์ DA (เช่น หากซีเควนเซอร์เผยแพร่แบทช์บนเลเยอร์ DA ทุกๆ 10 นาที ดังนั้น T 1 = 10 นาที)

• T2: TTF ของเลเยอร์ DA

จากนั้น TTF ของ Rollup = T 1 + T 2

สำหรับโหนดไฟจะต้องรอ (1) และ (2) จึงจะเสร็จสมบูรณ์ สำหรับ opRU เวลาใน (2) คือช่วงเวลาท้าทาย สำหรับ zkRU เวลาคือหลังจากที่ผู้พิสูจน์สร้างและเผยแพร่ใบรับรองความถูกต้อง

ถ้าเราหมายถึง:

• T 3: สำหรับ opRU ช่วงเวลาท้าทาย

• T 4: สำหรับ zkRU เวลาที่เผยแพร่ใบรับรองความถูกต้องที่ชั้นการชำระเงิน

• T 5: TTF ของชั้นการชำระหนี้;

จากนั้นจะมี TTF ของ Rollup:

• สำหรับ opRU: สูงสุด (T 1+T 2, T 3);

• สำหรับ zkRU: สูงสุด (T 1+T 2, T 4+T 5);

สูงสุด ในสมการเหล่านี้หมายความว่าเราต้องรอให้ DA และกระบวนการชำระหนี้เสร็จสิ้น แล้วแต่ว่าเวลาใดจะนานกว่า (เกือบจะชำระหนี้เกือบตลอดเวลา)

ทีนี้มาปัญหา! โปรดจำไว้ว่า เรากล่าวว่าการพิสูจน์สามารถเผยแพร่นอกเครือข่ายได้ สำหรับ zkRU หากเราได้รับหลักฐานความถูกต้องนอกเครือข่าย เราก็สามารถพูดได้ทันทีว่าธุรกรรมเสร็จสมบูรณ์โดยไม่ต้องรอกระบวนการชำระเงินแบบออนไลน์

สำหรับ opRU มันยากที่จะพูด เหตุผลที่ระยะเวลาท้าทาย (T 3) มักจะนานกว่านั้นเนื่องมาจากความกังวลว่าชั้นการชำระบัญชีอาจตรวจสอบหลักฐานการฉ้อโกง ดังนั้นมันจึงขึ้นอยู่กับการยอมรับความเสี่ยงของคุณ หากคุณมั่นใจมากว่าชั้นการชำระเงินจะไม่ตรวจสอบธุรกรรม คุณอาจเลือกที่จะรอเป็นระยะเวลาที่สั้นลง มิฉะนั้นคุณจะต้องรออีกต่อไป แต่คุณไม่ต้องรอนานกว่า T3

ให้เราสรุป:

ต่อไปนี้เป็นตัวอย่างเชิงปฏิบัติสองตัวอย่าง Arbitrum และ zkSync พวกเขาใช้ Ethereum สำหรับ DA และการชำระหนี้ ดังนั้น T 2 = T 5 = 13 นาที

• ซีเควนเซอร์ของ Arbitrum เผยแพร่ข้อมูลทุกๆ T 1 = 6 นาทีโดยประมาณ และระยะเวลาท้าทายของ Arbitrum คือ T 3 = 1 สัปดาห์

• ซีเควนเซอร์ของ zkSync เผยแพร่ข้อมูลโดยประมาณทุกๆ T 1 = 3 นาที ซึ่งพิสูจน์ได้ว่ามีการเผยแพร่ไม่สม่ำเสมอ แต่โดยเฉลี่ยทุกๆ T 4 = 1 ชั่วโมง

นอกจากนี้เรายังสามารถพิจารณา zkRU สมมุติที่ใช้ Celestia สำหรับ DA ซึ่งฉันคิดว่าใกล้เคียงกับผลลัพธ์สุดท้ายมากขึ้น:

• T 1 = 0 (Celestia มีราคาถูก ดังนั้นเราจึงถือว่าบล็อกถูกเผยแพร่ทันทีรุ่นต่อรุ่น)

• ที 2 = 12 วินาที;

• T 4 = เวลาการสร้างการพิสูจน์ ขึ้นอยู่กับระบบการพิสูจน์

ในที่สุด การอภิปรายสั้น ๆ เกี่ยวกับความหมายทั้งหมด

ดังที่คุณทราบ ฉันเป็นแฟนตัวยงของ Cosmos และ IBC ใช้ไคลเอนต์ไลท์โหนดในการตรวจสอบแพ็กเก็ต ดังนั้นคุณต้องรอ TTF ดังที่แสดงในคอลัมน์ สำหรับไลท์โหนด ด้านบน

สำหรับ opRU อาจใช้เวลานานถึง 1 สัปดาห์ (หากคุณไม่มั่นใจมากเกินไปเกี่ยวกับการต่อต้านการเซ็นเซอร์ของ Ethereum) ซึ่งนานเกินไปสำหรับวัตถุประสงค์ในทางปฏิบัติ นี่คือสาเหตุที่ opRU เราต้องใช้บริดจ์โหนดเต็มรูปแบบ เช่น Axelar และ Wormhole ซึ่งประกอบด้วยตัวดำเนินการจำนวนมากที่ทำงานโหนดเต็มรูปแบบ

ข้อเสียคือเราจำเป็นต้องเชื่อถือโอเปอเรเตอร์ชุดนี้ ซึ่งอาจไม่ปลอดภัยทางเศรษฐกิจเท่ากับ Sender Chain ซึ่งเป็นสาเหตุที่ทำให้ฉันไม่มั่นใจใน opRU

ด้วย zkRU ปกติ เราเพียงแค่ต้องรอให้ DA เสร็จสิ้น (16 นาทีบน Ethereum) + เวลาสร้างการพิสูจน์ เราไม่ต้องรอให้การพิสูจน์ถูกเผยแพร่บน Ethereum - นี่คือข้อได้เปรียบหลักเหนือ opRU!

นี่เป็นวิธีหนึ่งที่ฉันคิดว่า Celestia สามารถปรับปรุงประสบการณ์ Cross-chain ของ Rollup ได้ บน Ethereum แทนที่จะรอ 16 นาที เรารอเพียง 12 วินาที + เวลาสร้างหลักฐาน ไคลเอนต์ไลท์โหนดสามารถใช้ QGB เพื่อตรวจสอบการพิสูจน์จากเครื่องมือตรวจสอบความถูกต้องของ Celestia (ฉันเดาว่าตอนนี้เปลี่ยนชื่อเป็น Blobstream) หรืออาจทำการสุ่มตัวอย่าง DA ด้วยเช่นกัน