• ส่งต่อชื่อเดิม：การรวมการกระจายอำนาจ: การวิเคราะห์โซลูชันซีเควนเซอร์แบบกระจายอำนาจของ Aztec

บทนำ: นับตั้งแต่ Rollup มีชื่อเสียง การกระจายอำนาจของ Sequencer เป็นจุดสนใจของชุมชน Ethereum/Celestia มาโดยตลอด และยังเป็นภูเขาที่ยากจะก้าวข้ามในงานพัฒนา Layer2 ในเรื่องนี้ แผน Rollup ที่แตกต่างกันได้เสนอแนวคิดสำหรับการกระจายอำนาจของโหนด ซึ่งให้จินตนาการที่หลากหลายมากสำหรับหัวข้อนี้

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

ข้อเสนอ B52: โครงการซีเควนเซอร์ที่ไม่ได้รับอนุญาต

ข้อเสนอ B52 ตั้งใจที่จะบรรลุเป้าหมายต่อไปนี้ (ตามอุดมคติ):

1. เครือข่ายซีเควนเซอร์แบบกระจายอำนาจ โดยมีโหนด L2 เลือกผู้เสนอสำหรับแต่ละรอบ

2. เครือข่ายโปรเวอร์แบบกระจายอำนาจ โดยมีความต้องการฮาร์ดแวร์ต่ำสำหรับโหนดโปรเวอร์

3. Rollup มีความต้านทานการเซ็นเซอร์ที่ยอดเยี่ยมโดยรวม

4. ค่า MEV ที่สร้างบน L2 นั้นได้มาจากโหนด L2

5. เมื่อส่งบล็อก L2 ไปยังเลเยอร์ DA จะได้ขั้นสุดท้ายที่ค่อนข้างมีประสิทธิผล สุดท้ายที่ไม่สามารถย้อนกลับได้จะต้องส่งหลักฐานความถูกต้องให้เสร็จสิ้น

6. โทเค็น L2 สามารถมีแบบจำลองโทเค็นที่เหมาะสมได้

7. ทั้งข้อมูลบล็อก L2 และข้อมูลธุรกรรมได้รับการเผยแพร่ในเครือข่าย p2p ของ L2

8. L2 สืบทอดการรักษาความปลอดภัยของ L1

(ข้อเสนอ B52 ถือว่าโครงสร้าง Rollup ผู้เสนอคือซีเควนเซอร์เป็นหลัก)

แผนนี้แบ่งกระบวนการผลิตบล็อก L2 ทั้งหมดออกเป็นสามขั้นตอน:

หน้าต่างข้อเสนอบล็อก (BPW) หน้าต่างการยอมรับบล็อก (BAW) ความก้าวหน้าของรัฐ

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

(บล็อกแผนภาพกระบวนการหน้าต่างข้อเสนอ)

ขั้นตอน Block Proposal (BP): ใครก็ตามที่อยู่ในขั้นตอนสามารถรวบรวมธุรกรรมและเผยแพร่เนื้อหา BP ของตนเองได้ เนื้อหา BP จะประกอบด้วยสามส่วน: แฮชคำสั่ง txs เปอร์เซ็นต์รางวัลของโปรเวอร์ และจำนวนโทเค็นการเบิร์น

แฮชลำดับ txs: ผู้เสนอเลือกชุดธุรกรรมที่มีค่าที่สุดจากกลุ่มธุรกรรม L2 (mempool) เรียงลำดับ จากนั้นวางค่าแฮชของธุรกรรมเหล่านี้ลงในบล็อกที่พวกเขากำลังสร้าง เปอร์เซ็นต์รางวัลของโปรเวอร์: เปอร์เซ็นต์ของรางวัลบล็อคที่ซีเควนเซอร์แบ่งปันกับโปรเวอร์ จำนวนโทเค็นการเบิร์น: ปริมาณของโทเค็นดั้งเดิม L2 ที่ผู้เสนอเสนอให้เบิร์น จากนั้นจะส่ง BP ไปยังเครือข่าย L2 p2p

บล็อกขั้นตอนการลงคะแนนเสียง:

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

โหวต={BlockHash, Index of Proof Tree}

