Ethereum 2.0: การหาเหตุผลเข้าข้างตนเองและการตัดสินใจ

星球君的朋友们

Odaily资深作者

2019-08-28 07:00 (UTC+8)

บทความนี้มีประมาณ 3974 คำ การอ่านทั้งหมดใช้เวลาประมาณ 6 นาที

ฉันหวังว่าบทความนี้จะช่วยคุณอธิบายคำจำกัดความของการให้เหตุผลและการสรุปผล

สรุปโดย AI

หมายเหตุบรรณาธิการ: บทความนี้มาจากผู้ที่ชื่นชอบ Ethereum (ID: Ethfans)หมายเหตุบรรณาธิการ: บทความนี้มาจาก

ผู้ที่ชื่นชอบ Ethereum (ID: Ethfans)

, ผู้แต่ง: Bruno Škvorc, ผู้แปล & ผู้พิสูจน์อักษร: IAN LIU & A Jian, ทำซ้ำโดย Odaily โดยได้รับอนุญาต

หมายเหตุของผู้แปล: การอธิบายข้อมูลต่อไปนี้ล่วงหน้าอาจช่วยให้ผู้อ่านเข้าใจเนื้อหาของบทความนี้และคำแปลที่เราเลือกได้ดียิ่งขึ้น: ใน Ethereum 2.0 หนึ่งในความรับผิดชอบของผู้ตรวจสอบคือการส่งคำรับรอง ซึ่งสามารถเข้าใจได้ว่าเป็นการลงคะแนน แต่ใน การรับรอง เนื้อหาของการลงคะแนนของผู้ตรวจสอบมีสามรายการแทนที่จะเป็นหนึ่ง: หนึ่งคือการลงคะแนนในบล็อกเชนสัญญาณซึ่งใช้ในอัลกอริทึม LMD Ghost เพื่อเลือกเชนหลัก หนึ่งคือใน epoch (ช่วงเวลา) การลงคะแนนเสียง ของอัลกอริทึม Casper FFG ใช้เพื่อสิ้นสุดจุดตรวจสอบ บล็อกก่อนจุดตรวจสอบจะย้อนกลับไม่ได้ และจุดตรวจสอบจะกลายเป็นจุดเริ่มต้นของรอบใหม่ของอัลกอริทึม LMD Ghost (สามารถจินตนาการได้ว่าเป็นสถานะกำเนิดที่รีเฟรชตลอดเวลา) หนึ่งคือการโหวตเกี่ยวกับสถานะของเชนชาร์ด (ครอสลิงค์) ซึ่งใช้เพื่อกำหนดสถานะล่าสุดของชาร์ดเชน แม้ว่าจะเป็นการโหวตทั้งหมด แต่การโหวตประเภทต่างๆ จะชี้ไปที่เนื้อหาเฉพาะที่แตกต่างกันและมีส่วนสนับสนุนคุณลักษณะต่างๆ ในระบบทั้งหมด เนื้อหาของบทความนี้เป็นการลงคะแนนที่เกี่ยวข้องกับ Casper FFG แนวคิดหลักคือการให้เหตุผลและการสรุปผล แม้ว่า LMD Ghost จะถูกกล่าวถึงในภายหลังในบทความ แต่ LMD Ghost และ Casper FFG ควรถูกมองว่าเป็นสองสิ่งที่เป็นอิสระแต่เสริมกัน

ในมุมมองนี้ แม้ว่านักแปลบางคนจะแปลการยืนยันเป็น "การพิสูจน์" เราจึงตัดสินใจแปลแนวคิดทั้งหมดที่กล่าวถึงข้างต้นให้ใกล้เคียงกับความหมายตามตัวอักษรมากขึ้น และไม่ได้แปลแนวคิดใดๆ เป็น "การพิสูจน์" หรือ "การลงมติ" เพื่อไม่ให้ ทำให้เกิดความสับสนมากขึ้น

หากคุณสับสนเกี่ยวกับคำศัพท์ต่างๆ เช่น การให้เหตุผลและการสรุปผลใน Ethereum 2.0 คุณไม่ใช่คนเดียวอย่างแน่นอน เรามาอธิบายในเงื่อนไขของคนทั่วไปว่าคำเหล่านี้หมายถึงอะไร

เรามาคุยกันก่อนว่า Finality หมายถึงอะไรกันแน่? คุณต้องสังเกตว่าไม่ว่าคุณจะใช้แพลตฟอร์ม cryptocurrency หรือ dApp ธุรกรรมจะไม่สามารถยืนยันได้จนกว่าจะมีการสร้างบล็อกหลายบล็อก นี่เป็นวิธีที่ค่อนข้างน่าเชื่อถือ (แต่ไม่ใช่การรับประกัน 100%) ช่วยให้คุณสามารถกำหนดสถานะของธุรกรรมและธุรกรรมจะไม่ถูกย้อนกลับ ซึ่งเรียกว่าความแน่นอน

