ผู้อ่านที่นี่ควรทราบด้วยว่าเหตุใดจึงเรียกว่า Sovereign Rollup เพราะใน Sovereign Rollup ทุกคนสามารถเลือกเวอร์ชันโหนดและตีความข้อมูลตามฉันทามติ (สังคม) ของกลุ่มตนเองได้ หากมีความไม่ลงรอยกันในชุมชน Sovereign Rollup ในวันนี้ เช่น ETHPoW กับ ETH หมายความว่าทุกคนต่างไปตามแนวทางของตนเองและเลือกเวอร์ชันโหนดที่แตกต่างกันเพื่อตีความข้อมูล แต่ข้อมูลยังคงเป็นข้อมูลดั้งเดิมและไม่ได้เปลี่ยนแปลง
บทความเดียวเพื่อทำความเข้าใจการจัดประเภทของการยกเลิก
เขียนโดย: นิค หลิน
ความรู้เดิม:
ทำความเข้าใจวิธีการทำงานของ Rollup และปัญหาความพร้อมใช้งานของข้อมูล (Data Availability) ของ Rollup
สรุปเกี่ยวกับการยกเลิก
ไม่ว่าจะเป็น Validity Rollup หรือ Optimistic Rollup พวกเขาจะอัปโหลดข้อมูลไปยัง L1 (เช่น Ethereum) เพื่อให้ทุกคนสามารถเข้าถึงข้อมูลของ Rollup ได้โดยการเข้าถึง L1 และใช้ข้อมูลนี้เพื่อรับสถานะล่าสุดของ Rollup เช่น อลิซมี 10 USDT และ Bob มี 5 USDT
ผู้ที่ไม่อัปโหลดข้อมูลไปยัง L1 ไม่ได้อยู่ใน Rollup (เช่น Validium, zkPorter หรือ Arbitrum AnyTrust) และไม่ใช่เป้าหมายของบทความนี้ นอกจากนี้ บทความนี้จะไม่กล่าวถึงวิธีที่ค่าสะสมตรวจสอบความถูกต้องของสถานะ นั่นคือ ความแตกต่างระหว่างค่าสะสมค่าความถูกต้องและค่าสะสมที่เหมาะสม
ส่วนแรกของบทความนี้จะแนะนำ Sovereign Rollup Sovereign Rollup ตามชื่อคือ Rollup ที่มีอิสระ การอัปเกรดเวอร์ชัน Rollup หรือ Hard Fork ล้วนเกิดขึ้นใน Sovereign Rollups ซึ่งแตกต่างจาก Rollups ที่ทุกคนคุ้นเคยในตอนนี้ (ต่อไปนี้จะเรียกว่า Classic Rollups) ตำแหน่งของ Fork คือ ไม่ใช่ใน Classic Rollup แต่อยู่ในสัญญา L1 Rollup: สัญญา L1 Rollup ทำการอัปเกรดเวอร์ชันผ่านกระเป๋าเงินแบบหลายลายเซ็นหรือการลงคะแนนเสียงกำกับดูแล นั่นคือ สัญญาใน L1 จะกำหนดเวอร์ชันที่ชุดรวมอัปเดตควรใช้ในปัจจุบัน และหากมีการโจมตีค่ายกเลิกใน L1 เช่น โจมตีกลไกการกำกับดูแลหรือโจมตีสัญญาค่ายกเลิกเอง ค่ายกเลิกจะได้รับผลกระทบ ในทางตรงกันข้าม เนื่องจาก Sovereign Rollup ถือว่า L1 เป็นสถานที่จัดเก็บข้อมูล สมาชิก Sovereign Rollup ทุกคนสามารถตัดสินใจได้ว่าจะใช้เวอร์ชันใดภายใต้ห่วงโซ่ และไม่ว่าจะเกิดอะไรขึ้นกับ L1 ตราบใดที่ L1 ไม่ถูกโจมตี (เช่น เมื่อ Re-org หรือการปิดระบบเครือข่าย) Sovereign Rollup จะไม่ได้รับผลกระทบ
ส่วนที่สองจะแนะนำตามค่าสะสม Based Rollup จะลบบทบาทของ Sequencer และมอบอำนาจการเรียงลำดับธุรกรรมให้กับนักขุด L1, Validators, MEV Searchers เป็นต้น ไม่เพียงแต่ทำให้การจัดเรียงธุรกรรมมีการกระจายอำนาจมากขึ้นเท่านั้น แต่ยังทำให้การออกแบบง่ายขึ้นและลบส่วนประกอบต่างๆ ของระบบออกไปด้วย
อำนาจอธิปไตย
Data Availability Layer และ Settlement Layer
Classic Rollup เช่น Arbitrum, Optimism, StarkNet และอื่นๆ ไม่เพียงแต่ถือว่า Ethereum (L1) เป็นสถานที่สำหรับเก็บข้อมูล (นั่นคือ Data Availability Layer) แต่ยังถือว่า Ethereum เป็น Settlement Layer: การชำระเงินจะดำเนินการบน Ethereum และสถานะของ L2 คือ (นั่นคือ ยอดคงเหลือของแต่ละแอดเดรสใน L2) ถูกเขียนไปที่ L1
ทำไมคุณต้องเขียนสถานะ L2 ถึง L1 ด้วยวิธีนี้ L2 และ L1 สามารถแลกเปลี่ยนข้อมูลและทรัพย์สินได้: L1/L2 dApps สามารถซิงโครไนซ์ข้อมูลและทำงานร่วมกันได้ ETH ของ L1 สามารถถ่ายโอนระหว่าง L1/L2 ได้อย่างปลอดภัย และ ARB/OP ของ L2 ยังสามารถถ่ายโอนระหว่าง L1/L2 ได้อย่างปลอดภัย โอนระหว่าง L2
L1 สามารถอ่านสถานะของ L2 และสามารถส่งข้อความได้อย่างปลอดภัย และ L1/L2 สามารถสื่อสารระหว่างกันได้
Sovereign Rollup จะลบ Settlement Layer (หรือเปลี่ยนตัวเองเป็น Settlement Layer) และใช้ L1 เป็น Data Availability Layer
L1 อ่านเฉพาะบล็อกหรือข้อมูลธุรกรรมที่ Sovereign Rollup ใส่ไว้ใน L1 แต่ไม่รู้สถานะล่าสุดของ L2 ดังนั้นจึงไม่มีทางสื่อสารได้
เหตุใดจึงต้องลบ Settlement Layer มีเหตุผลหรือสาเหตุต่างกันดังนี้
วิธีการทำงานของ Sovereign Rollup
Sovereign Rollup ใช้ L1 เป็น Data Availability Layer อัปโหลดข้อมูลไปยัง L1 และใช้ L1 เพื่อให้แน่ใจว่าข้อมูลพร้อมใช้งานและลำดับของข้อมูลจะไม่เปลี่ยนแปลง โหนด Sovereign Rollup อาศัยการอ่านและตีความข้อมูลบน L1 เพื่อคำนวณสถานะล่าสุดของ Sovereign Rollup "การตีความและการคำนวณ" จริง ๆ แล้วแสดงถึงกฎที่สอดคล้องกันของ Sovereign Rollup และ State Transition Function: วิธีการกรองบล็อกและธุรกรรมที่สอดคล้องกับรูปแบบและกฎของ Sovereign Rollup จากข้อมูล L1 วิธีตรวจสอบบล็อกและธุรกรรมเหล่านี้หลังจากการคัดกรอง และตรวจสอบ วิธีการ ดำเนินการธุรกรรมเหล่านี้เพื่อคำนวณสถานะล่าสุด
โหนด Sovereign Rollup คัดกรองบล็อกของตัวเองจากข้อมูล L1 และตีความและคำนวณสถานะล่าสุด
หากโหนด Sovereign Rollup 2 โหนดมีเวอร์ชันต่างกัน โหนดอาจตีความข้อมูลที่แตกต่างกันหรือคำนวณสถานะล่าสุดที่แตกต่างกัน ดังนั้นโหนดทั้งสองนี้จะไม่อยู่ในห่วงโซ่เดียวกัน สิ่งที่เห็นคือหนึ่งในสองโหนดที่แยกจากกัน
สิ่งนี้เหมือนกับการเรียกใช้โหนด Ethereum เวอร์ชันต่างๆ ทั้งสองเวอร์ชันอาจไม่ใช่เชนเดียวกัน ตัวอย่างเช่น หลังจากการฮาร์ดฟอร์ก ผู้ที่ลืมอัปเดตเวอร์ชันของโหนดหรือไม่เต็มใจที่จะอัปเดตเวอร์ชันของโหนดจะยังคงอยู่บนเชนเดิม (เช่น ETC, ETHPoW) ในขณะที่ผู้ที่อัปเดตเวอร์ชันของโหนดจะอยู่บน ห่วงโซ่ใหม่ (ETH)
ผู้อ่านที่นี่ควรทราบด้วยว่าเหตุใดจึงเรียกว่า Sovereign Rollup เพราะใน Sovereign Rollup ทุกคนสามารถเลือกเวอร์ชันโหนดและตีความข้อมูลตามฉันทามติ (สังคม) ของกลุ่มตนเองได้ หากมีความไม่ลงรอยกันในชุมชน Sovereign Rollup ในวันนี้ เช่น ETHPoW กับ ETH หมายความว่าทุกคนต่างไปตามแนวทางของตนเองและเลือกเวอร์ชันโหนดที่แตกต่างกันเพื่อตีความข้อมูล แต่ข้อมูลยังคงเป็นข้อมูลดั้งเดิมและไม่ได้เปลี่ยนแปลง
*หมายเหตุ: แน่นอน หลังจากการ Fork โหนดของเวอร์ชันต่างๆ จะอัปโหลดข้อมูลที่สอดคล้องกับกฎของตนเองไปยัง L1 จากนั้นทั้งสองฝ่ายจะกรองข้อมูลที่อีกฝ่ายอัปโหลดโดยตรง *
ณ จุดกึ่งกลางของเวลา โหนดต่อไปนี้แยกเป็นเวอร์ชัน v1.1.2 จากนั้นบล็อกของกันและกันจะเป็นอิสระต่อกัน
มี Sovereign Rollups อะไรบ้าง?
ขณะนี้ยังไม่มีตัวอย่างของ Sovereign Rollups แต่เมื่อแนวโน้มการออกแบบโมดูลาร์ของบล็อกเชนได้รับความนิยมมากขึ้นเรื่อย ๆ ก็จะมี Sovereign Rollups มากมาย ตัวอย่างเช่น Rollkit เฟรมเวิร์กโมดูลาร์ที่ Celestia กำลังออกแบบสามารถสร้าง Sovereign Rollup ผ่าน Cosmos SDK ซึ่งแตกต่างจากเชนเดิม (L1) ที่สร้างขึ้นโดยใช้ Cosmos SDK ซึ่งจำเป็นต้องใช้ฉันทามติของ Tendermint เพื่อกำหนดลำดับการทำธุรกรรม Sovereign Rollup สามารถใช้ Sequencer เดียวเพื่อจัดเรียงธุรกรรมเช่น Rollup ทั่วไปในปัจจุบัน ทำให้ไม่จำเป็นต้องมีฉันทามติหลายรายการ โหนดและอาศัยข้อกังวลด้านความปลอดภัยและทรัพยากรที่ใช้เพื่อดำเนินการอัลกอริทึมที่สอดคล้องกัน และชุดค่ารวม Sovereign จะอัปโหลดข้อมูลการทำธุรกรรมไปยัง Celestia แต่ในขณะเดียวกันเนื่องจากเป็นชุดค่าผสม Sovereign จึงจะไม่ได้รับผลกระทบจาก L1 (เช่น การอัปเกรดหรือการถูกโจมตี)
*หมายเหตุ 1: Rollkit ในภายหลังยังรองรับการใช้ Bitcoin เป็น Data Availability Layer อีกด้วย Rollup ดังกล่าวสามารถสืบทอดความปลอดภัยของ Bitcoin ได้ แต่ปริมาณงานจะถูกจำกัดไว้ที่ Bitcoin *
*หมายเหตุ 2: โดยพื้นฐานแล้ว โซ่ที่ใช้ Celestia สามารถเรียกว่า Sovereign Rollup *
หรือสมมติว่า Arbitrum ไม่ใช้ Ethereum เป็นชั้นการชำระบัญชีอีกต่อไป ไม่จำเป็นต้องแลกเปลี่ยนข้อมูลหรือทรัพย์สินกับ Ethereum อีกต่อไป และถือว่า Ethereum เป็นสถานที่สำหรับเก็บข้อมูล Arbitrum ดังกล่าวก็จะกลายเป็น Sovereign Rollup
การยกเลิกการชำระเงิน
นอกจากนี้ยังมีคำจำกัดความเช่น Settlement Rollup แต่โดยพื้นฐานแล้วคือ Sovereign Rollup จากนั้น Sovereign Rollup นี้จะเป็น Settlement Layer ของเชนอื่นๆ ด้วย กล่าวคือ หากมีเชนอื่นใน Sovereign Rollup และ Rollup อื่นๆ ถือว่ามันเป็น Settlement Layer การสั่งสม Sovereign นี้สามารถเรียกว่า Settlement Rollup
*หมายเหตุ: เพื่อให้สามารถเป็น Settlement Layer ของเชนอื่นได้ จะต้องมีฟังก์ชันสัญญาอัจฉริยะพื้นฐาน เพื่อให้ทั้งสองฝ่ายสามารถแลกเปลี่ยนข้อมูลและทรัพย์สินได้ *
หาก Ethereum มีการเปลี่ยนแปลงเพื่ออัปโหลดข้อมูลเชนทั้งหมดไปยัง Celestia ในวันนี้ Ethereum ดังกล่าวจะเป็น Sovereign Rollup บน Celestia และจะเป็น Settlement Rollup ด้วย เนื่องจากมีเชนจำนวนมากบน Ethereum และ Rollups จำนวนมากถือว่าเป็น Settlement Layer .
Ethereum เป็น Sovereign Rollup บน Celestia และรวมถึง Settlement Rollup
หมายเหตุ: บางทีในอนาคต ทุกคนจะค่อยๆ คุ้นเคยกับการทำให้เป็นโมดูลและฟังก์ชันของเลเยอร์ต่างๆ และจะไม่เริ่มต้นจากมุมมองของการยกเลิกอีกต่อไป และคำศัพท์อย่างเช่น Sovereign Rollup หรือ Settlement Rollup จะค่อยๆ หายไป อย่างไรก็ตาม สิ่งสำคัญคือวิธีออกแบบโซ่ของคุณ (ไม่ว่าจะเป็น L1, L2, L3 เป็นต้น) วิธีการแลกเปลี่ยน และเลือกเครื่องมือก่อสร้างที่เหมาะสมสำหรับเลเยอร์ต่างๆ
ตามค่าสะสม
การจัดประเภทค่าสะสมที่เพิ่งเกิดขึ้นเมื่อเร็วๆ นี้อีกประเภทหนึ่งคือค่าสะสมตามหรือที่รู้จักในชื่อค่าสะสมที่มีลำดับ L1 ตาม Rollup's Based หมายถึงการเรียงลำดับธุรกรรม Rollup ไม่ได้ส่งต่อไปยัง Sequencer (หรือหลาย Sequencer) เพื่อจัดเรียงธุรกรรม แต่มอบให้ L1 miners, Validators หรือ MEV Searchers อย่างสมบูรณ์เพื่อจัดเรียงธุรกรรม เมื่อชุดรวมอัปเดตแบบคลาสสิกอัปโหลดข้อมูลไปยัง L1 สัญญาชุดรวมอัปเดต L1 จะตรวจสอบว่ามีการอัปโหลดโดยซีเควนเซอร์ที่มีคุณสมบัติเหมาะสมหรือไม่ ในขณะที่ชุดรวมอัปเดตแบบอิงไม่มีข้อจำกัดและทุกคนสามารถอัปโหลดได้
ทุกคนสามารถอัปโหลด Blocks of Based Rollup
ข้อได้เปรียบที่ใหญ่ที่สุดของ Based Rollup คือไม่มี Sequencer ดังนั้นจึงไม่มีจุดที่ล้มเหลวแม้แต่จุดเดียวหรือแม้แต่ไม่ต้องกังวลว่า Sequencer จะมีอำนาจในการสั่งซื้อธุรกรรมทั้งหมด กล่าวคือ ไม่จำเป็นต้องกังวลว่า Sequencer จะหยุดทำงานและทำให้เครือข่ายหยุดทำงาน หรือจงใจไม่รับธุรกรรมจากผู้ใช้บางราย หรือกังวลว่า Sequencer จะดักจับ MEV ของผู้ใช้โดยเจตนาร้าย ตาม Rollup สืบทอดระดับการกระจายอำนาจของ L1 อย่างเต็มที่ในการสร้างบล็อก
ตามค่าสะสมมีข้อดีดังต่อไปนี้:
ค่าใช้จ่ายสำหรับผู้ใช้ในการออกจากการยกเลิกนั้นต่ำมาก
โดยทั่วไป Rollup จะออกแบบกลไก Force Inclusion หรือกลไก Escape Hatch เพื่อให้ผู้ใช้สามารถติดตั้งตัวเองใน L1 ได้โดยตรงโดยไม่ต้องใช้ Sequencer เพื่อป้องกันไม่ให้ Sequencer จงใจไม่ยอมรับธุรกรรมของผู้ใช้เฉพาะราย หรือ Sequencer ขัดข้องที่ป้องกันไม่ให้ผู้ใช้ออกจาก Rollup ธุรกรรมเข้าสู่ บล็อก L2 อย่างไรก็ตาม ต้นทุนแรกของการออกแบบดังกล่าวมีราคาสูง ผู้ใช้ต้องจ่ายค่าธรรมเนียม L1 miner เพื่อแทรกธุรกรรม ต้นทุนที่สองคือธุรกรรมที่แทรกจาก L1 อาจส่งผลกระทบต่อกระบวนการของ Sequencer บรรจุภัณฑ์บล็อก L2: เป็นไปได้ว่า L1 จะ แทรก ธุรกรรมจะทำให้ธุรกรรมที่ Sequencer ตั้งใจที่จะรวบรวมในบล็อก L2 เป็นโมฆะ ตัวอย่างเช่น ธุรกรรมที่อลิซแทรกใน L1 โอนเงินทั้งหมดให้ Bob ส่งผลให้ธุรกรรมที่อลิซโอนเงินให้แครอลล้มเหลว บล็อก L2
หลังจากได้รับธุรกรรมของ Alice แล้ว Sequencer จะยืนยันผลลัพธ์ของธุรกรรมและนำไปไว้ในบล็อกถัดไป
แต่อลิซส่งธุรกรรมอื่นโดยตรงไปยัง L1 ผ่าน Force Inclusion ทำให้ธุรกรรมที่อลิซได้รับโดย Sequencer ล้มเหลว
เพื่อป้องกันไม่ให้ธุรกรรมที่แทรกโดย L1 ส่งผลกระทบต่อกระบวนการของบล็อก Sequencer ที่บรรจุ L2 Arbitrum จะไม่มีผลทันทีเมื่อธุรกรรมที่แทรกโดย L1 จำเป็นต้องรอให้ Sequencer ใช้งานเพื่อให้ธุรกรรมรวมอยู่ในบล็อกล่าสุดก่อน มันจะมีผล หรือถ้าซีเควนเซอร์ไม่ตอบสนอง มันจะมีผลหลังจากช่วงระยะเวลาหนึ่ง การมองโลกในแง่ดีช่วยให้ธุรกรรมมีผลทันที หากธุรกรรมที่ L1 แทรกเข้ามาส่งผลกระทบต่อธุรกรรมในบล็อก L2 Sequencer จะต้องหาวิธีจัดการกับมัน คุณสามารถอ่านบทนำนี้เพื่อเรียนรู้เพิ่มเติมเกี่ยวกับการเปรียบเทียบระหว่าง Arbitrum และ Optimism ในการประมวลผลธุรกรรมตำแหน่ง L1
การออกแบบที่เรียบง่ายกว่ามาก
ค่าสะสมตามฐานมีบทบาทของ Sequencer น้อยกว่าค่าสะสมทั่วไป และทำให้มีภาระด้านฮาร์ดแวร์น้อยลง (ไม่ต้องกังวลเกี่ยวกับการโหลดเครื่อง Sequencer) และกลไกใดๆ ที่จะทำให้ธุรกรรมการเรียงลำดับยุติธรรมยิ่งขึ้น (เช่น กลไกของ Sequencer แบบกระจายอำนาจ) จากนั้นจึงไม่มีความจำเป็นสำหรับกลไก Force Inclusion/Escape Hatch รวมถึงสัญญาที่เกี่ยวข้องกับ L1 และเครื่องมือนอกเครือข่ายที่เกี่ยวข้อง เพื่ออำนวยความสะดวกให้ผู้ใช้ทำธุรกรรมใน L1 ด้วยตัวเอง
แต่ตาม Rollup ก็มีข้อเสีย:
ไม่มีบริการยืนยันรายการล่วงหน้า
ด้วย Sequencer Sequencer สามารถบอกผู้ใช้ได้อย่างรวดเร็วถึงผลลัพธ์ของการทำธุรกรรมของเขา ตราบเท่าที่ผู้ใช้ไว้วางใจ Sequencer ก็สามารถยืนยันผลการทำธุรกรรมได้ทันทีโดยไม่ต้องรอให้ธุรกรรมถูกอัปโหลดไปยัง L1
ในการยกเลิกตาม อลิซรอจนกระทั่งธุรกรรมถูกอัปโหลดไปยัง L1 ก่อนที่เธอจะเชื่อว่าธุรกรรมของเธอรวมอยู่ด้วย และเธอต้องรออย่างน้อยหนึ่งบล็อก L1
โดยทั่วไปแล้ว การสรุป หากอลิซเชื่อว่าซีเควนเซอร์จะยอมรับธุรกรรมของเธอ เธอสามารถยืนยันได้ทันทีว่าจะยอมรับธุรกรรมนั้นหรือไม่
โปรโตคอลสูญเสียแหล่งรายได้ MEV
MEV ไม่ได้ส่งต่อไปยัง Sequencer เพื่อตรวจสอบและแยกอีกต่อไป แต่ส่งไปยัง L1 ดังนั้น L2 เองจึงไม่มีทางได้รับผลประโยชน์ของ MEV รายได้ของ MEV สามารถดึงดูดได้โดยการออกแบบกลไกการประมูลสำหรับสิทธิ์ในการผลิตแบบบล็อก แต่จะเพิ่มเกณฑ์สำหรับผู้เข้าร่วม L1 ในการเข้าร่วมในการผลิตแบบบล็อก ซึ่งจะลดระดับของการกระจายอำนาจ และการเปิดตัวกลไกการประมูลจะนำมาซึ่ง ความซับซ้อนในระดับหนึ่ง
อ้างอิงและแนะนำให้อ่านเพิ่มเติม