IOSG Ventures: ดูความคืบหน้าล่าสุดและกรณีการใช้งานของ EigenLayer ในด้าน การให้คำมั่นสัญญาใหม่

ผู้เขียนต้นฉบับ: Jiawei, IOSG Ventures

Source: EigenLayer

เมื่อเดือนพฤศจิกายนปีที่แล้วเราเขียนบทความนี้ไว้ว่า “EigenLayer: นำความไว้วางใจระดับ Ethereum มาสู่มิดเดิลแวร์EigenLayer เปิดตัวใน . ในปีที่ผ่านมา EigenLayer ได้เปิดตัวสมุดปกขาว และเสร็จสิ้นการระดมทุน Series A มูลค่า 50 ล้านดอลลาร์ และเปิดตัวเมนเน็ตเฟสแรก ในช่วงเวลานี้ ชุมชน Ethereum ยังได้จัดการอภิปรายอย่างกว้างขวางเกี่ยวกับ EigenLayer และกรณีการใช้งาน บทความนี้จะติดตามและจัดเรียงการสนทนาเหล่านี้

พื้นหลัง

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

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

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

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

Sreeram ผู้ก่อตั้ง EigenLayer เคยกล่าวถึงกรณีการใช้งานสามประการของ EigenLayer และโมเดลความน่าเชื่อถือบน Twitter และพอดแคสต์:

• ความไว้วางใจทางเศรษฐกิจ นั่นคือการนำ Ethereum Stake Exposure กลับมาใช้ใหม่ การ Stake Token ที่มีมูลค่าสูงกว่าหมายถึงความมั่นคงทางเศรษฐกิจที่แข็งแกร่งยิ่งขึ้น ดังที่กล่าวไว้ข้างต้น

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

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

ผู้เข้าร่วมระบบ

Source: IOSG Ventures

EigenLayer ทำหน้าที่เป็นตลาดเปิดที่เชื่อมโยงผู้เล่นหลักทั้งสามราย

• จำนำอีกครั้ง หากคุณมีโอกาสในการเดิมพัน Ethereum คุณสามารถเข้าร่วมได้โดยการโอนข้อมูลรับรองการถอนไปยัง EigenLayer เพื่อเข้าร่วมในการเดิมพันใหม่ หรือเพียงฝาก LST เช่น stETH เพื่อเข้าร่วม หากผู้มีส่วนได้ส่วนเสียใหม่ไม่สามารถเรียกใช้โหนด AVS ได้ด้วยตนเอง พวกเขาก็สามารถมอบหมายการเปิดเผยของตนให้กับผู้ปฏิบัติงานได้เช่นกัน

• ตัวดำเนินการ ผู้ดำเนินการยอมรับการมอบหมายจากผู้เดิมพันซ้ำและเรียกใช้โหนด AVS พวกเขามีอิสระในการเลือกว่าจะให้บริการ AVS ใด เมื่อคุณให้บริการกับ AVS แล้ว คุณจะต้องยอมรับกฎเกณฑ์ที่กำหนดโดย AVS

• Avs ในฐานะด้านอุปสงค์/ผู้บริโภค AVS จำเป็นต้องจ่ายเงินให้กับผู้ลงทุนใหม่และได้รับความมั่นคงทางเศรษฐกิจที่พวกเขามอบให้

เมื่อคำนึงถึงแนวคิดพื้นฐานเหล่านี้แล้ว เรามาดูกรณีการใช้งานเฉพาะของ EigenLayer กันดีกว่า

EigenDA

EigenDA เป็นผลิตภัณฑ์หลักที่เปิดตัวโดย EigenLayer โซลูชันนี้ได้มาจาก Danksharding ซึ่งเป็นโซลูชันการขยาย Ethereum หนึ่งในนั้น Data Availability Sampling (DAS) ยังใช้กันอย่างแพร่หลายในโครงการ DA เช่น Celestia และ Avail ในบทนี้ เราจะให้ข้อมูลเบื้องต้นเกี่ยวกับ DAS อย่างรวดเร็ว จากนั้นดูว่า EigenDA ถูกนำมาใช้และนวัตกรรมต่างๆ อย่างไร

• DAS

Source: Dankrad Feist

EIP-4844 นำเสนอ ธุรกรรม Blob-carrying ซึ่งเป็นโซลูชันส่วนหน้าสำหรับ Danksharding โดยแต่ละธุรกรรมจะมีขนาดข้อมูลเพิ่มเติมประมาณ 125 kb ในบริบทของเส้นทางการขยายการแบ่งส่วนข้อมูล ข้อมูลใหม่จะเพิ่มภาระบนโหนดอย่างไม่ต้องสงสัย แล้วมีวิธีทำให้โหนดดาวน์โหลดข้อมูลเพียงส่วนเล็กๆ เท่านั้น และยังตรวจสอบว่าข้อมูลทั้งหมดพร้อมใช้งานหรือไม่

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

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

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

