คำนำ

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 การมองโลกในแง่ดี ของส้อม

ปรับเปลี่ยนหลักๆ สองส่วน

1. แอสเซมบลีของบล็อก: mvm\l2 รับรหัสบริการเพิ่มตรรกะการประมวลผล ApplyTransactionToTip เพื่อตรวจสอบว่าซีเควนเซอร์ปัจจุบันควรประกอบบล็อกปัจจุบันหรือไม่

2. การเรียงลำดับธุรกรรม: แก้ไขรหัส 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. การสร้างลายเซ็นหลายลายเซ็น

2. คีย์การแชร์ต่อ

3. ลายเซ็นการสมัคร

4. ลบลายเซ็น

5. ให้การสนับสนุนสำหรับการใช้หลายลายเซ็นแบบอะซิงโครนัส

กระแสการประมวลผล

ระยะที่ 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