ผู้แต่ง: NashQ, Celestia Researcher ผู้เรียบเรียง: Faust, Geek Web3

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

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

แม้ว่าบทความนี้จะวิเคราะห์ Rollup จากมุมมองของ Celestia ซึ่งแตกต่างจากวิธีที่ชุมชน Ethereum วิเคราะห์โมเดล Rollup โดยพิจารณาจากความเชื่อมโยงระหว่าง Ethereum Rollup และ Celestia sovereign Rollup ตลอดจนอิทธิพลที่เพิ่มขึ้นของรุ่นหลัง ซึ่งเป็นสิ่งสำคัญสำหรับ ผู้ที่ชื่นชอบ Ethereum บทความนี้ควรค่าแก่การอ่านเป็นอย่างยิ่ง

ค่าสะสมคืออะไร?

Rollup คือบล็อกเชนที่เผยแพร่ "ข้อมูลธุรกรรม" ไปยังบล็อกเชนอื่นและสืบทอดฉันทามติและความพร้อมใช้งานของข้อมูล

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

บล็อก Rollup เป็นโครงสร้างข้อมูลที่แสดงถึงบัญชีแยกประเภท blockchain ที่ความสูงของบล็อก บล็อกค่าสะสมประกอบด้วยข้อมูลค่าสะสมและส่วนหัวค่าสะสม ในหมู่พวกเขา ข้อมูลค่าสะสมสามารถเป็นชุดของธุรกรรม หรือสถานะการเปลี่ยนแปลงระหว่างชุดของธุรกรรม

ตัวแปร 1: การยกเลิกในแง่ร้าย / การยกเลิกตาม

วิธีที่ง่ายที่สุดในการสร้าง Rollup คือให้ผู้ใช้เผยแพร่ธุรกรรมไปยังบล็อกเชนอื่น ซึ่งเราจะเรียกว่าเลเยอร์เอกฉันท์และความพร้อมใช้งานของข้อมูล (DA-Layer) และฉันจะเรียกมันว่าเลเยอร์ DA ดังต่อไปนี้ (หมายเหตุผู้แปล: มันคล้ายกับเลเยอร์ 1 ซึ่งมักถูกพูดถึงในชุมชน Ethereum)

ในตัวแปร Rollup แรกที่ฉันจะแนะนำ โหนดของเครือข่าย Rollup จะต้องดำเนินการธุรกรรม Rollup ที่มีอยู่ในเลเยอร์ DA อีกครั้งเพื่อตรวจสอบสถานะสุดท้ายของบัญชีแยกประเภท นี่คือการสรุปในแง่ร้าย!

ค่าสะสมในแง่ร้ายคือค่าสะสมที่รองรับเฉพาะโหนดแบบเต็ม และโหนดแบบเต็มเหล่านี้จำเป็นต้องดำเนินการธุรกรรมทั้งหมดที่อยู่ในบัญชีแยกประเภทค่าสะสมอีกครั้งเพื่อตรวจสอบความถูกต้อง

แต่ในกรณีนี้ใครทำหน้าที่เป็น Sequencer of the Rollup? ในความเป็นจริง ยกเว้นโหนดแบบเต็มของค่าสะสม ไม่มีเอนทิตีใดที่เคยดำเนินการธุรกรรมที่มีอยู่ในบัญชีแยกประเภทค่าสะสม โดยทั่วไป ซีเควนเซอร์จะรวมข้อมูลธุรกรรมและสร้างส่วนหัวค่าสะสม แต่ Rollup ในแง่ร้ายที่กล่าวถึงข้างต้นไม่มีส่วนหัวของ Rollup!

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

การเรียงลำดับเป็นกระบวนการของ "การรวม + การสร้างส่วนหัวค่าสะสม"

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

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

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

ดังนั้น Rollup ในแง่ร้ายจึงเป็นตัวแปร Rollup ที่มอบสิทธิ์ขั้นตอนการรวมให้กับเลเยอร์ DA ซึ่งไม่มี Sequencer ซีเควนเซอร์ บางครั้งการยกเลิกประเภทนี้เรียกว่า "การยกเลิกตาม"

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