ผู้พิสูจน์เลือกพหุนาม p(x) และใช้ p(x) เพื่อคำนวณข้อผูกพันสำหรับบล็อกข้อมูลแต่ละบล็อก เรียกว่า C 1 , C 2 , ..., Cm ผู้พิสูจน์จะเผยแพร่ข้อผูกพันพร้อมกับบล็อกข้อมูล ในการตรวจสอบการเข้ารหัส ผู้ตรวจสอบสามารถสุ่มตัวอย่าง t จุด x 1, x 2, ..., xt และขอให้ผู้พิสูจน์เปิดข้อผูกพันที่จุดเหล่านี้: p(x 1), p(x 2), ... , พี(เอ็กซ์ที) เมื่อใช้การประมาณค่าแบบลากรองจ์ ตัวตรวจสอบสามารถสร้างพหุนาม p(x) ขึ้นใหม่จากจุด t เหล่านี้ ขณะนี้ผู้ตรวจสอบสามารถคำนวณข้อผูกพัน C 1, C 2, ..., Cm ใหม่ได้โดยใช้พหุนาม p(x) ที่สร้างขึ้นใหม่และบล็อกข้อมูล และตรวจสอบว่าตรงกับข้อผูกพันที่เผยแพร่ C 1, C 2, ... , ซม. ตรงกัน

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

• How

Source: EigenLayer

EigenLayer ยืมแนวคิดจาก DAS และนำไปใช้กับ EigenDA

1. ประการแรก โหนดของ EigenDA ได้รับการจำนำใหม่และลงทะเบียนในสัญญา EigenLayer

2. ประการที่สอง หลังจากได้รับข้อมูลแล้ว Sequencer จะแบ่งข้อมูลออกเป็นหลายบล็อก ใช้การเข้ารหัสการลบเพื่อสร้างบล็อกที่ซ้ำซ้อน และคำนวณความมุ่งมั่นของ KZG ที่สอดคล้องกับแต่ละบล็อกข้อมูล Sequencer เผยแพร่ข้อผูกพันของ KZG ต่อสัญญา EigenDA ทีละคนในฐานะพยาน

3. ต่อจากนั้น Sequencer จะกระจายบล็อกข้อมูลพร้อมกับความมุ่งมั่นของ KZG ไปยังโหนด EigenDA แต่ละโหนดทีละรายการ หลังจากที่โหนดได้รับข้อผูกพัน KZG แล้ว โหนดจะเปรียบเทียบกับข้อผูกพัน KZG ในสัญญา EigenDA จัดเก็บบล็อกข้อมูลหลังจากยืนยันว่าถูกต้อง และลงนาม

4. หลังจากนั้น Sequencer จะรวบรวมลายเซ็นเหล่านี้ สร้างลายเซ็นแบบรวม และเผยแพร่ไปยังสัญญา EigenDA และสัญญา EigenDA จะตรวจสอบลายเซ็น หลังจากการตรวจสอบลายเซ็นถูกต้อง กระบวนการทั้งหมดจะเสร็จสมบูรณ์

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

แนวคิดในการพิสูจน์การควบคุมคือการใส่ ระเบิด ลงในข้อมูล เมื่อโหนดลงนามแล้ว ข้อมูลจะถูกเฉือน เพื่อให้เกิดหลักฐานเอสโครว์ จำเป็นต้องออกแบบ: ค่าลับเพื่อแยกแยะโหนด DA ที่แตกต่างกันเพื่อป้องกันการโกง ฟังก์ชันเฉพาะสำหรับโหนด DA ซึ่งรับข้อมูล DA และค่าลับเป็นอินพุต และดูว่ามีระเบิดเป็นเอาต์พุตหรือไม่ . หากโหนดไม่ได้จัดเก็บข้อมูลทั้งหมดที่ควรจัดเก็บ ฟังก์ชันนี้จะไม่สามารถคำนวณได้ Dankrad ได้แชร์รายละเอียดเพิ่มเติมเกี่ยวกับ Proof of Escrow ในบล็อกของเขา

Source: EigenLayer

หากมี Lazy Node ใครๆ ก็สามารถส่งหลักฐานไปยังสัญญา EigenDA ได้ และสัญญาจะตรวจสอบหลักฐาน และหากผ่านการตรวจสอบแล้ว Lazy Node จะถูกปรับ

