ในบทความนี้เราจะค้นพบว่า nodo sequencer คืออะไร, ซึ่งเป็นส่วนประกอบที่สำคัญของระบบนิเวศของ rollup ของ Ethereum.
หน่วยงานโครงสร้างพื้นฐานนี้รับผิดชอบกระบวนการหลายอย่างที่นำข้อมูลการทำธุรกรรมที่ดำเนินการบน L2 ไปยัง L1 หลัก โดยทำหน้าที่เป็นจุดเชื่อมต่อ
การทำงานและระดับของการกระจายอำนาจของ sequencer มีผลโดยตรงต่อความปลอดภัย ความน่าเชื่อถือ และความต้านทานต่อการเซ็นเซอร์ของโซลูชันเหล่านี้
เรามาดูรายละเอียดทั้งหมดด้านล่างนี้
Summary
Sequencer คืออะไรและมีบทบาทอย่างไรในโลก EVM
ในภูมิทัศน์ของโซลูชันการปรับขนาดของ Ethereum, sequencer เป็นหน่วยงานที่จัดลำดับ ดำเนินการ และรวบรวมธุรกรรมนอกเครือข่ายก่อนที่จะเผยแพร่บนบล็อกเชนเลเยอร์-1 บทบาทหลักของมันคือการปรับปรุงความสามารถในการปรับขนาดและประสิทธิภาพของโซลูชันเลเยอร์ 2 เช่น rollup โดยลดต้นทุนของแก๊สและเร่งการสิ้นสุดของธุรกรรม
ในทางเทคนิคเรียกว่าปม, sequencer ประมวลผลธุรกรรมที่ดำเนินการบน rollup และรวบรวมไว้ใน “batch” ที่ถูกบีบอัด จากนั้นส่งข้อมูลเหล่านี้ไปยัง Ethereum ซึ่งจะถูกบันทึกอย่างเป็นทางการและเพิ่มเข้าไปในห่วงโซ่หลักที่รับผิดชอบด้าน ความปลอดภัย.
ขึ้นอยู่กับสถาปัตยกรรมของเลเยอร์-2, sequencer สามารถเป็นแบบรวมศูนย์หรือกระจายศูนย์ได้, และสามารถส่งผลกระทบต่อแง่มุมที่สำคัญเช่น ลำดับของธุรกรรม, data availability และความต้านทานต่อการเซ็นเซอร์.
ในกรณีของ Optimistic rollup เช่น Arbitrum และ Optimism, sequencer จะจัดลำดับ tx และเผยแพร่บน Ethereum โดยถือว่าเป็นทั้งหมดที่ถูกต้องเว้นแต่จะมีการโต้แย้ง ใน zk-rollup เช่น Starknet และ ZkSync, sequencer นอกจากจะประมวลผลธุรกรรมแล้วยังสร้างหลักฐานการเข้ารหัสที่ถูกตรวจสอบบน Ethereum สุดท้ายใน rollup ประเภท Validium เช่น ZkFair และ Rhino.fi, จะเกิดกระบวนการผสมผสานเนื่องจากข้อมูลถูกตรวจสอบบางส่วน off-chain
เป็นสิ่งสำคัญที่จะเน้นว่ารูปแบบนี้ถูกใช้โดย blockchain และโซลูชันการขยายตัวอื่น ๆ ด้วย แต่เพื่อหลีกเลี่ยงความสับสน ในบทความนี้เราจะมุ่งเน้นเฉพาะในโลก EVM เท่านั้น เพื่อความรู้ เราขอแจ้งให้ทราบว่า มีส่วนประกอบที่คล้ายคลึงกับ sequencer ในระบบนิเวศเช่น Cosmos, Avalanche Subnets, และ Celestia
กระบวนการทำงานของ sequencer ใน rollup ต่าง ๆ ของ Ethereum
เมื่อขุดลึกลงไปในงานต่าง ๆ ที่ดำเนินการโดย sequencer เราจะเห็นว่าพวกเขาจัดการวงจรชีวิตของธุรกรรมที่ดำเนินการภายใน rollup อย่างไร
เราสามารถจัดกลุ่มกระบวนการทำงานของพวกเขาได้ใน 3 ขั้นตอนพื้นฐาน: การรวบรวมและการจัดเรียงธุรกรรม, การดำเนินการและการเผยแพร่บน Ethereum.
1) การรวบรวมและการจัดเรียงธุรกรรม
ผู้ใช้ส่งธุรกรรมไปยัง sequencer แทนที่จะส่งตรงไปยัง L1 ซึ่ง sequencer จะจัดลำดับธุรกรรมในบล็อกตามกลยุทธ์การจัดลำดับที่กำหนด โดยทั่วไปใน rollup เราจะพบกลยุทธ์ “Auction-Based” ซึ่งมีการประมูลเพื่อกำหนดลำดับการดำเนินการ (ใครจ่าย fees มากกว่าจะมีสิทธิ์ก่อนและถูกจัดลำดับก่อน).
กลยุทธ์อื่น ๆ อาจเป็นประเภท “First Come First Served” ซึ่งธุรกรรมจะถูกยอมรับและประมวลผลตามลำดับที่มาถึง
2) การดำเนินการและการคำนวณสถานะ
หลังจากตัดสินใจลำดับของธุรกรรมแล้ว, sequencer จะดำเนินการธุรกรรมเหล่านั้นในเครื่อง, โดยอัปเดตสถานะของ rollup นอกเชน.
การดำเนินการนี้เป็นแบบกำหนดแน่นอนและปฏิบัติตามกฎที่กำหนดโดย smart contract ของ rollup บน L1 เพื่อให้มั่นใจในความสมบูรณ์ของการดำเนินการ
3) การผลิตแบบแบทช์และการเผยแพร่บน L1
ถึงจุดนี้ ธุรกรรมจะถูกรวมเป็นชุดและส่งไปยัง L1 Ethereum.,
Sequencer เผยแพร่เฉพาะข้อมูลที่จำเป็น (calldata) สำหรับ Data Availability (DA) เพื่อรับประกันว่า Ethereum สามารถสร้างสถานะ on-chain ขึ้นมาใหม่ได้เสมอ ขั้นตอนนี้ช่วยให้มั่นใจได้ว่าจะใช้ความพยายามทางคอมพิวเตอร์น้อยที่สุดเพื่อรักษาค่าธรรมเนียมของเครือข่าย L2 ให้ต่ำ
ขึ้นอยู่กับประเภทของ rollup ขั้นตอนทั้ง 3 นี้อาจแตกต่างกันมากหรือน้อยตามที่แสดงในตารางต่อไปนี้
| Tipo di Rollup | Raccolta Dati | Esecuzione | Pubblicazione su L1 |
| Optimistic Rollup (Arbitrum, Optimism) | ตัวจัดลำดับรวบรวมธุรกรรมที่ส่งโดยผู้ใช้. | ตัวจัดลำดับจัดเรียงและดำเนินการธุรกรรม จากนั้นเผยแพร่เป็นชุด. | ข้อมูลถูกโพสต์บนเชน และธุรกรรมได้รับการยอมรับหลังจากช่วงเวลาของการท้าทาย |
| ZK-Rollup (Starknet, zkSync) | ตัวจัดลำดับรวบรวมธุรกรรม สร้างชุดข้อมูลสำหรับการประมวลผล. | ตัวจัดลำดับดำเนินการธุรกรรมและสร้าง ZK-proof เพื่อแสดงความถูกต้อง. | การพิสูจน์ทางเข้ารหัสรับประกันความถูกต้องของธุรกรรม โดยไม่ต้องการการท้าทาย |
| Validium (StarkEx) | ตัวจัดลำดับรวบรวมข้อมูลธุรกรรมแต่เก็บไว้ off-chain. | ตัวจัดลำดับดำเนินการธุรกรรม off-chain และอัปเดตสถานะ. | ข้อมูลไม่ได้อยู่บนเชนทั้งหมด ลดค่าใช้จ่ายแต่มีความปลอดภัยน้อยกว่า rollup on-chain. |
ปัญหาการรวมศูนย์ของ sequencer
ในขณะนี้ sequencer ส่วนใหญ่บน Ethereum ยังคงมีการรวมศูนย์ เนื่องจากเกือบทุก rollup มีเพียงโหนดเดียวที่รับผิดชอบในการจัดการการเชื่อมต่อระหว่าง L2 และ L1 การกำหนดค่านี้มีความสำคัญในช่วง “Stage 0” ของ rollup ซึ่งจำเป็นต้องมีการประนีประนอมระหว่าง การกระจายศูนย์ และความสามารถในการขยายตัวเพื่อให้โครงสร้างพื้นฐานทั้งหมดทำงานได้อย่างมีประสิทธิภาพในช่วงการพัฒนาขั้นต้น
เมื่อเวลาผ่านไป, rollup มุ่งหวังที่จะกระจายอำนาจให้กับ sequencer ของตนเอง โดยการแนะนำโซลูชันใหม่ๆ สำหรับการแบ่งปันและการรวมกลุ่มของโหนด เพื่อเปลี่ยนไปสู่ขั้นตอน “Stage 1” และ “Stage 2”. อย่างไรก็ตาม ในขณะเดียวกัน การรวมศูนย์ของ sequencer มากเกินไป แม้จะเป็นช่วงเวลาที่จำกัด อาจสร้างปัญหาโครงสร้างที่ร้ายแรงให้กับเครือข่ายระดับสองที่เกี่ยวข้องได้
ก่อนอื่น การมอบหมายการควบคุมให้กับโหนดเดียวแนะนำ “single point of failure”: หาก sequencer ต้องเผชิญกับการโจมตี, ความล้มเหลวทางเทคนิค หรือ การบิดเบือน, โครงสร้างพื้นฐานทั้งหมดอาจถูกคุกคาม, นำไปสู่ความล่าช้าในการทำธุรกรรมหรือแม้กระทั่งการหยุดชะงักของบริการ. นอกจากนี้ การรวมศูนย์อำนาจนี้อาจเอื้อต่อ ความเสี่ยงของการเซ็นเซอร์ในการทำธุรกรรม, เนื่องจากผู้ดำเนินการเดียวจะมีความสามารถในการยกเว้นหรือจัดลำดับธุรกรรมใหม่อย่างตามอำเภอใจ, โดยใช้กลยุทธ์ MEV.
อีกแง่มุมที่สำคัญเกี่ยวกับ ความเชื่อมั่น: การขาดกลไกการตรวจสอบแบบกระจายทำให้ผู้ใช้ตรวจสอบอย่างอิสระได้ยากว่าการทำธุรกรรมได้รับการจัดการอย่างถูกต้องหรือไม่ ทั้งหมดนี้ส่งผลกระทบต่อหลักการของการกระจายอำนาจซึ่งเป็นพื้นฐานของปรัชญาของ Ethereum
การรวมศูนย์ของโหนดเป็นดาบสองคม: ตัวอย่างเชิงปฏิบัติของ layer-2 Linea.
การรวมศูนย์ของ sequencer มากเกินไปอาจกลายเป็น ดาบสองคม, ที่สามารถช่วยรักษาทั้งระบบนิเวศจากการล่มสลายได้อย่างแท้จริง แต่ในขณะเดียวกันก็สามารถนำไปสู่การเซ็นเซอร์เครือข่ายที่มีความเป็นอำเภอใจสูงได้
สิ่งที่เกิดขึ้นกับ layer-2 Linea ในเดือนมิถุนายนของปีที่แล้ว ระหว่างการแฮ็กและการโจมตีโปรโตคอล Velocore เป็นตัวอย่างที่ชัดเจน
ในโอกาสนั้น ระหว่างการโจมตีทางไซเบอร์ที่ DEX ทีมของ Consensys (ที่จัดการ rollup Linea) ได้ตัดสินใจหยุดการผลิตบล็อก, “ปิด” sequencer ของตนเอง ด้วยการทำเช่นนี้ เมื่อ chain แทบจะถูกแช่แข็ง ทีมของ Velocare สามารถควบคุมเหตุการณ์ได้ โดยแก้ไขช่องโหว่ของโค้ดที่พบ ในขณะเดียวกัน Consensys ได้เซ็นเซอร์ที่อยู่ของผู้โจมตี ทำให้ไม่สามารถสื่อสารกับ sequencer ได้ (ซึ่งเราจำได้ว่ามันยืนยันธุรกรรมและส่งไปยัง L1)
หาก sequencer ไม่ได้ดับลง จะมีผลกระทบทางเศรษฐกิจที่รุนแรงมาก โดยมีผลกระทบไม่เพียงแค่กับ Linea แต่ยังรวมถึง Ethereum ด้วย
กลุ่ม hacker อาจจะสามารถดึงเงินทุนออกจาก smart contract ที่มีช่องโหว่ได้มากขึ้น ซึ่งจะทำให้มูลค่าของสินทรัพย์ที่อิงกับ Linea ลดลงจนเป็นศูนย์ นอกจากนี้ ผู้โจมตีอาจจะสามารถเปลี่ยนแปลงสถานะของเครือข่าย ทำให้การตรวจจับและแก้ไขปัญหายากขึ้น
สิ่งนี้จะมีผลกระทบต่อโปรโตคอลอื่น ๆ DeFi ที่เชื่อมต่อกับ Linea ด้วย ทำให้ผู้ใช้หลายคนต้องเผชิญกับการชำระบัญชีหรือการสูญเสียที่ไม่สามารถย้อนกลับได้
เหตุการณ์การแฮ็กของ Velocore ทำให้ชุมชน Ethereum ต้องพิจารณาเกี่ยวกับ ความสมดุลที่ละเอียดอ่อนระหว่างความปลอดภัยและการกระจายอำนาจ ด้านหนึ่ง การแทรกแซงอย่างรวดเร็วของ Consensys ได้หลีกเลี่ยงหายนะทางการเงิน ปกป้องผู้ใช้และโปรโตคอลจากการสูญเสียอย่างมาก ในอีกด้านหนึ่ง การปิด sequencer และการเซ็นเซอร์ที่อยู่ของผู้โจมตีได้ก่อให้เกิดความกังวลเกี่ยวกับอำนาจรวมศูนย์ที่มากเกินไปที่ผู้ดำเนินการ layer-2 ถือครอง
