ผู้เขียนต้นฉบับ: ทีมตรงข้าม – nanfengpo

ฉันทามติแบบผสมผสานบน PoS & PoW

native rollupเป็นโซลูชันการขยายแบบ 3 ชั้นที่ใช้ zk ซึ่งชั้นที่ 2 เป็นเชนที่เข้ากันได้กับ EVM และเป็นมิตรกับการโรลอัพ และเลเยอร์ที่ 3 ประกอบด้วย zkRollups หลายตัวที่ระบบสนับสนุนโดยกำเนิด (เรียกว่าการยกเลิกแบบเนทีฟ) เลเยอร์ 2 ได้ทำการปรับแต่งระดับระบบมากมายสำหรับ zkRollup เลเยอร์ 2 และเลเยอร์ 3 ในสถาปัตยกรรม 3 เลเยอร์นี้ใช้กลไกฉันทามติร่วมกันที่รวม PoS และ PoW:

Layer 2 

PoS: เลเยอร์ 2 จะใช้ PoS ของ ETH 2.0 และทำการปรับปรุงที่จำเป็น ดังนั้น Consensus Layer ของ Layer 2 จะมี Validator มากกว่า 100,000 คน ทุกคนสามารถเดิมพันโทเค็นเพื่อเป็นผู้ตรวจสอบได้ เครื่องมือตรวจสอบความถูกต้องเหล่านี้จะจัดเตรียมชั้นความพร้อมใช้งานของข้อมูลตาม EIP-4844 เพื่อรองรับแบทช์ที่ส่งโดยชุดค่าสะสมชั้นที่ 3 นอกจากนี้ PoS ของชั้นที่ 2 ยังพิสูจน์ได้และผู้ตรวจสอบความถูกต้องจะส่งหลักฐาน PoS ไปยังชั้นที่ 1 เป็นระยะๆ ผู้ตรวจสอบสามารถรับรางวัลการบล็อกและค่าธรรมเนียมน้ำมันของส่วนนี้ของ PoS

Layer 3   

PoS (Sequencer): นอกจากการเสนอบล็อกของเลเยอร์ 2 แล้ว ตัวตรวจสอบความถูกต้องยังเสนอบล็อกของเลเยอร์ 3 (นั่นคือชุดข้อมูล) ซึ่งหมายความว่าตัวตรวจสอบความถูกต้องยังเป็นตัวจัดลำดับของการยกเลิกดั้งเดิมในเลเยอร์ 3 ซีเควนเซอร์สามารถรับค่าธรรมเนียมการทำธุรกรรม

PoW (Prover): ตราบเท่าที่มีพลังการประมวลผลเท่ากับ zkp เครื่องมือตรวจสอบความถูกต้องใดๆ ก็สามารถกลายเป็นผู้พิสูจน์การยกเลิกแบบเนทีฟได้ Prover สร้างการพิสูจน์ zk สำหรับการรวมเนทีฟของเลเยอร์ 3 แต่ละรายการ สำหรับแต่ละบล็อกของเลเยอร์ 3 ที่ส่งโดยซีเควนเซอร์ ผู้พิสูจน์จะแข่งขันตามกฎของ PoW และผู้พิสูจน์ที่ส่งหลักฐาน zk ก่อน จะได้รับรางวัลบล็อกของเลเยอร์ 3

เกี่ยวกับกลไกฉันทามติแบบกระจายอำนาจของการยกเลิกแบบเนทีฟ

ต่อไปนี้จะแนะนำกลไกฉันทามติแบบกระจายอำนาจของการยกเลิกแบบเนทีฟในเลเยอร์ 3 โดยละเอียด

Sequencer 

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

แม้ว่าการยกเลิกแบบเนทีฟจะไม่มีธุรกรรมในช่วงระยะเวลาหนึ่ง ซีเควนเซอร์ต้องส่งบล็อกการยกเลิก ในขณะนี้ บล็อกของการยกเลิกว่างเปล่า

