วิทยานิพนธ์พื้นฐาน

เขียนร่วมกับ arixon แรงบันดาลใจจาก จัสติน แยกจาก ชาร์ลีและแดน ขอบคุณ barnabe, mike และ justin ที่อ่านร่างบทความนี้

บน Ethereum L1 แอปพลิเคชันทั้งหมดจะทำงานแบบอะตอมมิกบนเครื่องสถานะที่ใช้ร่วมกัน โรดแมปที่เน้นการสรุปรวม จะเสียสละ คุณสมบัติหลักนี้เพื่อขยายขนาด Ethereum

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

ในปัจจุบัน ความกดดันด้านกฎระเบียบและการขาดการทำงานร่วมกันแบบเนทีฟกำลังผลักดันการ Rollups ไปสู่ Middleware Blockchains (หรือ Rollup Frameworks ในจิตวิญญาณของ Superchains/Hyperchains) ที่อนุญาตให้มีการจัดลำดับร่วมกัน (และด้วยเหตุนี้การแบ่งปันสภาพคล่องในระดับหนึ่งและความสามารถในการประกอบแบบอะตอมมิกระหว่างกัน)

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

การแลกเปลี่ยนที่สำคัญและประเมินต่ำไปด้วยวิธีนี้ก็คือการโรลอัพจะไม่สืบทอด การรับประกันความมีชีวิตชีวา ของ L1 อีกต่อไป (ส่วนสำคัญของ สิ่งที่ทำให้ Ethereum พิเศษ) หรือ แรงเต็มที่ ของ ความเป็นกลางที่น่าเชื่อถือ (เนื่องจากการโรลอัพจะต้องพึ่งพาฉันทามติทางเลือกอื่น กลไกภายนอก Ethereum)

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

Rollup แบบอิงคืออะไร?

สรุปภาพรวม (หรือลำดับ L1) เป็นชุดย่อยพิเศษของชุดรวมอัปเดต การเรียงลำดับของการโรลอัพดังกล่าวนั้นเรียบง่ายที่สุด และสืบทอดความมีชีวิตชีวาของ L1 และการกระจายอำนาจ นอกจากนี้ การยกเลิกแบบพื้นฐานยังมีความสอดคล้องในเชิงเศรษฐกิจกับฐาน L1 เป็นพิเศษ

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

การโรลอัปที่อิงมีเอกลักษณ์เฉพาะตัว เนื่องจากสืบทอดคุณสมบัติความมีชีวิตชีวาของเลเยอร์ฐาน และสามารถบรรลุการทำงานร่วมกันได้โดยไม่ต้องพึ่งพามิดเดิลแวร์บล็อกเชน (ช่วยให้พวกเขาสามารถเพิ่ม ความเป็นกลางที่น่าเชื่อถือ ได้อย่างมีความหมายโดยไม่ลดประสิทธิภาพลง) คุณลักษณะเหล่านี้ได้รับการอธิบายได้ดีที่สุดโดยแตกต่างจากสถาปัตยกรรมควบรวมอื่นๆ

สถาปัตยกรรมแบบโรลอัพ

การโรลอัปส่วนใหญ่ในปัจจุบันใช้ซีเควนเซอร์แบบรวมศูนย์ ซีเควนเซอร์รวบรวมธุรกรรมจาก mempool แบทช์และโพสต์ไปที่ L1 ข้อได้เปรียบหลักของแนวทางนี้คือตัวจัดลำดับทำให้ผู้ใช้ได้รับการยืนยันล่วงหน้าอย่างรวดเร็ว นอกจากนี้ยังช่วยลดความเสี่ยงสำหรับการยกเลิกในระยะเริ่มต้นโดยไม่มีการพิสูจน์การฉ้อโกง/ความถูกต้อง และลดความเสี่ยงของจุดบกพร่องในระบบพิสูจน์สำหรับผู้ที่มีสิ่งเหล่านี้ ถ้าเครื่องซีเควนเซอร์ดำเนินการโดยหน่วยงานที่เชื่อถือได้ (เช่น Optimism Foundation) ความน่าจะเป็นของการเปลี่ยนแปลงสถานะที่ไม่ถูกต้องจะเกิดขึ้นจะลดลงอย่างมาก