ในแง่ของข้อกำหนดด้านฮาร์ดแวร์ KZG สัญญาว่าจะมีแกน CPU ประมาณ 32-64 คอร์เพื่อคำนวณข้อมูล 32 MB ใน 1 วินาที แต่ข้อกำหนดนี้มีไว้สำหรับฝั่ง Sequencer เท่านั้น และจะไม่สร้างภาระให้กับโหนด EigenDA ในเครือข่ายทดสอบของ EigenDA ปริมาณงานของโหนด EigenDA 100 โหนดสูงถึง 15 MB/s ในขณะที่ความต้องการแบนด์วิธการดาวน์โหลดโหนดอยู่ที่ 0.3 MB/s เท่านั้น (ต่ำกว่าข้อกำหนดสำหรับการรันโปรแกรมตรวจสอบความถูกต้องของ Ethereum มาก)

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

• Problems of DAS

ปัจจุบัน DAS ในฐานะเทคโนโลยีก็มีข้อจำกัดบางประการ เราจำเป็นต้องสันนิษฐานว่าคู่สัญญาที่เป็นอันตรายจะพยายามหลอกไลท์โหนดให้ยอมรับข้อมูลเท็จไม่ว่าจะด้วยวิธีใดก็ตามที่เป็นไปได้ Sreeram ระบุสิ่งต่อไปนี้ในทวีตของเขา

เพื่อให้โหนดเดียวมีความเป็นไปได้สูงเพียงพอที่ข้อมูลจะพร้อมใช้งาน จะต้องปฏิบัติตามข้อกำหนดต่อไปนี้:

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

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

• การสุ่มตัวอย่าง IP ส่วนตัว: หมายถึงการใช้ IP ที่ไม่ระบุชื่อสำหรับบล็อกข้อมูลที่สืบค้นแต่ละบล็อก มิฉะนั้น ฝ่ายตรงข้ามสามารถระบุโหนดที่แตกต่างกันสำหรับการสุ่มตัวอย่าง และเลือกระบุส่วนที่ได้สอบถามให้กับโหนด และไม่จัดเตรียมส่วนอื่น ๆ ของข้อมูล

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

EigenLayer & MEV

Source: EigenLayer

Sreeram พูดถึงการใช้ EigenLayer ใน MEV stack ที่งาน MEVconomics Summit ขึ้นอยู่กับหลักเศรษฐศาสตร์ดิจิทัลเบื้องต้นของการปักหลักและเฉือน ผู้เสนอสามารถใช้คุณสมบัติสี่ประการต่อไปนี้ ซึ่งเป็นประเด็นที่สามที่กล่าวถึงข้างต้น - กรณีการใช้งานข้อผูกมัดของผู้ตรวจสอบ

Event-driven Activation

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

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

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

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

Partial Block Auction

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

Source: EigenLayer

EigenLayer เสนอ MEV-Boost++ เพื่ออัปเกรด MEV-Boost แนะนำส่วนที่เสนอในบล็อก และผู้เสนอสามารถรวมธุรกรรมใดๆ ไว้ในส่วนที่เสนอได้ ผู้เสนอยังสามารถสร้างบล็อกทางเลือก B-alt ได้ในเวลาเดียวกัน และเสนอบล็อกสำรอง B-alt นี้เมื่อรีเลย์ไม่ปล่อย Builder_part ความยืดหยุ่นนี้ไม่เพียงแต่รับประกันความต้านทานการเซ็นเซอร์ แต่ยังช่วยแก้ปัญหาความมีชีวิตชีวาของรีเลย์อีกด้วย

Source: Dankrad Feist

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

Threshold Encryption

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

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

Long-term Blockspace Auction

การประมูลพื้นที่บล็อกระยะยาวช่วยให้ผู้ซื้อพื้นที่บล็อกสามารถจองพื้นที่บล็อกในอนาคตสำหรับเครื่องมือตรวจสอบความถูกต้องล่วงหน้าได้ ผู้ตรวจสอบที่เข้าร่วมในการวางเดิมพันใหม่สามารถให้คำมั่นสัญญาที่น่าเชื่อถือ และจะถูกเฉือนออก หากไม่มีธุรกรรมที่เกี่ยวข้องกับผู้ซื้อเมื่อหมดอายุ การรับประกันพื้นที่บล็อกนี้มีกรณีการใช้งานจริงบางประการ ตัวอย่างเช่น เครื่อง oracle จำเป็นต้องป้อนราคาในช่วงเวลาหนึ่ง Arbitrum เผยแพร่ข้อมูล L2 ไปยัง Ethereum L1 ทุก ๆ 1-3 นาที การมองในแง่ดีทุก ๆ 30 วินาที-1 นาที เป็นต้น

PEPC

Source: Barnabé Monnot

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

มาแยกย่อยลอจิคัลเชนนี้ทีละรายการ

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

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

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

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

