DAOrayaki: คำอธิบายโดยละเอียดของคุณค่าที่สำคัญของการแยก "ผู้สร้างข้อเสนอ"
โพสต์ต้นฉบับโดย Robust Incentives Group @ethereum--Barnabé Monnot
การรวบรวมต้นฉบับ: DAOCtor@DAOrayaki.org
ชื่อเรื่องเดิม: Notes on Proposer-Builder Separation (PBS)
Proposer-Builder Separation (PBS) เป็นหัวข้อที่มีการถกเถียงกันอย่างถึงพริกถึงขิง ซึ่งเป็นแนวคิดการออกแบบแบบกว้างที่เน้นความสัมพันธ์ระหว่างโปรโตคอลและตัวแสดงที่ไม่ใช่โปรโตคอล เพื่อรักษาและใช้งานบล็อกเชน ในขณะที่การอภิปรายดำเนินไปนานกว่าหนึ่งปี การผสานที่หนึ่งและ Devcon ที่สองก็นำทรัพยากรและความสนใจมาสู่ PBS มากขึ้น ในบทความนี้ เราจะมุ่งเน้นไปที่สถานะ คุณค่าที่สำคัญ และความท้าทายของ PBS
พีบีเอสคืออะไร?
นอกเหนือจากข้อกำหนดหรือการใช้งานกลไกเดียวแล้ว PBS เป็นปรัชญาการออกแบบประการแรกและสำคัญที่สุดที่ตระหนักว่าผู้เข้าร่วมโปรโตคอลอาจเรียกใช้บริการจากบุคคลที่สามในความรับผิดชอบที่เป็นเอกฉันท์ของพวกเขา "ผู้เข้าร่วมโปรโตคอล" คือผู้ตรวจสอบที่มีข้อจำกัดและใช้งานอยู่ใน Ethereum Proof-of-stake ที่คาดว่าจะทำหน้าที่ต่างๆ รวมถึงการเสนอบล็อก สร้างการพิสูจน์ หรือมีส่วนร่วมในคณะกรรมการการซิงค์ปัจจุบัน
การรวมล่วงหน้า: ตัวค้นหาบันเดิลและ mev-geth
ในทางใดทางหนึ่ง PBS เริ่มต้นก่อนการควบรวมและ Ethereum ย้ายไปพิสูจน์สถานะ เราถือว่า "พฤติกรรมเริ่มต้น" เป็นพฤติกรรมของผู้ผลิตบล็อก ซึ่งเพียงแค่นำชุดของธุรกรรมจากกลุ่มธุรกรรมของพวกเขามารวมไว้ในบล็อกอย่างมีประสิทธิภาพที่สุด การเริ่มต้นครั้งแรกจากพฤติกรรมเริ่มต้นนี้เกิดจากการที่นักขุดบางคนเปิดสายสื่อสารส่วนตัวโดยตรงกับผู้สร้างธุรกรรมที่ตกลงแบบออฟไลน์ในเงื่อนไขที่ธุรกรรมจะรวมอยู่ด้วย
ในขณะที่สัญญาดังกล่าวถูกสร้างขึ้นเป็นการส่วนตัว แต่ mev-geth ซึ่งพัฒนาโดย Flashbots ได้เปิดตลาดระหว่างผู้ผลิตบล็อกและผู้ริเริ่มการทำธุรกรรมอย่างรวดเร็ว ตลาดอาศัยความสัมพันธ์ที่ไว้วางใจระหว่างนักขุด (ซึ่งจัดเป็นกลุ่มการขุดใน PoW) และหน่วยงานที่เรียกว่า Seekers โดยทั่วไปแล้วผู้ค้นหาจะจัดหาธุรกรรมของผู้ใช้จากกลุ่มธุรกรรมสาธารณะหรือบริการส่วนตัวที่พวกเขาดำเนินการ ธุรกรรมของผู้ใช้จะรวมเข้ากับธุรกรรมของผู้ค้นหาเองเพื่อดึงมูลค่าจากธุรกรรมของผู้ใช้ ตัวอย่างเช่น การติดตามธุรกรรมของผู้ใช้ผ่านการเก็งกำไร หรือการติดตามการอัปเดตของ Oracle ผ่านกระบวนการชำระบัญชี
มีการสื่อสารบันเดิลไปยังผู้เข้าร่วมตลาดในลักษณะที่ชัดเจน โดยมีคำมั่นสัญญาว่าผู้ค้นหาจะจ่ายเงินให้กับผู้ผลิตบล็อกหากมีการรวมบันเดิล อย่างไรก็ตาม ตลาดจำกัดเฉพาะผู้ผลิตบล็อกที่รู้จัก ซึ่งเป็นรายการที่อนุญาตพิเศษของกลุ่มการขุดหลักเพื่อป้องกันการโจรกรรมบันเดิล บล็อกผู้ผลิตที่ทำซ้ำกลยุทธ์ Seekers โดยแทนที่การชำระเงินของ Seekers ด้วยการชำระเงินเต็มจำนวนของพวกเขาเอง จะถูกตรวจพบและถูกไล่ออกจากตลาดในภายหลัง ซึ่งอาจสูญเสียการชำระเงินจำนวนมากในอนาคต PBS เป็นตัวแทนที่นี่ในฐานะผู้ผลิตบล็อกที่ได้รับชุดรวมจากผู้ค้นหาเพื่อรวมไว้บนบล็อกของพวกเขา
หลังการผสาน: ตัวสร้างบล็อกและ mev-boost
หลังจากการควบรวมกิจการ ด้วยการแนะนำผู้ตรวจสอบความถูกต้องอิสระที่ไม่ได้เข้าร่วมกลุ่มการเดิมพัน การรักษารายการที่อนุญาตสำหรับตลาดได้รับการพิสูจน์แล้วว่าเป็นไปไม่ได้ ผู้ตรวจสอบความถูกต้องอิสระเสนอบล็อกไม่บ่อยนัก ด้วยจำนวนปัจจุบันของผู้ตรวจสอบความถูกต้องที่ผูกพันในโปรโตคอล คาดว่าจะเป็นทุกๆ สองเดือน สิ่งนี้เปลี่ยนลักษณะของเกมจากเกมที่มีการโต้ตอบซ้ำ ๆ กับการคุกคามของบทลงโทษสำหรับการเบี่ยงเบนไปเป็นเกมที่มีผู้เล่นที่มักจะเป็น "นัดเดียว" มากกว่า
วิธีแก้ไขข้อจำกัดนี้คือการรับข้อผูกมัดกับเนื้อหาของบล็อกเฉพาะจากตัวตรวจสอบความถูกต้อง โดยที่ตัวตรวจสอบความถูกต้องไม่จำเป็นต้องรู้ว่าเนื้อหานั้นคืออะไร ขณะนี้ตลาดเรียกว่า mev-boost และส่งต่อส่วนหัวของบล็อกที่สร้างโดยผู้สร้างบล็อกพร้อมกับการเสนอราคาของผู้สร้างเพื่อบล็อกผู้เสนอโดยสัญญาว่าจะจ่ายเงินให้กับผู้เสนอเป็นจำนวนเงินสำหรับการเลือกบล็อกที่พวกเขาผลิต ที่ศูนย์กลางของตลาดคือผู้ถ่ายทอดซึ่งมีหน้าที่ตรวจสอบความถูกต้องของบล็อกที่สร้างโดยผู้สร้าง กล่าวคือบล็อกนั้นถูกต้อง EVM หรือไม่และได้จ่ายเงินตามจำนวนที่เสนอให้กับผู้เสนอแล้วหรือไม่
คำอธิบายภาพ
สร้างบล็อกที่ผสานจากการสาธิต Devcon
สู่ PBS "ในโปรโตคอล"
เมื่อต้องเผชิญกับความล้มเหลวของรีเลย์ เช่น ความล้มเหลวในการตรวจสอบความถูกต้องหรือความคงอยู่ และโอกาสที่จะลบจุดล้มเหลวใหม่เพียงจุดเดียว (โดยพื้นฐานแล้วเป็นปัจจัยการรวมศูนย์) ออกจากระบบ Vitalik จึงแนะนำการออกแบบ PBS "ในโปรโตคอล" ในการออกแบบเหล่านี้ ผู้ตรวจสอบความถูกต้องจะสุ่มสี่สุ่มห้าใช้บล็อกที่ผู้สร้างจัดเตรียมไว้ให้ อย่างไรก็ตาม โปรโตคอลเองมีการรับประกันสองประการ ไม่ใช่การถ่ายทอดของโปรโตคอลพร็อกซี:
สำหรับผู้สร้าง ผู้เสนอได้ให้คำมั่นสัญญาแล้ว และคำมั่นนั้นสามารถกู้คืนได้ผ่านความล้มเหลวที่เป็นเอกฉันท์เท่านั้น (เช่น การจัดระเบียบใหม่หรือความล้มเหลวด้านความปลอดภัยด้วย single-slot finality)
สำหรับผู้ยื่นข้อเสนอ สัญญาการชำระเงินของผู้สร้างจะบรรลุผลไม่ว่าผู้สร้างจะทำอะไรก็ตาม เช่น ความล้มเหลวในท้ายที่สุดในการปลดบล็อกเนื้อหาหรือการปลดบล็อกที่ไม่ถูกต้อง
การออกแบบที่เป็นไปได้สำหรับ PBS ภายในโปรโตคอลที่มีโปรโตคอลสองรอบ: หนึ่งเพื่อรักษาความมุ่งมั่นของผู้เสนอและอีกเพื่อความปลอดภัยในการเปิดเผยของผู้สร้าง
PBS และปัญหาหลัก-ตัวแทน
ในพอดคาสต์ล่าสุดกับ Yaoqi Jia จาก AltLayer ฉันแย้งว่า PBS ไม่ใช่สิ่งที่เราต้องการมากเท่ากับข้อจำกัดที่โปรโตคอลต้องตอบสนอง ก่อนหรือหลังการควบรวม ผู้ผลิตบล็อกยินดีที่จะจัดหาส่วนหนึ่งของบล็อกนอกโปรโตคอล ซึ่งหมายความว่าเป้าหมายของโปรโตคอลอาจถูกยกเลิก
ตามประวัติศาสตร์แล้ว นี่ไม่ใช่ครั้งแรก เป้าหมายของโปรโตคอลที่สำคัญคือความยุติธรรมของรางวัล หรือการที่ผู้เข้าร่วมโปรโตคอลทุกคนคาดว่าจะได้รับรางวัลในจำนวนที่เท่ากันเมื่อเทียบกับขนาดของพวกเขา แม้ว่าสิ่งนี้จะเป็นจริงใน Proof of Work ซึ่งรางวัลจะเป็นสัดส่วนกับอัตราแฮชที่นำมาสู่เครือข่าย แต่รางวัลจะแตกต่างกันมากพอที่จะจูงใจให้นักขุดส่วนใหญ่เข้าร่วมกลุ่มการขุดและแบ่งปันผลกำไรกับสมาชิกของพวกเขา อย่างไรก็ตาม ไม่มีการรับประกันว่าบล็อกที่ผลิตโดยกลุ่มการขุดจะเคารพการตั้งค่าของสมาชิกกลุ่ม เว้นแต่จะมีการกระจายการสร้างบล็อกระหว่างสมาชิกกลุ่ม หากพฤติกรรมของกองทุนรวมขัดต่อความต้องการของสมาชิก ก็ยังคงมีสิทธิ์ที่จะถอนตัวออกจากกองทุน ซึ่งเป็นเหตุผลสำคัญในการออก
เมื่อไรก็ตามที่ผู้เข้าร่วมโพรโทคอลจ้างคนภายนอกควบคุมการสร้างบล็อก ปัญหาใหม่ของตัวการหลักก็เกิดขึ้น ในกรอบดังกล่าว ครูใหญ่ขอให้ตัวแทนดำเนินการบางอย่าง แต่แรงจูงใจของครูใหญ่และตัวแทนอาจไม่สอดคล้องกันโดยสิ้นเชิง นายจ้างต้องการให้พนักงานทำงานมากที่สุดเท่าที่จะเป็นไปได้ แต่พนักงานต้องการลดความพยายาม ดังนั้นโครงสร้างค่าตอบแทนที่เหมาะสมสามารถช่วยสร้างแรงจูงใจใหม่ได้ ผู้เสนอการบล็อกต้องการให้ธุรกรรมรวมอยู่ด้วย แต่ผู้สร้างอาจต้องการเซ็นเซอร์ธุรกรรมเหล่านั้น ดังนั้นกลไกในการบังคับใช้การตั้งค่าของผู้เสนอจะช่วยสร้างแรงจูงใจใหม่
โครงสร้างตลาดและกลไกการจัดสรร
ในความคิดของฉัน การพิจารณา PBS แบบโมดูลาร์เป็นเรื่องที่สมเหตุสมผลเพื่อให้เข้าใจพื้นที่การออกแบบได้ดีขึ้น แนวทางนี้ช่วยให้เราสามารถพิจารณาโครงสร้างของปัญหาหลัก-ตัวแทนได้ชัดเจนยิ่งขึ้น และขอบเขตที่โปรโตคอลเข้ามาแทรกแซงเพื่อแก้ปัญหานั้น
PBS เป็นโครงสร้างตลาด/ระบบกฎหมาย โปรโตคอลกำหนดเงื่อนไขที่ผู้เสนอสามารถโต้ตอบกับบุคคลที่สามระหว่างการสร้างบล็อก ตัวอย่างเช่น โปรโตคอลให้การบังคับใช้ข้อตกลง เช่น การบังคับใช้ข้อผูกพันในการชำระเงินที่ทำโดยผู้เสนอหรือบุคคลที่สาม โปรโตคอลยังมีเครื่องมือสำหรับบุคคลที่สามในการระบุข้อผูกพันที่ทำโดยผู้เสนอ สิ่งอำนวยความสะดวกนี้มาจากกลไกฉันทามติของโปรโตคอล ซึ่งสร้างข้อผูกมัดที่ปลอดภัยซึ่งป้องกันไม่ให้ถูกเพิกถอน
PBS เป็นกลไกการกระจาย/ตรรกะทางธุรกิจ โปรโตคอลกำหนดพื้นที่ของสัญญาที่ผู้เสนอและบุคคลที่สามสามารถเข้าร่วมได้ ตัวอย่างเช่น ข้อตกลงกำหนดว่าเฉพาะสิทธิ์ทั้งหมดในการสร้างบล็อกเท่านั้นที่สามารถขายได้ และจัดการประมูลเพื่อแจกจ่ายสิทธิ์เหล่านี้
ภายใต้ mev-boost โปรโตคอลจะไม่รบกวนปัญหาหลัก-ตัวแทน ไม่รู้จักบทบาทของผู้สร้างในฐานะเอนทิตีที่โต้ตอบกับผู้เสนอ อย่างดีที่สุด ไคลเอ็นต์เลเยอร์ฉันทามติช่วยให้นักเดิมพันสามารถเซ็นชื่อส่วนหัวของบล็อกแบบสุ่มสี่สุ่มห้า และบางทีอาจเป็นบริการอื่นๆ เช่น การแปลงกำไรในท้องถิ่น แต่สิ่งเหล่านี้ไม่ได้เป็นส่วนหนึ่งของโปรโตคอล (เฉพาะคำว่า "ผู้สร้าง" เท่านั้นที่ปรากฏขึ้นเพื่อโน้มน้าวใจตัวเองใน ส่วน "sharding" เบื้องต้นของ repo ข้อมูลจำเพาะที่เป็นเอกฉันท์)
การไม่แทรกแซงนี้หมายความว่าไม่มีวิธีการลดความไว้วางใจในโปรโตคอลที่ผู้เสนอสามารถได้รับการชดเชยเมื่ออีกด้านหนึ่งของตลาดไม่ปฏิบัติตามข้อตกลงของพวกเขา ไม่ว่าจะเป็นความรับผิดชอบของข้อตกลงนี้เป็นที่ถกเถียงกันโดยสิ้นเชิง มุมมองของฉันเกี่ยวกับเรื่องนี้ผสมกัน
ในแง่หนึ่ง ผู้ยื่นข้อเสนอที่แสวงหาผลกำไรสูงสุดอาจมีส่วนร่วมในพฤติกรรมที่เป็นอันตราย เช่น การเลื่อนการเผยแพร่บล็อกหรือการเรียกหน่วยงานภายนอกให้ช่วยสร้างบล็อก ระเบียบปฏิบัติอาจดูแคลนไม่สนับสนุนกิจกรรมดังกล่าว และในความเป็นจริง อาจต้องการป้องกันอันตรายทางศีลธรรมให้มากที่สุด
ในทางกลับกัน ความไม่สมดุลระหว่างการสร้างบล็อกและการตรวจสอบความถูกต้องของบล็อก (ที่กล่าวถึงในโพสต์ Endgame ของ Vitalik) เปิดโอกาสสำหรับการออกแบบที่ไม่สามารถนำไปใช้ได้จริงโดยไม่ต้องเรียกใช้หน่วยงานภายนอก หากเราตั้งใจที่จะเข้าใกล้ปรัชญาการออกแบบของ PBS อย่างเต็มที่ เช่น ต้องการให้ผู้สร้างที่ทรงพลังสร้างบล็อก Danksharding ข้อกำหนดในการเชื่อมต่อกับบุคคลที่สามดังกล่าวจะถูกกำหนดโดยโปรโตคอลของผู้เสนอ หากผู้ยื่นข้อเสนอบางรายไม่สามารถปฏิบัติหน้าที่ตามโปรโตคอลได้ (โดยเฉพาะ ผู้ยื่นข้อเสนอในสภาพแวดล้อมที่มีข้อจำกัดด้านทรัพยากร) และบนพื้นฐานนี้เมื่อผู้เสนอเหล่านี้เรียกร้องให้บุคคลที่สามปฏิบัติหน้าที่แทนโดยหลีกเลี่ยงไม่ได้ นี่จะเป็นปัญหา ข้อเสนอ.
หากผู้สร้างไม่ได้รับความไว้วางใจในการปฏิบัติตามพันธสัญญา เราอาจลงเอยด้วยโปรโตคอลที่บรรลุผลประโยชน์ทางสังคมน้อยกว่าโปรโตคอลที่ผู้เสนอเข้าร่วมอย่างเต็มที่ในการปฏิบัติตามหน้าที่ของตน ฉันไม่กังวลเกี่ยวกับส่วนนี้ ประการแรก แม้แต่ในตลาดที่มีการแข่งขันสูง ผู้สร้างก็เป็นองค์กรที่ทำกำไรได้ พวกเขาสนใจเกี่ยวกับการบล็อกเพื่อเข้าสู่โปรโตคอล โดยเฉพาะอย่างยิ่งเมื่อมีการชำระเงินและจะเกิดขึ้นโดยไม่คำนึงถึงประสิทธิภาพของพวกเขา ประการที่สอง ในขณะที่การไม่มีบล็อกเนื่องจากความล้มเหลวของตัวสร้างนั้นเป็นการสูญเสียโปรโตคอล แต่ก็เป็นไปได้เสมอหากเพียงเพราะเวลาแฝงในโลกแห่งความเป็นจริงที่สูงขึ้น"แต่งหน้า"ตัวอย่างเช่น เวลาที่สูญเสียไปกับ EIP-1559 แบบสะสมตามเวลา
ไม่ว่าการตอบคำถามเหล่านี้จะตอบว่า Ethereum คืออะไรหรือควรเป็นโปรโตคอล นักแสดงต้องการอะไร? โลกทัศน์ขององค์กรทางเศรษฐกิจเกี่ยวกับอาณัติของพิธีสารเป็นอย่างไร อะไรคือขอบเขตของความกังวล?
ในซีรี่ส์ที่ 2 เราจะพูดถึงกลไกบางอย่างที่อาจได้รับการพิจารณาในการค้นหารูปแบบสุดท้ายของ Ethereum