ปัญหาหลักของซีเควนเซอร์แบบรวมศูนย์ (นอกเหนือจากศักยภาพในการละเมิด MEV) ก็คือสิ่งเหล่านี้นำเสนอจุดล้มเหลวเพียงจุดเดียวจากมุมมองความมีชีวิตชีวาและการต่อต้านการเซ็นเซอร์ แม้ว่าการโรลอัปในปัจจุบันจะมีช่องทางออกและบังคับให้รวมเข้าด้วยกันเพื่อป้องกันการหยุดทำงานและการเซ็นเซอร์ของซีเควนเซอร์ แต่ตามความเป็นจริงแล้ว สิ่งนี้จะไม่เป็นประโยชน์ต่อผู้ใช้ L2 ในเปอร์เซ็นต์ที่มีนัยสำคัญ ซึ่งไม่สามารถคาดหวังได้ว่าจะใช้จ่ายเงินจำนวนมากกับธุรกรรม L1 ปัญหาที่อาจเกิดขึ้นอีกประการหนึ่งคือ หากผู้ใช้ถูกบังคับให้ใช้ทางออก เอฟเฟกต์เครือข่ายของการยกเลิกนั้นจะถูกรีเซ็ต นอกจากนี้ยังค่อนข้างง่ายสำหรับรัฐบาลหรือหน่วยงานกำกับดูแลที่ทรงอำนาจในการกำหนดข้อกำหนด KYC หรือมาตรการคว่ำบาตรในห่วงโซ่ผ่านซีเควนเซอร์

เครื่องจัดลำดับที่ใช้ร่วมกันมีจุดมุ่งหมายเพื่อแก้ไขปัญหาต่างๆ ที่เกี่ยวข้องกับเครื่องจัดลำดับแบบรวมศูนย์ เช่น การเปิดใช้งานการทำงานร่วมกันระหว่างระบบนิเวศแบบรวมและการปรับปรุงการกระจายอำนาจ: Espresso Systems และ Astria เป็นทีมที่ทำงานเกี่ยวกับแนวทางนี้ ลักษณะที่ดีของการออกแบบซีเควนเซอร์ที่ใช้ร่วมกันคือ การยกเลิกปัจจุบันเกือบทั้งหมดสามารถใช้สถาปัตยกรรมนี้ได้ ไม่ว่าจะมองในแง่ดีหรือ zk ก็ตาม ประเด็นก็คือ Rollup ที่ใช้การออกแบบนี้จะมีความสามารถในการประกอบกันแบบอะตอมมิกระหว่างกัน ในขณะที่ยังคงรักษาระดับการกระจายอำนาจที่สูงกว่าเมื่อเทียบกับ Rollup ที่จัดลำดับจากส่วนกลาง

ข้อเสียประการหนึ่งของโมเดลซีเควนเซอร์ที่ใช้ร่วมกันภายนอกก็คือการโรลอัพจะไม่สืบทอดคุณสมบัติความมีชีวิตชีวาของเลเยอร์ฐาน ( ปัจจัยที่ประเมินต่ำเกินไปของการต้านทานการเซ็นเซอร์) ข้อเสียอีกประการหนึ่งคือมีแนวโน้มว่าจะต้องมีโทเค็นของตัวเองในบางจุด (หรือจำเป็นต้องมีส่วนร่วมในการแยก mev ในรูปแบบที่ดื้อรั้นเพื่อที่จะทำกำไร) ซึ่งหมายความว่าการโรลอัพที่พึ่งพาโทเค็นนั้นจะ น้อยลง ในทุกโอกาส สอดคล้องกับชั้นฐานทางเศรษฐกิจ

