ขอขอบคุณเป็นพิเศษสำหรับ Mike Neuder, Justin Drake และคนอื่นๆ สำหรับคำติชมและบทวิจารณ์ ดูเพิ่มเติมที่: โพสต์ก่อนหน้านี้เกี่ยวกับธีมที่คล้ายกันโดย<a href="https://notes.ethereum.org/ @mikeneuder /goldilocks">Mike Neuder, Dankrad Feist และ arixon.eth
สถานะปัจจุบันของ Ethereum สามารถอธิบายได้ว่าเป็นการรวมส่วนแบ่งจำนวนมากของการเดิมพันแบบสองชั้นที่เกิดขึ้น สำหรับการปักหลักแบบสองชั้น ฉันหมายถึงโมเดลการปักหลักที่มีผู้เข้าร่วมสองประเภท:
การเดิมพันแบบสองชั้นที่เกิดขึ้นนี้เกิดขึ้นจากการกระทำของผู้เดิมพันส่วนใหญ่ที่มีส่วนร่วมในกลุ่มการเดิมพันซึ่งมีโทเค็นการเดิมพันแบบของเหลว (LST) เช่น ร็อคเก็ตพูล และ ลิโด้
สภาพที่เป็นอยู่มีข้อบกพร่องหลักสองประการ:
โพสต์นี้จะอธิบายวิธีแก้ปัญหาที่เป็นไปได้สำหรับปัญหาทั้งสองนี้ โดยเฉพาะอย่างยิ่งจะใช้มุมต่อไปนี้: สมมติว่าเราถือว่าเงินทุนส่วนใหญ่ถือครองโดยผู้ที่ไม่เต็มใจที่จะเรียกใช้โหนดปักหลักในรูปแบบปัจจุบันของพวกเขาเป็นการส่วนตัว ลงนามข้อความทุกช่องและล็อคเงินฝากของพวกเขาและทำให้พวกเขาถูกเฉือนอย่างเจ็บแสบ . พวกเขาสามารถมีบทบาทอะไรอีกบ้างที่มีส่วนช่วยในการกระจายอำนาจและความปลอดภัยของเครือข่ายอย่างมีความหมาย?
แหล่งรวมการเดิมพันแบบกระจายอำนาจที่ได้รับความนิยมมากที่สุดสองแห่งในปัจจุบัน ได้แก่ Lido และ RocketPool ต่างก็สร้างระบบนิเวศการเดิมพันแบบสองชั้นที่เกิดขึ้นใหม่ ในกรณีของ Lido ระดับต่างๆ ได้แก่:
ในกรณีของ Rocket Pool ระดับต่างๆ ได้แก่:
ในระบบเหล่านี้ (หรือระบบใหม่ที่เปิดใช้งานโดย การเปลี่ยนแปลงโปรโตคอลที่อาจเกิดขึ้นในอนาคต) คำถามสำคัญประการหนึ่งที่ต้องถามคือ: จากมุมมองของโปรโตคอล อะไรคือจุดประสงค์ของการมีผู้มอบหมายงานเลย
เพื่อดูว่าเหตุใดคำถามนี้จึงมีความหมาย ขอให้เราพิจารณาโลกต่อไปนี้ การเปลี่ยนแปลงโปรโตคอลที่เสนอ ในโพสต์ล่าสุดนี้ มีการจำกัดบทลงโทษอย่างเจ็บแสบไว้ที่ 2 ETH Rocket Pool ลดการฝากเงินของผู้ดำเนินการโหนดเป็น 2 ETH เพื่อตอบสนอง ส่วนแบ่งการตลาดของ Rocket Pool เพิ่มขึ้นเป็น 100% (ไม่ใช่แค่ในหมู่ผู้เดิมพันเท่านั้น แต่ยังรวมถึงในหมู่ผู้ถือ ETH ด้วย เนื่องจาก rETH ปราศจากความเสี่ยง ผู้ถือ ETH เกือบทั้งหมดจะกลายเป็นผู้ถือ rETH หรือผู้ดำเนินการโหนด)
สมมติว่าผู้ถือ rETH ได้รับผลตอบแทน 3% (รวมทั้งรางวัลในโปรโตคอลและค่าธรรมเนียมลำดับความสำคัญ + MEV) และผู้ดำเนินการโหนดจะได้รับผลตอบแทน 4% สมมติว่าอุปทานรวมของ ETH คือ 100 ล้าน
ต่อไปนี้เป็นวิธีการคำนวณทางคณิตศาสตร์ เพื่อหลีกเลี่ยงการจัดการกับการทบต้น เราจะดูผลตอบแทนรายวันแทนรายปี เพื่อให้เทอมที่สองมีขนาดเล็กพอที่จะเพิกเฉยได้:
ตอนนี้ให้เราพิจารณาโลกที่แตกต่าง ไม่มีร็อคเก็ตพูล เงินฝากขั้นต่ำของผู้เดิมพันแต่ละคนจะลดลงเหลือ 2 ETH และจำนวน ETH ที่เดิมพันทั้งหมดถูกจำกัดไว้ที่ 6.25M นอกจากนี้ ผลตอบแทนของตัวดำเนินการโหนดจะลดลงเหลือ 1% มาทำคณิตศาสตร์กันเถอะ:
ตอนนี้ ให้เราพิจารณาทั้งสองสถานการณ์จากมุมมองของต้นทุนในการโจมตี ในกรณีแรก ผู้โจมตีจะไม่ลงทะเบียนเป็นผู้มอบหมาย: ผู้มอบหมายไม่มีอำนาจ ดังนั้นจึงไม่มีเหตุผล ดังนั้นพวกเขาจะนำ ETH ทั้งหมดของพวกเขาไปลงทะเบียนเป็นผู้ดำเนินการโหนด เพื่อให้ได้ถึง 1/3 ของเงินเดิมพันทั้งหมด พวกเขาจะต้องใส่ 2.08M ETH (ซึ่งถ้าพูดตามตรงแล้ว ยังมีค่อนข้างมาก! ดู<a href="https://notes.ethereum.org/ @vbuterin /single_slot_finality#Idea-1-super-committees">สิ่งนี้ การอภิปรายเกี่ยวกับคณะกรรมการระดับสูง ซึ่งเป็นข้อเสนอการวางเดิมพันซึ่งจะลดต้นทุนการโจมตีให้มีค่าใกล้เคียงกัน) ในกรณีที่สอง ผู้โจมตีเพียงแค่เดิมพัน และเพื่อให้ได้ 1/3 ของเงินเดิมพันทั้งหมด พวกเขาจะต้องใส่... 2.08M ETH
จากทั้งมุมมองของเศรษฐศาสตร์การปักหลัก และมุมมองของต้นทุนในการโจมตี ผลลัพธ์สุดท้ายในทั้งสองกรณีจะเหมือนกันทุกประการ ส่วนแบ่งของอุปทาน ETH ทั้งหมดที่ถือโดยผู้ดำเนินการโหนดเพิ่มขึ้น 0.00256% ต่อวัน และส่วนแบ่งของอุปทาน ETH ทั้งหมดที่ถือโดยผู้ดำเนินการที่ไม่ใช่โหนดลดลง 0.00017% ต่อวัน ค่าใช้จ่ายในการโจมตีอยู่ที่ 2.08 ล้าน ETH ด้วยเหตุนี้ การมอบหมายแบบจำลองนี้จึงกลายเป็นเครื่องจักร Rube Goldberg ที่ไร้จุดหมาย เราอาจตัดคนกลางออกไป และลดรางวัลจากการปักหลักลงอย่างมาก และจำกัด ETH รวมที่เดิมพันไว้ที่ 6.25M
จุดประสงค์ของการโต้แย้งนี้ไม่ใช่เพื่อสนับสนุนการลดรางวัลจากการปักหลักลง 4 เท่า และจำกัด ETH ที่เดิมพันทั้งหมดไว้ที่ 6.25 ล้าน แต่เป็นการชี้ให้เห็นคุณสมบัติสำคัญที่ระบบการวางเดิมพันที่ทำงานได้ดีควรมี กล่าวคือ ผู้มอบหมายควรทำบางสิ่งที่สำคัญจริงๆ นอกจากนี้ ไม่เป็นไรหากผู้ร่วมประชุมได้รับแรงจูงใจให้ดำเนินการอย่างถูกต้องในระดับสูงโดยแรงกดดันจากชุมชนและความเห็นแก่ประโยชน์ผู้อื่น ท้ายที่สุดแล้ว นั่นคือกำลังหลักที่จูงใจผู้คนให้เดิมพันด้วยวิธีการกระจายความปลอดภัยที่เพิ่มความปลอดภัย (แต่มีความพยายามสูงกว่า) แทนที่จะเป็นวิธีคุกคามความปลอดภัยแบบรวมศูนย์ (แต่ใช้ความพยายามน้อยกว่า) ในปัจจุบัน
ฉันเห็นคำตอบสองประเภท:
มีสามวิธีในการขยายอำนาจการเลือกผู้ร่วมประชุม:
การลงคะแนนภายในพูลไม่มีอยู่จริงในปัจจุบัน: ใน Rocket Pool ทุกคนสามารถเป็นผู้ดำเนินการโหนดได้ และใน Lido ผู้ถือ LDO เป็นผู้ลงคะแนน ไม่ใช่ผู้ถือ ETH Lido มีข้อเสนอสำหรับ การกำกับดูแลแบบคู่ LDO + stETH ซึ่งจะทำให้ผู้ถือ stETH พูดในแง่ที่ว่าพวกเขาสามารถเปิดใช้งานอุปกรณ์ที่บล็อกการโหวตใหม่และด้วยเหตุนี้จึงบล็อกตัวดำเนินการโหนดไม่ให้ถูกเพิ่มหรือลบออก ที่กล่าวว่าสิ่งนี้มีจำกัดและอาจแข็งแกร่งกว่ามาก
การแข่งขันข้ามพูลมีอยู่ในปัจจุบัน แต่ก็อ่อนแอ ความท้าทายหลักคือโทเค็นการปักหลักของกลุ่มที่มีขนาดเล็กกว่านั้น (i) มีสภาพคล่องน้อยกว่า (ii) เชื่อถือได้ยากกว่า และ (iii) รองรับแอปพลิเคชันน้อยกว่า
เราสามารถปรับปรุงในสองประเด็นแรกได้โดยจำกัดบทลงโทษให้เหลือน้อยลง เช่น 2 หรือ 4 ETH ETH ที่เหลือ (ไม่สามารถเฉือนได้) สามารถฝากและถอนออกได้อย่างปลอดภัยทันที ทำให้ LST ขึ้นอยู่กับ ETH แบบสองทางที่สามารถแปลงสภาพได้ด้วย ETH แม้จะเป็นพูลที่เล็กที่สุดก็ตาม เราสามารถปรับปรุงในประเด็นที่สามได้โดยการสร้างสัญญาการออกส่วนกลางสำหรับ LST ซึ่งค่อนข้างคล้ายกับ ERC-4337 และ ERC-6900 สำหรับกระเป๋าเงิน เพื่อให้เราสามารถรับประกันได้ว่าโทเค็นการปักหลักใดๆ ที่ออกผ่านสัญญานั้นจะปลอดภัย แอปพลิเคชัน (เช่น เวอร์ชันของ RAI ที่รองรับ ETH ที่เดิมพัน) อาจได้รับการสนับสนุนอย่างยิ่งให้รองรับโทเค็นการปักหลักทั้งหมดที่ออกผ่านการลงทะเบียนนี้
ปัจจุบันการมอบหมายที่ประดิษฐานไม่มีอยู่ในโปรโตคอล แต่อาจสามารถนำมาใช้ได้ มันจะเกี่ยวข้องกับตรรกะที่คล้ายกันกับแนวคิดข้างต้น แต่นำไปใช้ในระดับโปรโตคอล ดู โพสต์นี้ เพื่อดูข้อดีและข้อเสียของการประดิษฐานสิ่งต่างๆ
แนวคิดทั้งหมดนี้ได้รับการปรับปรุงให้ดีขึ้นกว่าสภาพที่เป็นอยู่ แต่มีข้อจำกัดว่าแนวคิดเหล่านี้สามารถให้ประโยชน์ได้มากน้อยเพียงใด การกำกับดูแลการลงคะแนนโทเค็นนั้นห่วย และท้ายที่สุดแล้วรูปแบบใดๆ ของการเลือกผู้รับมอบสิทธิ์ที่ไม่มีแรงจูงใจก็เป็นเพียงการลงคะแนนโทเค็นประเภทหนึ่ง นี่เป็นสาเหตุหลักที่ทำให้ฉันรู้สึกไม่สบายใจกับการได้รับมอบหมายหลักฐานการมีส่วนได้ส่วนเสียตั้งแต่ต้น ดังนั้นจึงดูเหมือนว่ามีคุณค่าที่จะคิดถึงการเปิดใช้งานการมีส่วนร่วมที่เป็นเอกฉันท์ในรูปแบบที่เข้มแข็งยิ่งขึ้น
มีข้อจำกัดสำหรับแนวทางปัจจุบันในการเดิมพันแบบเดี่ยว แม้ว่าจะไม่ได้คำนึงถึงปัญหาปัจจุบันเกี่ยวกับการเดิมพันแบบของเหลวก็ตาม สมมติว่าเป็นขั้นสุดท้ายของช่องเดียว การประมาณการที่ดีที่สุดของเราแนะนำให้จำกัดลายเซ็น BLS ประมาณ ~100,000 - 1M ที่สามารถประมวลผลได้ต่อช่อง และนั่นถือว่าเวลาของช่องเพิ่มขึ้นอย่างมาก แม้ว่าเราจะใช้ SNARK แบบเรียกซ้ำเพื่อรวมลายเซ็น ความรับผิดชอบในการลงนาม (เพื่อวัตถุประสงค์ในการตัดเฉือน) จำเป็นต้องมีบิตฟิลด์ของผู้ที่เข้าร่วมเพื่อให้พร้อมสำหรับลายเซ็นแต่ละรายการ หาก Ethereum กลายเป็นเครือข่ายระดับโลก การใช้ danksharding เต็มรูปแบบเพื่อจัดเก็บบิตฟิลด์ก็ยังไม่เพียงพอ: 16 MB ต่อสล็อตจะรองรับผู้เดิมพันประมาณ 64 ล้านคนเท่านั้น
จากมุมมองดังกล่าวเช่นกัน การแบ่งการเดิมพันออกเป็นระดับที่มีความซับซ้อนสูงกว่าซึ่งใช้ได้ทุกสล็อตแต่อาจมีผู้เข้าร่วมเพียง 10,000 คนเท่านั้น และระดับความซับซ้อนต่ำกว่าซึ่งจะถูกเรียกให้เข้าร่วมเป็นครั้งคราวเท่านั้น ระดับที่มีความซับซ้อนต่ำกว่าอาจได้รับการยกเว้นจากการตัดเฉือนทั้งหมด หรืออาจสุ่มให้โอกาสผู้เข้าร่วมได้ชั่วคราว (เช่น ไม่กี่ช่อง) ฝากแล้วอาจถูกเฉือน
ในทางปฏิบัติ สิ่งนี้สามารถนำไปใช้ได้โดย<a href="https://notes.ethereum.org/ @mikeneuder /eip-7251-faq">raising ขีดจำกัดยอดคงเหลือของเครื่องมือตรวจสอบ และดำเนินการตามเกณฑ์ยอดคงเหลือในภายหลัง (เช่น 2048 ETH) เพื่อพิจารณาว่าเครื่องมือตรวจสอบที่มีอยู่ตัวใดที่เข้าสู่ระดับความซับซ้อนสูงกว่าและต่ำกว่า
ต่อไปนี้เป็นแนวคิดบางประการเกี่ยวกับวิธีการทำงานของบทบาทเล็กๆ น้อยๆ เหล่านี้:
บทบาทเดิมพันเล็กๆ เหล่านี้ล้วนมีเหมือนกันคือไม่เกี่ยวข้องกับการเข้าร่วมในแต่ละช่องอย่างแข็งขัน ไม่สามารถแบ่งแยกได้ (และมีความเสี่ยงในการจัดการคีย์ต่ำมาก) และ "เบา" มากในแง่ที่ว่าพวกเขาไม่จำเป็นต้องมี โหนดเต็มที่จะรัน การตรวจสอบชั้นฉันทามติเท่านั้นก็เพียงพอแล้ว ดังนั้นจึงสามารถนำไปใช้ผ่านแอปหรือปลั๊กอินของเบราว์เซอร์ที่ส่วนใหญ่เป็นแบบพาสซีฟและมีค่าใช้จ่ายในการคำนวณ ความต้องการด้านฮาร์ดแวร์ หรือความรู้ด้านเทคนิคต่ำมาก ทั้งหมดนี้ไม่จำเป็นต้องคำนึงถึงความก้าวหน้าทางเทคนิคเช่น ZK-EVM
บทบาทเดิมพันเล็กๆ เหล่านี้ต่างก็มีเป้าหมายร่วมกัน นั่นคือป้องกันไม่ให้ผู้ดำเนินการโหนดส่วนใหญ่ 51% มีส่วนร่วมในการเซ็นเซอร์ธุรกรรม ครั้งแรกและครั้งที่สองยังป้องกันไม่ให้คนส่วนใหญ่มีส่วนร่วมในการพลิกกลับขั้นสุดท้าย ประการที่สามมุ่งเน้นไปที่การเซ็นเซอร์โดยตรงมากขึ้น แม้ว่าจะมีความเสี่ยงมากกว่าต่อความเป็นไปได้ที่ผู้ให้บริการโหนดส่วนใหญ่จะเลือกเซ็นเซอร์ข้อความยืนยันผู้ให้บริการรายการรวมด้วย
แนวคิดเหล่านี้เขียนขึ้นจากมุมมองของโซลูชันการปักหลักแบบสองชั้นที่ประดิษฐานอยู่ในโปรโตคอล แต่ก็สามารถนำมาใช้เป็นคุณลักษณะการปักหลักได้เช่นกัน ต่อไปนี้เป็นแนวคิดในการดำเนินการที่เป็นรูปธรรมบางส่วน:
หากทำถูกต้อง การปรับเปลี่ยนการออกแบบการวางเดิมพันสามารถแก้ปัญหานกสองตัวด้วยหินนัดเดียว:
สำหรับโซลูชันจำนวนมากเหล่านี้ มีชั้นนามธรรมต่างๆ ที่สามารถแก้ไขปัญหาได้: อำนาจที่มอบให้แก่ผู้ใช้ภายในโปรโตคอล Stake Pool, ตัวเลือกของผู้ใช้ระหว่างโปรโตคอล Stake Pool และการกำหนดค่าในโปรโตคอล ตัวเลือกนี้ควรได้รับการพิจารณาอย่างรอบคอบ และ การวางตำแหน่งที่เป็นไปได้ให้น้อยที่สุด โดยการลดความซับซ้อนของโปรโตคอลและระดับการเปลี่ยนแปลงของเศรษฐศาสตร์ของโปรโตคอลในขณะที่ยังคงบรรลุเป้าหมายที่ต้องการนั้น โดยทั่วไปจะดีที่สุด
ขอขอบคุณเป็นพิเศษสำหรับ Mike Neuder, Justin Drake และคนอื่นๆ สำหรับคำติชมและบทวิจารณ์ ดูเพิ่มเติมที่: โพสต์ก่อนหน้านี้เกี่ยวกับธีมที่คล้ายกันโดย<a href="https://notes.ethereum.org/ @mikeneuder /goldilocks">Mike Neuder, Dankrad Feist และ arixon.eth
สถานะปัจจุบันของ Ethereum สามารถอธิบายได้ว่าเป็นการรวมส่วนแบ่งจำนวนมากของการเดิมพันแบบสองชั้นที่เกิดขึ้น สำหรับการปักหลักแบบสองชั้น ฉันหมายถึงโมเดลการปักหลักที่มีผู้เข้าร่วมสองประเภท:
การเดิมพันแบบสองชั้นที่เกิดขึ้นนี้เกิดขึ้นจากการกระทำของผู้เดิมพันส่วนใหญ่ที่มีส่วนร่วมในกลุ่มการเดิมพันซึ่งมีโทเค็นการเดิมพันแบบของเหลว (LST) เช่น ร็อคเก็ตพูล และ ลิโด้
สภาพที่เป็นอยู่มีข้อบกพร่องหลักสองประการ:
โพสต์นี้จะอธิบายวิธีแก้ปัญหาที่เป็นไปได้สำหรับปัญหาทั้งสองนี้ โดยเฉพาะอย่างยิ่งจะใช้มุมต่อไปนี้: สมมติว่าเราถือว่าเงินทุนส่วนใหญ่ถือครองโดยผู้ที่ไม่เต็มใจที่จะเรียกใช้โหนดปักหลักในรูปแบบปัจจุบันของพวกเขาเป็นการส่วนตัว ลงนามข้อความทุกช่องและล็อคเงินฝากของพวกเขาและทำให้พวกเขาถูกเฉือนอย่างเจ็บแสบ . พวกเขาสามารถมีบทบาทอะไรอีกบ้างที่มีส่วนช่วยในการกระจายอำนาจและความปลอดภัยของเครือข่ายอย่างมีความหมาย?
แหล่งรวมการเดิมพันแบบกระจายอำนาจที่ได้รับความนิยมมากที่สุดสองแห่งในปัจจุบัน ได้แก่ Lido และ RocketPool ต่างก็สร้างระบบนิเวศการเดิมพันแบบสองชั้นที่เกิดขึ้นใหม่ ในกรณีของ Lido ระดับต่างๆ ได้แก่:
ในกรณีของ Rocket Pool ระดับต่างๆ ได้แก่:
ในระบบเหล่านี้ (หรือระบบใหม่ที่เปิดใช้งานโดย การเปลี่ยนแปลงโปรโตคอลที่อาจเกิดขึ้นในอนาคต) คำถามสำคัญประการหนึ่งที่ต้องถามคือ: จากมุมมองของโปรโตคอล อะไรคือจุดประสงค์ของการมีผู้มอบหมายงานเลย
เพื่อดูว่าเหตุใดคำถามนี้จึงมีความหมาย ขอให้เราพิจารณาโลกต่อไปนี้ การเปลี่ยนแปลงโปรโตคอลที่เสนอ ในโพสต์ล่าสุดนี้ มีการจำกัดบทลงโทษอย่างเจ็บแสบไว้ที่ 2 ETH Rocket Pool ลดการฝากเงินของผู้ดำเนินการโหนดเป็น 2 ETH เพื่อตอบสนอง ส่วนแบ่งการตลาดของ Rocket Pool เพิ่มขึ้นเป็น 100% (ไม่ใช่แค่ในหมู่ผู้เดิมพันเท่านั้น แต่ยังรวมถึงในหมู่ผู้ถือ ETH ด้วย เนื่องจาก rETH ปราศจากความเสี่ยง ผู้ถือ ETH เกือบทั้งหมดจะกลายเป็นผู้ถือ rETH หรือผู้ดำเนินการโหนด)
สมมติว่าผู้ถือ rETH ได้รับผลตอบแทน 3% (รวมทั้งรางวัลในโปรโตคอลและค่าธรรมเนียมลำดับความสำคัญ + MEV) และผู้ดำเนินการโหนดจะได้รับผลตอบแทน 4% สมมติว่าอุปทานรวมของ ETH คือ 100 ล้าน
ต่อไปนี้เป็นวิธีการคำนวณทางคณิตศาสตร์ เพื่อหลีกเลี่ยงการจัดการกับการทบต้น เราจะดูผลตอบแทนรายวันแทนรายปี เพื่อให้เทอมที่สองมีขนาดเล็กพอที่จะเพิกเฉยได้:
ตอนนี้ให้เราพิจารณาโลกที่แตกต่าง ไม่มีร็อคเก็ตพูล เงินฝากขั้นต่ำของผู้เดิมพันแต่ละคนจะลดลงเหลือ 2 ETH และจำนวน ETH ที่เดิมพันทั้งหมดถูกจำกัดไว้ที่ 6.25M นอกจากนี้ ผลตอบแทนของตัวดำเนินการโหนดจะลดลงเหลือ 1% มาทำคณิตศาสตร์กันเถอะ:
ตอนนี้ ให้เราพิจารณาทั้งสองสถานการณ์จากมุมมองของต้นทุนในการโจมตี ในกรณีแรก ผู้โจมตีจะไม่ลงทะเบียนเป็นผู้มอบหมาย: ผู้มอบหมายไม่มีอำนาจ ดังนั้นจึงไม่มีเหตุผล ดังนั้นพวกเขาจะนำ ETH ทั้งหมดของพวกเขาไปลงทะเบียนเป็นผู้ดำเนินการโหนด เพื่อให้ได้ถึง 1/3 ของเงินเดิมพันทั้งหมด พวกเขาจะต้องใส่ 2.08M ETH (ซึ่งถ้าพูดตามตรงแล้ว ยังมีค่อนข้างมาก! ดู<a href="https://notes.ethereum.org/ @vbuterin /single_slot_finality#Idea-1-super-committees">สิ่งนี้ การอภิปรายเกี่ยวกับคณะกรรมการระดับสูง ซึ่งเป็นข้อเสนอการวางเดิมพันซึ่งจะลดต้นทุนการโจมตีให้มีค่าใกล้เคียงกัน) ในกรณีที่สอง ผู้โจมตีเพียงแค่เดิมพัน และเพื่อให้ได้ 1/3 ของเงินเดิมพันทั้งหมด พวกเขาจะต้องใส่... 2.08M ETH
จากทั้งมุมมองของเศรษฐศาสตร์การปักหลัก และมุมมองของต้นทุนในการโจมตี ผลลัพธ์สุดท้ายในทั้งสองกรณีจะเหมือนกันทุกประการ ส่วนแบ่งของอุปทาน ETH ทั้งหมดที่ถือโดยผู้ดำเนินการโหนดเพิ่มขึ้น 0.00256% ต่อวัน และส่วนแบ่งของอุปทาน ETH ทั้งหมดที่ถือโดยผู้ดำเนินการที่ไม่ใช่โหนดลดลง 0.00017% ต่อวัน ค่าใช้จ่ายในการโจมตีอยู่ที่ 2.08 ล้าน ETH ด้วยเหตุนี้ การมอบหมายแบบจำลองนี้จึงกลายเป็นเครื่องจักร Rube Goldberg ที่ไร้จุดหมาย เราอาจตัดคนกลางออกไป และลดรางวัลจากการปักหลักลงอย่างมาก และจำกัด ETH รวมที่เดิมพันไว้ที่ 6.25M
จุดประสงค์ของการโต้แย้งนี้ไม่ใช่เพื่อสนับสนุนการลดรางวัลจากการปักหลักลง 4 เท่า และจำกัด ETH ที่เดิมพันทั้งหมดไว้ที่ 6.25 ล้าน แต่เป็นการชี้ให้เห็นคุณสมบัติสำคัญที่ระบบการวางเดิมพันที่ทำงานได้ดีควรมี กล่าวคือ ผู้มอบหมายควรทำบางสิ่งที่สำคัญจริงๆ นอกจากนี้ ไม่เป็นไรหากผู้ร่วมประชุมได้รับแรงจูงใจให้ดำเนินการอย่างถูกต้องในระดับสูงโดยแรงกดดันจากชุมชนและความเห็นแก่ประโยชน์ผู้อื่น ท้ายที่สุดแล้ว นั่นคือกำลังหลักที่จูงใจผู้คนให้เดิมพันด้วยวิธีการกระจายความปลอดภัยที่เพิ่มความปลอดภัย (แต่มีความพยายามสูงกว่า) แทนที่จะเป็นวิธีคุกคามความปลอดภัยแบบรวมศูนย์ (แต่ใช้ความพยายามน้อยกว่า) ในปัจจุบัน
ฉันเห็นคำตอบสองประเภท:
มีสามวิธีในการขยายอำนาจการเลือกผู้ร่วมประชุม:
การลงคะแนนภายในพูลไม่มีอยู่จริงในปัจจุบัน: ใน Rocket Pool ทุกคนสามารถเป็นผู้ดำเนินการโหนดได้ และใน Lido ผู้ถือ LDO เป็นผู้ลงคะแนน ไม่ใช่ผู้ถือ ETH Lido มีข้อเสนอสำหรับ การกำกับดูแลแบบคู่ LDO + stETH ซึ่งจะทำให้ผู้ถือ stETH พูดในแง่ที่ว่าพวกเขาสามารถเปิดใช้งานอุปกรณ์ที่บล็อกการโหวตใหม่และด้วยเหตุนี้จึงบล็อกตัวดำเนินการโหนดไม่ให้ถูกเพิ่มหรือลบออก ที่กล่าวว่าสิ่งนี้มีจำกัดและอาจแข็งแกร่งกว่ามาก
การแข่งขันข้ามพูลมีอยู่ในปัจจุบัน แต่ก็อ่อนแอ ความท้าทายหลักคือโทเค็นการปักหลักของกลุ่มที่มีขนาดเล็กกว่านั้น (i) มีสภาพคล่องน้อยกว่า (ii) เชื่อถือได้ยากกว่า และ (iii) รองรับแอปพลิเคชันน้อยกว่า
เราสามารถปรับปรุงในสองประเด็นแรกได้โดยจำกัดบทลงโทษให้เหลือน้อยลง เช่น 2 หรือ 4 ETH ETH ที่เหลือ (ไม่สามารถเฉือนได้) สามารถฝากและถอนออกได้อย่างปลอดภัยทันที ทำให้ LST ขึ้นอยู่กับ ETH แบบสองทางที่สามารถแปลงสภาพได้ด้วย ETH แม้จะเป็นพูลที่เล็กที่สุดก็ตาม เราสามารถปรับปรุงในประเด็นที่สามได้โดยการสร้างสัญญาการออกส่วนกลางสำหรับ LST ซึ่งค่อนข้างคล้ายกับ ERC-4337 และ ERC-6900 สำหรับกระเป๋าเงิน เพื่อให้เราสามารถรับประกันได้ว่าโทเค็นการปักหลักใดๆ ที่ออกผ่านสัญญานั้นจะปลอดภัย แอปพลิเคชัน (เช่น เวอร์ชันของ RAI ที่รองรับ ETH ที่เดิมพัน) อาจได้รับการสนับสนุนอย่างยิ่งให้รองรับโทเค็นการปักหลักทั้งหมดที่ออกผ่านการลงทะเบียนนี้
ปัจจุบันการมอบหมายที่ประดิษฐานไม่มีอยู่ในโปรโตคอล แต่อาจสามารถนำมาใช้ได้ มันจะเกี่ยวข้องกับตรรกะที่คล้ายกันกับแนวคิดข้างต้น แต่นำไปใช้ในระดับโปรโตคอล ดู โพสต์นี้ เพื่อดูข้อดีและข้อเสียของการประดิษฐานสิ่งต่างๆ
แนวคิดทั้งหมดนี้ได้รับการปรับปรุงให้ดีขึ้นกว่าสภาพที่เป็นอยู่ แต่มีข้อจำกัดว่าแนวคิดเหล่านี้สามารถให้ประโยชน์ได้มากน้อยเพียงใด การกำกับดูแลการลงคะแนนโทเค็นนั้นห่วย และท้ายที่สุดแล้วรูปแบบใดๆ ของการเลือกผู้รับมอบสิทธิ์ที่ไม่มีแรงจูงใจก็เป็นเพียงการลงคะแนนโทเค็นประเภทหนึ่ง นี่เป็นสาเหตุหลักที่ทำให้ฉันรู้สึกไม่สบายใจกับการได้รับมอบหมายหลักฐานการมีส่วนได้ส่วนเสียตั้งแต่ต้น ดังนั้นจึงดูเหมือนว่ามีคุณค่าที่จะคิดถึงการเปิดใช้งานการมีส่วนร่วมที่เป็นเอกฉันท์ในรูปแบบที่เข้มแข็งยิ่งขึ้น
มีข้อจำกัดสำหรับแนวทางปัจจุบันในการเดิมพันแบบเดี่ยว แม้ว่าจะไม่ได้คำนึงถึงปัญหาปัจจุบันเกี่ยวกับการเดิมพันแบบของเหลวก็ตาม สมมติว่าเป็นขั้นสุดท้ายของช่องเดียว การประมาณการที่ดีที่สุดของเราแนะนำให้จำกัดลายเซ็น BLS ประมาณ ~100,000 - 1M ที่สามารถประมวลผลได้ต่อช่อง และนั่นถือว่าเวลาของช่องเพิ่มขึ้นอย่างมาก แม้ว่าเราจะใช้ SNARK แบบเรียกซ้ำเพื่อรวมลายเซ็น ความรับผิดชอบในการลงนาม (เพื่อวัตถุประสงค์ในการตัดเฉือน) จำเป็นต้องมีบิตฟิลด์ของผู้ที่เข้าร่วมเพื่อให้พร้อมสำหรับลายเซ็นแต่ละรายการ หาก Ethereum กลายเป็นเครือข่ายระดับโลก การใช้ danksharding เต็มรูปแบบเพื่อจัดเก็บบิตฟิลด์ก็ยังไม่เพียงพอ: 16 MB ต่อสล็อตจะรองรับผู้เดิมพันประมาณ 64 ล้านคนเท่านั้น
จากมุมมองดังกล่าวเช่นกัน การแบ่งการเดิมพันออกเป็นระดับที่มีความซับซ้อนสูงกว่าซึ่งใช้ได้ทุกสล็อตแต่อาจมีผู้เข้าร่วมเพียง 10,000 คนเท่านั้น และระดับความซับซ้อนต่ำกว่าซึ่งจะถูกเรียกให้เข้าร่วมเป็นครั้งคราวเท่านั้น ระดับที่มีความซับซ้อนต่ำกว่าอาจได้รับการยกเว้นจากการตัดเฉือนทั้งหมด หรืออาจสุ่มให้โอกาสผู้เข้าร่วมได้ชั่วคราว (เช่น ไม่กี่ช่อง) ฝากแล้วอาจถูกเฉือน
ในทางปฏิบัติ สิ่งนี้สามารถนำไปใช้ได้โดย<a href="https://notes.ethereum.org/ @mikeneuder /eip-7251-faq">raising ขีดจำกัดยอดคงเหลือของเครื่องมือตรวจสอบ และดำเนินการตามเกณฑ์ยอดคงเหลือในภายหลัง (เช่น 2048 ETH) เพื่อพิจารณาว่าเครื่องมือตรวจสอบที่มีอยู่ตัวใดที่เข้าสู่ระดับความซับซ้อนสูงกว่าและต่ำกว่า
ต่อไปนี้เป็นแนวคิดบางประการเกี่ยวกับวิธีการทำงานของบทบาทเล็กๆ น้อยๆ เหล่านี้:
บทบาทเดิมพันเล็กๆ เหล่านี้ล้วนมีเหมือนกันคือไม่เกี่ยวข้องกับการเข้าร่วมในแต่ละช่องอย่างแข็งขัน ไม่สามารถแบ่งแยกได้ (และมีความเสี่ยงในการจัดการคีย์ต่ำมาก) และ "เบา" มากในแง่ที่ว่าพวกเขาไม่จำเป็นต้องมี โหนดเต็มที่จะรัน การตรวจสอบชั้นฉันทามติเท่านั้นก็เพียงพอแล้ว ดังนั้นจึงสามารถนำไปใช้ผ่านแอปหรือปลั๊กอินของเบราว์เซอร์ที่ส่วนใหญ่เป็นแบบพาสซีฟและมีค่าใช้จ่ายในการคำนวณ ความต้องการด้านฮาร์ดแวร์ หรือความรู้ด้านเทคนิคต่ำมาก ทั้งหมดนี้ไม่จำเป็นต้องคำนึงถึงความก้าวหน้าทางเทคนิคเช่น ZK-EVM
บทบาทเดิมพันเล็กๆ เหล่านี้ต่างก็มีเป้าหมายร่วมกัน นั่นคือป้องกันไม่ให้ผู้ดำเนินการโหนดส่วนใหญ่ 51% มีส่วนร่วมในการเซ็นเซอร์ธุรกรรม ครั้งแรกและครั้งที่สองยังป้องกันไม่ให้คนส่วนใหญ่มีส่วนร่วมในการพลิกกลับขั้นสุดท้าย ประการที่สามมุ่งเน้นไปที่การเซ็นเซอร์โดยตรงมากขึ้น แม้ว่าจะมีความเสี่ยงมากกว่าต่อความเป็นไปได้ที่ผู้ให้บริการโหนดส่วนใหญ่จะเลือกเซ็นเซอร์ข้อความยืนยันผู้ให้บริการรายการรวมด้วย
แนวคิดเหล่านี้เขียนขึ้นจากมุมมองของโซลูชันการปักหลักแบบสองชั้นที่ประดิษฐานอยู่ในโปรโตคอล แต่ก็สามารถนำมาใช้เป็นคุณลักษณะการปักหลักได้เช่นกัน ต่อไปนี้เป็นแนวคิดในการดำเนินการที่เป็นรูปธรรมบางส่วน:
หากทำถูกต้อง การปรับเปลี่ยนการออกแบบการวางเดิมพันสามารถแก้ปัญหานกสองตัวด้วยหินนัดเดียว:
สำหรับโซลูชันจำนวนมากเหล่านี้ มีชั้นนามธรรมต่างๆ ที่สามารถแก้ไขปัญหาได้: อำนาจที่มอบให้แก่ผู้ใช้ภายในโปรโตคอล Stake Pool, ตัวเลือกของผู้ใช้ระหว่างโปรโตคอล Stake Pool และการกำหนดค่าในโปรโตคอล ตัวเลือกนี้ควรได้รับการพิจารณาอย่างรอบคอบ และ การวางตำแหน่งที่เป็นไปได้ให้น้อยที่สุด โดยการลดความซับซ้อนของโปรโตคอลและระดับการเปลี่ยนแปลงของเศรษฐศาสตร์ของโปรโตคอลในขณะที่ยังคงบรรลุเป้าหมายที่ต้องการนั้น โดยทั่วไปจะดีที่สุด