การวิเคราะห์เชิงลึกของกลไกฉันทามติของ The Merge ใน "ยุคหลัง Ethereum"
บทความนี้มาจากบัญชีสาธารณะ WeChat Old Yuppie
บทความนี้มาจากบัญชีสาธารณะ WeChat Old Yuppie
ในบทความนี้ เราจะเจาะลึก:
คำอธิบายโดยละเอียดของโมเดลฉันทามติ PoS ของ Ethereum
Ethereum PoS กู้คืนจากการโจมตีที่เป็นอันตรายได้อย่างไร
การหักล้างข้อโต้แย้ง Anti-PoS ทั่วไป
คำอธิบายภาพ
ชื่อระดับแรก
กลไกฉันทามติ: PoS, PoW, PoA
กลไกที่เป็นเอกฉันท์จะกำหนดวิธีการที่เครือข่ายแบบกระจายของโหนดกำหนดสถานะปัจจุบันของเครือข่าย บล็อกใดอยู่บนเชน และลำดับใด การผลิตแบบบล็อกเป็นคำทั่วไปที่อธิบายว่าใครสแกน mempool เพื่อรับธุรกรรมที่รอดำเนินการ สั่งซื้อลงในบล็อก และเพิ่มบล็อกใหม่เข้ากับบล็อกเชนที่มีอยู่ กลไกฉันทามติทั่วไปสามประเภท ได้แก่ หลักฐานการเดิมพัน หลักฐานการทำงาน และหลักฐานการมีอำนาจ
PoW (Bitcoin) ให้สิทธิ์ในการผลิตบล็อกแก่ผู้ใดก็ตามที่ใช้พลังการประมวลผลมากที่สุด โปรโตคอลกำหนดฟังก์ชันแฮชแบบเข้มข้นทางเดียว เช่น SHA-256 จากนั้นนักขุดจะแข่งขันกันเพื่อหาอินพุตที่ถูกแฮชไปยังเอาต์พุตที่มีเลขศูนย์นำหน้าหลายตัว
PoA (Binance Smart Chain) เป็นกลไกไวท์ลิสต์ที่มอบสิทธิ์การผลิตแบบบล็อกให้กับโหนดที่ไวท์ลิสต์หลายโหนด นี่คือบล็อกเชนที่ได้รับอนุญาตโดยทั่วไปของคุณ ไม่มีอะไรเพิ่มเติม
PoS (Ethereum,ชื่อระดับแรก
การใช้งาน Ethereum
การใช้งาน PoS ของ Ethereum นั้นถูกเย้ยหยันจากผู้คนจำนวนมากในช่วงที่ดีขึ้นของปี แต่ด้วย beacon chain ที่ดำเนินมาเป็นเวลา 18 เดือนและประสบความสำเร็จในการผสานสดบน testnet การใช้งานดูเหมือนจะเป็นรูปเป็นร่าง ฉันจะมุ่งเน้นไปที่เฉพาะเจาะจงว่า PoS chain ทำงานอย่างไรในสถานะเสถียร แทนที่จะหลงทางในรายละเอียดการใช้งานของการผสาน
อีกสามเหลี่ยมการแลกเปลี่ยนที่มีชื่อเสียง เลือกสองหรือพบว่าตัวเองอยู่ตรงกลาง
มีตัวตรวจสอบประมาณ 400,000 ตัวบน Beacon Chain ซึ่งคุณสามารถติดตามสถิติและบล็อกตามเวลาจริงได้ เครื่องมือตรวจสอบหมายถึงเงินฝากเฉพาะ 32 โทเค็นในสัญญาการฝากเครือข่ายบีคอนของเครือข่ายหลัก ผู้ใช้สามารถเรียกใช้ตัวตรวจสอบความถูกต้องหลายตัว การถอนแบบละลายไม่ได้เปิดใช้งานในวันนี้และจะไม่เปิดใช้งานในเวลาของการรวม แต่จะเปิดใช้งานในการอัปเดต Shanghai hard fork ในภายหลัง ช่วงเวลาจะเกิดขึ้นทุกๆ 12 วินาที และตัวตรวจสอบจะถูกสุ่มเลือกเพื่อส่งการบล็อกในช่วงเวลานั้น ยุคประกอบด้วย 32 ยุค (หรือ 6.4 นาที) หากตัวตรวจสอบความถูกต้องอยู่ในสถานะออฟไลน์และไม่เสนอบล็อกภายในสล็อต ช่องนั้นจะเว้นว่างไว้ ดังนั้นเวลาบล็อกของ Ethereum จะเปลี่ยนจากการแจกแจงปัวซองที่มีเวลาบล็อกเฉลี่ย 13 วินาที (การกระจายปัวซองซึ่งเป็นการกระจายความน่าจะเป็นแบบไม่ต่อเนื่องที่เห็นได้ทั่วไปในสถิติและความน่าจะเป็น พัฒนาโดยนักคณิตศาสตร์ชาวฝรั่งเศส Simone Denis Poisson Siméon-Denis Poisson เผยแพร่ ในปี พ.ศ. 2381) เปลี่ยนไปใช้ช่องว่าง 12 วินาทีในบางครั้ง บล็อกแรกในแต่ละยุคถือเป็นด่านตรวจ
คำอธิบายภาพ
ภาพรวมทางเทคนิคของการรวมหลักฐานการตรวจสอบความถูกต้องและรวมไว้ในบล็อกในที่สุด
ยุคคือกลุ่มของ 32 สล็อตที่ผ่านสามขั้นตอน: ข้อเสนอ การสาธิต และขั้นสุดท้าย เมื่อเสียงข้างมากหรือสองในสามของผู้ตรวจสอบความถูกต้องในปัจจุบันได้ยืนยันในหนึ่งยุค ก็สามารถดำเนินการต่อไปได้ การพิสูจน์จะเกี่ยวข้องกับคู่ของจุดตรวจ หนึ่งจากยุคก่อนหน้าและอีกหนึ่งจากยุคปัจจุบัน เราระบุด้วยบล็อกต้นทางและเป้าหมายคู่หนึ่ง บล็อกถูกเสนอโดยผู้ตรวจสอบและถือว่าถูกต้องเมื่อการพิสูจน์ส่วนใหญ่ระบุว่าเป็นส่วนหัว ผู้ตรวจสอบความถูกต้องส่วนใหญ่ทำเครื่องหมายยุคที่สมเหตุสมผลเป็นยุคก่อนหน้า ถือว่าสิ้นสุด ดังนั้น ยุคมักจะสิ้นสุดหลังจากหนึ่งยุค (หรือ 6 นาที)
ธุรกรรมจะเสร็จสิ้นเมื่อไม่สามารถรวบรวมใหม่ได้โดยไม่ใช้ ETH จำนวนมาก เนื่องจากสองในสามของผู้ตรวจสอบได้ยืนยันบล็อกสุดท้ายแล้ว เพื่อสร้างยุคสุดท้ายที่แตกต่างกันที่ความสูงเท่ากัน สองในสามของผู้ตรวจสอบจึงจำเป็นต้องยืนยันบล็อกแยกต่างหากที่มีความสูงเท่ากัน ดังนั้น ผู้ตรวจสอบความถูกต้องอย่างน้อยหนึ่งในสามจะพิสูจน์ได้ว่าคลุมเครือ บทลงโทษสำหรับการแลกเปลี่ยนที่เท่าเทียมกันคือการตัดเงินเดิมพันทั้งหมดของ Validator ดังนั้นผู้โจมตีจะต้องมุ่งมั่นที่จะทำลาย ETH อย่างน้อยหนึ่งในสามของเงินเดิมพันทั้งหมด แม้ในปัจจุบันจะมีราคาตกต่ำ แต่ต้นทุนในการจัดระเบียบบล็อกสุดท้ายใหม่ก็สูงเป็นพันล้าน
ชื่อระดับแรก
การปักหลักต้องใช้ความพยายามอย่างแข็งขัน
หลายคนมีภาพบิดเบี้ยวของการเดิมพันเนื่องจากคำนี้ใช้กันอย่างแพร่หลายใน DeFi และ NFT ในหลาย ๆ โปรโตคอลเหล่านี้ "การปักหลัก" หมายถึงการฝากโทเค็นในสัญญาเอสโครว์ ซึ่งลดสภาพคล่องสำหรับผู้ขายในขณะที่โทเค็นนั่งเฉยๆ ไม่มีความเสี่ยงด้านลบ ไม่มีการมีส่วนร่วม การติดสินบนคนที่มีเวลาน้อย
เพื่อความชัดเจน เกมเหล่านี้ไม่ใช่สิ่งที่เรากำลังพูดถึง การเดิมพันระดับโปรโตคอลที่แท้จริงหมายถึงการเข้าร่วมความมุ่งมั่นที่เพิ่มขึ้นและลดลงซึ่งต้องการการมีส่วนร่วมอย่างต่อเนื่องในการเสนอบล็อกใหม่และยืนยันการบล็อกที่สร้างโดยผู้อื่น ซึ่งหมายความว่าคุณจะได้รับรางวัลสำหรับการเข้าร่วมอย่างซื่อสัตย์ในเวลาที่มีสถานะพร้อมใช้งานสูง หรือคุณอาจเสียเงินสำหรับการออฟไลน์หรือสนับสนุนส้อมที่เป็นอันตราย กฎเหล่านี้ไม่ได้ถูกนำไปใช้โดยพลการโดยฝ่ายที่รวมศูนย์ กฎเหล่านี้มีการกำหนดไว้ล่วงหน้าอย่างชัดเจนและสร้างขึ้นอย่างลึกซึ้งในโปรโตคอลการกระจายอำนาจ
มีกฎการแลกเปลี่ยนความเท่าเทียมกันที่สำคัญสองข้อที่ผู้ตรวจสอบต้องปฏิบัติตาม ซึ่งนำมาจากเอกสารของ Gasper:
การลงคะแนนสองครั้ง: ไม่มีผู้ตรวจสอบความถูกต้องทำการรับรองที่แตกต่างกันสองครั้งสำหรับบล็อกเป้าหมายเดียวกัน
คำอธิบายภาพ
เงื่อนไขการฟันโดยตรงจากกระดาษ Gasper
ไคลเอนต์เลเยอร์ฉันทามติที่ซื่อสัตย์ได้รับการตั้งโปรแกรมให้ไม่ทำเช่นนี้อย่างชัดเจน ดังนั้นผู้ใช้ที่ซื่อสัตย์ทั่วไปจึงไม่ควรกังวลเกี่ยวกับกลไกเหล่านี้ที่เริ่มทำงาน อย่างไรก็ตาม พวกมันให้การป้องกันที่สำคัญต่อตัวตรวจสอบที่เป็นอันตรายและแก้ปัญหาที่ปราศจากความเสี่ยงได้อย่างสง่างาม
ชื่อระดับแรก
Ethereum กำลังรักษาตัวเองจากชนกลุ่มน้อยที่ทำลายล้าง
การผสมผสานระหว่างการลบความเท่าเทียม การรั่วไหลของการใช้งาน และซอฟต์ฟอร์กที่ผู้ใช้เปิดใช้งานเป็นการรวมพลังอันทรงพลัง การลบที่เทียบเท่าจะจัดการกับข้อผิดพลาดด้านความปลอดภัย การรั่วไหลของการไม่ใช้งานจะจัดการกับข้อผิดพลาดด้านความถูกต้อง และ UASF อนุญาตให้แม้แต่ผู้ที่ซื่อสัตย์เพียงไม่กี่คนในการกู้คืนจากส่วนสำคัญสุดที่เป็นอันตราย
การแบ่งเท่าๆ กันหมายความว่าตัวตรวจสอบจะตรวจสอบบล็อกสองบล็อกที่ต่างกันที่ความสูงเท่ากัน ซึ่งอาจนำไปสู่การแยกขนานกันและการแยกอีกครั้งในขั้นสุดท้าย นี่เป็นองค์ประกอบสำคัญของปัญหา "ไม่มีอะไรเป็นเดิมพัน" นั่นคือ การสร้างส้อมที่เป็นไปได้ทั้งหมด เพราะมันไม่ได้ผลดี การรวบรวมหลักฐานที่ลงนามแล้ว ผู้ดูแลเครือข่ายสามารถพิสูจน์ได้ว่าสิ่งนี้เกิดขึ้นและลดเงินเดิมพันของผู้แลกเปลี่ยนที่เทียบเท่า
การรั่วไหลของการไม่ใช้งานคือเมื่อผู้ตรวจสอบความถูกต้องไม่สามารถแสดงหลักฐานได้ สิ่งนี้ไม่สามารถพิสูจน์ได้ว่าเป็นอันตราย เนื่องจากตัวตรวจสอบความถูกต้องอาจออฟไลน์โดยไม่ตั้งใจ แต่จะส่งผลเสียต่อเครือข่าย
soft fork ที่เปิดใช้งานโดยผู้ใช้คือเมื่อส่วนย่อยของผู้ตรวจสอบความถูกต้องเชื่อว่า mainline เพิกเฉยต่อพวกเขาและธุรกรรมของพวกเขา ดังนั้นพวกเขาจึงรวมตัวกันเพื่อสร้าง block การผลิต fork ของตนเอง
ชื่อระดับแรก
การเซ็นเซอร์ที่ขี้เกียจสำหรับคนไม่กี่คน
ชื่อระดับแรก
การเซ็นเซอร์อย่างแข็งขันโดยชนกลุ่มน้อย
ชื่อระดับแรก
การเซ็นเซอร์ที่ขี้เกียจสำหรับคนไม่กี่คน
ชื่อระดับแรก
การเซ็นเซอร์ที่ใช้งานอยู่ของชนกลุ่มน้อย
กลุ่มปลาวาฬที่มีสัดส่วนการถือหุ้นทั้งหมด 40% ต้องการเซ็นเซอร์ธุรกรรมและปฏิเสธที่จะพิสูจน์การบล็อกที่ซื่อสัตย์ การบล็อกจะยุติลงเพราะไม่มีเสียงข้างมากที่ซื่อสัตย์อีกต่อไป ห่วงโซ่จะแยกออกเป็นสองห่วงโซ่ลูกราวกับว่ามีพาร์ติชันเครือข่ายที่สะอาด ผู้ตรวจสอบที่ซื่อสัตย์จะเห็นส้อมทั้งสอง แต่จะใช้ส้อมที่ซื่อสัตย์เนื่องจากมีน้ำหนักมากกว่าในกฎการเลือกส้อม LMD-GHOST ผู้ตรวจสอบการตรวจสอบจะเห็นทางแยกทั้งสองเช่นกัน แต่จะลบล้างกฎการเลือกทางแยกของ LMD-GHOST ด้วยตนเอง และเลือกที่จะดำเนินการต่อในห่วงโซ่การตรวจสอบ โดยแสร้งทำเป็นว่าพวกเขาไม่รู้จักห่วงโซ่ที่ซื่อสัตย์
ใน Honest Chain การรั่วไหลที่ไม่มีการใช้งานจะเริ่มขึ้นทันทีที่การบล็อกหยุดลง ซึ่งหมายความว่าผู้ตรวจสอบการเซ็นเซอร์ทั้งหมดจะปรากฏเป็นออฟไลน์ เนื่องจากปฏิเสธที่จะยืนยันการบล็อกที่ซื่อสัตย์ เงินเดิมพันของผู้ตรวจสอบการตรวจสอบจะถูกเผาอย่างช้าๆ จนกว่ายอดคงเหลือที่มีประสิทธิภาพจะลดลงต่ำพอที่จะถูกลบออกจากชุดเครื่องมือตรวจสอบความถูกต้อง ณ จุดนี้ ผู้ตรวจสอบความถูกต้องที่ซื่อสัตย์จะมีคะแนนเสียงข้างมาก และการบล็อกจะเริ่มสิ้นสุดอีกครั้ง
ชื่อระดับแรก
ซอฟต์ฟอร์กที่เปิดใช้งานโดยผู้ใช้จากพลังอันยิ่งใหญ่ที่เป็นอันตราย
เราพบว่าแม้ว่าผู้ตรวจสอบความถูกต้องที่ซื่อสัตย์จะไม่มีอำนาจเหนือกว่า โดยการเสนอบล็อคที่ซื่อสัตย์ และการเซ็นเซอร์ผู้ตรวจสอบความถูกต้องปฏิเสธการยืนยัน การเซ็นเซอร์ผู้ตรวจสอบความถูกต้องจะถูกบังคับให้ออกจากชุดผู้ตรวจสอบความถูกต้อง จะเกิดอะไรขึ้นหากผู้ตรวจสอบความถูกต้องที่ซื่อสัตย์มีส่วนย่อยและผู้ตรวจสอบความถูกต้องที่เซ็นเซอร์มีส่วนส่วนใหญ่มาก
ที่น่าสนใจคือกลไกเกือบจะเหมือนกัน ข้อแตกต่างหลักประการหนึ่งคือผู้ตรวจสอบความถูกต้องที่ซื่อสัตย์ต้องร่วมมือกันอย่างชัดเจนเพื่อรับทราบข้อพิสูจน์ของกันและกันและแทนที่กฎการเลือกส้อม แต่มิฉะนั้น พวกเขาสามารถสร้างห่วงโซ่ลูกของตนเองได้ ตัวตรวจสอบความถูกต้องถูกตั้งค่าไว้จนกว่ากลุ่มย่อยที่ซื่อสัตย์จะกลับคืนสู่กลุ่มใหญ่
ชื่อระดับแรก
การปรับปรุงที่เป็นไปได้สำหรับ Ethereum
แน่นอนว่ามีหลายแง่มุมของ Ethereum PoS ที่ต้องการการปรับปรุงเพิ่มเติม ตัวอย่างเช่น:
Single-slot Finality หมายถึงการลดเวลาสำหรับการกำหนดจาก 2 ยุค (64 บล็อก) เป็น 1 บล็อก
การลดจำนวนเงินขั้นต่ำที่ต้องใช้ในการเดิมพันจะทำให้การเดิมพันที่บ้านเป็นไปได้มากขึ้นสำหรับผู้ใช้ที่ไม่มี 32 eth
เมื่อทราบที่อยู่ของผู้เสนอแบบบล็อกล่วงหน้า การเลือกผู้นำแบบลับเพียงครั้งเดียวจะลดการโจมตีแบบ DoS ที่อาจเกิดขึ้นกับผู้เสนอแบบบล็อก
ชื่อระดับแรก
ชื่อเรื่องรอง
PoS = การกำกับดูแลแบบออนไลน์
Ethereum ไม่มีการกำกับดูแลแบบ on-chain (แม้ว่าจะมีโปรโตคอล PoS บางส่วนก็ตาม) เช่นเดียวกับโหนดเต็มของ Bitcoin ช่วยให้นักขุดสร้างบล็อกที่ถูกต้องซึ่งตรงตามฟังก์ชันการเปลี่ยนสถานะได้อย่างตรงไปตรงมา โหนดเต็มของ Ethereum อนุญาตให้ผู้ตรวจสอบสร้างบล็อกที่ถูกต้องซึ่งตรงตามฟังก์ชันการเปลี่ยนสถานะอย่างตรงไปตรงมา แม้แต่ตัวตรวจสอบความถูกต้องที่เป็นอันตรายส่วนใหญ่ก็ไม่สามารถหลอกโหนดแบบเต็มที่ซื่อสัตย์ได้
ชื่อเรื่องรอง
PoS = ธนาคารกลาง
ชื่อเรื่องรอง
PoS = การปรับขนาดด้วยแก๊สราคาถูก
ชื่อเรื่องรอง
PoS = รวย ยิ่งรวยขึ้น PoW = ความเสมอภาค
มีความสง่างามที่คุ้มค่ากับแนวคิดของ CPU, GPU และ ASIC ที่ปั่นป่วนในการแข่งขันทางคณิตศาสตร์เพื่อค้นหาแฮชพรีแมปที่เร็วที่สุด บุคคลผู้มีอำนาจอธิปไตย เช่น บุคคลที่ใช้คอมพิวเตอร์สำหรับเล่นเกมที่บ้าน สามารถแข่งขันกับรัฐชาติเพื่อสิทธิ์ใน 6.25 BTC ที่เพิ่งสร้างใหม่
น่าเสียดายที่ห่วงโซ่อุปทานของ ASIC ถูกควบคุมได้ง่ายโดยกฎระเบียบการนำเข้าและส่งออก ไม่ต้องพูดถึงการพึ่งพาไต้หวันที่เป็นอันตราย ความต้องการพลังงานราคาถูกและมีจำนวนมากเป็นจุดอ่อนอีกประการหนึ่งที่ห้ามมิให้บุคคลดำเนินการตั้งค่าการขุดอย่างระมัดระวัง และเนื่องจากเรายังไม่ได้อยู่ในยูโทเปียหลังความขาดแคลน คุณจึงต้องจ่ายเงินล่วงหน้าเพื่อซื้อเครื่องขุด ยิ่งไปกว่านั้น ความก้าวหน้าทางเทคโนโลยีหมายความว่านักขุดจำเป็นต้องอัปเกรดอุปกรณ์ของตนอย่างต่อเนื่องเพื่อให้สามารถแข่งขันได้ หมายความว่าการพึ่งพาห่วงโซ่อุปทานเป็นจุดอ่อนอย่างต่อเนื่องหากสิ่งต่าง ๆ แย่ลง
ชื่อเรื่องรอง
PoS = ไม่มีอะไร
ชื่อเรื่องรอง
PoS = ไม่มีการบังคับผู้ขาย
ชื่อเรื่องรอง
PoS = ธนาคารกลางจะซื้อโทเค็นทั้งหมด
ชื่อเรื่องรอง
PoS = เชื่อถือเซิร์ฟเวอร์ส่วนกลางสำหรับ Canonical chain
ชื่อเรื่องรอง
PoS = ไม่มีการใช้ทรัพยากรจริง
ชื่อเรื่องรอง
PoS = ความซับซ้อนที่ไม่ดี
ชื่อระดับแรก
ชื่อเรื่องรอง
สภาพคล่อง (และความไม่คล่อง) หลักประกัน Custodians Cartels
คำอธิบายภาพ
ชื่อเรื่องรอง
การทำโทเค็นของสินทรัพย์ในโลกแห่งความเป็นจริงทำให้การฟอร์กเป็นไปได้ยาก
ชื่อเรื่องรอง
การพิสูจน์ทรัพยากรใด ๆ จะถูกรวมศูนย์
ชื่อเรื่องรอง
สิ่งนี้หมายความว่าคุณหรือไม่?
คำอธิบายภาพ
ความผันผวนของราคา StETH/ETH ในช่วงสามเดือนที่ผ่านมา
นี่เป็นคำแนะนำที่แปลก เนื่องจากบทความทั้งหมดได้ตอกย้ำถึงความสามารถในการหลีกเลี่ยงการสมรู้ร่วมคิดที่เป็นอันตราย และตอนนี้เราได้อธิบายถึงวิธีการที่กองทุนสามารถแปลงเป็นตราสารอนุพันธ์ที่มีการจัดการ แต่คงเป็นเรื่องไร้สาระที่จะปล่อยให้ผู้คนเข้าสู่การล็อคในอัตราส่วน 1:1 โดยไม่รู้ว่าพวกเขาสามารถรับเงินสำหรับการเสี่ยงของเงื่อนไข + การกำกับดูแล + สัญญาอัจฉริยะและการขุดโทเค็นราคาถูกจากกองทุนที่มีเลเวอเรจมากเกินไป
สรุป
สรุป
ลิงค์ต้นฉบับ