การยกเลิกตามจะใช้ประโยชน์จากผู้เสนอ L1 โดยตรงในฐานะตัวจัดลำดับที่ใช้ร่วมกัน โดยไม่ ต้องขึ้นอยู่กับฉันทามติภายนอก ของระบบซีเควนเซอร์ที่ใช้ร่วมกัน เช่น HotShot สำหรับ Espresso (และโทเค็นตัวกลางและ/หรือนโยบาย mev ที่มาพร้อมกับระบบ) ด้วยเหตุนี้จึงสืบทอดความเป็นกลางของชั้นฐานมากขึ้น

การทำงานร่วมกัน

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

การยืนยันล่วงหน้าอย่างรวดเร็ว (ตามลำดับ 100 มิลลิวินาที) เป็นเรื่องเล็กน้อยเมื่อใช้การจัดลำดับแบบรวมศูนย์ และสามารถทำได้โดยอาศัยความเห็นพ้องต้องกันของ PoS ภายนอก การยืนยันล่วงหน้าอย่างรวดเร็วด้วยการจัดลำดับ L1 สามารถทำได้ โดยการใช้ประโยชน์จาก EigenLayer, รายการรวม, SSLE และ mev-boost

ความเรียบง่าย

การจัดลำดับแบบพื้นฐานนั้นง่ายที่สุด ง่ายกว่าการจัดลำดับแบบรวมศูนย์อย่างมีนัยสำคัญ (แม้ว่าการยืนยันล่วงหน้าตามจะแนะนำความซับซ้อนบางอย่าง) การจัดลำดับแบบอิงไม่จำเป็นต้องมีการตรวจสอบลายเซ็นของซีเควนเซอร์ ไม่มี Escape Hatch และไม่มีความเห็นพ้องต้องกันกับ PoS ภายนอก

การจัดลำดับตาม (โดยไม่มี preconfs) กำลังทำงานบน testnets ในปัจจุบัน Taiko ที่เป็น Rollup ตัวแรก กำลังเตรียมการสำหรับ Mainnet และคาดว่าจะเริ่มใช้งานจริงในไตรมาสที่ 1 ปี 2024

สำนวนการขายตามแบบสะสม

มหาอำนาจอย่างหนึ่งของ Ethereum และความแตกต่างที่สำคัญเมื่อเปรียบเทียบกับเครือข่าย Solana หรือ Cosmos BFT คือความสามารถในการรักษาตัวเองหลังจากการหยุดชะงัก (ผลโดยตรงจากการรับประกันความมีชีวิตชีวา) การเน้นที่ ความพร้อมใช้งานแบบไดนามิก นี้ช่วยให้ชั้นฐานมีความยืดหยุ่นอย่างมากและเจริญเติบโตได้แม้ในสภาพแวดล้อมที่มีความขัดแย้งสูง ในความเป็นจริง การต่อต้านในสงครามโลกครั้งที่สาม เป็น เป้าหมายการออกแบบที่ชัดเจน

ในขณะที่ภูมิปัญญาที่มีอยู่ทั่วไปคือการออกแบบการรวมแรงช่วยให้โรลอัพสามารถใช้ประโยชน์จากความมีชีวิตชีวาของ L1 ได้ แต่ความจริงก็คือการโรลอัพที่ไม่ใช่แบบพื้นฐานประสบกับความมีชีวิตชีวาที่ลดลง (แม้จะมีช่องหลบหนี)

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

ด้วยเหตุนี้ พวกเขาจึงเสี่ยงที่เอฟเฟกต์เครือข่ายจะถูกรีเซ็ตเพื่อตอบสนองต่อทางออกจำนวนมากที่เกิดจากความล้มเหลวในการทำงานของซีเควนเซอร์ เช่น การโจมตี 51% บนกลไกการจัดลำดับ PoS แบบกระจายอำนาจ

แนวคิดหลักที่อยู่เบื้องหลังการโรลอัพแบบพื้นฐานคือการใช้การแยกตัวเสนอ L1 และตัวสร้างเพื่อรวม L2 blobs (รวมถึงการบีบอัดใดๆ) แทนที่จะใช้ซีเควนเซอร์ จากมุมมองนี้ พวกเขาสืบทอดทุกสิ่งที่ L1 นำเสนอ