ตัวแปร 2: การรวมในแง่ร้ายโดยใช้ตัวรวบรวมที่ใช้ร่วมกัน

มาหารือเกี่ยวกับการรวมในแง่ร้ายโดยใช้ตัวรวบรวมที่ใช้ร่วมกัน แนวคิดนี้ได้รับการแนะนำโดย Evan Forbes ในโพสต์ในฟอรัมของเขาเกี่ยวกับการออกแบบซีเควนเซอร์ที่ใช้ร่วมกัน สมมติฐานหลักคือ Sequencer ที่ใช้ร่วมกันเป็นวิธีเดียวที่เป็นทางการในการจัดลำดับธุรกรรม Evan อธิบายถึงประโยชน์ของ Sequencers ที่ใช้ร่วมกันด้วยวิธีนี้:

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

เมื่อข้อมูลบล็อกค่าสะสมได้รับการยืนยันและเผยแพร่ไปยังชั้นฐาน Base Layer (ในที่นี้ควรอ้างอิงถึงชั้น DA) การอัปเดตสถานะของบัญชีแยกประเภทค่าสะสมจะเสร็จสิ้นและสิ้นสุด "

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

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

ในตัวแปรนี้ ผู้ใช้ค่าสะสมจำเป็นต้องเรียกใช้โหนดแสงเลเยอร์ DA เป็นอย่างน้อย + โหนดแสงของเครือข่ายตัวรวมรวมที่ใช้ร่วมกัน + โหนดค่าสะสมทั้งหมดในสถานะลดความน่าเชื่อถือ

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

ด้วยวิธีนี้ ตัวดำเนินการโหนดค่าสะสมสามารถยืนยันได้ว่าชุดงานที่ได้รับจากเลเยอร์ DA นั้นถูกสร้างขึ้นโดยตัวรวบรวมที่ใช้ร่วมกัน ไม่ใช่โดยผู้อื่น

• การรวมเป็นกระบวนการของการรวมธุรกรรมในบล็อกเชน
• การเรียงลำดับหมายถึงกระบวนการจัดเรียงธุรกรรมใน blockchain ในลำดับเฉพาะ
• การดำเนินการหมายถึงขั้นตอนการประมวลผลธุรกรรมใน blockchain และการอัปเดตสถานะให้เสร็จสมบูรณ์

เนื่องจากผู้รวบรวมที่ใช้ร่วมกันจะดูแลการรวมและการเรียงลำดับ การต่อต้านการเซ็นเซอร์ของ Rollup จึงขึ้นอยู่กับสิ่งนี้

หากสันนิษฐานว่า L_ss เป็นกิจกรรมของตัวรวบรวมที่ใช้ร่วมกัน และ L_da เป็นกิจกรรมของ DA-Layer กิจกรรมของโมเดลค่าสะสมคือ L = L_da && L_ss กล่าวอีกนัยหนึ่ง ถ้าส่วนใดส่วนหนึ่งของสองส่วนมีความคงอยู่ล้มเหลว ชุดสะสมก็จะมีความคงอยู่ล้มเหลวเช่นกัน

เพื่อความง่าย ฉันจะมองว่าความมีชีวิตชีวาเป็นค่าบูล หากตัวรวบรวมที่ใช้ร่วมกันล้มเหลว ค่าสะสมจะไม่สามารถทำงานต่อไปได้ หากเครือข่ายเลเยอร์ DA ล้มเหลว ตัวรวบรวมที่ใช้ร่วมกันสามารถดำเนินการต่อเพื่อจัดเตรียม Soft Commitment สำหรับบล็อกค่าสะสม แต่ในขณะนี้ แอตทริบิวต์ของค่าสะสมจะขึ้นอยู่กับเครือข่ายตัวรวบรวมที่ใช้ร่วมกันทั้งหมด และแอตทริบิวต์ของค่าสะสมมักจะด้อยกว่าเลเยอร์ DA ดั้งเดิมมาก

เรามาสำรวจการต่อต้านการเซ็นเซอร์ของโครงการ Rollup ด้านบนกัน:

ในรูปแบบนี้ เลเยอร์ DA ไม่สามารถตรวจสอบธุรกรรมเฉพาะบางรายการได้ (หมายเหตุของผู้แปล: การตรวจสอบธุรกรรมมักจะปฏิเสธที่จะอนุญาตให้อัปโหลดธุรกรรมบางอย่างไปยังห่วงโซ่) มันสามารถเริ่มต้นได้เฉพาะสำหรับธุรกรรมทั้งชุดที่ส่งโดยผู้รวบรวมที่ใช้ร่วมกัน การตรวจสอบธุรกรรม (ปฏิเสธที่จะอนุญาตให้รวมแบทช์ในเลเยอร์ DA)

อย่างไรก็ตาม ตามเวิร์กโฟลว์ค่าสะสม เมื่อตัวรวบรวมที่ใช้ร่วมกันส่งแบทช์ของธุรกรรมไปยังเลเยอร์ DA มันได้เสร็จสิ้นการเรียงลำดับธุรกรรมแล้ว และลำดับระหว่างแบทช์ต่างๆ ก็ได้รับการพิจารณาเช่นกัน ดังนั้น การตรวจทานธุรกรรมประเภทนี้ที่เลเยอร์ DA จึงไม่มีผลอื่นใดนอกจากทำให้การยืนยันขั้นสุดท้ายของบัญชีแยกประเภทค่าสะสมล่าช้า

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

ตัวแปร 3: ค่าสะสมในแง่ร้ายตามค่าสะสมตามค่าสะสมและตัวรวมรวมที่ใช้ร่วมกัน

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

เราถือว่าลำดับธุรกรรมค่าสะสมสุดท้ายขึ้นอยู่กับลำดับธุรกรรมที่ส่งโดยผู้รวบรวมที่ใช้ร่วมกัน และธุรกรรมค่าสะสมที่ส่งโดยตรงโดยผู้ใช้ในบล็อกเลเยอร์ DA เราเรียกสิ่งนี้ว่ากฎการเลือกทางแยกของ Rollup

การรวมแบ่งออกเป็นสองขั้นตอนที่นี่ ขั้นแรก ผู้รวบรวมที่ใช้ร่วมกันจะเข้ามามีส่วนรวมธุรกรรมบางอย่าง จากนั้น เลเยอร์ DA สามารถรวมแบทช์ที่ส่งโดยผู้รวบรวมที่ใช้ร่วมกันและธุรกรรมที่ผู้ใช้ส่งโดยตรง

การวิเคราะห์การต่อต้านการเซ็นเซอร์ ณ จุดนี้ซับซ้อนกว่าเล็กน้อย โหนดเครือข่ายเลเยอร์ DA อาจตรวจสอบแบทช์ที่ส่งโดยตัวรวบรวมที่ใช้ร่วมกันก่อนที่จะสร้างบล็อกเลเยอร์ DA ถัดไป หลังจากทราบข้อมูลธุรกรรมในชุดแล้ว โหนดเลเยอร์ DA สามารถแยกค่าของ MEV และใช้ตัวเองในค่าสะสมก่อน เครือข่าย บัญชีเริ่มต้นธุรกรรมที่รันส่วนหน้าและรวมไว้ในบล็อกเลเยอร์ DA ก่อน จากนั้นจึงรวมชุดงานที่ส่งโดยตัวรวบรวมรวมค่าสะสมที่ใช้ร่วมกัน

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

ในปัจจุบัน แผนการออกแบบบางอย่างได้เกิดขึ้นเพื่อลดความสามารถของโหนดเครือข่ายเลเยอร์ DA ในการดำเนินการธุรกรรม MEV เช่น ฟังก์ชัน "ระยะเวลาการปรับโครงสร้างองค์กรใหม่" ซึ่งจะชะลอการดำเนินการธุรกรรมที่ส่งโดยตรงไปยังเลเยอร์ DA โดยผู้ใช้เครือข่าย Rollup . Sovereign Labs อธิบายรายละเอียดนี้ในข้อเสนอการออกแบบของพวกเขาที่ชื่อว่า Sequencing with Soft Confirmations ซึ่งแนะนำแนวคิดของ "เครื่องหาลำดับที่ต้องการ"

