🎉 เข้าร่วมการท้าทายการโพสต์วันขอบคุณ 15 วันของ Gate.io และชนะส่วนแบ่งจาก $2,000 รางวัล!
เพื่อเฉลิมฉลองวันขอบคุณ! Gate.io กำลังเปิดตัวการท้าทายในการโพสต์ 15 วัน! เข้าร่วม Gate Post เพื่อชนะส่วนแบ่งของ $2,000 ยังมีสิทธิ์เข้าร่วมรายการ merch พิเศษสำหรับ Gate Post Ambassadors!
🔎 เพื่อเข้าร่วม:
คลิกที่
如何去除รีเลย์
MEV-Boost เป็นโปรโตคอลเสริมที่ใช้สกัด MEV ใน ETH ปัจจุบันซึ่งขึ้นอยู่กับผู้เข้าร่วมที่มีความสัมพันธ์กับรีเลย์ที่เป็นส่วนกลาง พวกเรามีแนวคิดทดแทนที่อนุญาตให้การสื่อสารแบบเป็นส่วนตัวทางรหัสลับระหว่างผู้ก่อตั้งและผู้เสนอข้อเสนอ โดยโครงสร้างนี้ขึ้นอยู่บนรูปแบบการเข้ารหัสเข้ารหัสประตูเงียบที่ไม่ต้องการปฏิกิริยาแบบใหม่ซึ่งใช้กุญแจลับ BLS ที่มีอยู่เดิมของผู้ตรวจสอบความถูกต้อง
ทางบทบาทหลักของเราคือการเสนอการเข้ารหัสบล็อกที่เกี่ยวกับการเข้ารหัสเป็นส่วนหนึ่งของผู้เข้าร่วมบางส่วน โดยใช้คณะกรรมการพิสูจน์เพื่อความเป็นส่วนตัวและความพร้อมใช้งานของข้อมูล การพิสูจน์ของพวกเขาจะกลายเป็นกุญแจลับในกรณีที่ทำให้บล็อกถูกถอดรหัส
แผนงานการสร้างของเราแก้ไขปัญหาความเป็นส่วนตัวระหว่างผู้สร้างและผู้เสนอ แต่ไม่สามารถรับประกันความมีประสิทธิภาพของบล็อกได้อย่างเดียว มันสามารถร่วมกับกลไกอื่น ๆ เพื่อทำซ้ำฟังก์ชันที่รีเลย์มีให้ทั้งหมด เช่น เทคโนโลยีเอกสารการรับรองสิทธิ์ที่น่าเชื่อถือ (TEE) หรือพิสูจน์ศักย์ศรีษะฮาโล (ZK) หรือการป้องกันทางเศรษฐกิจที่ผ่านการเข้ารหัสเพื่อให้ผู้สร้างได้รับการรับประกัน
โดยการกำจัดความจำเป็นในการรักษาความเป็นส่วนตัวของผู้สร้างรีเลย์และการรับรองความถูกต้องของบล็อก เรามุ่งเน้นในการลดค่าเครือข่ายเวลาแฝง พัฒนาความสามารถในการกระจายอำนาจและความต้านทานการตรวจสอบของเอเธอร์เพื่อเพิ่มประสิทธิภาพให้กับระบบ
การทำงานของ MEV-Boost และรีเลย์
MEV-Boost เป็นโปรโตคอลเครื่องหน้าที่ทำหน้าที่เป็นตัวกลางระหว่างผู้สร้างบล็อกและผู้เสนอข้อเสนอ บทบาทหลักของรีเลย์(หน้าที่หลัก) คือการให้ความมั่นคงสองอย่าง :
อย่างไรก็ตามความเชื่อในรีเลย์ได้นำเข้ามาโดยที่มีการควบคุมที่สูงมาก ประมาณ 90% ของบล็อกภายในเครือข่าย ETH ถูกส่งผ่านรีเลย์ของไม่กี่บริษัทเท่านั้น ซึ่งนั่นเป็นสิ่งที่มาพร้อมกับความเสี่ยงหลายประการ:
ที-บูสต์
หนึ่งในข้อเสนอทางเลือกหลักในการแทนที่รีเลย์คือ "TEE-Boost" (https://collective.flashbots.net/t/tee-boost/3741) ซึ่งขึ้นอยู่กับสิ่งแวดล้อมการดำเนินการที่เชื่อถือได้ (TEEs) ควรระวังว่า TEEs ไม่ใช่ส่วนสำคัญของแผนของเรา การใช้ TEE-Boost เป็นตัวอย่างการสอนที่เป็นประโยชน์สำหรับปัญหาที่เราต้องการแก้ไข
โดยเฉพาะ TEE-Boost ต้องการผู้สร้างใช้ TEEs ในการสร้างพิสูจน์เพื่อแสดงความซื่อสัตย์ของการเสนอราคาและความถูกต้องของบล็อกโดยไม่จำเป็นต้องเปิดเผยเนื้อหาของบล็อกจริง ผู้เสนอโครงการสามารถตรวจสอบพิสูจน์เหล่านี้บนฮาร์ดแวร์ทั่วไปโดยไม่จำเป็นต้องเรียกใช้ TEEs ด้วยตนเอง
อย่างไรก็ตาม TEE-Boost มีปัญหาในเรื่องของความสามารถในการใช้ข้อมูล: ผู้สร้างแชร์เพียง TEE proof และบล็อกเฮดกับผู้เสนอข้อเสนอ โดยไม่แชร์เนื้อหาบล็อกจริง[1]และอาจเลือกที่จะไม่ปล่อยเนื้อหาบล็อกหลังจากลายเซ็นต์ของผู้เสนอข้อเสนอ (เช่น หากมีการเปลี่ยนแปลงที่ไม่เกิดขึ้นในเงื่อนไขตลาด) วิธีการแนะนำในการแก้ไขปัญหาความสามารถในการเข้าถึงข้อมูลรวมถึง:
TEE-การจัดเก็บ: TEE-การจัดเก็บได้รับบล็อกจากผู้สร้างก่อนที่ผู้เสนอจะลงนามและปล่อยบล็อกหลังจากเห็นหัวลายลงนาม
ชั้นความสามารถในการใช้ข้อมูล: ผู้สร้างจะเผยแพร่บล็อกที่เข้ารหัสไปยังชั้นความสามารถในการใช้ข้อมูล (DA)
วิธีทั้งสองมีข้อเสีย โซลูชันการเก็บรักษา TEE ทำสำเนาของรีเลย์ที่มีความคล้ายคลึงกับระบบเครือข่ายที่เป็นศูนย์กลางที่มีความสัมพันธ์เวลาแฝงไดนามิก[2] หากใช้ชั้น DA ภายนอก จะมีการสมมติของโปรโตคอลเพิ่มเติม และต้องรับผิดชอบในค่าเครือข่ายเวลาแฝงของโปรโตคอลภายนอกนั้น (ซึ่งอาจไม่เป็นประโยชน์ได้)
ทฤษฎี上มีการบอกว่า หากผู้เสนอแนะสามารถเข้าถึง TEEs ผู้สร้างสามารถเข้ารหัสบล็อกลงใน TEE ที่ผู้เสนอแนะทำงาน TEE ของผู้เสนอแนะจะถูกถอดรหัสเมื่อเซ็นต์เท่านั้น อย่างไรก็ตามเราคิดว่า TEE-Boost ไม่ได้พิจารณาการออกแบบนี้เนื่องจากนี่จะต้องการให้ผู้เสนอแนะ (ผู้ตรวจสอบความถูกต้อง) เรียกใช้ TEEs เราหวังว่าผู้ตรวจสอบความถูกต้องสามารถทำงานบนฮาร์ดแวร์ทั่วไป
如果提议者自己将TEE-保管作为与其ผู้ตรวจสอบความถูกต้องโหนด共同部署的侧车运行,则可以避免ค่าเครือข่ายเวลาแฝง动
สภาพ อย่างไรก็ตาม เรายังไม่ต้องการให้ผู้ตรวจสอบความถูกต้องเรียกใช้ TEEs [↩] (https://www.paradigm.xyz/2024/10/removing-the-relays#fn-ref-TEE-Boost2)
การเข้ารหัสเกณฑ์สําหรับความเป็นส่วนตัวของผู้สร้าง
เรา提出วิธีการที่สวยงามในการจัดการกับปัญหาความสามารถในการใช้ข้อมูลของ TEE-Boost: เข้ารหัสของคณะกรรมการตรวจสอบที่มีขีดจำกัด โดยสร้างบล็อกลิมิตการเข้ารหัสให้กับคณะกรรมการตรวจสอบในสัดส่วนที่กำหนดในช่วงเวลานั้น หลังจากเก็บรวบรวมการรับรองเพียงพอแล้ว บล็อกสามารถถอดรหัสและใช้งานได้
The core enablement technology is silent gating การเข้ารหัส. เทคนิคการเข้ารหัสนี้ [allows for threshold การเข้ารหัส] (https://eprint.iacr.org/2024/263) โดยไม่จําเป็นต้องมีขั้นตอนการตั้งค่ากุญแจลับแบบโต้ตอบที่จําเป็นสําหรับการสร้างก่อนหน้านี้ ในทางตรงกันข้ามกุญแจร่วมสาธารณะจะคํานวณตามผู้ตรวจสอบความถูกต้องที่มีอยู่ BLS กุญแจสาธารณะ และ "คําแนะนํา" บางอย่าง (กล่าวถึงในภายหลัง) การคํานวณที่กําหนด
นี่เป็นการสื่อสารโดยตรงระหว่างผู้สร้างและผู้ตรวจสอบความถูกต้องที่มีความเป็นส่วนตัวทางกายภาพทางคณิตศาสตร์ ผู้ตรวจสอบความถูกต้องไม่จำเป็นต้องเรียกใช้ TEEs หรือจัดการวัสดุกุญแจลับใด ๆ เอง
กลไก:
ผู้สร้างสร้างบล็อกและเข้ารหัสไปยังคณะกรรมการตรวจสอบ
ผู้สร้างสร้างการพิสูจน์ TEE โดยพิสูจน์ให้คณะกรรมการตรวจสอบทราบว่ามีสามประการ: การเสนอราคาเป็นความจริง, บล็อกเป็นไปตาม, และการเข้ารหัสถูกต้อง
ตัวสร้างจะสื่อสารบล็อกและหลักฐาน TEE (รวมถึงค่าเอาต์พุต) ของการเข้ารหัสเกณฑ์ไปยังผู้เสนอ [3]
ผู้เสนอลงนามในบล็อกการเข้ารหัสของผู้สร้างที่ชนะและเผยแพร่ข้อเสนอไปยังชุดผู้ตรวจสอบความถูกต้อง
เมื่อคณะกรรมการการตรวจสอบที่ระบุสัดส่วน (เช่น n/2 หรือ 2n/3) ได้รับการรับรองบล็อกแล้ว จะถูกถอดรหัส
บล็อกที่ถอดรหัสแล้วจะได้รับการยืนยันสุดท้ายเป็นปกติ
หมายเหตุ
พฤติกรรม
การเข้ารหัสของ Silent Threshold มีคุณสมบัติที่มีประโยชน์อย่างมาก ที่นี่ n คือขนาดของคณะกรรมการที่เราต้องการสนับสนุนอย่างมากที่สุด t คือค่าเข้ารหัสของการถอดรหัส
การเข้ารหัสและการถอดรหัสบางส่วนใช้เวลาในระหว่างที่เป็นค่าคงที่ การเข้ารหัสด้วยการใช้งานง่ายใช้เวลาน้อยกว่า 7 มิลลิวินาทีและสามารถทำงานพร้อมกันได้ การถอดรหัสบางส่วนใช้เวลาน้อยกว่า 1 มิลลิวินาที
ข้อความไซเฟอร์มีขนาดใหญ่กว่าข้อความธรรมดา 768 ไบต์ นี่เป็นค่าคงที่ที่เพิ่มเติม (สำหรับ n และ t ใด ๆ)
การรวมถอดรหัสบางส่วน (หมายความว่าถอดรหัส) ขึ้นอยู่กับขนาดของคณะกรรมการ โดยเมื่อ n=1024 การปฏิบัติง่ายใช้เวลาน้อยกว่า 200 มิลลิวินาที เราคาดว่าเมื่อ n=128 (ขนาดของคณะกรรมการการรับรองในแต่ละช่วงเวลา) เวลานี้จะลดลง 10 เท่า และการปฏิบัติสามารถปรับปรุงได้อีก
การเข้ารหัส时间是与รีเลย์ค่าเครือข่ายเวลาแฝง进行比较的关键性能指标。这是构建者在บล็อก生成的“关键路径”中必须计算的内容。这个时间低于现有รีเลย์的บล็อก处理ค่าเครือข่ายเวลาแฝง,并避免了多跳通信。
การเผยแพร่ข้อมูล
การเข้ารหัส门限ไม่ใช่ฟรีทั้งหมด มันต้องการสตริงอ้างอิงที่ร่วมกันจริง ๆ โดยมีรูปแบบคือ:(g, gτ, gτ², …, gτⁿ⁻ᵗ) คล้ายกับเนื้อหาที่ใช้ในการสัญญาณหลายรายการ KZG
นอกจากนี้ ผู้ตรวจสอบความถูกต้องทุกคนที่มีกุญแจสาธารณะที่มีรูปแบบเป็น g⁽ˢᵏ⁾ จะเผยแพร่กลุ่มขององค์ประกอบที่เราเรียกว่า "ทิปส์" ซึ่งประกอบด้วย (g⁽ˢᵏ⁾⋅τ, …, g⁽ˢᵏ⁾⋅τⁿ⁻ᵗ) สิ่งเหล่านี้จำเป็นเฉพาะเมื่อประกอบกุญแจสาธารณะและถอดรหัสข้อความไซเฟอร์ การเข้ารหัสเฉพาะใช้ขนาดคงที่ของกุญแจสาธารณะที่ถูกรวม
ในขณะที่เราเขียนบทความนี้ เรามีประมาณ 1 ล้านผู้ตรวจสอบความถูกต้อง หากเราตั้งค่า n=128 และ t=n/2 แต่ละผู้ตรวจสอบความถูกต้องจะต้องเผยแพร่เฉลี่ย 3KB ของข้อมูลเป็นการเก็บรักษาทั้งหมดที่จำเป็นต้องใช้พื้นที่ 3GB
พร้อมกับการเปิดใช้งาน MaxEB ความต้องการนี้อาจจะปล่อย MaxEB อนุญาต ผู้ตรวจสอบความถูกต้องที่ควบคุมยอดเงินเกิน 32 ETH ในกุญแจลับเดียวกันให้มียอดเงินคงเหลือมากกว่า (แทนที่จะกระจ散อยู่ในเงินฝาก 32 ETH หลายๆ รายการ) การลดจำนวนผู้ตรวจสอบความถูกต้องที่จะทำได้ยังคงอยู่ระหว่างการพิจารณา อาจจะลดลงเหลือประมาณ 1GB
ในที่สุด ตามการเปลี่ยนแปลงที่จะเกิดขึ้นในกรอบของ Ethereum ฉันทามติ (เช่นการลดขนาดของผู้ตรวจสอบความถูกต้องที่รวมกันหรือสายการผลิตความสมบูรณ์ที่แทนที่) ขนาดการจัดเก็บที่จำเป็นอาจลดลงได้อีก
ความมีชีวิตชีวา
ETH坊หวังที่จะยังคงออนไลน์ในเครือข่ายที่ไม่เอื้ออำนวยเหล่านี้ได้อย่างไร้ปัญหา ปัญหาหนึ่งของแผนนี้คือบล็อกที่ไม่สามารถถอดรหัสได้เนื่องจากคณะกรรมการที่ระบุไว้มีสถานะออฟไลน์
หนึ่งในวิธีการแก้ปัญหาคือการอนุญาตให้ผู้สร้างตัดสินใจสัดส่วนของคณะกรรมการที่ยอมรับได้ (t) สำหรับการถอดรหัส ความสมัครส่วนบุคคล (ความเป็นไปได้ในการหลีกเลี่ยงการแกะฝาและการขโมย MEV) มีการปรับความสมดุลระหว่างความเป็นไปได้ของค่าคณะกรรมการและค่าความเป็นไปได้ของที่ตั้งค่าค่าคณะกรรมการที่เหมาะสมสำหรับผู้สร้างคือการทำให้บล็อกของพวกเขาถูกรวมอยู่ในเชืองเพื่อให้ได้รายได้สูงสุดดังนั้นพวกเขาควรหาการตั้งค่าค่าคณะกรรมการที่เหมาะสม[4]
นอกจากนี้ การใช้การเข้ารหัสนี้ควรเป็นการเลือกที่จะทำโดยสมัครใจ ในเงื่อนไขของเครือข่ายที่ไม่เอื้ออำนวย หากไม่มีคณะกรรมการขนาดยอมรับใด ๆ ที่สามารถทำงานออนไลน์อย่างต่อเนื่อง ผู้เสนอและผู้สร้างสามารถย้อนกลับไปใช้รีเลย์ การสร้างขึ้นเอง หรือกลไกอื่นที่เลือกตามลักษณะของเงื่อนไขที่ไม่เอื้ออำนวย
โดยเฉพาะการประกอบบล็อกของผู้สร้างที่ถูก Fork ออกไปมีค่าคาดหวังเป็นลบ (พวกเขาไม่ได้รับรายได้จากนั้น) ในขณะที่ค่าคาดหวังของการถอดถุงเป็นลบอย่างมาก หากให้ผู้สร้างเลือก t อยู่ในช่วง [0, 128] พวกเขาควรจะสร้างแรงบันดาลใจให้เกิดอย่างสมควรว่าต้องเลือก t ที่สูงพอ ๆ กันเพื่อปล่อยความเสี่ยงของการถอดถุงและเพิ่มโอกาสที่จะได้รับการพึงพอใจ (อย่างน้อย t ชื่อกรรมการออนไลน์) ภายใต้เงื่อนไขของเครือข่ายที่ปกติ บางบล็อกอาจจะถูก Fork ออกไป แต่เราสังเกตเห็นว่านี้เกิดขึ้นในการเล่นเกมเวลา ในขณะที่ความสามารถในการใช้งานของเชื่อมโยงยังคงเป็นไปได้
บล็อกที่ไม่สามารถใช้งาน
นอกจากนี้คณะกรรมการอาจอยู่ออนไลน์ แต่สร้างสรรค์อาจสร้างสถานการณ์ที่ทำให้บล็อกไม่สามารถถอดรหัสหรือไม่สามารถใช้งานได้เมื่อถอดรหัส (เช่นใช้พิสูจน์ที่เป็นการหลอกลวง)
จากมุมมองของโปรโตคอลเราสามารถ Fork บล็อกเหล่านี้ได้ ผู้ตรวจสอบความถูกต้องอย่างกว้างขวางไม่สามารถพิสูจน์บล็อกประเภทนี้หรือบล็อกที่อ้างถึงมันได้ วิธีการที่ดีที่สุดในการจัดการกับข้อผิดพลาดนี้อาจเป็นการทำให้ไคลเอนต์รับรู้ถึงความเป็นไปได้นี้และสามารถล้มเหลวได้อย่างสง่างาม ต้องมีการศึกษาเพิ่มเติมในเรื่องนี้
โครงสร้างตลาด
ผู้สร้างที่ชนะรู้เนื้อหาของบล็อกก่อนที่จะถึงค่าโครงสร้าง นี้อาจทำให้มีความเปรียบเทียบที่ไม่เป็นธรรมในช่วงเวลาต่อมา อย่างไรก็ตาม คณะกรรมการพิสูจน์ความถูกต้องควรทำการกระทำก่อนจบช่วงเวลาถัดไป และความคุ้มค่าของบล็อกส่วนใหญ่จะมีในท้ายช่วงเวลาดังกล่าว ดังนั้น ผลกระทบของความเปรียบเทียบนี้ควรลดลงให้มากที่สุด
การพิสูจน์ทางคณิตศาสตร์ที่บริสุทธิ์
ในระยะยาวอาจมีโอกาสในการใช้ Zero-Knowledge Proof (ZK พิสูจน์) แทนการพิสูจน์ TEE ในปัจจุบัน ZK พิสูจน์มีความเร็วช้ามาก แต่ความคืบหน้าในด้านคริปโทกราฟี ซอฟต์แวร์และฮาร์ดแวร์ที่เฉพาะเจาะจง (ASICs) อาจทำให้การสร้าง ZK พิสูจน์ในขีดจำกัดของค่าเครือข่ายเวลาแฝงที่จำเป็นเป็นเรื่องที่เป็นไปได้ สิ่งที่ควรระวังคือ ZK พิสูจน์ที่แนบมากับบล็อกเรียกว่า ส่วนสำคัญของโครงการ Ethereum ในระยะยาว
การรับเลี้ยงบุตรบุญธรรม
根据当前的ผู้ตรวจสอบความถูกต้อง集规模和增长率,这种方案可能不值得在L1上发布所需的数据量。然而,ETH坊已经计划通过MaxEB显著减少ผู้ตรวจสอบความถูกต้อง数量。
วิธีที่ดีที่สุดอาจเป็นการอัปเกรดก่อนหรือหลังการเข้ารหัส MaxEB เพื่อให้ไคลเอ็นต์ฉันทามติรับรู้ถึงความเป็นไปได้ในการเข้ารหัสบล็อกและส่งเสริมให้ผู้ตรวจสอบความถูกต้องเผยแพร่เคล็ดลับ เช่น หลังจาก MaxEB สามารถขอให้ผู้ตรวจสอบความถูกต้องใหม่เผยแพร่เคล็ดลับได้ ในขณะที่ผู้ตรวจสอบความถูกต้องเดิมสามารถได้รับสิ่งของกำลังอัปเกรด
เมื่อผู้ตรวจสอบความถูกต้องในอัตราส่วนที่เพียงพอเริ่มใช้กลไกนี้ ผู้สร้างจะเริ่มใช้มันเพื่อให้มีขนาดคณะกรรมการที่เพียงพอ (นั่นคือการใส่ใจความเป็นส่วนตัวและความเปิดเผย)
ถ้าวิธีของเราในเรื่องค่าเครือข่ายเวลาแฝงดีกว่าการส่งผ่านหลายรอบในทางการตลาดก็ควรจะนำมันมาใช้โดยอัตโนมัติโดยไม่จำเป็นต้องใช้โปรโตคอลหรือกำหนดการตั้งค่าพารามิเตอร์เฉพาะ
หลักการพื้นฐาน
รีเลย์เป็นหนึ่งในแหล่งที่สำคัญที่สุดของอีเธอร์รัมเพื่อการกระจายอำนาจแบบกระจาย ซึ่งเป็นต้นทางให้เกิดโอกาสในการเช่าซื้อและเบียดเบียนโปรโตคอลการกระจายอำนาจทางภูมิภาค พวกเราจำเป็นต้องนำรีเลย์ออก และเชื่อว่านี่เป็นทางเลือกที่สวยงามอย่างหนึ่ง มันต้องการการเปลี่ยนแปลงที่เกี่ยวกับชั้นเห็นของหลักสูตร แต่ไม่จำเป็นต้องมีวัสดุฮาร์ดแวร์หรือกุญแจลับใหม่ๆจากผู้ตรวจสอบความถูกต้อง
ข้อเสียคือนี่เป็นการเปลี่ยนแปลงที่ซับซ้อนของชั้นความเห็นร่วมกัน และกลไกนี้ (หากถูกเลือกใช้ตามที่แนะนำ) อาจได้รับการยอมรับจากตลาดหรืออาจไม่ได้รับการยอมรับ อย่างไรก็ตาม หลายท่อนพลังงาน MEV ที่เป็นไปได้ก็เผชิญกับปัญหาเดียวกันในการยอมรับและการสร้างกำไรที่เหมาะสม (เช่น รายการที่รวมอยู่ ) และในอนาคตอาจจะมีการใช้งานอื่น ๆ ที่ขึ้นอยู่กับพื้นฐานการเข้ารหัสที่มีความสำคัญของผู้ตรวจสอบความถูกต้อง
ประกาศ: