Eth2 Beacon Chain: สิ่งแรกที่คุณควรรู้
หมายเหตุบรรณาธิการ: บทความนี้มาจาก:ผู้ที่ชื่นชอบ Ethereum (ID: ethfans)หมายเหตุบรรณาธิการ: บทความนี้มาจาก:
ผู้ที่ชื่นชอบ Ethereum (ID: ethfans)
ผู้ที่ชื่นชอบ Ethereum (ID: ethfans)
ผู้เขียน: ethos.dev แปล: A Jian พิมพ์ซ้ำโดย Odaily โดยได้รับอนุญาต
คุณยังจำความสุขเมื่อคุณถอนหายใจ "ก็งั้นๆ" กับโลกของ blockchain เป็นครั้งแรกได้หรือไม่?
beacon chain เป็นแกนหลักของระบบ Eth2 ทั้งหมด อย่างไรก็ตาม เนื้อหาส่วนใหญ่เกี่ยวกับ beacon chain เป็นเพียงคำศัพท์ทางเทคนิคซึ่งไม่สำคัญและไม่ลึกพอ
อันดับแรก มาดูภาพพาโนรามาของเศษชิ้นส่วน ผู้ตรวจสอบความถูกต้องของการเดิมพัน การรับรอง คณะกรรมการ จุดตรวจสอบ และขั้นสุดท้าย
ที่นี่ เราจะให้ความเข้าใจอย่างถ่องแท้เกี่ยวกับองค์ประกอบและกลไกของ Beacon Chain นอกจากนี้ เรายังให้ตัวอย่างและระบุรายละเอียดที่สำคัญ เพื่อให้คุณทำอะไรได้มากขึ้นโดยใช้เวลาน้อยลง
เราคิดว่าคุณมีความเข้าใจเป็นอย่างดีเกี่ยวกับ Ethereum blockchain หรือ Bitcoin blockchain และคุ้นเคยกับ Proof of Stake
อันดับแรก มาดูภาพพาโนรามาของเศษชิ้นส่วน ผู้ตรวจสอบความถูกต้องของการเดิมพัน การรับรอง คณะกรรมการ จุดตรวจสอบ และขั้นสุดท้าย
การแยกส่วน: อุดมคติอันสูงส่ง
เพื่อให้เข้าใจถึงบีคอนเชน ก่อนอื่นคุณต้องเข้าใจแนวคิดของการชาร์ดดิ้ง ปัญหาหลักที่บล็อกเชน (รวมถึง Ethereum) เผชิญอยู่ในปัจจุบันในการปรับปรุงความสามารถในการปรับขนาด (scalability) คือทุกโหนดต้องตรวจสอบและดำเนินการธุรกรรมทั้งหมด
จากมุมมองของวิทยาการคอมพิวเตอร์ มีสองวิธีหลักในการปรับขนาดปริมาณงาน:
A. การขยายตัวในแนวตั้ง: แนวคิดทั่วไปคือการเสริมความแข็งแกร่งของโหนดและทำให้โหนดมีพลังมากขึ้นเรื่อย ๆ
B. การขยายตัวในแนวนอน: เพื่อเพิ่มโหนดเพิ่มเติม
เพื่อกระจายอำนาจ ระบบ blockchain สามารถขยายได้ในแนวนอนเท่านั้น หนึ่งในเป้าหมายของ Ethereum 2.0 (เรียกอีกอย่างว่า Eth2 หรือ Serenity) คือการทำให้สามารถรันโหนดบนฮาร์ดแวร์ระดับผู้บริโภคทั่วไปได้ ความหมายดั้งเดิมของคำว่า sharding คือการแบ่งพาร์ติชันตามแนวนอนบนฐานข้อมูล (การแบ่งพาร์ติชันในแนวนอน)
โดยทั่วไป shard chain จะถูกประมวลผลโดยชุดย่อยของโหนด (เช่น ชุดย่อยของเครือข่ายทั้งหมด) นักขุดเสมือนในระบบซึ่งก็คือตัวตรวจสอบความถูกต้องจะถูกกำหนดให้กับชาร์ดต่างๆ และจะประมวลผลและตรวจสอบธุรกรรมบนชาร์ดเชนของตนเองเท่านั้น
ในระบบนี้ กลุ่มของโหนดที่ประมวลผลเศษตามบล็อกจะเปลี่ยนแปลงตลอดเวลา
ในการชาร์ดระบบบล็อกเชน ความท้าทายหลักคือความปลอดภัยของการชาร์ดดิ้ง เนื่องจากตัวตรวจสอบความถูกต้องถูกกระจายไปตามส่วนย่อยต่างๆ จึงยากน้อยลงสำหรับตัวตรวจสอบความถูกต้องที่เป็นอันตรายที่จะประนีประนอมเศษส่วนเดียว
ดังนั้น ปมของการแก้ปัญหา Sharding คือ: สุ่มผู้ตรวจสอบความถูกต้องแบบสุ่ม เพื่อให้ Shard Block แต่ละอันได้รับการประมวลผลโดยคณะกรรมการของ (หลอก) ผู้ตรวจสอบความถูกต้องที่สุ่มเลือก เพื่อให้ผู้ตรวจสอบหนึ่งคนควบคุมการเดิมพันน้อยกว่าทั้งหมด ผู้โจมตีที่มีสัดส่วน 1/3 ของผู้ตรวจสอบความถูกต้องมี ความน่าจะเป็นที่จะสำเร็จเป็น 0 (ไม่น่าจะเป็นไปได้ทางคณิตศาสตร์)
หลักฐานการฉ้อโกง หลักฐานการดูแล และการตรวจสอบความพร้อมใช้งานของข้อมูลเป็นองค์ประกอบด้านความปลอดภัยที่สำคัญเช่นกัน แต่จำเป็นต้องมีบทความเฉพาะเพื่ออธิบาย
แผนปัจจุบันสำหรับ Eth2 คือการเปิดใช้งาน 64 ชาร์ด แม้ว่าชาร์ดดิ้งและบีคอนเชนจะแยกจากกันตามแนวคิด แต่เรากำลังจะพูดถึงองค์ประกอบหลักบางประการของระบบโดยรวม
แนวคิดของ Sharding สะท้อนถึงการทำงานและความต้องการของ beacon chain ผ่านแนวคิดของ sharding เราสามารถเข้าใจว่าทำไมต้องเพิ่มส่วนเพิ่มเติมเหล่านี้ในระบบ blockchain แบบดั้งเดิม ฟิลด์ใหม่นี้ยังยินดีต้อนรับนวัตกรรมจากผู้อ่านที่มีข้อมูลเชิงลึก
ขั้นตอนของ Ethereum 2.0
Ethereum 2.0 จะถูกปรับใช้ในสามขั้นตอน:
ขั้นตอนที่ 0: Beacon Chain
ขั้นตอนที่ 1: การแยกส่วน
ขั้นตอนที่ 2: การดำเนินการ
เปรียบได้กับอวัยวะสามส่วนของมนุษย์คือ
ขั้นตอนที่ 0: หัวใจ
ขั้นตอนที่ 1: แขนขา
ขั้นตอนที่ 2: สมอง
นอกจากนี้ยังสามารถเปรียบเทียบได้กับวงออเคสตร้าที่ยิ่งใหญ่:
ขั้นตอนที่ 1: เครื่องมือ
ขั้นตอนที่ 2: นักดนตรี
แต่ละขั้นตอนถูกรวมเข้ากับระบบและทำหน้าที่ต่างกัน ระยะที่ 1 จะแนะนำคุณสมบัติต่างๆ อย่างเงียบเชียบกว่าระยะอื่นๆ ในขณะที่ระยะที่ 2 จะเป็นเรื่องเกี่ยวกับการดำเนินการ
สล็อตและยุค
ห่วงโซ่สัญญาณเป็นหัวใจของ Ethereum 2.0 และเป็นธีมหลักของความสามัคคีและความสอดคล้องกันของระบบทั้งหมด
สล็อต (slodt) คือ 12 วินาที และ 1 ยุคประกอบด้วย 32 สล็อต ดังนั้น 6.4 นาที
คำอธิบายภาพ
- 32 ช่วงเวลาของช่วงเวลา 0 บล็อกการกำเนิดถูกสร้างขึ้นที่ยุค 0 -
(ข้อมูลพารามิเตอร์ที่ใช้ในบทความนี้ทั้งหมดมาจากข้อกำหนดทางเทคนิคของ Beacon Chain v0.10.1)
ช่องใช้เพื่อทำเครื่องหมายโอกาสในการสร้างบล็อกเชนบีคอนและบล็อกเศษ: บนโซ่บีคอนและแต่ละชิ้นส่วน แต่ละช่วงเวลามีโอกาสสร้างบล็อกใหม่ คุณสามารถจินตนาการได้ว่าโซ่บีคอนและโซ่เศษได้รับการออกแบบอย่างระมัดระวังและประสานกันอย่างแน่นหนา ตามหลักการแล้ว ทุกๆ 12 วินาที จะมีบล็อกเชนบีคอน 1 บล็อก และบล็อกเศษ 64 ชิ้นกระจายไปตามเชนเศษต่างๆ ตัวตรวจสอบความถูกต้องจำเป็นต้องซิงโครไนซ์ให้ทันเวลา
ดังนั้น สล็อตก็เหมือนกับบล็อกไทม์ ยกเว้นว่าสล็อตนั้นอาจมีบล็อกว่างอยู่ด้วย บล็อกการกำเนิดของห่วงโซ่บีคอนและห่วงโซ่ชิ้นส่วนถูกสร้างขึ้นที่ช่องเวลา 0 อย่างไรก็ตาม ห่วงโซ่ชิ้นส่วนจะไม่เริ่มทำงานจนกว่ายุค 0 ของห่วงโซ่บีคอนจะเป็นจุดกำเนิดของบล็อกโลก)
บล็อกเชน PoW ได้รับการดูแลโดยนักขุด ในขณะที่ระบบพิสูจน์การเดิมพันของ Ethereum 2.0 อาศัย "นักขุดเสมือน" - ผู้ตรวจสอบ ผู้ตรวจสอบความถูกต้องเป็นผู้มีส่วนร่วมในกระบวนการฉันทามติของโปรโตคอล Ethereum 2.0 แรงจูงใจทางเศรษฐกิจสำหรับ TA จะกล่าวถึงในภายหลังในหัวข้อ "รางวัลและการลงโทษสำหรับ Beacon Chain Validators"
ผู้เสนอบล็อกหมายถึงผู้ตรวจสอบที่ถูกสุ่มเลือกเพื่อสร้างบล็อก
ส่วนใหญ่แล้ว ผู้ตรวจสอบจะเป็นเพียงพยาน ลงคะแนนให้กับบล็อกเชนบีคอนและบล็อกเชนย่อย คะแนนเสียงเหล่านี้จะถูกบันทึกไว้ใน Beacon Chain ซึ่งจะกำหนดบล็อกล่าสุดของ Beacon Chain และบล็อกล่าสุดของ Shard Chain
คำอธิบายภาพ
- ที่ช่องที่ 28 ของช่วงเวลาหนึ่ง ไม่มีข้อเสนอบล็อกที่สอดคล้องกัน (ผู้ตรวจสอบที่ได้รับมอบหมายเป็นผู้เสนอไม่ได้เสนอบล็อกด้วยเหตุผลบางประการ) -
การรับรองที่เรียกว่าเป็นการลงคะแนนเสียงที่เริ่มต้นโดยผู้ตรวจสอบ และน้ำหนักของการยืนยันจะถูกกำหนดโดยความสมดุลของผู้ตรวจสอบ ข้อความรับรองจะถูกต่อท้ายบล็อกโดยผู้ตรวจสอบและเผยแพร่ไปพร้อมกับบล็อก
ผู้ตรวจสอบจะดูแลซึ่งกันและกันและสามารถรายงานผู้ตรวจสอบรายอื่นเพื่อทำการลงคะแนนเสียงที่ขัดแย้งกันหรือเสนอให้มีพฤติกรรมที่ไม่เหมาะสมหลายครั้ง และถ้ารายงานเป็นจริง พวกเขาก็จะได้รับรางวัล
เนื้อหาหลักของ beacon chain คือการลงทะเบียนที่อยู่ของโปรแกรมตรวจสอบสถานะ สถานะของโปรแกรมตรวจสอบความถูกต้องแต่ละรายการ ข้อความยืนยัน และข้อมูลที่เชื่อมโยงไปยังเศษ ตัวตรวจสอบความถูกต้องจำเป็นต้องเปิดใช้งานโดย beacon chain ก่อนเข้าร่วม และยังสามารถเปลี่ยนสถานะได้ตามที่อธิบายไว้ในส่วน "การเปิดใช้งาน Beacon Chain Validator และวงจรชีวิต" ด้านล่าง
ชื่อเรื่องรอง
ผู้ตรวจสอบที่เข้าร่วมในการเดิมพัน: ความหมายของคำศัพท์
บนบล็อกเชนที่พิสูจน์การทำงานได้ ผู้ใช้จะกลายเป็นนักขุดโดยการควบคุมฮาร์ดแวร์เพื่อมีส่วนร่วมในฉันทามติ ใน Ethereum 2.0 ผู้ใช้สามารถรับคุณสมบัติของผู้ตรวจสอบได้โดยการปักหลัก ETH และเข้าร่วมในเครือข่ายโดยการควบคุมผู้ตรวจสอบความถูกต้อง ดังนั้นตัวตรวจสอบจึงเป็นแบบเสมือนและเปิดใช้งานโดยผู้จำนำ
เข้าใจได้ง่ายขึ้นเมื่อคุณเชื่อมโยงผู้เดิมพันกับเงินเดิมพันและผู้ตรวจสอบความถูกต้องกับยอดคงเหลือ ยอดคงเหลือสูงสุดของผู้ตรวจสอบความถูกต้องแต่ละคนคือ 32 ETH แม้ว่าผู้จำนำสามารถจำนำ ETH ทั้งหมดของเขาได้ ทุกครั้งที่คุณฝาก 32 ETH คุณจะได้รับคุณสมบัติผู้ตรวจสอบความถูกต้อง 1 คน
ตัวตรวจสอบความถูกต้องทำงานโดยใช้ไคลเอนต์ตัวตรวจสอบความถูกต้อง ซึ่งใช้โหนดลูกโซ่บีคอนเพื่อทำหน้าที่ตามปกติ โหนดบีคอนเชนมีหน้าที่ติดตามการทำงานของบีคอนเชนและอ่านข้อมูลของบีคอนเชน ไคลเอนต์ตัวตรวจสอบสามารถเรียกใช้ฟังก์ชันการทำงานของโหนดบีคอนเอง หรือเชื่อมต่อกับโหนดเชนบีคอนของผู้อื่น
Crosslink: ปล่อยให้เศษหยั่งรากบนห่วงโซ่สัญญาณ
ที่เรียกว่า cross-linking หมายถึงข้อมูลที่อยู่ใน beacon chain block และชี้ไปที่ shard block ห่วงโซ่บีคอนคือการติดตามเศษโซ่ (บล็อกล่าสุด) ผ่านการเชื่อมโยงข้าม เนื่องจากมี 64 ชาร์ด แต่ละบีคอนเชนสามารถมีครอสลิงค์ได้สูงสุด 64 ลิงค์ อาจมีครอสลิงค์เพียงอันเดียวในบล็อกเชนบีคอน หากไม่มีตัวตรวจสอบความถูกต้องเสนอบล็อกสำหรับ 63 ชาร์ดอื่นๆ ในช่วงเวลานั้น ฟังก์ชัน cross-link มีแผนที่จะนำมาใช้ใน Eth2 ระยะที่ 1 เพื่อให้โซ่เศษแต่ละอันสามารถหยั่งรากบนโซ่บีคอน และให้โซ่บีคอนทำหน้าที่เป็นตัวเชื่อมสำหรับการเลือกส้อมโซ่เศษ ความแน่นอนของโซ่เศษ และการสื่อสารข้ามชาร์ด ฐาน
รายละเอียดคณะกรรมการ
คณะกรรมการคือกลุ่มผู้ตรวจสอบความถูกต้อง ด้วยเหตุผลด้านความปลอดภัย ทุกช่วงเวลา บนห่วงโซ่บีคอนและทุกห่วงโซ่เศษ จะมีคณะกรรมการซึ่งประกอบด้วยผู้ตรวจสอบความถูกต้องอย่างน้อย 128 คน ผู้โจมตีมีโอกาสน้อยกว่าหนึ่งในล้านล้านที่จะควบคุม 2/3 ของผู้ตรวจสอบความถูกต้องในคณะกรรมการ
ชื่อของบีคอนเชนมาจากการทำงานของมันในการให้หมายเลขสุ่มต่อสาธารณะ (กล่าวคือ "สัญญาณสุ่ม") ห่วงโซ่สัญญาณจะบรรลุฉันทามติในกระบวนการสุ่มหลอกที่เรียกว่า "RANDAO"
คำอธิบายภาพ
RANDAO จะเลือกผู้ตรวจสอบความถูกต้องตามยอดคงเหลือของผู้ตรวจสอบความถูกต้อง เป็นไปได้ที่ผู้ตรวจสอบความถูกต้องจะเป็นทั้งผู้ยื่นข้อเสนอและสมาชิกคณะกรรมการในช่องเดียวกัน แต่นี่ไม่ใช่บรรทัดฐาน โอกาสที่สิ่งนี้จะเกิดขึ้นคือ 1 ใน 32 ดังนั้นเราจึงคาดคะเนว่าเราจะเห็นมันทุกช่วงเวลา แผนภาพด้านบนแสดงสถานการณ์เมื่อจำนวนผู้ตรวจสอบน้อยกว่า 8192 มิฉะนั้นจะมีคณะกรรมการอย่างน้อยสองคนในช่อง
บทความนี้มุ่งเน้นไปที่คณะกรรมการ Beacon Chain: ผู้ตรวจสอบความถูกต้องที่ให้บริการ Beacon Chain คณะกรรมการ Beacon Chain ได้รับการสุ่มให้เป็นชิ้นส่วนเพื่อสร้างลิงก์ข้ามบนบล็อกเชน Beacon Chain ยิ่งไปกว่านั้น สมาชิกของคณะกรรมการไม่คงที่เป็นเวลานาน และคณะกรรมการที่รับผิดชอบในการสร้างครอสลิงค์จะถูกแทนที่ทีละบล็อก
คณะกรรมการที่สร้างบล็อกเฉพาะสำหรับเศษโซ่เท่านั้นที่เหลือสำหรับการตีความในอนาคต ตัวตรวจสอบความถูกต้องของห่วงโซ่ชิ้นส่วนอาจสร้างบล็อกลูกโซ่บีคอนจำนวนมากโดยไม่ต้องโต้ตอบกับลูกโซ่บีคอน แต่ถ้าชิ้นส่วนต้องการสื่อสารกับชิ้นส่วนอื่นๆ คณะกรรมการจำเป็นต้องให้คณะกรรมการห่วงโซ่บีคอนเชื่อมโยงข้ามบล็อกชิ้นส่วนไปยังบล็อกลูกโซ่บีคอน
คำอธิบายภาพ
- โปรโตคอลจะถือว่าผู้ตรวจสอบความถูกต้องลงคะแนนให้กับบล็อกที่พวกเขาพิจารณาว่าอยู่อันดับต้น ๆ ของบล็อกเชนเสมอ -
รูปภาพด้านบนเป็นการสังเคราะห์สิ่งที่เกิดขึ้นในช่วงเวลาสามช่วงเวลา ในช่องที่ 1 ผู้ตรวจสอบความถูกต้องเสนอบล็อกและผู้ตรวจสอบความถูกต้องสองคนเห็นบล็อกนั้น ผู้ตรวจสอบความถูกต้องคนหนึ่งในคณะกรรมการ A ออฟไลน์ ในช่วงเวลา 2 มีคนเสนอบล็อกอีกครั้ง แต่ผู้ตรวจสอบในคณะกรรมการ B ไม่เห็น ดังนั้นข้อความจากพยานจึงระบุว่า TA เชื่อว่าด้านบนของห่วงโซ่สัญญาณ (บล็อกล่าสุด) ยังคงสร้างที่ช่องเวลา 1 บล็อก . โปรดทราบว่าตัวตรวจสอบนี้ไม่เหมือนกับตัวตรวจสอบออฟไลน์ในช่องที่ 1 การโหวตสำหรับบล็อกบนสุดของบีคอนเชนเรียกว่า "การโหวต LMD GHOST" ในช่วงเวลา 3 ผู้ตรวจสอบความถูกต้องทั้งหมดในคณะกรรมการ C เรียกใช้กฎการเลือกทางแยกของ LMD GHOST และลงคะแนนอย่างอิสระให้บล็อกเดียวกันเป็นแถวบนสุดของสัญญาณบีคอน
ผู้ตรวจสอบความถูกต้องจะเข้าร่วมในคณะกรรมการครั้งละหนึ่งชุดเท่านั้น โดยทั่วไป จะมีผู้ตรวจสอบความถูกต้องมากกว่า 8192 คนในระบบ ดังนั้นจะมีคณะกรรมการมากกว่าหนึ่งคนต่อสล็อต คณะกรรมการมีขนาดเท่ากันทั้งหมดและมีผู้ตรวจสอบความถูกต้องอย่างน้อย 128 คน เมื่อมีผู้ตรวจสอบความถูกต้องน้อยกว่า 4096 คนในระบบ ความปลอดภัยจะลดลงเนื่องจากขนาดของคณะกรรมการจะน้อยกว่า 128 ผู้ตรวจสอบความถูกต้อง
คณะกรรมการ: กุญแจ
ในแต่ละยุค ผู้ตรวจสอบความถูกต้องจะถูกแบ่งเท่าๆ กันออกเป็นช่อง ซึ่งจากนั้นจะแบ่งต่อไปเป็นคณะกรรมการที่มีขนาดเท่ากัน ผู้ตรวจสอบทุกคนจะต้องส่งข้อความพยานในช่วงเวลาของตน โดยระบุที่ด้านบนของห่วงโซ่สัญญาณ คณะกรรมการแต่ละคนพยายามที่จะเชื่อมโยงข้ามไปยังส่วนย่อยเฉพาะในช่องของตนเอง อัลกอริทึมการสับเปลี่ยนจะเพิ่มและลดจำนวนคณะกรรมการเพื่อให้แน่ใจว่าแต่ละคณะกรรมการมีผู้ตรวจสอบความถูกต้องอย่างน้อย 128 คน
ตัวอย่างเช่น สมมติว่ามีตัวตรวจสอบความถูกต้อง 16384 ตัว 512 ตัวตรวจสอบความถูกต้องเหล่านี้ได้รับการสุ่มหลอกให้กับช่อง 1 อีก 512 ตัวไปยังช่อง 2 และอื่น ๆ ผู้ตรวจสอบ 512 คนในช่องที่ 1 แบ่งออกเป็น 4 คณะกรรมการเพิ่มเติม ผู้ตรวจสอบทั้งหมด 512 คนต้องเริ่มการลงคะแนน LMD GHOST ที่ช่อง 1 ผู้ตรวจสอบความถูกต้อง 128 คนจากคณะกรรมการชุดหนึ่งพยายามเชื่อมโยงข้ามไปยังส่วนย่อยที่ 33 ผู้ตรวจสอบความถูกต้อง 128 คนจากคณะกรรมการอื่นพยายามเชื่อมโยงข้ามไปยังส่วนย่อย 55 คณะกรรมการพยายามที่จะเชื่อมโยงข้ามไปยังส่วนย่อย เศษ 22 และเศษ 11
ในช่วงเวลาช่องที่ 2 กระบวนการจะดำเนินซ้ำ ผู้ตรวจสอบเดียวกัน 512 คนแบ่งออกเป็น 4 คณะกรรมการ สมมติว่าถูกกำหนดให้เป็นเศษ 41, 20, 17, 15 ผู้ตรวจสอบทั้งหมด 512 คนลงคะแนนให้ด้านบนของบีคอนเชนที่สล็อต 2 คณะกรรมการเหล่านี้ยังพยายามเสนอการเชื่อมโยงข้ามสำหรับเศษ 41, 20, 17 และ 15
อย่างไรก็ตาม ในกระบวนการข้างต้น การลงคะแนนของผู้ตรวจสอบจะขึ้นอยู่กับช่อง ไม่ใช่จุด มันเหมือนกับการลงคะแนนให้รัฐบาลท้องถิ่นแทนที่จะเป็นการเลือกตั้งระดับชาติ ผู้ตรวจสอบทั้งหมดไม่เคยลงคะแนนให้กับสิ่งเดียวกัน ส่วนถัดไปจะกล่าวถึงจุดตรวจสอบและขั้นสุดท้าย โดยอธิบายถึงการลงคะแนนเฉพาะช่วงเวลาซึ่งตัวตรวจสอบความถูกต้องแต่ละคนจำเป็นต้องเริ่มต้นในช่องของตน กล่าวคือ ในช่วงเวลาของพวกเขา พวกเขายังลงคะแนนให้จุดตรวจสอบของช่วงเวลานั้นด้วย
จุดตรวจ Beacon Chain
ด่านคือบล็อกที่เกิดขึ้นในช่วงแรกของยุค หากไม่มีการสร้างบล็อกในช่วงเวลาแรกของช่วงเวลาหนึ่ง บล็อกที่ผ่านการรับรองล่าสุดจะถูกระบุเป็นบล็อกจุดตรวจสอบ จะมีจุดตรวจสอบหนึ่งบล็อกต่อยุค หนึ่งบล็อกอาจถูกตรวจสอบสำหรับหลายยุคในเวลาเดียวกัน
คำอธิบายภาพ
- แผนผังของจุดตรวจสอบเมื่อช่วงเวลาเดียวมี 64 ช่วงเวลา -
Epoch border block (ช่วงขอบเขตของยุค) เป็นคำที่ใช้ในวรรณกรรมบางเล่ม (เช่น กระดาษ Gasper ซึ่งเป็นที่มาของแผนภาพด้านบน) และอาจถือเป็นคำพ้องความหมายสำหรับ Checkpoint
เมื่อเริ่มต้นการลงคะแนน LMD GHOST ผู้ตรวจสอบจะลงคะแนนให้กับจุดตรวจสอบล่าสุดด้วย และจุดตรวจสอบใหม่ที่ผู้ลงคะแนนต้องการจะจัดตั้งเรียกว่า "จุดตรวจสอบเป้าหมาย" การลงคะแนนในลักษณะนี้เรียกว่าการลงคะแนนเสียง Casper FFG และการลงคะแนนเสียงจะรวมถึงจุดตรวจสุดท้ายที่ระบุโดยผู้ลงคะแนนด้วย ซึ่งเรียกว่า "จุดตรวจสอบต้นทาง" (แหล่งที่มา) ในแผนภาพด้านบน ผู้ตรวจสอบความถูกต้องในยุคที่ 1 ลงคะแนนให้บล็อกการกำเนิดเป็นจุดตรวจต้นทาง จากนั้นจึงเลือกบล็อกที่สร้างที่ช่อง 64 เป็นจุดตรวจเป้าหมาย เมื่อถึงตอนที่ 2 ผู้ตรวจสอบความถูกต้องคนเดิมได้ลงคะแนนให้จุดตรวจสอบเดิมอีกครั้ง
เฉพาะผู้ตรวจสอบความถูกต้องที่กำหนดให้กับสล็อตเท่านั้นที่จำเป็นต้องลงคะแนนสำหรับบล็อกของสล็อตนั้น อย่างไรก็ตาม ผู้ตรวจสอบความถูกต้องทั้งหมดจะต้องออกคะแนนเสียง FFG สำหรับจุดตรวจสอบของแต่ละสล็อต
ที่สุด
การโหวตที่ได้รับการสนับสนุนจาก 2/3 ของยอดรวมของผู้ตรวจสอบความถูกต้องทั้งหมดคือคะแนนเสียงข้างมาก
ลองยกตัวอย่างง่ายๆ เพื่ออธิบาย สมมติว่ามีตัวตรวจสอบความถูกต้องที่ใช้งานอยู่ 3 ตัว สองตัวมียอดคงเหลือ 8 ETH และอีกตัวมียอดคงเหลือ 32 ETH จากนั้น เฉพาะการลงคะแนนที่มีผู้ตรวจสอบความถูกต้องที่ใหญ่ที่สุดเท่านั้นที่จะเป็นคะแนนเสียงข้างมาก แม้ว่าผู้ตรวจสอบความถูกต้องอีกสองคนอาจลงคะแนนให้จุดตรวจสอบอื่น ผลรวมของยอดคงเหลือของพวกเขาคิดเป็น 50% เท่านั้นและไม่สามารถสร้างเสียงข้างมากได้
ชื่อระดับแรก
ในตอนท้ายของยุค จุดตรวจสอบจะมีเหตุผลหากได้รับการสนับสนุนโดย 2/3 ของยอดคงเหลือทั้งหมด (สร้างเสียงข้างมาก)
ถ้าจุดตรวจ B ได้รับการหาเหตุผลเข้าข้างตนเองและจุดตรวจสอบสำหรับช่วงเวลาถัดไปก็ได้รับการหาเหตุผลเข้าข้างตนเองด้วย ดังนั้น B ก็เป็นอันสิ้นสุด โดยปกติแล้ว ด่านจะจบภายในสองช่วงเวลา ซึ่งก็คือประมาณ 12.8 นาที
โดยเฉลี่ยแล้ว ธุรกรรมของผู้ใช้มักจะอัดแน่นอยู่ตรงกลางของยุค จากนั้นจะมีอีกครึ่งยุคจนกว่าจะถึงจุดตรวจสอบถัดไป ดังนั้นธุรกรรมจะต้องผ่าน 2.5 ยุค (16 นาที) จึงจะสิ้นสุด ตามหลักการแล้ว การรับรองมากกว่า 2/3 จะได้รับการบรรจุภายใน 22 ช่องแรกของช่วงเวลา ดังนั้น เวลาเฉลี่ยสำหรับข้อตกลงที่จะสิ้นสุดคือ 14 นาที (16 + 32 + 22 ช่อง) การยืนยันการบล็อกได้รับการอัปเกรดทีละขั้นตอนจากข้อความพยานการบล็อกเป็นการหาเหตุผลเข้าข้างตนเองและจากนั้นเป็นความแน่นอน ผู้ใช้เองสามารถตัดสินใจได้ว่าต้องการรอจนกว่าการทำธุรกรรมจะได้รับการยืนยัน หรือระดับความปลอดภัยที่ต่ำกว่านั้นเพียงพอหรือไม่
คำอธิบายภาพ
- จุดตรวจที่ช่อง 64 หาเหตุผลเข้าข้างตนเองในขณะที่จบบล็อกสุดท้ายที่ผลิตที่ช่อง 32 -
ด้านบนของ Beacon Chain
(ด้านบน) บล็อกขอบเขตยุคถูกสร้างขึ้นที่ช่อง 96 และมีการยืนยัน (โหวต) สำหรับจุดตรวจสอบยุค 2 จำนวนการรับรองตรงตามข้อกำหนดเสียงข้างมาก 2/3 จากนั้นจุดตรวจสอบของงวดที่ 2 จะถูกทำให้เป็นเหตุเป็นผล และในขณะเดียวกันนั้น การบล็อกที่ช่อง 32 เสร็จสิ้น ทำให้การบล็อกก่อนหน้าทั้งหมดเสร็จสิ้น เมื่อเสร็จสิ้นด่าน ไม่มีการจำกัดจำนวนของบล็อกที่สามารถผ่านด่านได้ในเวลาเดียวกัน ดังนั้น แม้ว่าการสิ้นสุดจะถูกสร้างขึ้นที่ขอบเขตของช่วงเวลาเท่านั้น ข้อความรับรองจะถูกสะสมแบบบล็อกต่อบล็อก และส่วน "การเดินทางจากบล็อกปฐมกาลไปสู่จุดสูงสุดของบล็อกเชน" ด้านล่างให้คำอธิบายอื่น
ครอสลิงค์ทั้งหมดที่อยู่ในบล็อกเชนบีคอนตั้งแต่สล็อต 1 ถึงสล็อต 32 ยังทำให้เชนเศษเป็นขั้นสุดท้ายอีกด้วย กล่าวอีกนัยหนึ่ง เมื่อบล็อกลูกโซ่บีคอนเสร็จสิ้น บล็อกลูกโซ่เศษที่สอดคล้องกับครอสลิงก์ที่อยู่ในบล็อกก็ได้รับการสิ้นสุดเช่นกัน การเชื่อมโยงข้ามด้วยตัวเองนั้นไม่เพียงพอที่จะทำให้บล็อกชิ้นส่วนสมบูรณ์ แต่จะมีประโยชน์สำหรับการเลือกทางแยกของห่วงโซ่ชิ้นส่วนเท่านั้น
ชื่อเรื่องรอง
ในทำนองเดียวกัน คุณสามารถสังเกตโครงเรื่องที่เริ่มต้นจากบล็อกกำเนิดได้ ผู้เสนอทั้งหมดตั้งแต่สล็อต 1 ถึงสล็อต 36 ได้เสนอบล็อกทีละบล็อก และบล็อกเหล่านี้จะปรากฏบนห่วงโซ่ สำหรับบล็อกทั้งหมดในยุคที่ 1 จุดตรวจสอบ (บล็อกที่ช่อง 32) มีผู้ตรวจสอบความถูกต้องเห็นสะสม 55% เมื่อตัวตรวจสอบเสนอบล็อกที่ช่อง 64 มันยังรวมการรับรองไปยังจุดตรวจสอบยุคที่ 1 ตอนนี้ 70% ของผู้ตรวจสอบความถูกต้องเห็นจุดตรวจสอบยุคที่ 1 ดังนั้นจุดตรวจสอบยุคที่ 1 จึงสมเหตุสมผล เมื่อสิ้นสุดยุคที่ 2 จุดตรวจของยุคที่ 2 (บล็อกที่ช่อง 64) ได้สะสมการยืนยันส่วนใหญ่น้อยกว่า 2/3 เมื่อมีการเสนอบล็อกที่ช่องเวลา 96 ข้อความของพยานสำหรับจุดตรวจสอบของบล็อก 2 ก็รวมอยู่ด้วย ดังนั้นในเวลานี้ จุดตรวจสอบของช่องเวลา 2 ก็บรรลุข้อกำหนดเสียงข้างมาก 2/3 ซึ่งได้รับการพิจารณาอย่างมีเหตุผล การปรับจุดตรวจช่วง 2 ให้สมเหตุสมผลจะทำให้จุดตรวจช่วง 1 และบล็อกก่อนหน้าทั้งหมดสิ้นสุดลงด้วย
บางครั้ง การหาเหตุผลเข้าข้างตนเองของบล็อกเป็นการสรุปบล็อกสองช่วงเวลาหรือมากกว่านั้น กระดาษของ Gasper กล่าวถึงสถานการณ์นี้ ซึ่งคาดว่าจะเกิดขึ้นเฉพาะในกรณีที่เครือข่ายมีความหน่วงแฝงสูง การแยกเครือข่าย และผู้โจมตีที่ทรงพลังเท่านั้น
ความมุ่งมั่นเป็นสิ่งสำคัญสูงสุดสำหรับผู้ใช้เศษและบล็อก Ethereum เนื่องจากการกำหนดระดับช่วยให้พวกเขามั่นใจได้ว่าธุรกรรมจะถูกเขียนอย่างถาวรบนเครือข่ายและไม่สามารถเปลี่ยนแปลงได้ ความมุ่งมั่นยังช่วยลดความซับซ้อนของการสื่อสารข้ามเศษ หากไม่มีการสิ้นสุด การย้อนกลับของธุรกรรมภายในและระหว่างชาร์ดอาจก่อกวนและแม้แต่ลบล้างประโยชน์ของชาร์ดดิ้ง
ความเข้าใจในเชิงลึกของประจักษ์พยาน
ข้อความพยานประกอบด้วยการโหวต LMD GHOST และการโหวต FFG ตามหลักการแล้ว ผู้ตรวจสอบทั้งหมดจะออกข้อความรับรองทุกยุค มีช่องเวลา 32 ช่องสำหรับข้อความพยานที่จะบรรจุในห่วงโซ่ ซึ่งหมายความว่าผู้ตรวจสอบอาจมีข้อความรับรองสองชุดบรรจุอยู่ในห่วงโซ่ภายในระยะเวลาเดียว เวลาที่ข้อความรับรองได้รับการบรรจุและอัปโหลดยังเป็นตัวกำหนดจำนวนของรางวัลที่ผู้ตรวจสอบสามารถได้รับ: รางวัลส่วนใหญ่สามารถรับได้จากการบรรจุและอัปโหลดข้อความพยานในช่วงเวลาที่ข้อความนั้นตั้งอยู่ ซึ่งจะตก เพื่อให้ผู้ตรวจสอบมีเวลาเพียงพอในการเตรียมการรับรอง พวกเขาจะรู้ล่วงหน้าว่าตนอยู่ในคณะกรรมการชุดใดในระยะเวลาหนึ่ง ผู้เสนอแบบบล็อกจะได้รับการจัดสรรเพียงครั้งเดียวในช่วงเริ่มต้นของยุค นอกจากนี้ การวิจัยการเลือกตั้งผู้นำแบบแอบแฝงยังทำงานเพื่อลดการโจมตีและการติดสินบนผู้เสนอให้บล็อก
กลไกของคณะกรรมการทำให้สามารถรวบรวมลายเซ็นของพยานทั้งหมดและเปลี่ยนให้เป็นลายเซ็นเดียวเพื่อการเพิ่มประสิทธิภาพทางเทคนิค หากผู้ตรวจสอบทั้งหมดในคณะกรรมการชุดเดียวกันใช้คะแนนเสียง LMD GHOST และ FFG เท่ากัน ลายเซ็นของพวกเขาจะรวมกันได้ (กลายเป็นลายเซ็นเดียว)
ชื่อระดับแรก
แรงจูงใจและการลงโทษ Beacon Chain Validator
เพื่อหลีกเลี่ยงการลงลึกเกินไป เราจะหารือเกี่ยวกับมาตรการ 6 ประการที่เกี่ยวข้องกับสิ่งจูงใจของผู้ตรวจสอบเท่านั้น:
รางวัลพยาน
ลงโทษพยาน
ความเสี่ยงด้านค่าเสื่อมราคาโดยทั่วไปสำหรับนักเดิมพัน
รางวัลอย่างเจ็บแสบและ Whistleblower
บล็อกรางวัลผู้เสนอ
บทลงโทษที่ไม่มีการใช้งาน
เมื่อข้อความพยานปัจจุบัน (รวมถึงการโหวต LMD GHOST และการโหวต FFG) สอดคล้องกับผู้ตรวจสอบส่วนใหญ่คนอื่นๆ ผู้ตรวจสอบจะได้รับรางวัล ใน Eth2 Phase 1 ผู้ตรวจสอบความถูกต้องสามารถรับรางวัลสำหรับการส่งลิงก์ข้าม เมื่อการบล็อกเสร็จสิ้น รางวัลผู้ตรวจสอบจะถูกกำหนดด้วย
ในทางกลับกัน ผู้ตรวจสอบจะถูกลงโทษเช่นกัน หากพวกเขาล้มเหลวในการรับรองหรือลงคะแนนสำหรับการบล็อกที่ไม่สามารถสรุปได้
Slashing สามารถมีตั้งแต่ 0.5 ETH ไปจนถึงเงินเดิมพันเต็มจำนวนของผู้ตรวจสอบความถูกต้อง หากข้อความรับรองที่ส่งโดยผู้ตรวจสอบละเมิดเงื่อนไขการฟันดาบที่กำหนดไว้ในโปรโตคอล TA จะสูญเสียอย่างน้อย 1/32 ของส่วนของตัวเองและถูกไล่ออกจากทีมผู้ตรวจสอบ บทลงโทษนั้นรุนแรงเท่ากับว่าตัวตรวจสอบออฟไลน์เป็นเวลา 8192 ยุค โปรโตคอลยังกำหนดบทลงโทษเพิ่มเติมตามจำนวนผู้ตรวจสอบความถูกต้องที่เฉือนภายในระยะเวลาที่ใกล้เคียงกัน สูตรการคำนวณสำหรับบทลงโทษเพิ่มเติมนี้คือ: ยอดคงเหลือของตัวตรวจสอบ × 3 × เปอร์เซ็นต์ของตัวตรวจสอบความถูกต้องแบบสแลช จากนั้น หาก 1/3 ของผู้ตรวจสอบความถูกต้องทั้งหมดละเมิดเงื่อนไขการเฉือน พวกเขาจะสูญเสียความสมดุลทั้งหมด ผู้ตรวจสอบความถูกต้องที่รายงานการประพฤติมิชอบเหล่านี้จะได้รับรางวัลในฐานะผู้แจ้งเบาะแส
ผู้เสนอบล็อกจะได้รับรางวัลตามสัดส่วนหลังจากที่ข้อเสนอบล็อกได้รับการสรุปผลแล้ว ผู้ตรวจสอบที่ออนไลน์อยู่เสมอและเสนองานที่ดีจะเพิ่มรางวัลรวมประมาณ 1/8 เมื่อเหตุการณ์การฟันเกิดขึ้น ผู้เสนอจะได้รับรางวัลเล็กน้อยสำหรับการบรรจุหลักฐานการฟัน ใน Eth2 Phase 0 รางวัลผู้แจ้งเบาะแสทั้งหมดจะไปที่ผู้เสนอ
มีกลไกมากมายในระบบ Ethereum 2.0 และการประเมินกลไกเหล่านี้ควรเริ่มจากผลกระทบโดยรวมของกลไกทั้งหมด รางวัลและการลงโทษประเภทสุดท้ายเรียกว่า "โทษความเกียจคร้าน" โดยพื้นฐานแล้ว หากผ่านไป 4 ยุคตั้งแต่บล็อกสุดท้ายเสร็จสิ้น (ไม่มีการสรุปด่านใหม่) ผู้ตรวจสอบความถูกต้องทั้งหมดจะได้รับบทลงโทษความเกียจคร้านที่เพิ่มขึ้นเป็นสองเท่าจนกว่าด่านใหม่จะเสร็จสิ้น การลงโทษความเกียจคร้านช่วยให้มั่นใจได้ว่าแม้ว่า 50% ของผู้ตรวจสอบความถูกต้องจะออฟไลน์ ระบบจะเริ่มบล็อกใหม่หลังจากผ่านไป 21 วัน
ชื่อเรื่องรอง
เงื่อนไขการริบ
มีเงื่อนไขหลักสามประการสำหรับการเฉือน ได้แก่: ข้อเสนอสองเท่า การลงคะแนนสองเท่าของ FFG และการลงคะแนนรอบทิศทางของ FFG การโหวต LMD GHOST จะไม่ถูกลงโทษ
ข้อเสนอคู่หมายความว่าผู้เสนอบล็อกเสนอมากกว่าหนึ่งบล็อกในช่องเดียวกัน
การลงคะแนนซ้ำหมายความว่าเมื่อผู้ตรวจสอบความถูกต้องส่งการลงคะแนน FFG การลงคะแนนหลายครั้งจะชี้ไปที่จุดตรวจสอบเป้าหมายเดียวกัน แต่จุดตรวจสอบแหล่งที่มาที่อ้างอิงจะแตกต่างกัน
การลงคะแนนโดยรอบหมายความว่าเมื่อผู้ตรวจสอบส่งการลงคะแนนเสียง FFG จุดตรวจที่ชี้ไปด้วยการลงคะแนนเสียงหลายครั้งจะอยู่ในรูปวงกลมพอดีเป๊ะ ตัวอย่างเช่น สมมติว่าผู้ตรวจสอบความถูกต้องลงคะแนนที่ epoch 5 โดยมีบล็อกที่ช่อง 32 เป็นจุดตรวจต้นทางและบล็อกที่ช่อง 128 เป็นจุดตรวจเป้าหมาย:
หากการลงคะแนนของผู้ตรวจสอบความถูกต้องใน epoch 6 ตรวจสอบบล็อกในช่อง 64 เป็นแหล่งที่มาและบล็อกในช่อง 96 เป็นจุดตรวจสอบเป้าหมาย ดังนั้นการลงคะแนนจะถูกล้อมรอบ (ล้อมรอบ) โดยการลงคะแนนของ TA เองใน epoch 5 Wake up
หากการลงคะแนนของ Validator ใน epoch 6 ใช้บล็อกของช่อง 0 เป็นจุดตรวจสอบต้นทางและบล็อกของช่อง 160 เป็นจุดตรวจสอบเป้าหมาย การลงคะแนนนี้จะล้อมรอบการลงคะแนนของ TA ในยุค 5
หากโปรแกรมตรวจสอบความถูกต้องนี้ลงคะแนนอีกครั้งสำหรับบล็อก 128 ในช่องเวลา 6 เว้นแต่จุดตรวจต้นทางยังคงเป็นบล็อก 32 ในช่องเวลา จะเป็นการลงคะแนนสองครั้งและถูกตัดคะแนน คะแนนโหวต FFG เดียวกันจะไม่ถูกยึด
ผู้ตรวจสอบความถูกต้องที่รายงานผู้อื่นจำเป็นต้องรวมคะแนนเสียงที่ขัดแย้งกันในข้อความรับรองเพื่อพิสูจน์ว่าผู้ตรวจสอบความถูกต้องรายอื่นควรถูกลงโทษ นอกจากนี้ยังเป็นความท้าทายด้านอัลกอริทึมและโครงสร้างข้อมูลในการค้นหาคะแนนเสียงที่ขัดแย้งกันจากประวัติอันยาวนานอย่างมีประสิทธิภาพ ดังนั้น Open Engineering Challenge Slash Detector จึงมองหาผู้ร่วมให้ข้อมูลด้วยเช่นกัน
ผู้ตรวจสอบความถูกต้องที่มีการควบคุมอย่างดีโดยทั่วไปมีภูมิคุ้มกันต่อการถูกเชือดเฉือน: เพียงจำไว้ว่าพวกเขาได้ลงนามในเอกสารรับรองใด ผู้ตรวจสอบที่ซื่อสัตย์จะไม่ได้รับผลกระทบจากการกระทำของผู้ตรวจสอบรายอื่น ตราบใดที่ผู้ตรวจสอบไม่ลงนามในเอกสารรับรองที่ขัดแย้งกันและไม่เสนอซ้ำ พวกเขาจะไม่ถูกเฉือน
เพื่อให้ได้รับประสบการณ์การดำเนินงานที่ดีขึ้น แหล่งข้อมูลที่เชื่อถือได้มากขึ้น และการป้องกัน DoS ที่ดียิ่งขึ้น ไคลเอนต์ตัวตรวจสอบความถูกต้องอาจใช้โหนดลูกโซ่บีคอนหลายโหนดพร้อมกัน ในโหมดนี้ รวมถึงเมื่อใช้ไคลเอนต์ตัวตรวจสอบความถูกต้องสำรอง จำเป็นต้องมีการดูแลไม่ให้ตัวตรวจสอบความถูกต้องลงนามข้อความที่ขัดแย้งกัน
ชื่อระดับแรก
การเปิดใช้งานตัวตรวจสอบความถูกต้องของ Beacon chain และวงจรชีวิต
ผู้ใช้ทุกคนที่ต้องการเป็นผู้ตรวจสอบต้องมี 32 ETH ก่อนจึงจะมีคุณสมบัติเป็นผู้ตรวจสอบความถูกต้อง ผู้ใช้ให้คำมั่นสัญญา 32 ETH ในสัญญาหลักประกันบน Ethereum mainnet เพื่อรับคุณสมบัติผู้ตรวจสอบความถูกต้อง
ในทางกลับกัน beacon chain จะระงับ (ปิดใช้งาน) ผู้ตรวจสอบทั้งหมดที่มียอดคงเหลือลดลงเหลือ 16ETH ผู้ใช้จำนำสามารถถอนยอดคงเหลือของผู้ตรวจสอบได้ แต่ยังไม่สามารถทำได้ใน Eth2 Phase 0
สำหรับรายละเอียดทางเทคนิคเพิ่มเติม โปรดดู "Ethereum 2.0 Phase 0 Validator Life Cycle" ภาพด้านล่างก็มาจากแหล่งที่มานี้เช่นกัน:
สรุป
เพื่อหลีกเลี่ยงการเปลี่ยนแปลงจำนวนมากในชุดของผู้ตรวจสอบในช่วงเวลาสั้นๆ จึงมีกลไกในการจำกัดจำนวนของผู้ตรวจสอบที่สามารถเปิดใช้งานและถอนออกได้ภายในช่วงเวลาเดียว สิ่งนี้ทำให้การโจมตีที่เปิดใช้งานตัวตรวจสอบความถูกต้องจำนวนมากและโจมตีระบบอย่างรวดเร็วนั้นทำได้ยากขึ้นมาก
ห่วงโซ่สัญญาณยังใช้แนวคิดที่เรียกว่า "เครื่องชั่งที่มีประสิทธิภาพ" ซึ่งหลีกเลี่ยงการเปลี่ยนแปลงเครื่องชั่งของเครื่องตรวจสอบความถูกต้อง ทำให้สามารถเพิ่มประสิทธิภาพทางเทคนิคได้
สรุป
ในแต่ละยุค ผู้ตรวจสอบความถูกต้องจะกระจายเท่าๆ กันในสล็อตต่างๆ และแบ่งเพิ่มเติมเป็นคณะกรรมการที่มีขนาดเท่ากัน ผู้ตรวจสอบความถูกต้องมีเพียง 1 ช่องที่เรียกว่าและจะมีอยู่ใน 1 คณะกรรมการเท่านั้น ดังนั้น:
ผู้ตรวจสอบทั้งหมดในช่วงเวลาหนึ่งพยายามทำให้จุดตรวจหนึ่งเสร็จสิ้นผ่านการตัดสินใจร่วมกัน วิธีการคือ การลงคะแนนเสียง FFG;
ผู้ตรวจสอบทั้งหมดในแต่ละช่วงเวลาพยายามเลือกบล็อกบนสุดของห่วงโซ่บีคอนผ่านการตัดสินใจร่วมกัน: วิธีคือการลงคะแนน LMD GHOST;
ผู้ตรวจสอบความถูกต้องทุกคนในคณะกรรมการร่วมกันลงคะแนนเสียงเพื่อพยายามเชื่อมขวางชิ้นส่วนไปยังห่วงโซ่บีคอน
พฤติกรรมที่สอดคล้องกับโปรโตคอลได้ดีที่สุดจะได้รับรางวัลมากที่สุด