(PS: จากภาพรวมคร่าวๆ จะพบว่า EigenDA คล้ายคลึงกับ Danksharding และ MEV-Boost++ คล้ายกับ ePBS โดยง่าย บริการทั้งสองนี้เหมือนกับเวอร์ชันที่เลือกใช้ของการออกแบบเลเยอร์โปรโตคอล เมื่อเปรียบเทียบกับเลเยอร์โปรโตคอล เป็นโซลูชันการตลาดที่เร็วขึ้น ก้าวให้ทันกับสิ่งที่ Ethereum กำลังจะทำในอนาคต และรักษา Ethereum Alignment ด้วยการวางเดิมพันใหม่)

Don't Overload Ethereum Consensus?

เมื่อไม่กี่เดือนที่ผ่านมา บทความของ Vitalik เรื่อง Dont Overload Ethereum Consensus ถือเป็นคำวิพากษ์วิจารณ์จากคนส่วนใหญ่เกี่ยวกับการหยุดทำงาน ผู้เขียนเชื่อว่านี่เป็นเพียงเครื่องเตือนใจหรือคำเตือนเพื่อรักษาฉันทามติทางสังคม โดยมุ่งเน้นไปที่ฉันทามติทางสังคมมากกว่าการปฏิเสธการให้คำมั่นสัญญาใหม่

ในวัยเด็กของ Ethereum การโจมตี DAO ทำให้เกิดความขัดแย้งครั้งใหญ่ และชุมชนก็มีการถกเถียงกันอย่างดุเดือดว่าจะทำการ Hard Fork หรือไม่ ในปัจจุบัน ระบบนิเวศของ Ethereum รวมถึง Rollup ได้โฮสต์แอปพลิเคชันจำนวนมากอยู่แล้ว ดังนั้นจึงเป็นเรื่องสำคัญมากที่จะต้องหลีกเลี่ยงการก่อให้เกิดความแตกแยกครั้งใหญ่ในชุมชนและรักษาความสอดคล้องของความเห็นพ้องต้องกันทางสังคม

Hermione creates a successful layer 2 and argues that because her layer 2 is the largest, it is inherently the most secure, because if there is a bug that causes funds to be stolen, the losses will be so large that the community will have no choice but to fork to recover the users' funds. High-risk.

ข้อความข้างต้นจากข้อความต้นฉบับเป็นตัวอย่างที่ดี วันนี้ TVL รวมของ L2 ทะลุ 1 หมื่นล้านแล้ว หากมีปัญหาก็จะเข้ามาเกี่ยวข้องอย่างมาก ในเวลานี้ หากชุมชนเสนอให้ใช้ Hard Fork และย้อนกลับสถานะ ก็จะทำให้เกิดความขัดแย้งครั้งใหญ่อย่างหลีกเลี่ยงไม่ได้ สมมติว่าคุณและฉันมีเงินจำนวนมาก เราจะเลือกอย่างไร - รับเงินคืนหรือเคารพความไม่เปลี่ยนแปลงของบล็อคเชน? ประเด็นของ Vitalik คือ: โครงการที่ต้องพึ่งพา Ethereum ควรจัดการความเสี่ยงอย่างเหมาะสม และไม่ควรพยายามที่จะเอาชนะใจฉันทามติทางสังคมของ Ethereum และผูกมัดชีวิตและความตายของโครงการกับ Ethereum อย่างแน่นหนา

กลับมาที่การอภิปรายของ EigenLayer จุดเน้นของการบริหารความเสี่ยงคือ AVS จำเป็นต้องกำหนดวัตถุประสงค์ ออนไลน์ และกฎการตัดเฉือนที่เกี่ยวข้องเพื่อหลีกเลี่ยงความขัดแย้ง ตัวอย่างเช่น บล็อกการลงนามสองครั้งบน Ethereum การลงนามบล็อกที่ไม่ถูกต้องของเชนอื่นในบริดจ์ข้ามเชนแบบไลท์โหนด EigenDA Escrow Proof ที่กล่าวถึงข้างต้น และอื่นๆ นี่เป็นกฎการริบที่ชัดเจน

บทสรุป

Source: EigenLayer

EigenLayer คาดว่าจะเสร็จสิ้นการเปิดตัว mainnet ในต้นปีหน้า และเปิดตัวผลิตภัณฑ์เรือธง EigenDA โครงการโครงสร้างพื้นฐานหลายโครงการได้ประกาศความร่วมมือกับ EigenLayer เราได้พูดคุยเกี่ยวกับ EigenDA, MEV และ PEPC ข้างต้น และมีการพูดคุยที่น่าสนใจมากมายเกี่ยวกับกรณีการใช้งานที่แตกต่างกัน การสมมุติฐานใหม่กำลังกลายเป็นหนึ่งในเรื่องราวที่โดดเด่นในตลาด เราจะติดตามความคืบหน้าของ EigenLayer ต่อไปและแบ่งปันความคิดเห็น!