Ethereum 2.0 ให้การรับประกันที่กำหนดขึ้น - เปลี่ยนการทำธุรกรรมบนเครือข่ายให้เป็นความจริงตามวัตถุประสงค์ที่บันทึกไว้ในบล็อกเชน ไม่ใช่แค่ "การทำธุรกรรมอาจยังคงอยู่ในห่วงโซ่ที่ยาวที่สุด" นี่เป็นสิ่งสำคัญมาก หากสามารถยืนยันการบล็อกได้ทันเวลา การโต้ตอบในห่วงโซ่ก็จะดำเนินไปได้เร็วขึ้นและสมบูรณ์ยิ่งขึ้น

มาทำความเข้าใจกันสักหน่อยแล้วเริ่มด้วยคำจำกัดความ

หมายเหตุ: เนื้อหาต่อไปนี้เกี่ยวข้องกับเทคโนโลยีระดับล่างมากขึ้น แต่จะยังคงเรียบง่ายและเข้าใจได้ง่ายเหมือนกับบทความอื่นๆ ในซีรี่ส์ 2.0 โปรดแจ้งให้เราทราบหากคุณพบสิ่งใดที่ต้องเพิ่ม
ก่อนที่จะพูดถึงรายละเอียด เรามาทำความเข้าใจคำจำกัดความบางประการกันก่อน:
LMD GHOST: อัลกอริธึม GHOST ที่ขับเคลื่อนด้วยข้อความล่าสุด (Last Message Driven Greediest Heaviest Observed SubTree) กฎการเลือกทางแยกของ Ethereum 2.0
Casper FFG: โปรโตคอล Casper FFG (Casper, Friendly Finality Gadget) ซึ่งเป็นโปรโตคอลที่ใช้โดย Ethereum 2.0 เพื่อให้การรับประกันเชิงกำหนด
กฎการเลือกทางแยก: กลไกที่ให้บล็อกเชนทั้งหมดสามารถส่งออกเส้นทางบล็อกเชนจากบล็อกกำเนิดไปยังบล็อก S และทำให้เชนที่ S อยู่สามารถพิจารณาได้ว่าเป็นเชนที่เชื่อถือได้ (เรียกอีกอย่างว่า "มาสเตอร์เชน"" ห่วงโซ่ราก")
ยุค: ใน Ethereum 2.0 หมายถึงหน่วยเวลาที่กินเวลา 6.4 นาที และแต่ละยุค (ช่วงเวลา) มี 64 ช่อง (ช่องเวลา แต่ละช่องเวลาคือ 6 วินาที)

สิ่งที่เรียกว่าคณะกรรมการคือชุดของผู้ตรวจสอบที่สุ่มเลือก คณะกรรมการแต่ละชุดจะได้รับมอบหมายให้อยู่ในช่วงเวลาที่กำหนด ผู้ตรวจสอบคนแรกในคณะกรรมการมีหน้าที่รับผิดชอบในการเสนอการบล็อก และผู้ตรวจสอบคนอื่นๆ จะเข้ามาเป็นพยาน (รับรอง) การบล็อก

Casper FFG

ด้วยแนวคิดเหล่านี้ เรามาดูเหตุผลและข้อสรุปกัน

ชื่อเรื่องรอง

Casper เป็นวิธีการปรับและสิ้นสุดช่วงเวลา (ทั้งสำหรับบล็อกในเครือข่ายบล็อกเชนทั่วไปและสำหรับยุคใน Ethereum 2.0) เป็น "แกดเจ็ต" อเนกประสงค์ที่สามารถเพิ่มลงในบล็อกเชนใดก็ได้ อย่างไรก็ตาม Casper มีประโยชน์มากที่สุดในบล็อกเชน PoS

ขั้นสุดท้ายเป็นแนวคิดที่ว่าไม่สามารถระบุจุดตรวจสอบสองจุดที่ขัดแย้งกันได้ (เปลี่ยนกลับไม่ได้) เรียกอีกอย่างว่าความแน่นอนทางเศรษฐกิจก็ได้ เพราะเมื่อจุดตรวจสอบสองจุดที่ขัดแย้งกันได้รับการสรุปแล้ว ผู้ตรวจสอบอย่างน้อย 1/3 ในระบบจะถูกปรับโดยริบเงินมัดจำ

คุณอาจสงสัยว่าทำไม 1 ใน 3 ของผู้ตรวจสอบถูกปรับให้ริบเงินมัดจำ?

เมื่อมีสองด่านที่ขัดแย้งกัน แสดงว่าแต่ละด่านได้รับคะแนนเสียงมากกว่า 2/3 ของValidator เพราะท้ายที่สุดแล้วสามารถตั้งด่านได้เพียงด่านเดียว คนอย่างน้อย 1/3 จะโหวตซ้ำ 1/3 ของผู้ตรวจสอบความถูกต้องที่โหวตซ้ำจะถูกพิจารณาว่าเป็นผู้เข้าร่วมที่ประสงค์ร้าย และเงินฝากของพวกเขาจะถูกปรับ เพื่อหลีกเลี่ยงการดำเนินการที่ไม่ถูกต้อง วิธีที่ดีที่สุดสำหรับผู้ตรวจสอบความถูกต้องคือการยืนยันสถานะของสายบีคอนก่อนการลงคะแนนในแต่ละรอบ จากนั้นจึงลงคะแนนให้จุดตรวจสอบที่เหมาะสม

