การกระจายอำนาจของเครื่องคัดแยกแบบโรลอัพ: การวิเคราะห์แนวโน้มเทคโนโลยีและโซลูชั่นที่ล้ำสมัย
คำนำ
Sequencer เป็นหนึ่งในองค์ประกอบหลักใน Rollup โซลูชันการขยาย Ethereum โดยมีหน้าที่รับผิดชอบในการเรียงลำดับธุรกรรมและดำเนินงานที่เกี่ยวข้อง เช่น การสร้างบล็อก การยอมรับธุรกรรม การเรียงลำดับธุรกรรม การดำเนินการธุรกรรม และการส่งข้อมูลธุรกรรม ด้วยการเพิ่มขึ้นอย่างต่อเนื่องของโซลูชันเลเยอร์ 2 บนเครือข่าย Ethereum และการพัฒนาระบบนิเวศที่แข็งแกร่ง โมเดลผลกำไรของเลเยอร์ 2 และปัญหาการรวมศูนย์ได้ดึงดูดความสนใจเพิ่มมากขึ้น โดยเฉพาะอย่างยิ่งใน Rollup วิธีการตระหนักถึงการกระจายอำนาจของเครื่องคัดแยกและกลไกการกระจายผลกำไรของเครื่องคัดแยกได้กลายเป็นประเด็นร้อนที่ทุกคนกังวล
เครื่องคัดแยกคืออะไร?
ซีเควนเซอร์ตามชื่อคือบทบาทที่รับผิดชอบในการเรียงลำดับธุรกรรม ในเครือข่าย Bitcoin ความรับผิดชอบในการสั่งซื้อธุรกรรมเป็นของนักขุด ในเครือข่าย Ethereum ความรับผิดชอบนี้ขึ้นอยู่กับการรวบรวมโหนด บทบาทเหล่านี้ไม่ได้รับการแก้ไข แต่กลไกที่เป็นเอกฉันท์ใช้เพื่อกำหนดว่าใครมีสิทธิ์เข้าร่วมในการดำเนินการธุรกรรมตามลำดับ
ปัจจุบัน โซลูชัน Rollup กระแสหลักส่วนใหญ่ใช้ซีเควนเซอร์เดี่ยวแบบรวมศูนย์ ธุรกรรมของผู้ใช้ในเลเยอร์ 2 (L2) จะเข้าสู่ Mem Pool ก่อน (ธุรกรรมไม่อยู่ในลำดับในขณะนี้) ซีเควนเซอร์จะเรียงลำดับและบีบอัดธุรกรรมเหล่านี้ให้เป็นชุดตามลำดับซึ่งจะส่งไปยังเลเยอร์ Data Availability (DA) ของ Ethereum
การรวมศูนย์ VS การกระจายอำนาจ
ภาพรวมของแทร็กตัวเรียงลำดับแบบกระจายอำนาจ
เครื่องคัดแยกแบบกระจายอำนาจสามารถใช้งานได้สองวิธี: วิธีแรกได้รับการพัฒนาโดยโครงการ Rollup และอีกวิธีหนึ่งได้รับความช่วยเหลือจากบริการของบุคคลที่สาม การใช้บุคคลที่สามเพื่อใช้ซีเควนเซอร์แบบกระจายอำนาจมักเรียกว่า Sequencing-as-a-Service
ปัจจุบัน มีหลายโครงการที่มุ่งเน้นไปที่โซลูชันเครื่องคัดแยกแบบกระจายอำนาจ รวมถึง Espresso, Astria, SUAVE, Radius เป็นต้น แม้ว่าเส้นทางการใช้งานจะแตกต่างกัน แต่เป้าหมายคือการปรับปรุงการกระจายอำนาจและความน่าเชื่อถือของเครื่องคัดแยก
เอสเพรสโซ
ภายใต้กลไกการเรียงลำดับของเครื่องคัดแยก Espresso ธุรกรรม L2 จะผ่านวงจรชีวิตต่อไปนี้โดยประมาณ:
การส่งธุรกรรม: ธุรกรรมผู้ใช้บนเครือข่ายเลเยอร์ที่สองจะถูกส่งไปยังเซิร์ฟเวอร์ Rollup ผ่านทาง API
การเรียงลำดับธุรกรรม: หลังจากที่ธุรกรรมเข้าสู่กลุ่มบันทึกแล้ว ตัวเรียงลำดับจะเรียงลำดับธุรกรรมผ่านการเลือกฉันทามติของ HotShot และรวมไว้ในบล็อก
การออกอากาศและการยืนยันธุรกรรม: ตัวเรียงลำดับจะออกอากาศธุรกรรมที่เรียงลำดับ และโหนดอื่น ๆ เข้าถึงฉันทามติผ่านฉันทามติของ HotShot จากนั้นสร้างบล็อก และธุรกรรมจะถูกดำเนินการ ในเวลาเดียวกัน กลไก soft Commitment ช่วยให้ยืนยันธุรกรรมได้อย่างรวดเร็ว
ความมุ่งมั่นของบล็อก: ซีเควนเซอร์ส่งและจัดเก็บความมุ่งมั่นของบล็อกที่มีธุรกรรมและใบรับรองฉันทามติ (QC: ใบรับรององค์ประชุม) ในสัญญาซีเควนเซอร์ L1 เพื่อพิสูจน์ว่าบล็อกถึงขั้นสุดท้ายแบบอ่อนผ่านฉันทามติ
การอัปเดตสถานะ: โหนด Rollup ที่ดำเนินการบล็อกจะส่งสถานะ Rollup ใหม่ไปที่ L1 ในกรณีของ zkRU (การยกเลิกความรู้แบบศูนย์) จำเป็นต้องมีใบรับรองความถูกต้อง ในขณะที่ในกรณีของ ORU (การยกเลิกการปรับให้เหมาะสม) จะเป็นช่วงที่ท้าทาย
การตรวจสอบสถานะ: สัญญาการยกเลิก L1 จะตรวจสอบความถูกต้องของการอัปเดตสถานะโดยการตรวจสอบ QC ที่ส่งโดยสัญญาซีเควนเซอร์
กระบวนการนี้สามารถเข้าใจง่ายและเข้าใจได้ดังนี้:
การเรียงลำดับธุรกรรมและการสร้างบล็อก: ในกลุ่มซีเควนเซอร์นั้น ซีเควนเซอร์จะถูกเลือกผ่านกลไกฉันทามติของ HotShot ซึ่งมีหน้าที่ในการเรียงลำดับธุรกรรม Rollup และรวมธุรกรรมเหล่านี้ไว้ในบล็อก
ฉันทามติและความมุ่งมั่นในการบล็อก: บล็อกจะต้องลงนามโดยโหนด Rollup อื่นๆ และบรรลุฉันทามติ (อย่างน้อย 2/3 ของโหนด HotShot เห็นด้วย) จึงจะเป็น "ขั้นสุดท้าย" จากนั้น คำมั่นสัญญาบล็อกที่เกี่ยวข้องและรูทสถานะ Rollup ใหม่จะถูกส่งไปยังเลเยอร์ฐาน L1 เพื่อตรวจสอบ
การยืนยันและการสิ้นสุดที่รวดเร็ว: "ขั้นสุดท้าย" ในราคาคือการอนุญาตให้ธุรกรรม Rollup ได้รับการยืนยันเร็วขึ้น ลดความล่าช้า และปรับปรุงประสบการณ์ผู้ใช้ อย่างไรก็ตาม ธุรกรรม Rollup ในท้ายที่สุดจะต้องได้รับการตรวจสอบโดยชั้นฐาน L1 (zkRU จำเป็นต้องตรวจสอบใบรับรองความถูกต้อง และ ORU ต้องรอสิ้นสุดระยะเวลาท้าทาย) หากไม่มีปัญหากับ L1 ในการตรวจสอบธุรกรรม ธุรกรรม Rollup ถือเป็นที่สิ้นสุดอย่างแท้จริง
การย้อนกลับที่เป็นไปได้: หากการตรวจสอบ L1 พบว่าธุรกรรมไม่ถูกต้อง บล็อก L2 ที่เกี่ยวข้องซึ่งถูกสร้างขึ้นจะต้องเผชิญกับการย้อนกลับ ดังนั้น "จุดสิ้นสุด" คือการอนุญาตให้ธุรกรรมได้รับการยืนยันอย่างรวดเร็ว และจุดสิ้นสุดคือการสืบทอดความปลอดภัยของ Ethereum
แอสเทรีย
Astria อยู่ในตำแหน่งที่จะให้บริการเครื่องคัดแยกแบบกระจายอำนาจที่เป็นสากลและไม่ได้รับอนุญาต โดยให้บริการเครื่องคัดแยกที่ใช้ร่วมกันแบบสำเร็จรูปสำหรับ Rollups ต่างๆ
กลไกการทำงาน
ซีเควนเซอร์แบบกระจายอำนาจของ Astria ทำงานคล้ายกับ Espresso Sequencer โดยมีวัตถุประสงค์เพื่อลดสิทธิพิเศษของซีเควนเซอร์ด้วยการกระจายอำนาจสิทธิ์ในการจัดลำดับธุรกรรม โดยเฉพาะอย่างยิ่ง Astria เสนอกลไกการหมุนเวียนสองกลไกสำหรับเครื่องคัดแยก:
การหมุนผู้นำ: นี่เป็นกลไกการหมุนอย่างง่ายที่จะหมุนเวียนผู้นำระหว่างซีเควนเซอร์ผ่านกฎหรือช่วงเวลาที่กำหนดไว้ล่วงหน้า ดังนั้นจึงกระจายอำนาจการเรียงลำดับ
Byzantine Fault Tolerance (BFT) Consensus Algorithm: นี่เป็นกลไกที่ซับซ้อนและปลอดภัยมากขึ้น ซึ่งช่วยให้สามารถบรรลุฉันทามติได้ต่อหน้าโหนดที่เป็นอันตราย ด้วยอัลกอริธึมนี้ ซีเควนเซอร์หลายตัวจะร่วมกันตัดสินใจเพื่อให้แน่ใจว่าระบบยังคงสามารถทำงานได้ตามปกติ เมื่อโหนดล้มเหลวหรือถูกโจมตีตามจำนวนที่กำหนด
การหมุนเวียนผู้นำ
ผู้คัดแยกที่ได้รับเลือกจะสร้างชุด และผู้คัดแยกในชุดจะผลัดกันเรียงลำดับธุรกรรมชุดสะสม วิธีการนี้จะหลีกเลี่ยงปัญหาของเครื่องคัดแยกเดี่ยวที่ผูกขาดสิทธิ์ในการจัดเรียงธุรกรรมเป็นเวลานาน และในระดับหนึ่งจะแก้ไขข้อกังวลที่ซ่อนอยู่เกี่ยวกับการเซ็นเซอร์ผู้ใช้อย่างต่อเนื่อง
อ่อนโยน
SUAVE เป็นโซลูชันซีเควนเซอร์ที่ใช้ร่วมกันแบบพลักแอนด์เพลย์แบบกระจายอำนาจที่พัฒนาโดย Flashbots ในฐานะแพลตฟอร์มสากล SUAVE สามารถจัดให้มีการจัดการพูลหน่วยความจำและฟังก์ชันการสร้างบล็อกแบบกระจายอำนาจสำหรับเครือข่าย L1/L2 ต่างๆ SUAVE Chain แตกต่างจากการออกแบบซีเควนเซอร์ที่ใช้ร่วมกันแบบดั้งเดิม โดยเป็นเชนที่เข้ากันได้กับ EVM ซึ่งใช้การจัดลำดับธุรกรรมผ่านกลไก "การเสนอราคา" แบบบล็อก
สถาปัตยกรรมที่นุ่มนวล
สถาปัตยกรรมของ SUAVE ประกอบด้วยองค์ประกอบหลัก 3 ส่วน ได้แก่ สภาพแวดล้อมที่เป็นสากล ตลาดการดำเนินการที่ดีที่สุด และการสร้างบล็อกแบบกระจายอำนาจ
สภาพแวดล้อมที่ต้องการ
สภาพแวดล้อมที่ต้องการของ SUAVE ครอบคลุมความต้องการที่หลากหลายตั้งแต่ธุรกรรมธรรมดาไปจนถึงเหตุการณ์ที่ซับซ้อน การกำหนดลักษณะธุรกรรมของผู้ใช้จะสะท้อนให้เห็นในกลุ่มหน่วยความจำในรูปแบบของธุรกรรม และสภาพแวดล้อมการกำหนดลักษณะจะทำหน้าที่เป็นพูลหน่วยความจำสาธารณะเพื่อรวมการกำหนดลักษณะเหล่านี้ สภาพแวดล้อมการตั้งค่าแบบสากลที่ SUAVE มอบให้ไม่เพียงแต่ทำให้การตั้งค่าของผู้ใช้แบบหลายเครือข่ายเปิดกว้างและโปร่งใส แต่ยังช่วยลดความไม่สมดุลของข้อมูลได้อย่างมีประสิทธิภาพ และบรรเทาปัญหา MEV แบบข้ามสายโซ่ได้ในระดับหนึ่ง
ตลาดการดำเนินการ
ตลาดการดำเนินการประกอบด้วยกลุ่มผู้บริหารที่รับผิดชอบในการฟังพูลหน่วยความจำของ SUAVE และแข่งขันกันเอง การแข่งขันผลักดันให้นักแสดงเหล่านี้มอบการดำเนินการที่ดีที่สุดตามความต้องการของผู้ใช้ ผู้ดำเนินการเหล่านี้ถือได้ว่าเป็นผู้เข้าร่วมที่ตระหนักถึงความต้องการของผู้ใช้ผ่านวิธี "การเสนอราคา" พวกเขาพยายามส่งคืน MEV ที่สร้างให้กับผู้ใช้ให้ได้มากที่สุดเท่าที่จะเป็นไปได้
การก่อสร้างบล็อกแบบกระจายอำนาจ
สุดท้ายนี้ ขึ้นอยู่กับข้อมูลการตั้งค่าที่รวบรวมไว้และเส้นทางการดำเนินการที่ดีที่สุด เครือข่ายการสร้างบล็อกแบบกระจายอำนาจจะบรรจุข้อมูลธุรกรรมเหล่านี้ลงในบล็อก เสร็จสิ้นกระบวนการทั้งหมดตั้งแต่การค้นพบธุรกรรม การเรียงลำดับไปจนถึงการสร้างบล็อก
รัศมี
Radius อยู่ในตำแหน่งที่เป็นเลเยอร์การสั่งซื้อที่ใช้ร่วมกันที่ไม่น่าเชื่อถือ แตกต่างจากกลไกการใช้งานของโซลูชันก่อนหน้านี้ Radius ทำให้แน่ใจว่ากระบวนการเรียงลำดับของธุรกรรม Rollup ไม่ต้องการความไว้วางใจด้วยการแนะนำ mempool ที่เข้ารหัส วิธีการนี้ช่วยขจัดปัญหา MEV และการตรวจสอบธุรกรรมของผู้ใช้ได้อย่างมีประสิทธิภาพ จึงรับประกันความเป็นธรรมและความโปร่งใสของธุรกรรม
แม้ว่าผู้สั่งซื้อแบบกระจายอำนาจตามกลไกฉันทามติเช่น Espresso และ Astria จะลดความเสี่ยงของ MEV และการเซ็นเซอร์ได้ในระดับหนึ่ง แต่บ่อยครั้งที่สิ่งเหล่านี้ต้องแลกมาด้วยค่าใช้จ่ายของความสามารถในการขยายเครือข่ายและประสิทธิภาพด้านเวลา ส่งผลให้เกิดความล่าช้าในการยืนยันธุรกรรม (เนื่องจากความจำเป็นในการสั่งซื้อธุรกรรมบรรลุฉันทามติ) . นอกจากนี้ แม้ว่าตัวเรียงลำดับเหล่านี้ทำงานในสภาพแวดล้อมแบบกระจายอำนาจ เนื่องจากข้อมูลธุรกรรมในพูลหน่วยความจำเปิดและโปร่งใส ตัวเรียงลำดับอาจยังเสี่ยงต่อการแย่งชิง MEV อย่างประสงค์ร้าย Radius แนะนำ mempool ที่เข้ารหัสเพื่อให้แน่ใจว่าเครื่องคัดแยกไม่สามารถมองเห็นข้อมูลการทำธุรกรรมที่เกี่ยวข้อง โดยมีจุดประสงค์เพื่อแก้ไขปัญหาพื้นฐานของเครื่องคัดแยกที่แย่งชิง MEV และเซ็นเซอร์ธุรกรรม
สถาปัตยกรรมเทคโนโลยี
สถาปัตยกรรมทางเทคนิคของ Radius แบ่งออกเป็นสี่ชั้นการทำงานหลัก ได้แก่ ชั้นการเรียงลำดับ (รัศมี) ชั้นการดำเนินการ (สะสม) ชั้นการชำระเงิน และชั้นความพร้อมของข้อมูล
การเรียงลำดับชั้น
ผู้ใช้ส่งธุรกรรม crypto และหลักฐานไปยังเครื่องจัดลำดับ
ซีเควนเซอร์จะตรวจสอบความถูกต้องของการพิสูจน์และธุรกรรมเหล่านี้
ซีเควนเซอร์จะเรียงลำดับธุรกรรมก่อนที่จะถอดรหัส
เครื่องคัดแยกจะสร้างบล็อก
ซีเควนเซอร์ส่งบล็อกที่สร้างขึ้นไปยังเลเยอร์การดำเนินการ Rollup
เลเยอร์การดำเนินการ
Rollup ได้รับบล็อกที่ส่งโดยซีเควนเซอร์และดำเนินธุรกรรมตามลำดับที่ระบุ
Rollup ส่งสถานะธุรกรรมและใบรับรองสถานะไปยังชั้นการชำระเงิน
ชั้นการตั้งถิ่นฐาน
ชั้นการชำระเงินมีหน้าที่รับผิดชอบในการรับและตรวจสอบสถานะและหลักฐานสถานะจาก Rollup เพื่อยืนยันความสมบูรณ์ของธุรกรรม
ชั้นการชำระเงินช่วยให้แน่ใจว่าการทำธุรกรรมเป็นไปตามลำดับที่ระบุโดยชั้นการสั่งซื้อ
ชั้นความพร้อมของข้อมูล
ชั้นความพร้อมใช้งานของข้อมูลมีหน้าที่รับผิดชอบในการจัดเก็บข้อมูลและรับรองความพร้อมใช้งานของข้อมูลนี้
กลไกการเข้ารหัสของ mempool - PVDE
Radius ใช้รูปแบบการเข้ารหัส "Practical Verifiable Delayed Encryption" (PVDE) โดยอิงจากการพิสูจน์ความรู้เป็นศูนย์เพื่อใช้พูลหน่วยความจำที่เข้ารหัส (mempool) กลไกนี้ช่วยให้แน่ใจว่าธุรกรรมยังคงถูกเข้ารหัสในระหว่างกระบวนการเรียงลำดับ ซึ่งจะเป็นการเพิ่มความปลอดภัยในการประมวลผลธุรกรรม
กระบวนการเฉพาะมีดังนี้:
ผู้ใช้ส่งธุรกรรม
ผู้ใช้สร้างปริศนาล็อคเวลาและคีย์สมมาตร
ผู้ใช้ใช้คีย์สมมาตรเพื่อเข้ารหัสธุรกรรม และธุรกรรมที่เข้ารหัสจะเข้าสู่พูลหน่วยความจำ (mempool)
ซีเควนเซอร์ประมวลผลธุรกรรม
ซีเควนเซอร์จะเรียงลำดับธุรกรรมที่เข้ารหัส แต่ไม่สามารถรับคีย์ถอดรหัสได้จนกว่าจะปลดล็อคปริศนาล็อคเวลา
ซีเควนเซอร์จะคำนวณข้อผูกพันในการสั่งซื้อและส่งข้อผูกพันไปยังชั้นการชำระก่อนที่จะปลดล็อคปริศนาล็อคเวลา คำสัญญานี้ใช้เพื่อตรวจสอบว่าตัวจัดลำดับส่งธุรกรรมไปยังเลเยอร์การดำเนินการ Rollup ตามลำดับ
เมทิส
Metis เป็นหนึ่งในเครือข่ายเลเยอร์ 2 แรกๆ ที่ใช้ตัวจัดลำดับ PoS แบบกระจายอำนาจ ซึ่งถือเป็นโมเดลที่สำคัญสำหรับการพัฒนาในอนาคต เทมเพลตนี้ไม่เพียงแต่ตระหนักถึงการกระจายอำนาจของเครื่องคัดแยกเท่านั้น แต่ยังมอบโซลูชันการรวบรวมเชิงบวกแบบกระจายอำนาจตาม PoS (Proof of Stake) ในเทมเพลตนี้ ตัวจัดลำดับ PoS แบบกระจายอำนาจของ Metis มีบทบาทหลักสามบทบาท: ผู้ดูแลระบบ ตัวจัดลำดับ และเลเยอร์ฉันทามติ PoS
ในโมเดล Rollup แบบดั้งเดิม แม้ว่า Sequencer ตัวเดียวจะสามารถประมวลผลธุรกรรมและข้อมูลได้อย่างมีประสิทธิภาพ แต่ก็ยังเน้นไปที่พลังและอาจก่อให้เกิดความเสี่ยงหลายประการ:
ความเสี่ยงในการปฏิบัติงาน: หาก Sequencer ล้มเหลวหรือถูกโจมตี การประมวลผลธุรกรรมในทั้งระบบจะถูกบล็อก
ความเสี่ยงในการเซ็นเซอร์: Sequencer มีความสามารถในการเลือกประมวลผลหรือปฏิเสธธุรกรรม ซึ่งอาจจำกัดผู้ใช้ในการเข้าถึงโปรโตคอลหรือบริการทางการเงินแบบกระจายอำนาจ (DeFi) เฉพาะเจาะจง
ความเสี่ยงในการจัดการ : Sequencer อาจจัดลำดับความสำคัญของธุรกรรมของตนเองในการเรียงลำดับธุรกรรม และได้รับผลประโยชน์ที่ไม่เหมาะสมโดยการเพิ่มค่าธรรมเนียมการทำธุรกรรม ซึ่งก็คือ Maximum Extractable Value (MEV)
เพื่อแก้ไขปัญหาเหล่านี้ Metis ได้ออกแบบกลุ่ม Sequencer แบบกระจายอำนาจ โดยที่โหนด Sequencer หลายโหนดร่วมกันทำให้การรวม การเรียงลำดับ และการดำเนินการธุรกรรมเสร็จสมบูรณ์ การออกแบบนี้รับประกันความยุติธรรมและความโปร่งใสของระบบ:
กลไกฉันทามติ: มากกว่าสองในสามของโหนด Sequencer จะต้องบรรลุฉันทามติเกี่ยวกับสถานะของแต่ละบล็อกใหม่ก่อนที่จะส่งชุดธุรกรรมไปยัง Ethereum mainnet (L1)
ลายเซ็นการประมวลผลแบบหลายฝ่าย (MPC): ก่อนที่จะส่งชุดธุรกรรมไปยัง L1 ความถูกต้องของชุดจะได้รับการตรวจสอบผ่านลายเซ็น MPC เพื่อให้มั่นใจในความถูกต้องของข้อมูล
ข้อดีของ Sequencer แบบกระจายอำนาจ:
การรักษาความปลอดภัยขั้นสูง: ด้วยการตัดสินใจร่วมกันโดยหลายโหนด ความเสี่ยงของความล้มเหลวในจุดเดียวจะลดลง และปรับปรุงความแข็งแกร่งและความปลอดภัยของเครือข่ายด้วย
ลดความเป็นไปได้ของการเซ็นเซอร์และการจัดการ: การมีอยู่ของ Sequencers หลายตัวทำให้โหนดเดียวจัดการหรือเซ็นเซอร์ธุรกรรมได้ยาก ปกป้องเสรีภาพในการทำธุรกรรมของผู้ใช้
ความเสถียรและความซ้ำซ้อน: รองรับการหมุน Sequencer อย่างราบรื่น ลดผลกระทบของข้อผิดพลาดหรือการหยุดชะงัก และปรับปรุงเสถียรภาพของเครือข่ายทั้งหมด
ในโมเดล Sequencer แบบกระจายอำนาจของ Metis แต่ละโหนดประกอบด้วยองค์ประกอบหลักหลายประการ:
L2 Geth (รวมถึง OP-Node): รับผิดชอบในการเรียงลำดับธุรกรรมและการประกอบบล็อก
โมดูลอะแดปเตอร์: ทำหน้าที่เป็นตัวกลางสำหรับการโต้ตอบกับโมดูลภายนอกอื่นๆ (ส่วนใหญ่เป็นโหนด PoS)
ผู้ส่งแบทช์ (ผู้เสนอ): รับผิดชอบในการสร้างแบทช์ธุรกรรมและส่งไปที่ L1 หลังจากได้รับการอนุมัติจากซีเควนเซอร์หลายราย
PoS Node: ประสานงานระหว่างเลเยอร์ Ethereum, ฉันทามติ และ Metis เพื่อให้แน่ใจว่าสินทรัพย์ถูกล็อคอย่างปลอดภัย และผู้ตรวจสอบจะได้รับรางวัล
ชั้นความสอดคล้อง: ประกอบด้วยโหนด Tendermint PoS ที่ทำงานขนานกับเครือข่ายหลัก Ethereum ทำให้มั่นใจถึงประสิทธิภาพในการดำเนินงานโดยไม่ขัดขวางกระบวนการของเครือข่ายหลัก
L2 Geth (รวมถึง OP-Node)
รหัสหลักคือhttps://github.com/MetisProtocol/mvm การมองโลกในแง่ดี ของส้อม
ปรับเปลี่ยนหลักๆ สองส่วน
แอสเซมบลีของบล็อก: mvm\l2 รับรหัสบริการเพิ่มตรรกะการประมวลผล ApplyTransactionToTip เพื่อตรวจสอบว่าซีเควนเซอร์ปัจจุบันควรประกอบบล็อกปัจจุบันหรือไม่
การเรียงลำดับธุรกรรม: แก้ไขรหัส op-node ดั้งเดิม และใช้โมดูลอะแดปเตอร์ของเลเยอร์ฉันทามติของ MPC เพื่อรับตำแหน่งของตัวจัดลำดับปัจจุบันที่สอดคล้องกับรายการการหมุนและความสูงของบล็อกเพื่อตรวจสอบว่าเป็นตัวจัดลำดับที่ถูกต้องในปัจจุบันหรือไม่
การหมุนซีเควนเซอร์
ข้อมูลการหมุนเวียนจะถูกจัดเก็บไว้ในสัญญา L2 MetisSequencerSet และข้อมูลจะถูกควบคุมโดยชั้นฉันทามติ (โหนด PoS)
ทุกยุคสมัย ชั้นฉันทามติจะอัปเดตข้อมูล Sequencer ลงนามใน MPC เริ่มต้นธุรกรรม และอัปเดตรายการ Sequencer ของสัญญา
แต่ละยุคจะผลัดกันให้บริการตามข้อมูลรายการ Sequencer ของสัญญา
การละเมิด: ไม่ตรงเวลาหรือมีการสร้างธุรกรรมที่ไม่ถูกต้อง (L2 TxID ที่เหมือนกันสองรายการ) เลเยอร์ PoS จะเลือก Sequencer ใหม่ {สร้างธุรกรรม ReselectSeqencer + ลายเซ็น MPC} และ Sequencer ใหม่จะเริ่มต้นธุรกรรมของ TxID ปัจจุบันใน L2 และในเวลาเดียวกัน Sequencer ใหม่จะ Sequencer จะได้รับการอัปเดตเป็นสัญญา MetisSequencerSet {ไม่มีกลไกการลงโทษ}
การอัปเดตที่ทริกเกอร์: เมื่อได้รับธุรกรรมปกติและถึงช่วงเวลาการหมุนเวียน ธุรกรรมปกติปัจจุบันจะถูกระงับ ธุรกรรมการอัปเดตสัญญา MetisSequencerSet.sol จะถูกดำเนินการ จากนั้นเลเยอร์ PoS จะเลือกซีเควนเซอร์ใหม่ที่จะดำเนินการปัจจุบัน การทำธุรกรรมปกติ
เข้าร่วม: สัญญา POS ใช้งานใน L1 ใครก็ตามที่จำนอง metis สามารถสมัครเป็นซีเควนเซอร์ได้ เมื่อถึงขีดจำกัดบนแล้ว ให้เข้าคิวรอ
รับ NFT
ห้ามถ่ายโอนโดยตรง คุณสามารถเปลี่ยนผู้ลงนามและโอน NFT ผ่านสัญญา LockingPool->updateSigner
tokenId ของ NFT สอดคล้องกับรหัสลำดับ
การแทนที่: เมื่อซีเควนเซอร์อยู่ในสถานะที่ไม่แข็งแรงเป็นเวลานาน มันจะถูกไล่ออกและแทนที่ด้วยตัวสำรอง
ล้มเลิก:
ทำลาย NFT
อัปเดต: เปลี่ยนผู้ลงนามและโอน NFT ผ่านสัญญา LockingPool->updateSigner
การเลือก: อัลกอริธึมการเลือกแบบสุ่มถ่วงน้ำหนัก
โมดูล MPC
รับผิดชอบในการจัดการวงจรชีวิตทั้งหมดของคีย์ที่มีลายเซ็นหลายลายเซ็น
การสร้างลายเซ็นหลายลายเซ็น
คีย์การแชร์ต่อ
ลายเซ็นการสมัคร
ลบลายเซ็น
ให้การสนับสนุนสำหรับการใช้หลายลายเซ็นแบบอะซิงโครนัส
กระแสการประมวลผล
ระยะที่ 1: แจ้งเตือนโหนด MPC เพื่อเตรียมพร้อม
สร้าง sessionID ตัวเลขสุ่มในเครื่อง
keyGenPrepare ใช้เครือข่าย p2p เพื่อถ่ายทอดข้อความไปยังโหนด MPC ทั้งหมด
หลังจากที่โหนด MPC แต่ละโหนดได้รับข้อความ keyGenPrepare จะเริ่มต้น goroutine การประมวลผลของตัวเอง
KeyId ขึ้นอยู่กับการตรวจสอบข้อมูลในเครื่อง (ข้อมูลอ้างอิงถึงว่าโมดูล TSS เก็บข้อมูล mpc ที่สอดคล้องกับ id หรือไม่)
หากมีข้อมูล READY อยู่ในสถานะแล้ว ข้อมูลจะถูกส่งคืนโดยตรงจากที่จัดเก็บข้อมูลโดยไม่ต้องดำเนินการ keyGen ต่อไป
หากมีข้อมูลที่มีสถานะ PENDING อยู่แล้ว ให้ส่งคืนข้อผิดพลาดเพื่อหลีกเลี่ยงการสร้างคีย์ที่ไม่สอดคล้องกันเนื่องจากการดำเนินการพร้อมกันของการเรียกการสร้างคีย์ที่แตกต่างกัน
สร้างช่องทางการสื่อสาร P2P
ส่งคืนข้อความ keyGenReady ไปยังโหนดเริ่มต้น
ขั้นตอนที่ 2: เริ่มกระบวนการ keyGen
โหนดเริ่มต้นรอรับข้อความ keyGenReady จากโหนดทั้งหมด
เมื่อโหนดเริ่มต้นได้รับข้อความ keyGenReady จากโหนดทั้งหมด โหนดจะออกอากาศข้อความ keyGenStart ไปยังโหนด MPC ทั้งหมดโดยใช้เครือข่าย p2p
หลังจากได้รับข้อความ keyGenStart แต่ละโหนด MPC:
สร้างอินสแตนซ์ LocalParty ในเครื่อง
เริ่มรับข้อมูลจากโหนดอื่น
แนวโน้ม
อนาคตของตัวเรียงลำดับบล็อคเชนเต็มไปด้วยการเปลี่ยนแปลงที่น่าตื่นเต้น ในขณะที่ระบบนิเวศบล็อกเชนยังคงมีการพัฒนาอย่างต่อเนื่อง ตัวจัดลำดับจะมีการเปลี่ยนแปลงที่สำคัญจากการรวมศูนย์ไปสู่โซลูชันที่มีการกระจายอำนาจ มีประสิทธิภาพ และปรับเปลี่ยนได้มากขึ้น การเปลี่ยนแปลงนี้มีความสำคัญอย่างยิ่งต่อการปรับปรุงประสิทธิภาพธุรกรรม ความสามารถในการปรับขนาด และความปลอดภัยในระบบนิเวศ Ethereum
การกระจายอำนาจเป็นปรัชญาหลักของสกุลเงินดิจิทัล กลไกทางเศรษฐกิจสามารถแก้ไขปัญหาการสะสมมูลค่าและการกระจายรายได้ผ่านเครือข่ายการคัดแยกที่ใช้ร่วมกัน เนื่องจากโครงสร้างโครงสร้างและการพัฒนาของซีเควนเซอร์มีความสมบูรณ์มากขึ้น เทคโนโลยีเหล่านี้จะกลายเป็นตัวเร่งที่มีประสิทธิภาพสำหรับการพัฒนาอุตสาหกรรมในอนาคต โดยขับเคลื่อนระบบนิเวศบล็อกเชนไปสู่ทิศทางที่เป็นนวัตกรรมและมีประสิทธิภาพมากขึ้น
อ้างอิง
https://docs.espressosys.com/sequencer
https://docs.theradius.xyz/
https://docs.astria.org/developer/tutorials/run-local-rollup-against-remote-sequencer
https://docs.metis.io/dev/decentralized-sequencer/overview
