Ethereum 2.0: จะบรรลุจุดสิ้นสุดได้อย่างไร?
หมายเหตุบรรณาธิการ: บทความนี้มาจากUnitimes（ID：Uni-times）หมายเหตุบรรณาธิการ: บทความนี้มาจาก
, ผู้แต่ง: Bruno Škvorc, ผู้เรียบเรียง: Summer, พิมพ์ซ้ำโดย Odaily โดยได้รับอนุญาต
ขั้นแรก เรามาทำความเข้าใจว่าการสิ้นสุดคืออะไร [ข้อสังเกต: มีคำแปลที่แปลความสิ้นสุดเป็น "ความแน่นอน" ด้วย]
คุณต้องสังเกตเห็นว่าแพลตฟอร์ม cryptocurrency และ Dapps (แอปพลิเคชันที่กระจายอำนาจ) มักจะรอให้บล็อกหลายบล็อกเสร็จสิ้นก่อนที่จะพิจารณาธุรกรรมของคุณว่า "ยืนยัน" นี่เป็นวิธีการทำให้มั่นใจว่าธุรกรรมได้ "เกือบ" เสร็จสิ้นแล้ว หรือธุรกรรมนั้น "เกือบ" จะย้อนกลับไม่ได้ นั่นคือ ธุรกรรมนั้น "เสร็จสิ้น" แล้ว
Ethereum 2.0 สามารถให้การรับประกันถึงความสมบูรณ์ ซึ่งเป็นข้อเท็จจริงที่เป็นกลางที่ประดิษฐานอยู่ใน Ethereum blockchain แทนที่จะเป็นสถานะ "ใกล้" สิ่งนี้สำคัญมากเพราะช่วยให้สามารถสื่อสารบนเครือข่ายได้รวดเร็วขึ้น เช่น หากบล็อกเพิ่งได้รับการสรุป การบล็อกจะไม่ต้องรอการยืนยันหลายครั้ง
ที่กล่าวว่า บล็อกเชนที่ใช้ Proof-of-Work (เช่น Bitcoin) ไม่เคยรวมคุณสมบัติที่ทำให้การทำธุรกรรมเป็นขั้นสุดท้ายอย่างแท้จริง ในขณะที่เชน Ethereum 2.0 ได้รับการออกแบบมาเพื่อให้การรับประกันขั้นสุดท้ายที่แข็งแกร่งกว่า Proof-of-Work
มาเจาะจงกันดีกว่า ดูคำจำกัดความสองสามข้อก่อน:
LMD GHOST เป็นกฎการเลือกทางแยกที่ใช้โดย Ethereum 2.0 (นั่นคือกฎที่ใช้กำหนดว่าเชนใดเป็น "authoritative chain") ชื่อเต็มคือ "Last Message Driven Greediest Heaviest Observed SubTree (GHOST ขับเคลื่อนโดยข่าวล่าสุด) "
Casper FFG เป็นกลไกพิสูจน์การเดิมพัน (PoS) ที่ใช้โดย Ethereum 2.0 และชื่อเต็มของมันคือ "Casper the Friendly Finality Gadget (Casper the Friendly Finality Gadget)"
ในห่วงโซ่ Ethereum 2.0 แต่ละรุ่นของ 64 บล็อก (ประมาณ 6.4 นาที) เรียกว่ายุค
ในระบบ Ethereum 2.0 สล็อตคือเวลาที่ต้องใช้ในการสร้างบล็อกใหม่ นั่นคือเวลาที่จำเป็นสำหรับการเสนอบล็อกใหม่และพิสูจน์ว่าถูกต้อง แต่ละช่องถูกตั้งค่าเป็น 6 วินาที แต่จะไม่มีการสร้างบล็อกใหม่ทุกบล็อกในแต่ละช่อง ช่องสุดท้ายในแต่ละยุคเรียกว่าจุดตรวจ (ด่าน)
จากข้อมูลข้างต้น เราจะหารือกันต่อไปว่า Justification (หลักฐาน) และ Finalization (ขั้นสุดท้าย)
Casper FFG
ชื่อเรื่องรอง
Casper เป็นวิธีการตรวจสอบและสรุปบล็อก (ไม่ว่าจะสร้างโดยแพลตฟอร์มบล็อกเชนโดยทั่วไปหรือระหว่างยุคในห่วงโซ่ Ethereum 2.0) Casper เป็น "แกดเจ็ต" อเนกประสงค์ที่สามารถเพิ่มลงในบล็อกเชนที่ต้องการเพื่อให้ได้ผลลัพธ์สุดท้าย แต่แคสเปอร์มีประโยชน์มากที่สุดในบล็อกเชน PoS
Finality ใน Ethereum 2.0 เป็นแนวคิดที่ระบบกำหนดว่าจะไม่มีการแข่งขันกัน 2 จุด จุดตรวจสอบที่สรุปแล้ว และเมื่อสิ่งนี้เกิดขึ้น ผู้ตรวจสอบความถูกต้องที่ใช้งานอยู่อย่างน้อย 1 ใน 3 ผู้ละเมิดจะถูกเฉือน เราเรียกมันว่าจุดจบทางเศรษฐกิจ
คุณอาจสงสัยว่าทำไมผู้ตรวจสอบความถูกต้องถึงหนึ่งในสามถึงถูกเฉือน? เราทราบดีว่าในระบบ Ethereum 2.0 สองในสามของผู้ตรวจสอบต้องเป็นผู้ตรวจสอบที่ซื่อสัตย์จึงจะเข้าร่วมการตรวจสอบได้ (นั่นคือการลงคะแนน) ดังนั้นหากมีสองจุดตรวจที่แข่งขันกันและผ่านเข้ารอบแล้วในระบบ ก็หมายความว่าสอง- ผู้ตรวจสอบความถูกต้องจำนวนสามในสามโหวตให้จุดตรวจสอบหนึ่ง และในขณะเดียวกัน สองในสามของผู้ตรวจสอบได้ลงคะแนนให้อีกจุดตรวจ นั่นคืออย่างน้อยหนึ่งในสามของผู้ตรวจสอบได้ลงคะแนนให้จุดตรวจสอบนี้ หากทั้งสองจุดตรวจสอบได้ลงคะแนน ระบบจะถือว่าผู้ตรวจสอบเหล่านี้เป็นผู้ตรวจสอบที่เป็นอันตรายและจะถูกฟันตามนั้น
สำหรับผู้ตรวจสอบ ประโยชน์สูงสุดมาจากการสิ้นสุดสถานะบีคอนอย่างถูกต้อง แทนที่จะดำเนินการที่เป็นอันตรายอย่างไม่เหมาะสม
ดังนั้น "สรุป" ใน "ด่านตรวจสรุป" หมายถึงอะไร ก่อนที่จะอธิบายเรื่องนี้ เราต้องอธิบายว่า "เหตุผล" คืออะไร
ข้อพิสูจน์คือผู้ตรวจสอบจะตัดสินใจว่าจุดตรวจใดเป็นบล็อกบนสุดของห่วงโซ่สัญญาณโดยการลงคะแนนที่จุดตรวจ หากสองในสามของผู้ตรวจสอบ (นั่นคือผู้ตรวจสอบส่วนใหญ่) บรรลุฉันทามติในสองยุคติดต่อกัน เพื่อให้สองยุคที่ต่อเนื่องกันมีความชอบธรรม และยุคก่อนหน้าถือว่าสิ้นสุดแล้ว ( สรุป)
หมายเหตุ: คำจำกัดความข้างต้นทำให้เข้าใจง่ายขึ้นเป็นส่วนใหญ่ มีปัจจัยอื่นๆ ที่เกี่ยวข้องด้วย แต่สิ่งนี้อยู่นอกเหนือขอบเขตของบทความนี้
ดังนั้น ยุคที่ "สิ้นสุด" จึงเป็นยุคที่ "พิสูจน์แล้ว" จริงๆ โดยมีข้อแตกต่างที่สำคัญประการหนึ่ง - เมื่อบางสิ่ง "พิสูจน์แล้ว" คุณยังสามารถย้อนเวลากลับไปและพิสูจน์มันได้ แต่เมื่อคุณ "ผนึก" บางสิ่ง มันจะกลายเป็นเรื่องยากมาก เพื่อเขียนประวัติศาสตร์ใหม่
กล่าวอีกนัยหนึ่ง ถ้าบางสิ่ง "สรุปผล" นั้นต้องหมายความว่าสิ่งนั้นได้รับการ "พิสูจน์แล้ว" และบางสิ่งได้รับการ "พิสูจน์แล้ว" ก็ไม่ได้หมายความว่าสิ่งนั้นได้รับการ "สรุปผล" แล้ว
ผู้ตรวจสอบความถูกต้องจึงรับรอง/สรุปยุคด้วยการลงคะแนน ซึ่งเป็นวิธีการที่ผู้ตรวจสอบความถูกต้องลงคะแนนสถานะที่ถูกต้องที่ทราบล่าสุดของ Ethereum blockchain
LMD GHOST
ชื่อเรื่องรอง
นี่คือที่มาของกฎการเลือกทางแยก
GHOST เป็นโปรโตคอลที่ได้รับความนิยมอย่างมากใน PoW (Proof of Work) และแพลตฟอร์มบล็อกเชนอื่นๆ โปรโตคอล GHOST เป็นไปตามแผนผังย่อยที่ "หนักที่สุด" ซึ่งเป็นสายโซ่ที่ยาวที่สุด
ใน Bitcoin blockchain สาขาที่ "หนักที่สุด" คือสายโซ่ที่ใช้พลังการประมวลผลมากที่สุดในบล็อก ซึ่งเป็นสายโซ่ที่ยาวที่สุดด้วย เห็นได้ชัดว่าโซ่ที่ยาวที่สุดคือสิ่งที่เราเรียกว่า "โซ่บัญญัติ" แต่ก็ยังเป็นไปได้ที่โซ่นี้จะเปลี่ยนไปใช้โซ่ที่มีส้อมอีกอันหนึ่ง (แม้ว่าจะเป็นไปได้น้อยมาก) ดังนั้นจุดสิ้นสุดของโซ่ที่ยาวที่สุดจึงน่าจะเป็นเรื่องทางเพศ
LMD ทำให้ "ข้อความ" ทำงานได้ หมายความว่าการสิ้นสุดของเครือข่าย Ethereum 2.0 นั้น "ขับเคลื่อนโดยข่าวล่าสุด" ข้อความคือการรับรองและสิ่งที่สรุปได้ก็คือห่วงโซ่ที่มีผู้โหวตมากที่สุดจะได้รับการพิจารณาว่าเป็น "ห่วงโซ่ที่มีอำนาจ"
ในรูปด้านบน แม้ว่าโซ่แบบแยกที่ด้านบนจะเป็นโซ่ที่ยาวที่สุด แต่โซ่ที่ประกอบด้วยบล็อกสีเขียวด้านล่างคือ "โซ่ที่มีสิทธิ์" เนื่องจากบล็อกสีเขียวมีการพิสูจน์มากที่สุด และนั่นคือการมีผู้โหวตผู้ตรวจสอบความถูกต้องมากที่สุด
Gasper
ชื่อเรื่องรอง
ลองมาดูสไลด์นี้จากการพูดคุยของ Justin Drake นักวิจัย Ethereum เกี่ยวกับ Eth2.0 ในการประชุม EthCC
คำอธิบายภาพ
สไลด์ 1
ในภาพด้านบน กล่องประสองช่องแสดงสถานการณ์ที่ผิดกฎหมายในการเลือกทางแยก กล่องจุดด้านซ้ายด้านบนแสดงให้เห็นว่าหากคุณลงคะแนนให้กับรากของรัฐที่แตกต่างกันสองแห่งในเวลาเดียวกัน จะเป็นการลงคะแนนที่ผิดกฎหมาย กล่าวคือ คุณไม่สามารถลงคะแนนให้กับเนื้อหาที่แตกต่างกันสองแห่ง (รากของรัฐ) ในเวลาเดียวกันได้
กล่องเส้นประที่ด้านขวาบนแสดงว่าคุณไม่สามารถข้ามบางยุคและลงคะแนนสำหรับยุคต่อมาได้ กล่าวคือ คุณไม่สามารถลงคะแนนสำหรับยุคในอนาคตก่อนที่จะลงคะแนนให้กับยุคที่ผู้สมัครปัจจุบัน
มาดูสไลด์ที่สองกัน
คำอธิบายภาพ
ตามข้างต้น การโหวตสองยุคที่มีเนื้อหาต่างกันในเวลาเดียวกันถือเป็นเรื่องผิดกฎหมาย ในกรณีที่ครึ่งล่างของสไลด์ 2 มีโซ่แบบแยกสองเส้น ยุคสองยุค (จุดสีแดง) ในโซ่แบบแยกบนได้รับการสรุปแล้ว (สรุป) ดังนั้นดูเหมือนว่าโซ่แบบแยกบน โซ่นั้นถูกต้อง แต่โซ่แบบแยก ห่วงโซ่ด้านล่างยังมีสองยุคที่สรุปแล้ว แต่ทั้งสองยุคนั้นสรุปในภายหลัง!
คำอธิบายภาพ
สไลด์ 3
ซึ่งหมายความว่า forked chain ด้านล่างเป็น fork ที่ไม่ถูกต้อง เนื่องจากหากการโหวตตามหลัง 2 ยุคสุดท้ายด้านล่าง หมายความว่า epoch ที่เพิ่งโหวตใหม่จะตามมาจาก fork อีกอันคือ epoch of the chain สิ่งนี้ผิดกฎหมายเนื่องจากจุดตรวจที่สรุปแล้วจะต้องเรียงตามลำดับเวลา หากสิ่งนี้เกิดขึ้น ผู้ตรวจสอบความถูกต้องจำนวนมากจะถูกลงโทษอย่างรุนแรง เนื่องจากผู้ตรวจสอบความถูกต้องส่วนใหญ่โหวตให้ยุคหนึ่งเป็น "ห่วงโซ่ที่ผิดกฎหมาย" ดังนั้นผู้ตรวจสอบเหล่านี้จะต้องถูกลงโทษ
แค่นั้นแหละ! หากคุณเป็นผู้ตรวจสอบความถูกต้อง ตรวจสอบให้แน่ใจว่าคุณลงคะแนนเพียงครั้งเดียวต่อช่วงเวลาสล็อต และตรวจสอบให้แน่ใจว่าคุณลงคะแนนเสียงเหมือนที่คนอื่นๆ ลงคะแนน เพื่อไม่ให้ถูกริบ! (ไม่ต้องกังวล ทั้งหมดนี้จะถูกสร้างไว้ในไคลเอนต์ Ethereum 2.0 ที่คุณใช้)