BlockHash คือแฮชของข้อเสนอที่ Prover ต้องการลงคะแนนให้ และ Index of Proof Tree คือค่าดัชนีใบไม้ของ Proof Tree ที่ Prover ต้องการมีส่วนร่วมในการสร้าง (จะอธิบายในภายหลัง)

การรวมกลุ่ม: ผู้เสนอรวบรวมคะแนนเสียงจาก Provers ใน BP ในเครือข่าย L2 p2p รวบรวมคะแนนเหล่านั้นและนำไปไว้ใน BP และส่งคะแนนไปที่ L1 (โดยทั่วไปแต่ละ BP จะมีบันทึกการลงคะแนนที่เกี่ยวข้องกับตัวมันเองเท่านั้น)

ที่นี่ จำเป็นต้องเน้นย้ำถึงข้อกำหนดเบื้องต้นสำหรับการเลือก BP และรวมไว้ในบัญชีแยกประเภท Rollp:

มีคะแนนสูงสุด:

คะแนน(y) = NUM_PROVERS (x)^3 * BURN_BID(z)^2`

NUM_PROVERS (x) คือจำนวนคะแนนโหวตของ Prover ที่ BP นี้ได้รับ และ BURN_BID คือจำนวนโทเค็น L2 ที่เสนอให้เผาโดย BP นี้ เนื่องจากยิ่ง BURN_BID สูง ผู้เสนอ BP จะได้รับผลตอบแทนน้อยลงในที่สุด ดังนั้นควรตั้งค่านี้อย่างเหมาะสม

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

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

โครงการ B52 ต้องการเพียงผู้เสนอ (ซีเควนเซอร์) เพื่อระบุจำนวนโทเค็นการเบิร์นใน BP ของตนเอง (คล้ายกับวิธี EIP1559) โดยไม่ต้องเดิมพันโทเค็นล่วงหน้า ซึ่งสามารถทำให้เครือข่ายไม่ได้รับอนุญาตมากขึ้น (ไม่มีการอนุญาตการรับเข้า) และ ยังเอื้อต่อภาวะเงินฝืดของ Token ดั้งเดิมของ L2 อีกด้วย

นอกจากนี้ BP ยังไม่มีข้อมูลธุรกรรมที่สมบูรณ์ แต่มีเพียงแฮชของลำดับธุรกรรมเท่านั้น ซึ่งคล้ายกับโครงการ PBS ของ Ethereum โดยมีจุดมุ่งหมายเพื่อหลีกเลี่ยงไม่ให้ MEV ถูกแอบดูและยึดครองโดยผู้เสนอรายอื่น

คำอธิบายโดยละเอียดของหน้าต่างการยอมรับการบล็อก:

(แผนผังของหน้าต่าง Block Acceptance เขียนเป็น Proof Acceptance ในภาพ)

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

สมมติว่าบล็อก Aztec มีปริมาณธุรกรรม 2^13=16,384 รายการ และมีผู้พิสูจน์ 2,048 คน จากนั้นผู้พิสูจน์แต่ละคนจะสร้างแผนผังย่อยที่ประกอบด้วย 2^3=8 ธุรกรรม จากนั้นผู้พิสูจน์จะออกอากาศแผนผังย่อยที่สร้างขึ้นไปยังเครือข่าย L2 p2p หลังจากได้รับแล้ว ผู้เสนอจะรวมแผนผังย่อยทั้งหมดเข้าไว้ในบล็อกปรู๊ฟ

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

คำอธิบายโดยละเอียดเกี่ยวกับความก้าวหน้าของรัฐ:

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

ข้างต้นคือโครงการ B52 ของ Aztec อย่างไรก็ตาม ผู้เขียนบทความนี้เชื่อว่าข้อเสนอ B52 อาจมีปัญหาที่อาจเกิดขึ้น:

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

ตามคำอธิบายของข้อเสนอ เป็นที่ยอมรับได้สำหรับบล็อกที่ไม่มีหลักฐานความถูกต้องของธุรกรรมที่สมบูรณ์ สิ่งนี้ไม่สมเหตุสมผลจริงๆ เนื่องจาก: zkrollup ประกาศสถานะใหม่ที่สอดคล้องกับบล็อกนี้ให้ถูกต้องเฉพาะเมื่อมีการให้หลักฐานความถูกต้องเท่านั้น

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

ดังนั้น ในเวลานี้ วิธีที่เหมาะสมควรเข้าสู่หน้าต่างการยอมรับบล็อกที่รออย่างไม่มีที่สิ้นสุด จนกว่าจะส่งหลักฐานธุรกรรมทั้งหมด

ปัญหาที่ 2: สมมติว่าบล็อกที่มีคะแนนสูงสุดเป็นบล็อกที่ผิดกฎหมาย (ประเด็นนี้ไม่ได้อธิบายไว้ในแผน B52) BP มีเพียงแฮชของลำดับธุรกรรม ดังนั้นผู้เสนอที่เป็นอันตรายจึงจงใจสร้างธุรกรรมที่มีปัญหา เช่น ธุรกรรมการใช้จ่ายซ้ำซ้อน ในเวลานี้ จำเป็นต้องเพิ่มฟังก์ชันให้กับสัญญา L1 ที่อนุญาตให้ใครก็ตามส่งหลักฐานที่ผิดกฎหมายได้ หลักฐานที่ผิดกฎหมายนี้ใช้เพื่อพิสูจน์ว่าคะแนน BP สูงสุดนั้นเป็นบล็อกที่ผิดกฎหมาย

รายงานประเภทนี้ควรได้รับรางวัลด้วย เราสามารถมอบโทเค็นการเบิร์นทั้งหมดที่ผู้เสนอส่งไปยังสัญญาเพื่อเป็นรางวัลให้กับโหนดที่ส่งหลักฐานที่ผิดกฎหมาย

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

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

ความสำคัญของข้อเสนอ B52 ในแง่ของการกระจายอำนาจแบบ Rollup: ผู้เสนอมีการกระจายอำนาจและไม่จำเป็นต้องมีคำมั่นสัญญา และอุปสรรคในการเข้าต่ำ อย่างไรก็ตาม เนื่องจากจำเป็นต้องสร้างบล็อกที่มีค่าที่สุดด้วยตัวเอง เช่นเดียวกับการรวบรวมคะแนนเสียงจากผู้พิสูจน์คนอื่นๆ และการรวบรวมการพิสูจน์ทั้งหมด เกณฑ์ฮาร์ดแวร์ของผู้เสนอจึงไม่ต่ำเท่าที่อธิบายไว้ในข้อเสนอ (เช่น แบนด์วิดท์อาจไม่ ต่ำมาก).

ดังนั้นในที่สุดมันจะกลายเป็นเครือข่ายแบบรวมศูนย์มากขึ้น คล้ายกับ Mev-Boost Builder เพราะผู้เสนอที่สามารถสร้างบล็อกได้ในที่สุดมักจะเป็น Block Builder ที่สามารถจับ MEV ได้ดีที่สุด

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

ความมีชีวิตชีวา: ความมีชีวิตชีวาของเครือข่ายโดยรวมนั้นดี เนื่องจาก L2 มีเครือข่าย p2p ของตัวเองเพื่อออกอากาศธุรกรรมและการลงคะแนน/BP และทั้ง Sequencer และ Prover นั้นมีการกระจายอำนาจค่อนข้างมาก แต่เราจำเป็นต้องแก้ไขปัญหาสองข้อที่กล่าวมาข้างต้น หนึ่งคือบล็อกที่ให้คะแนนสูงสุดจะต้องเป็นบล็อกที่ถูกกฎหมาย และอย่างที่สองคือเราต้องรอให้ส่งหลักฐานบล็อกที่สมบูรณ์ไปยัง L1 ก่อนที่จะเข้าสู่สถานะใหม่ ดังนั้นจึงจำเป็นต้องมีกลไกจูงใจที่มีประสิทธิผลมากขึ้นเพื่อหลีกเลี่ยงไม่ให้เครือข่าย Rollup ทั้งหมดทำงานล้มเหลวตามปกติ (หยุด) เนื่องจากขาดหลักฐาน tx บางประการ

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

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

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

สืบทอดความปลอดภัย L1: เนื่องจาก L2 อัปเดตสถานะโดยการส่งหลักฐานความถูกต้อง จึงสามารถรับสืบทอดความปลอดภัยของ L1 ได้

ข้อเสนอ Fernet: ขอแนะนำ VDF สำหรับการคัดเลือกผู้เสนอ

ภาพรวมของโครงการ Fernet: การใช้ VDF ภายในแต่ละรอบการสร้างบล็อก คะแนนที่คาดการณ์ไว้จะถูกกำหนดให้กับโหนดต่างๆ ภายในคณะกรรมการ (การรวบรวมโหนดของ Sequencer) และบล็อกที่เสนอโดย Sequencer ที่มีคะแนนสุดท้ายสูงสุดจะกลายเป็นบล็อกที่ถูกต้อง

ประการแรก จะเข้าร่วมคณะกรรมการได้อย่างไร? โดยพื้นฐานแล้ว จะต้องมีการปักหลัก 16 ETH บน L1 จากนั้นหลังจากกระบวนการปักหลักเสร็จสิ้น ให้รอ 4 บล็อก L1 ก่อนที่จะเข้าร่วมคณะกรรมการ Sequencer สำหรับการออกจาก Sequencer Committee เราต้องเรียกใช้ฟังก์ชัน Unstake ในสัญญา L1 หลังจากนั้นจะใช้เวลา 3 วันในการเรียกคืนจำนวนเงินเดิมพันที่เหลืออยู่

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

การคำนวณ VDF สำหรับซีเควนเซอร์เป็นดังนี้:

คะแนน = VDF (คีย์ส่วนตัว อินพุตสาธารณะ)

อินพุตสาธารณะ = { current block number , randao }

randao เป็นตัวเลขสุ่มที่ใช้เพื่อป้องกันไม่ให้ Sequencers คำนวณคะแนน VDF ก่อนเวลาอันควรสำหรับความสูงของบล็อกในอนาคตทั้งหมด

กระบวนการทั้งหมดของ Fernet ส่วนใหญ่แบ่งออกเป็นสามขั้นตอน:

1. ข้อเสนอระยะที่ 2 การพิสูจน์ระยะที่ 3 การสรุปผล

ระยะข้อเสนอ: PROPOSAL_PHASE_L1_BLOCKS = 2 บล็อก Ethereum (ระยะนี้จะคงอยู่เป็นเวลา 2 L1 บล็อก)

เมื่อเริ่มต้นระยะนี้ แต่ละซีเควนเซอร์จะคำนวณคะแนน VDF ของตัวเองที่ความสูงของบล็อกปัจจุบัน หาก Sequencer เชื่อว่าคะแนน VDF มีแนวโน้มที่จะได้รับสิทธิ์ในการผลิตบล็อกของบล็อกนี้ (โดยสมมติว่าคะแนนเป็นไปตามการแจกแจงแบบปกติ) ก็จะส่งข้อเสนอไปยังสัญญาการยกเลิก L1 ข้อเสนอประกอบด้วย: แฮชของลำดับธุรกรรม ซึ่งชี้ไปที่บล็อก L2 ก่อนหน้า

บล็อกที่ไม่ได้รับการพิสูจน์: บล็อกที่ส่งข้อเสนอไปยังเนื้อหาบล็อกสัญญา Rollup เท่านั้น จากนั้น ซีเควนเซอร์จำเป็นต้องส่งเนื้อหาบล็อกที่สอดคล้องกับบล็อกที่ยังไม่พิสูจน์และการพิสูจน์ VDF ไปยังเครือข่าย L2 p2p

เฟสพิสูจน์: PROVING_PHASE_L1_BLOCKS= 50 L1 บล็อก (เฟสนี้จะคงอยู่สำหรับ 50 L1 บล็อก ประมาณ 10 นาที)

Prover ได้รับธุรกรรมทั้งหมดที่สอดคล้องกับเนื้อหาบล็อกจากเครือข่าย L2 p2p และสร้างหลักฐานสำหรับบล็อกด้วยคะแนน VDF ที่สูงกว่า การสร้างหลักฐานยังใช้วิธีการของผู้พิสูจน์อักษรหลายรายที่ให้ความร่วมมือแบบคู่ขนาน (คล้ายกับโครงการ B52)

ดังนั้น Sequencer จึงต้องรวม Proofs ของธุรกรรมที่แตกต่างกันหลายรายการไว้ใน Block Proof (รวมถึง VDF Proof) ในที่สุด และส่งไปยังสัญญา L1 Rollup ใครๆ ก็สามารถส่งเนื้อหาที่ถูกบล็อกที่ได้ส่งหลักฐานการบล็อกไปยังสัญญา Rollup แล้ว

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

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

กลไกการสร้างบล็อกไปป์ไลน์: เป็นที่น่าสังเกตว่า Fernet ใช้กลไกการสร้างบล็อกไปป์ไลน์ เมื่อช่วงข้อเสนอของบล็อก N สิ้นสุดลง ข้อเสนอสำหรับบล็อก N+1 จะเริ่มต้นขึ้น (คล้ายกับสิ่งที่ Aptos และเครือข่ายสาธารณะอื่นๆ ทำ) อย่างไรก็ตาม สำหรับบล็อก N+1 จะต้องรอให้บล็อก N เสร็จสิ้นก่อนจึงจะสามารถส่งธุรกรรมบล็อกสุดท้ายของ L1 และได้รับการตรวจสอบเพื่อให้กลายเป็นบล็อกสุดท้าย

เวกเตอร์การโจมตีที่เป็นไปได้: หาก Sequencer ที่มีคะแนน VDF สูงสุดโดยเจตนาไม่ออกอากาศเนื้อหาบล็อกใน L2 p2p อาจนำไปสู่การจัดระเบียบบล็อกใหม่ (reorg)

การคำนวณปริมาณบล็อก L2 สำหรับองค์กรใหม่: 1+PROVING_PHASE_L1_BLOCKS / PROPOSAL_PHASE_L1_BLOCKS =1+50/2=26 บล็อก

วิธีแก้ไข: แนะนำกลไกบล็อกลุงเพื่อหลีกเลี่ยงการมีบล็อกตัวเลือกที่สมบูรณ์เพียงบล็อกเดียวสำหรับแต่ละช่อง L2 (ช่วงเวลาการสร้างบล็อก)

ความสำคัญของการกระจายอำนาจใน Fernet: Sequencers เข้าร่วม Sequencer Committee โดยปักหลัก 16 ETH และเกณฑ์การเข้าร่วมไม่สูง (แต่ก็ไม่ต่ำเช่นกัน) ผู้พิสูจน์ไม่จำเป็นต้องมีการวางเดิมพันใดๆ แต่ถ้าผู้พิสูจน์ไม่สร้างการพิสูจน์ ก็ไม่มีการลงโทษ โดยพื้นฐานแล้วตรงกันข้ามกับโครงการ B52

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

MEV: การพิจารณา MEV มีเอกลักษณ์เฉพาะตัวเป็นพิเศษ โครงการนี้วางแผนที่จะเปิดตัว PBS ดังนั้นหลังจากที่ Sequencer คำนวณคะแนน VDF ที่มีคะแนนสูง ก็จะสามารถเข้าถึง Block Builder ได้โดยตรงเพื่อสร้างบล็อกที่มีค่ามากขึ้น

การต่อต้านการเซ็นเซอร์: Fernet จะใช้กลไก PBS ที่สอดคล้องกับ Ethereum ดังนั้น โดยพื้นฐานแล้ว ปัญหาการต่อต้านการเซ็นเซอร์ของ Fernet จึงเทียบเท่ากับปัญหาการต่อต้านการเซ็นเซอร์ PBS ของ Ethereum

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

1. บทความนี้พิมพ์ซ้ำจาก [Geek Web3] ส่งต่อชื่อต้นฉบับ 'ollup Decentralization: Analysis of Aztec's Decentralized Sequencer Solution' ลิขสิทธิ์ทั้งหมดเป็นของผู้แต่งต้นฉบับ [xhhh，EthStorage] หากมีการคัดค้านการพิมพ์ซ้ำนี้ โปรดติดต่อทีมงาน Gate Learn แล้วพวกเขาจะจัดการโดยเร็วที่สุด
2. การปฏิเสธความรับผิด: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงของผู้เขียนเท่านั้น และไม่ถือเป็นคำแนะนำในการลงทุนใดๆ
3. การแปลบทความเป็นภาษาอื่นดำเนินการโดยทีมงาน Gate Learn เว้นแต่จะกล่าวถึง ห้ามคัดลอก แจกจ่าย หรือลอกเลียนแบบบทความที่แปลแล้ว