การใช้งาน Arbitrum เริ่มต้นนั้นเป็นการยกเลิกแบบพื้นฐาน ซีเควนเซอร์ถูกนำมาใช้ในภายหลังเท่านั้นเนื่องจากความต้องการของผู้ใช้สำหรับการทำธุรกรรมที่รวดเร็วยิ่งขึ้น การยืนยันล่วงหน้า จะแก้ไขความตึงเครียดนี้ เมื่อ EigenLayer, inclusion list และ SSLE ใช้งานจริง (การมองไปข้างหน้าของผู้เสนอที่ยาวขึ้น) การสรุปแบบอิงจะสามารถสืบทอดคุณสมบัติความมีชีวิตชีวาและต้านทานการเซ็นเซอร์ของ L1 โดยไม่กระทบต่อประสบการณ์ของผู้ใช้

วิสัยทัศน์นี้ครอบคลุมและไม่สามารถแข่งขันกับภาพรวมและโมเดลรายได้ที่มีอยู่ได้ โดยเฉพาะอย่างยิ่ง การยกเลิกตามยังคงมีตัวเลือกสำหรับรายได้จากค่าธรรมเนียมความแออัดของ L2 (เช่น ค่าธรรมเนียมพื้นฐาน L2 ในรูปแบบของ EIP-1559) แม้ว่าอาจต้องสูญเสียรายได้ MEV บางส่วนก็ตาม

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

ข้อดีของการโรลอัปตาม

1. ต้นทุนที่ต่ำกว่า: การจัดลำดับแบบอิงจะมีค่าใช้จ่ายเป็นศูนย์ ไม่จำเป็นต้องตรวจสอบลายเซ็นจากซีเควนเซอร์แบบรวมศูนย์หรือแบบกระจายอำนาจด้วยซ้ำ ความเรียบง่ายของการจัดลำดับแบบพื้นฐานช่วยลดต้นทุนการพัฒนา ลดเวลาในการนำออกสู่ตลาด และการยุบพื้นที่ผิวสำหรับการจัดลำดับและหลบหนีข้อผิดพลาด
2. การวางแนวทางเศรษฐกิจ: ไม่จำเป็นที่จะต้องใช้โซลูชันมิดเดิลแวร์ที่มีโทเค็นของตัวเอง นอกจากนี้ MEV ที่เกิดจากการโรลอัพตามจะไหลไปยังฐาน L1 ตามธรรมชาติ กระแสเหล่านี้เสริมสร้างความมั่นคงทางเศรษฐกิจของ L1 และในกรณีของ MEV ที่ถูกเผา จะช่วยเพิ่มความขาดแคลนทางเศรษฐกิจของโทเค็นดั้งเดิมของ L1 การจัดแนวทางเศรษฐกิจที่แน่นแฟ้นกับ L1 นี้อาจช่วยให้การสรุปรวมสร้างความชอบธรรมได้
3. ความเป็นกลางและความมีชีวิตชีวาที่ดีขึ้น: การเรียงลำดับตามสืบทอดการกระจายอำนาจของ L1 และนำโครงสร้างพื้นฐานผู้ค้นหา-ผู้สร้าง-ผู้เสนอ L1 กลับมาใช้ใหม่ตามธรรมชาติ (ซึ่งทำให้เป็นกลางอย่างน่าเชื่อถือมากขึ้น) การจัดลำดับตามรับประกันความมีชีวิตชีวาเช่นเดียวกับ L1 (ตรงกันข้ามกับชุดรวมที่ไม่ได้อิงซึ่งประสบปัญหาความมีชีวิตชีวาที่ลดลง)
4. ความเรียบง่าย: การเรียงลำดับตามนั้นง่ายที่สุด ง่ายกว่าการจัดลำดับแบบรวมศูนย์อย่างมาก การจัดลำดับแบบอิงไม่จำเป็นต้องมีการตรวจสอบลายเซ็นของซีเควนเซอร์ ไม่มี Escape Hatch ไม่มีโทเค็น และไม่มีความเห็นพ้องต้องกันกับ PoS ภายนอก