เนื่องจากปัญหา MEV ขึ้นอยู่กับโครงร่างรวบรวมที่เลือกโดย Rollup และกฎการเลือกส้อมของ Rollup บางโครงร่างจะไม่รั่วไหลของ MEV ไปยังชั้น DA และบางโครงร่างจะรั่วไหลของ MEV บางส่วนหรือทั้งหมดไปที่ชั้น DA แต่นี่คือ หัวข้ออื่น

สำหรับความมีชีวิตชีวา รูปแบบการยกเลิกนี้มีข้อได้เปรียบเหนือรูปแบบที่อนุญาตให้เฉพาะผู้รวบรวมที่ใช้ร่วมกันเพื่อส่งธุรกรรมไปยังเลเยอร์ DA ในกรณีที่ความสดล้มเหลวบนตัวรวบรวมที่ใช้ร่วมกัน ผู้ใช้ยังคงสามารถส่งธุรกรรมไปยังเลเยอร์ DA ได้

สุดท้าย เรามาพูดถึงการกำหนดค่าขั้นต่ำของผู้ใช้ค่าสะสมภายใต้การลดความน่าเชื่อถือ:

อย่างน้อยเรียกใช้โหนดแสงเลเยอร์ DA + โหนดแสงตัวรวมที่ใช้ร่วมกัน + โหนดค่าสะสมเต็ม

ณ จุดนี้ ยังคงจำเป็นต้องตรวจสอบส่วนหัวตัวรวมที่ออกโดยตัวรวมที่ใช้ร่วมกัน เพื่อให้โหนดเต็มค่าสะสมสามารถแยกความแตกต่างของแบทช์ธุรกรรมตามกฎการเลือกทางแยก

ตัวแปร 4: ค่าสะสมตามค่าปรับที่เหมาะสมและตัวสร้างส่วนหัวแบบรวมศูนย์

เรามาพูดถึงตัวแปรที่เรียกว่า Based Optimistic Rollup และตัวสร้างส่วนหัวแบบรวมศูนย์ โซลูชันนี้ใช้เลเยอร์ DA เพื่อรวมธุรกรรมค่าสะสม แต่แนะนำตัวสร้างส่วนหัวแบบรวมศูนย์เพื่อสร้างส่วนหัวค่าสะสมเพื่อเปิดใช้งานโหนดแสงค่าสะสม

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

ฉันจะไม่ลงรายละเอียดเกี่ยวกับวิธีการพิสูจน์การฉ้อโกงแบบรอบเดียวที่นี่ เนื่องจากอยู่นอกเหนือขอบเขตของบทความนี้ ข้อได้เปรียบของการพิสูจน์การฉ้อโกงรอบเดียวคือสามารถลดระยะเวลาหน้าต่างการพิสูจน์การฉ้อโกงจาก 7 วันได้ในระดับหนึ่ง ค่าเฉพาะยังไม่ได้รับการระบุ แต่ลำดับความสำคัญจะน้อยกว่าการสรุปในแง่ดีแบบดั้งเดิม Light Node สามารถรับหลักฐานการฉ้อโกงผ่านเครือข่าย P2P ซึ่งประกอบด้วยโหนด Rollup เต็มรูปแบบโดยไม่ต้องรอกระบวนการโต้แย้งในภายหลัง เนื่องจากเกณฑ์ทั้งหมดได้รับการจัดเตรียมอย่างครบถ้วนในการพิสูจน์การฉ้อโกงเพียงครั้งเดียว

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

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

หากตัวกำเนิดส่วนหัวล้มเหลว การรวบรวมก็จะล้มเหลวเช่นกัน โหนดแสงจะไม่สามารถติดตามความคืบหน้าของบัญชีแยกประเภทค่าสะสมได้ แต่โหนดทั้งหมดสามารถทำได้ ณ จุดนี้ ค่าสะสมที่อธิบายไว้ในตัวแปร 4 จะเสื่อมลงเป็นค่าสะสมที่อ้างอิงตามที่อธิบายไว้ในตัวแปร 1 เห็นได้ชัดว่าการกำหนดค่าขั้นต่ำที่ลดความน่าเชื่อถือซึ่งอธิบายโดย Variant 4 คือ:

โหนดแสงเลเยอร์ DA + โหนดแสงสะสม

ตัวแปร 5: ตาม ZK-Rollup และ Decentralized Prover Market

เราได้พูดถึงค่าสะสมในแง่ร้าย (ค่าสะสมตามค่าเสื่อมราคา) และค่าค่าสะสมค่าปรับในเชิงบวกแล้ว ตอนนี้ถึงเวลาพิจารณา ZK-ค่าสะสม เมื่อเร็ว ๆ นี้ Toghrul กล่าวสุนทรพจน์เกี่ยวกับการแยกตัวรวบรวม (Sequencer) และตัวสร้างส่วนหัว (Prover) (การแยก Sequencer-Prover ใน Rollups ความรู้เป็นศูนย์) ในโมเดลนี้ การจัดการธุรกรรมการเผยแพร่ในรูปแบบข้อมูลสะสมจะง่ายกว่า State Diff ดังนั้นฉันจะเน้นที่รูปแบบเดิม Variant 5 เป็น Prover Market ที่กระจายอำนาจตาม zk-rollup

ถึงตอนนี้ คุณน่าจะคุ้นเคยกับวิธีการทำงานของ Rollup แล้ว ตัวแปร 5 มอบหมายบทบาทตัวรวบรวมให้กับโหนดเลเยอร์ DA ซึ่งทำงานของการรวมและการเรียงลำดับธุรกรรม ฉันจะอ้างอิงเอกสารของ Sovereign-Labs ซึ่งมีคำอธิบายที่ดีเกี่ยวกับวงจรชีวิตของการทำธุรกรรมในรูปแบบที่ 5:

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

ในแบบจำลองนี้ ตัวสร้างส่วนหัวดำเนินการโดย Prover Market แบบกระจายอำนาจ

กระบวนการทำงานของโหนด Prover ของ Prover (โหนดเต็มรูปแบบที่ทำงานใน ZKVM) คล้ายกับโหนดเต็มรูปแบบของค่าสะสมปกติ—สแกนเลเยอร์บล็อกเชนของ DA และประมวลผลแบทช์ธุรกรรมค่าสะสมทั้งหมดตามลำดับ—เพื่อสร้างศูนย์ความรู้ที่สอดคล้องกัน พิสูจน์และเผยแพร่ มันอยู่บนโซ่เลเยอร์ DA (หากระบบ Rollup ต้องการจูงใจผู้พิสูจน์ ระบบหลังจะต้องส่งการพิสูจน์ ZK ที่สร้างขึ้นไปยังเลเยอร์เชนของ DA มิฉะนั้นจะไม่สามารถระบุได้ว่าผู้พิสูจน์รายใดส่งการพิสูจน์ ZK ก่อน) เมื่อการพิสูจน์ ZK ที่สอดคล้องกับแบทช์ธุรกรรมบางรายการถูกปล่อยไปยังห่วงโซ่ แบทช์ของธุรกรรมจะเสร็จสิ้นในสายตาของโหนด Rolup ทั้งหมด (รวมถึงโหนดแสง)

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

กิจกรรมในที่นี้คือ L = L_da && L_pm (กิจกรรมของ Prover) หากสิ่งจูงใจของ Prover Market ไม่สอดคล้องกันหรือมีความล้มเหลวที่ใช้งานอยู่ โหนดแสง Rollup จะไม่สามารถซิงโครไนซ์ความคืบหน้าของบล็อกเชนได้ แต่โหนดเต็ม Rollup ทำได้ สำหรับโหนดเต็ม นี่เป็นเพียงทางเลือกสำรอง ไปที่ค่าสะสมตาม/ค่าสะสมที่มองโลกในแง่ร้าย การกำหนดค่าขั้นต่ำสำหรับการลดความน่าเชื่อถือที่นี่จะเหมือนกับในกรณีของการยกเลิกในแง่ดี กล่าวคือ