รายได้ของซีเควนเซอร์คือค่าธรรมเนียมการทำธุรกรรมในแต่ละบล็อกการยกเลิกแบบเนทีฟที่ส่งโดยซีเควนเซอร์ โปรดทราบว่าค่าธรรมเนียมการทำธุรกรรมทั้งหมดในการยกเลิกแบบเนทีฟจะชำระด้วยโทเค็นเลเยอร์ 2 (IDE) ดังนั้น ยิ่งธุรกรรมสะสมรวมชุดโดยซีเควนเซอร์มากเท่าไหร่ ก็จะยิ่งสร้างรายได้มากขึ้นเท่านั้น

เมื่อซีเควนเซอร์บรรจุบล็อกการยกเลิกบนห่วงโซ่ บล็อกการยกเลิกจะเข้าสู่สถานะสุดท้าย ดังนั้นเวลาที่ต้องใช้ในการยืนยันขั้นสุดท้ายของบล็อกจะเท่ากับเวลาของชั้นที่ 2

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

Prover

ไม่เหมือนกับซีเควนเซอร์ที่ต้องเป็นตัวตรวจสอบความถูกต้องของบล็อกเลเยอร์ 2 ปัจจุบัน ตัวพิสูจน์สามารถเป็นตัวตรวจสอบความถูกต้องของเลเยอร์ 2 ตราบเท่าที่ตัวตรวจสอบความถูกต้องมีพลังในการคำนวณ zkp ก็สามารถเรียกได้ว่าเป็นตัวพิสูจน์ของการยกเลิกแบบเนทีฟใดๆ

ผู้พิสูจน์เหล่านี้แข่งขันกันผ่าน PoW คนแรกที่แสดงหลักฐานที่ถูกต้องของบล็อกการยกเลิกจะสามารถรับรางวัลบล็อกที่เกี่ยวข้องได้ โปรดทราบว่ารางวัลบล็อกการยกเลิกแบบเนทีฟทั้งหมดจะจ่ายด้วยโทเค็นเลเยอร์ 2 (IDE) IDE ส่วนนี้เป็นรางวัลของส่วน PoW ของเลเยอร์ 2 และระบบจะปรับจำนวนรางวัลของ PoW โดยอัตโนมัติตามความสมดุลของอุปสงค์และอุปทานของกำลังการประมวลผล zkp

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

สรุป

สรุป

ด้วยกลไกฉันทามติแบบไฮบริดของ PoS & PoW เลเยอร์ 2 และเลเยอร์ 3 จะมีเลเยอร์ฉันทามติและชุดตัวตรวจสอบความถูกต้องเหมือนกัน ซึ่งรับประกันความปลอดภัยและการกระจายอำนาจของสถาปัตยกรรมทั้งหมด ที่สำคัญกว่านั้น Native Rollup ของเลเยอร์ 3 แต่ละอันมีโซลูชันแบบกระจายศูนย์ที่เป็นมาตรฐานบนสถาปัตยกรรมพื้นฐาน เลเยอร์ 2 กำหนดสัญญาระบบแบบรวม นักพัฒนา Rollup จำเป็นต้องติดตั้งอินเทอร์เฟซมาตรฐานเหล่านี้และลงทะเบียนสล็อต Rollup เป็นค่าสะสมดั้งเดิมเท่านั้น ด้วยวิธีนี้ นักพัฒนาสามารถให้ความสำคัญกับการทำให้เป็นจริงของตรรกะทางธุรกิจ โดยไม่ต้องสนใจว่าเลเยอร์ 2 และเลเยอร์ 3 โต้ตอบกันอย่างไรที่ระดับสถาปัตยกรรมพื้นฐาน และไม่จำเป็นต้องบำรุงรักษาโหนดแบบเต็มแบบสะสมและพลังการประมวลผล zkp