ข้อเสียของการโรลอัพแบบพื้นฐาน

1. การสูญเสียรายได้ MEV: การโรลอัปที่อิงตามจะละทิ้ง MEV ไปที่ L1 โดยจำกัดรายได้ไว้ที่ค่าธรรมเนียมพื้นฐาน
   • ข้อโต้แย้งที่ 1: MEV เป็นเพียงส่วนเล็กๆ ของรายได้สะสมในปัจจุบัน เมื่อเทียบกับค่าธรรมเนียมการจราจรติดขัด สมเหตุสมผลที่จะจินตนาการว่าสิ่งนี้จะยังคงเป็นจริงต่อไป (เนื่องจากแอปเริ่มรับรู้ถึง mev มากขึ้น และเทคนิคการบรรเทาผลกระทบ เช่น การเข้ารหัสตามเกณฑ์ เริ่มแพร่หลายมากขึ้น) ด้วยเหตุผลเดียวกัน อาจเป็นไปได้ว่ารายได้ของ MEV ลดลงในอนาคต
   • ข้อโต้แย้งที่ 2: โดยรวมแล้ว การมีพื้นฐานที่แท้จริงอาจเพิ่มรายได้โดยรวมสำหรับการยกเลิก ภาพรวมภาพรวมมีแนวโน้มว่าผู้ชนะจะได้ประโยชน์มากที่สุด (เนื่องจากผลกระทบจากเครือข่ายที่แข็งแกร่งของความสามารถในการจัดองค์ประกอบแบบซิงโครนัส) และภาพรวมที่ชนะอาจใช้ประโยชน์จากความปลอดภัยที่ได้รับการปรับปรุง การกระจายอำนาจ ความเรียบง่าย และการจัดตำแหน่งของการรวบรวมตามเพื่อให้บรรลุความเหนือกว่าและเพิ่มรายได้สูงสุดในท้ายที่สุด
2. การแบ่งปันต้นทุนระหว่างโรลอัพทำได้ยากขึ้น: การจัดลำดับที่ใช้ร่วมกันภายนอกช่วยให้คุณ "ฟรี" ความสามารถใน การโพสต์ข้อมูลแบบแชร์ต้นทุน เช่น ซื้อ Blob เดียวเพื่อเก็บข้อมูลจากสอง Rollups ซึ่งจะช่วยลดต้นทุนเทียบกับการซื้อ Blob สองอันแยกกัน
   • ข้อโต้แย้ง: เป็นไปได้ที่ผู้เสนอ L1 สามารถแบ่งต้นทุนระหว่างการโรลอัพตามทั้งหมดที่จัดลำดับไว้ การก้าวไปอีกขั้นนี้ ยังเป็นไปได้ที่ผู้เสนอ L1 จะสามารถแชร์ต้นทุนกับบริการอื่นๆ รวมถึงเครื่องจัดลำดับที่ใช้ร่วมกันได้
3. ทรูพุตยังคงถูกจำกัดโดย L1: โรลอัพทั้งหมดแชร์ Ethereum L1 ร่วมกันและทรูพุตจำกัด ไม่ใช่ทั้งหมดที่สามารถบรรลุ tps ได้พร้อมกัน เนื่องจากข้อมูลเป็นแบบออนเชน
   • ข้อโต้แย้งที่ 1: สิ่งนี้เป็นจริงสำหรับการยกเลิกทั้งหมด หากการยกเลิกแบบพื้นฐานได้รับแรงฉุดอย่างมีนัยสำคัญ L1 ก็จะพัฒนาเพื่อให้ตรงกับข้อกำหนดของการยกเลิกแบบพื้นฐานในระดับหนึ่ง
   • ข้อโต้แย้งที่ 2: 4844 (คาดว่าในไตรมาสที่ 1 ปี 2024) จะแยกการกำหนดราคา DA ออกจากการแข่งขันเลเยอร์การดำเนินการ Ethereum กับ Danksharding สามารถปรับขนาดปริมาณงาน DA ให้สูงที่สุดเท่าที่แบนด์วิธอินเทอร์เน็ตจะอนุญาต