โหนดแสงเลเยอร์ DA + โหนดแสงสะสม

ตัวแปรที่ 6: การยกเลิกแบบไฮบริด + ตัวสร้างส่วนหัวที่เหมาะสมแบบรวมศูนย์ + Prover แบบกระจายอำนาจ

เรายังคงให้โหนดเลเยอร์ DA ทำหน้าที่เป็นตัวรวบรวมค่าสะสมและมอบหมายงานของการรวมและการสั่งซื้อธุรกรรมให้กับพวกเขา

ดังที่คุณเห็นจากรูปด้านล่าง ทั้ง ZK Rollup และ Optimistic Rollup ใช้ชุดธุรกรรมที่สั่งชุดเดียวกันบนชั้น DA เป็นแหล่งที่มาของบัญชีแยกประเภท Rollup นี่คือเหตุผลที่เราสามารถใช้ระบบพิสูจน์ทั้งสองพร้อมกันได้: ชุดธุรกรรมที่สั่งซื้อในชั้น DA ไม่ได้รับผลกระทบจากระบบพิสูจน์

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

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

ประเด็นสำคัญคือหากเราได้รับการพิสูจน์ ZK เราไม่ต้องรอให้หน้าต่างพิสูจน์การฉ้อโกงสิ้นสุดลง นอกเหนือจากการพิสูจน์การฉ้อโกงรอบเดียวแล้ว เรายังสามารถแทนที่การพิสูจน์การฉ้อโกงด้วยการพิสูจน์ ZK และละทิ้งส่วนหัวปลอมที่สร้างโดยตัวสร้างส่วนหัวที่เป็นอันตราย!

เมื่อไลท์โหนดได้รับการพิสูจน์ ZK สำหรับชุดของธุรกรรมค่าสะสม ชุดงานจะสิ้นสุด

ตอนนี้เรามี Soft Commitment ที่รวดเร็วและการสิ้นสุดอย่างรวดเร็ว

ตัวแปร 6 ยังคงมีความต้านทานการเซ็นเซอร์เช่นเดียวกับเลเยอร์ DA เนื่องจากอิงตามเลเยอร์ DA เพื่อความมีชีวิตชีวา เราจะใช้ L = L_da && (L_op || L_pm) ซึ่งหมายความว่าเราเพิ่มการรับประกันความมีชีวิตชีวา หากตัวสร้าง Header แบบรวมศูนย์หรือ Prover Market แบบกระจายศูนย์มีความล้มเหลวในการมีชีวิต เราอาจลดระดับลงไปอีกตัวจากสองตัวนี้ได้

ในรูปแบบนี้ การกำหนดค่าขั้นต่ำสำหรับการลดความน่าเชื่อถือของผู้ใช้คือ:

โหนดแสงเลเยอร์ DA หนึ่งโหนด + โหนดแสง Rollup หนึ่งโหนด

สรุป:

1. เราแบ่งบทบาทสำคัญของ Rollup - Sequencer ออกเป็นสององค์ประกอบเชิงตรรกะ:

ตัวรวบรวมและตัวสร้างส่วนหัว

2. เราแบ่งการทำงานของ Sequencer ออกเป็นสามกระบวนการเชิงตรรกะ: การบรรจุ การเรียงลำดับ และการดำเนินการ

3. การยกเลิกในแง่ร้ายและการยกเลิกตามเป็นสิ่งหนึ่ง

4. ตามความต้องการของคุณ คุณสามารถเลือกโซลูชันตัวสร้างการรวบรวมและส่วนหัวที่แตกต่างกันได้

5. ตัวแปรค่าสะสมแต่ละรายการที่แนะนำในโพสต์นี้ใช้รูปแบบการออกแบบเดียวกัน:

ในที่สุดฉันก็มีความคิดบางอย่าง โปรดคิดเกี่ยวกับ:

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