แล้วจะเข้าใจ "กำหนด" ใน "ด่านกำหนดตั้ง" ได้อย่างไร? เราต้องพูดถึงการให้เหตุผล (เรียกว่า “การให้เหตุผล” ข้างต้น) ก่อน

การให้เหตุผลหมายถึงการดำเนินการที่ผู้ตรวจสอบความถูกต้องลงคะแนนให้กับจุดตรวจสอบและตัดสินใจว่าจุดตรวจสอบใดควรวางไว้ที่แถวหน้าของห่วงโซ่สัญญาณปัจจุบัน ตราบเท่าที่มากกว่า 2/3 ของผู้ตรวจสอบความถูกต้อง (นั่นคือเสียงส่วนใหญ่อย่างแท้จริง) บรรลุฉันทามติในคู่ของยุค (เช่น ยุคต้นทาง S -> ยุคเป้าหมาย T นั่นคือ ช่วงเวลาต้นทางและช่วงเวลาเป้าหมาย) เราจะบอกว่าทั้งสองยุคนั้นถูกหาเหตุผลเข้าข้างตนเอง (เป็นธรรม) ไม่ว่าจะมียุคที่ข้ามไปในสองยุคหรือไม่ก็ตาม ตราบใดที่ทั้งสองยุคในคอลัมน์เดียวกันได้รับการหาเหตุผลเข้าข้างตนเอง เราเรียกยุคก่อนหน้าที่สิ้นสุด (finalized)

หมายเหตุ: เพื่อความง่ายในการทำความเข้าใจ ข้างต้นเป็นคำจำกัดความที่เข้าใจง่ายมาก มีปัจจัยอื่นๆ ที่มีอิทธิพล แต่ปัจจัยเหล่านี้อยู่นอกเหนือขอบเขตของบทความนี้

เพื่อเป็นการเตือนความจำ เมื่อเราพูดว่าผู้ตรวจสอบความถูกต้องกำลังยืนยัน/ตัดสิน เราไม่ได้หมายถึงผู้ตรวจสอบความถูกต้องลงคะแนนในยุคนั้น - ดูเหมือนว่ามีคนใช้การลงคะแนนเพื่อกำหนดเวลา (เราทุกคนรู้ว่าเป็นเวลาใด) เวลา ไม่จำเป็นต้องลงคะแนนเลย) ผู้ตรวจสอบความถูกต้องกำลังลงคะแนนให้กับเนื้อหาของยุคเหล่านี้ - สถานะรากของช่องสุดท้ายที่เกี่ยวข้อง (ช่องขอบเขต) ดังนั้นผู้ตรวจสอบความถูกต้องจึงเลือกสถานะที่ถูกต้องล่าสุดของบล็อกเชนโดยการยืนยัน/ยืนยันการลงคะแนนในยุค

LMD GHOST

ในการต่อสู้ครั้งสุดท้ายของ Avengers 4 Doctor Strange มองเห็นความเป็นไปได้ 14 ล้านครั้งในโลกคู่ขนาน ในโลกคู่ขนานเหล่านี้ เวลาดำเนินไปอย่างเป็นเส้นตรง แต่ละวัน แต่ละชั่วโมงเกิดขึ้นพร้อมๆ กันในทุกโลก แต่ในโลกทั้งหมดนี้ มีผลลัพธ์ที่น่าปรารถนาเพียงประการเดียว ผลลัพธ์อื่นๆ เป็นเพียงทางแยก

ชื่อเรื่องรอง

จากนั้นเราต้องพูดคุยเกี่ยวกับกฎการเลือกส้อม

ในเมธอด GHOST ที่ขับเคลื่อนด้วยข้อความ (LMD) ล่าสุด อัลกอริทึมจะทำงานตาม "ข้อความ" นั่นคือ การรับรอง ("ข้อมูลพยาน") โดยทั่วไปแล้ว ห่วงโซ่แบบแยกที่มีคะแนนโหวตมากที่สุดถือเป็น "ห่วงโซ่ที่มีอำนาจ"

Gasper

รูปด้านบนแสดงรายละเอียดของวิธี GHOST ที่ขับเคลื่อนด้วยข่าวสารล่าสุด สัญลักษณ์หน้ายิ้มแสดงถึงข้อมูลของพยาน และมีตัวเลขในแต่ละบล็อก ซึ่งแสดงถึงผลรวมของจำนวนพยาน ซึ่งเป็นน้ำหนักของบล็อก . ในภาพด้านบน แม้ว่าโซ่ด้านบนจะเป็นโซ่ที่ยาวที่สุด แต่สีเขียวคือ "โซ่ที่เชื่อถือได้"