4. เครื่องสถานะที่ใช้ร่วมกันยังดีกว่าสำหรับอะตอมมิกซิตี: คุณยังไม่ได้รับการรับประกันอะตอมมิกซิตีแบบเดียวกับการทำธุรกรรมบนเครื่องสถานะที่ใช้ร่วมกัน (เช่น ทั้งหมดบน Ethereum L1) เนื่องจากผู้เสนอไม่ใช่ผู้ดำเนินการธุรกรรม
   • ข้อโต้แย้งที่ 1: ความสามารถในการประกอบแบบอะซิงก์ของอะตอมมีมากเกินไป
   • ข้อโต้แย้งที่ 2: หากอะตอมมิกซิตีพิสูจน์ได้ว่าต้องการในบริบทอะซิงก์ <a href="https://hackmd.io/@EspressoSystems/SharedSequencing#Cryptographically-guaranteed-cross-rollup-atomic-bundles">บันเดิลอะตอมมิก + <a href="https://hackmd.io/ @EspressoSystems/SharedSequencing#Cryptoeconomically-assured-cross-rollup-atomicity">การรับประกันด้าน cryptoeconomic น่าจะดีเพียงพอสำหรับการใช้งานส่วนใหญ่
5. Preconf แบบอิงนำมาซึ่งสมมติฐานด้านความน่าเชื่อถือเพิ่มเติม: เนื่องจากธุรกรรมที่ไม่ใช่แบบ preconf (จากภายในชุดรวมอัปเดต) จะถูกจัดคิวจนกว่าจะมีการคอมมิตช่อง preconf ถัดไป เว้นแต่ว่าผู้ตรวจสอบความถูกต้อง 100% จะมีส่วนร่วมในฐานะผู้ยืนยันล่วงหน้า การรับประกันความสดของชุดรวมอัปเดตแบบอิงด้วย preconf แบบอิงนั้นเคร่งครัด แย่กว่าการยกเลิกแบบพื้นฐานที่ไม่ได้ใช้ preconfs (และแย่กว่าเลเยอร์ฐานอย่างมาก)
   • ข้อโต้แย้งที่ 1: ในทางปฏิบัติ ความแตกต่างควรละเลย การกำหนดค่าล่วงหน้าแบบพื้นฐานจะเริ่มทำงานก็ต่อเมื่อคุณมีชุดเครื่องมือตรวจสอบความถูกต้อง 20-30% ที่เข้าร่วมเป็นผู้ยืนยันล่วงหน้า เนื่องจากเครื่องมือตรวจสอบ L1 ที่เพียงพอจะต้องเป็นผู้ประชุมล่วงหน้าเพื่อให้มีการประชุมล่วงหน้าอย่างน้อยหนึ่งครั้งใน lookahead ที่มีโอกาสสูง ปัจจุบัน บีคอนเชนมีผู้เสนออย่างน้อย 32 รายในการค้นหาล่วงหน้า ซึ่งหมายความว่าหาก 20% ของผู้ตรวจสอบความถูกต้องเป็นผู้ประชุมล่วงหน้า ก็จะมีการประชุมล่วงหน้าที่มีความน่าจะเป็นอย่างน้อย 1 - (1 - 20%)^32 data 99.92% หากผู้ตรวจสอบความถูกต้อง 30% ได้รับการประชุมล่วงหน้า ค่านี้จะเพิ่มขึ้นเป็น 1 - (1 - 30%)^32 data 99.999% หากคุณกังวลว่าจะมีการประชุมล่วงหน้าหรือการประชุมล่วงหน้าที่สุ่มออฟไลน์ คุณสามารถคำนวณได้ว่ามีการประชุมล่วงหน้าอย่างน้อย 2 หรือ 3 รายการ (หรือ n) รายการในการค้นหาล่วงหน้าสำหรับ % ที่กำหนดของผู้ตรวจสอบที่มีส่วนร่วมในฐานะการประชุมล่วงหน้า มี % ซึ่งต่ำกว่า 100 มาก ซึ่งความแตกต่างในการรับประกันความมีชีวิตชีวาไม่มีนัยสำคัญ (แม้ว่าตัวเลขที่แน่นอนอาจแตกต่างกันขึ้นอยู่กับคนที่คุณพูดคุยด้วย) นี่คือโลกที่นอกเหนือจากการพึ่งพาฉันทามติภายนอกเพื่อความมีชีวิตชีวา
   • ข้อโต้แย้งที่ 2: SSLE (การเลือกตั้งผู้นำลับเดี่ยว) จะช่วยให้มีการเพิ่มการมองล่วงหน้าอย่างมาก (เช่น 1,024 ช่อง) ซึ่งขจัดข้อกังวลนี้ได้อย่างมีประสิทธิภาพ โปรดทราบว่าภายใต้ SSLE preconfers สามารถโฆษณา (offchain และ onchain) การพิสูจน์ความรู้แบบศูนย์ พวกเขาเป็นผู้ preconfer ในช่องของตนโดยไม่ต้องเปิดเผยข้อมูลเพิ่มเติมเกี่ยวกับ pubkey ของ validator
   • ข้อโต้แย้งที่ 3: แม้ว่า SSLE จะแก้ไขปัญหานี้ แต่เราไม่จำเป็นต้องรอ SSLE ด้วยซ้ำ เนื่องจากเราสามารถเพิ่มการค้นหาล่วงหน้าของผู้เสนอได้อย่างอิสระ และง่ายกว่ามากที่จะทำเช่นนั้น

สรุป

การออกแบบโปรโตคอล Rollup นั้นคลุมเครือ ไม่มีระดับการกระจายอำนาจหรือการรักษาความปลอดภัยที่ "ถูกต้อง" ไม่สามารถกำหนดคุณสมบัติเช่นการต่อต้านการเซ็นเซอร์ได้อย่างละเอียดถี่ถ้วน

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

การโรลอัปที่มีการยืนยันล่วงหน้าอย่างรวดเร็วจะทดสอบสมมติฐานที่ว่านักพัฒนาแอปพลิเคชัน (และผู้ใช้ของพวกเขา) ให้ความสำคัญกับการใช้ประโยชน์จากความมีชีวิตชีวาของ Ethereum และพลังอำนาจที่เป็นกลางที่น่าเชื่อถืออย่างเต็มที่ หากพวกเขาสามารถทำได้ในลักษณะที่ไม่จำเป็นต้องเสียสละประสิทธิภาพ (ในกรณีนี้ คือ ความเร็วในการยืนยัน) .

ด้วย preconfs แบบพื้นฐาน การแลกเปลี่ยนระหว่างประสบการณ์ผู้ใช้จะละลายไป

ข้อสงวนสิทธิ์：

1. บทความนี้พิมพ์ซ้ำจาก [ <a href="https://hackmd.io/@sacha/based-rollup-thesis"> hackmd ] ลิขสิทธิ์ทั้งหมดเป็นของผู้แต่งต้นฉบับ [sacha ] หากมีการคัดค้านการพิมพ์ซ้ำนี้ โปรดติดต่อทีมงาน Gate Learn แล้วพวกเขาจะจัดการโดยเร็วที่สุด
2. การปฏิเสธความรับผิด: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงของผู้เขียนเท่านั้น และไม่ถือเป็นคำแนะนำในการลงทุนใดๆ
3. การแปลบทความเป็นภาษาอื่นดำเนินการโดยทีมงาน Gate Learn เว้นแต่จะกล่าวถึง ห้ามคัดลอก แจกจ่าย หรือลอกเลียนแบบบทความที่แปลแล้ว