IRL ANALOGY

เช่นเดิมกับบทความ "WTF is..." ของฉัน ฉันชอบเริ่มต้นด้วยสมมติฐานชีวิตจริงเพื่อให้ผู้คนเข้าใจความสำคัญและตัดสินใจว่าจะสนใจหรือไม่สนใจเนื้อหาสำคัญ

สำหรับหัวข้อนี้ เราจะใช้การแห้งของคอนกรีตตามเวลา:

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

TLDR จำไว้เพียงแค่ลำดับขั้นตอน

ส่ง -> ยืนยัน -> เสร็จสิ้น

หากดีพอสําหรับคุณที่จะพิจารณากรณีนี้ปิดฉันขอเชิญคุณตีบทความด้วยชอบและไปเกี่ยวกับวันของคุณ หากคุณต้องการที่จะเนิร์ดออกเกี่ยวกับวิธีการอะไรและทําไมของขั้นสุดท้าย (ในบริบท Ethereum); ดําเนินการต่อใน Mon Frere

FINALITY NERD-OUT

ดีที่สุด - เราจะลองสร้างโครงสร้างบางอย่างรอบคอนเซ็ปต์นี้และเข้าใจมัน โชคดีที่มันให้เราสิ่งที่จะสร้างจากส่วนประกอบทั้งหมดเข้ามาเล่นเป็นผลลัพธ์จากเวลาที่ผ่านไปเราจะใช้นั้น

แต่ก่อนที่เราจะขยายฐานความรู้ของเราด้วยคำจำกัดความ

คำศัพท์

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

ตัวอย่างช่อง/เวลาบล็อก:

Ethereum - 12 วินาที

เบส - 2 วินาที

• Solana - 0.4 วินาที
• การยืนยัน: นี่คือสิ่งที่เกิดขึ้นเมื่อธุรกรรมของคุณได้เข้าสู่บล็อกที่ถูกเพิ่มไปยังโซ่ปัจจุบันอย่างเป็นทางการแล้ว ตอนนี้มันได้รับการยืนยันเป็นส่วนหนึ่งของบัญชีและเมื่อบล็อกถูกเพิ่มไปยังของคุณ มันสะสมการยืนยันเพิ่มเติม
• Epoch: สตริงของ 32 สล็อต สร้างขึ้นเป็นโครงสร้างรองในบล็อกเชนที่ใช้สำหรับการกำหนดบทบาทและความรับผิดชอบ สล็อตใช้สำหรับการสร้างบล็อกในขณะที่ Epochs ใช้สำหรับการกระจายข้อมูล การแจกเงินรางวัล การเลือกผู้ตรวจสอบ ฯลฯ
• บล็อกเช็คพ้อยท์: นี่คือบล็อกแรกที่สร้างขึ้นในอิปอคที่กำหนดและใช้เป็นจุดอ้างอิงในการทำให้ประวัติศาสตร์ของเชนเสร็จสมบูรณ์

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

Ethereum - เมื่อผ่านไป 2 ยุค (~13 นาที)

Optimistic L2 - เมื่อหน้าต่างของการฉ้อโกงผ่านไป (~7 วัน)

• ZK L2 - เนื่องจากมีการรับประกันโดยการพิสูจน์ความถูกต้อง จึงมีช่วงเวลาสิ้นสุดที่ถูกโต้แย้งได้ 2 ช่วง: local (เมื่อพิสูจน์ถูกสร้างบน L2 [ประมาณไม่กี่นาที]) และ global finality (เมื่อพิสูจน์ถูกโพสต์ไปยัง Ethereum และเสร็จสมบูรณ์ที่นั่น [ประมาณ 13 นาที])
• การสร้างโครงสร้างบล็อกใหม่ (Reorg): นี่คือเมื่อบล็อกที่เคยได้รับการยืนยันเป็นส่วนหนึ่งของสมุดบัญชีเพื่อเหตุผลใดเหตุหนึ่งไม่ได้ถูกพิจารณาว่าถูกต้องและเกิดโซ่ของบล็อกใหม่ขึ้น นั่นมักมาพร้อมกับการลงโทษ

และนี่คือการพยายามที่จะแสดงออกในรูปภาพเดียวเพื่อทำให้เข้าใจง่ายขึ้น:

FINALITY เป็นอย่างไร?

ดังนั้น, ตอนนี้ที่เรามีส่วนประกอบที่ใช้ในการกำหนดความสมบูรณ์นั้น จะถูกเชื่อมต่อกันอย่างไร? กฎมีอะไรบ้าง?

สำหรับ Ethereum

1. การลงคะแนนเสียงของผู้ตรวจสอบ - ในแต่ละยุค (หน้าต่าง 32 บล็อก) ผู้ตรวจสอบจะลงคะแนนเสียงในบล็อกจุดตรวจสอบของยุคปัจจุบันและยุคก่อนหน้าจนกระทั่งบล็อกจุดตรวจสอบที่เฉพาะเจาะจงถึงส่วนใหญ่ 2/3 ของจำนวนเหรียญที่มีการลงทุน $ETH
2. จุดตรวจสอบที่ชอบ - เมื่อบล็อกตรวจสอบถึงเกณฑ์ 2/3 แล้วจะถือว่าเป็น "จุดตรวจสอบที่ชอบ"
3. Supermajority Link - เมื่อบล็อกจุดตรวจที่ตามมาสองบล็อกเป็น a) เป็นธรรมและ b) เชื่อมโยงถึงกันบล็อกที่รวมอยู่ในยุคก่อนที่ยุคที่เชื่อมโยงกันในขณะนี้จะเป็นที่สิ้นสุด พวกเขาไม่สามารถได้รับผลกระทบจากการจัดระเบียบใหม่อย่างง่ายได้อีกต่อไป

Visualized

สำหรับ L2s

ก็ดี, L2s ถูกสร้างขึ้นบน Ethereum เพื่อนั้นพวกเขาเกือบเหมือนกันใช่ไหม?

ใช่และไม่ใช่เรียนรู้โครงสร้างการโพสต์จากฉันโพสต์ก่อนหน้าเรื่อง Based Rollups. L2s เป็นบล็อกเชนของตัวเองใช่ แต่พวกเขาขึ้นอยู่กับ Ethereum เพื่อการตกลงสุดท้าย นั่นหมายความว่าคำตอบก็ซับซ้อนเช่นเดียวกับเชือกเอง

ชั้นเหล่านี้แตกต่างกันเป็นสองประเภทของความสมบูรณ์:

1. ความสมบูรณ์ภายในสถานที่ - นี่คือความสมบูรณ์ใน L2 โดยเฉพาะและเป็นไปได้เฉพาะสำหรับ L2 ที่ใช้การพิสูจน์ความถูกต้อง (เรียกว่า ZK Rollups) นั้นเพราะพิสูจน์ความถูกต้องถูกสนับสนุนโดยคณิตศาสตร์และการผลิตพิสูจน์เองหมายความว่ามันถูกต้อง ด้วยเหตุนี้ เมื่อ ZK L2 ผลิตพิสูจน์ของตัวเองสถานะ L2 สามารถถือว่าเสร็จสิ้นโดยไม่ต้องรอให้พิสูจน์ถูกโพสต์และเรียบร้อยบนเอเทอเรียม โปรดทราบว่านี้ยังมีความเสี่ยงและการสมมติ แต่สามารถทำได้ด้วยความมั่นใจบางส่วนขึ้นอยู่กับความทนทานต่อความเสี่ยงของคุณ
2. Global Finality - รัฐประสบความสําเร็จเพียงครั้งเดียวและ L2 ได้ยืนยันรัฐท้องถิ่นผลิตหลักฐาน (การฉ้อโกงหรือความถูกต้อง) โพสต์หลักฐานนั้นไปยัง Ethereum และ Ethereum เช่นกันได้สรุปบล็อกที่มีการโพสต์หลักฐาน ถึงอย่างนั้นสําหรับชุดย่อยในแง่ดีของ L2s โอกาสที่จะย้อนกลับยังคงมีอยู่จนกว่าระยะเวลาการท้าทายจะผ่านไป นี่คือการแลกเปลี่ยนที่ทําเพื่อลดการคํานวณที่จําเป็นสําหรับการสร้างหลักฐาน

ดังนั้น L2s สามารถมีระดับของความสมบูรณ์แบบภายในพื้นที่หนึ่งถ้าพวกเขาเป็นประเภทเฉพาะ แต่มิได้รอการ Ethereum ที่จะสมบูรณ์โพรฟที่ถูกโพสต์ของพวกเขา (ZK) หรือหน้าต่างท้าทายได้ผ่านไปสำหรับการพิสูจน์การโกง (Optimistic rollups) แล้ว

สำหรับบิตคอยน์ / พิสท์ออฟเวิร์ค

อันนี้ค่อนข้างง่าย - ไม่มีขั้นสุดท้ายในการใช้งาน PoW เฉพาะของ Bitcoin สําหรับมันใครก็ตามที่ผลิตหัวโซ่ที่หนักที่สุด (อ่าน: ผลิตบล็อกเพียงพอที่จะเป็นโซ่ที่ "ยาวที่สุด") จะกลายเป็นบัญชีแยกประเภทบัญญัติ ซึ่งหมายความว่าแม้ว่าจะทําไม่ได้ด้วยเหตุผลหลายประการ แต่ก็มีคนสามารถผลิตแฮชได้มากพอที่จะเขียนวันสัปดาห์ปีสุดท้ายของประวัติศาสตร์ของ Bitcoin อีกครั้ง

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

Visualized:

ทำไมต้องมั่นคง?

ดังนั้นเราทราบว่าเรามาถึงจุดสิ้นสุดใน Proof of Stake chain ที่ใหญ่ที่สุดในโลกของคริปโท แต่ดูเหมือนมันเป็นงานมากมาย - เพราะเหตุใดเราถึงต้องทำมัน

ดีนะ มันมาพร้อมกับบางประโยชน์:

1. ความมั่นคงทางเศรษฐกิจ - การมีจุดที่ระบบ (และเรา) สามารถมองย้อนกลับไปและพูดด้วยความมั่นใจสูงว่าจะไม่เปลี่ยนแปลงทําให้ผู้เข้าร่วมระบบนิเวศมีความมั่นใจที่จะปฏิบัติตาม "สิ่งที่เป็นจริง" คิดการโอนเงินและเงินกู้จํานวนมาก เมื่อคุณทราบแน่ชัดว่าระบบไม่สามารถเปลี่ยนแปลงได้หากไม่มีการแทรกแซงที่รุนแรงและอยู่นอกโปรโตคอลจะทําให้คุณมีความมั่นใจในการดําเนินการกับความจริงนั้น นี่คือเหตุผลที่สะพานมักจะรอการยืนยันจํานวน X หรือขั้นสุดท้ายทั้งหมดก่อนที่จะปล่อยเงินในห่วงโซ่รอง ซึ่งนําฉันไปที่ ...
2. การตกลงเร็วขึ้น - เนื่องจากมีจุดที่สิ่งต่าง ๆ เป็นทางการเป็นถาวร นั้นหมายความว่าส่วนที่เกี่ยวข้องที่ดำเนินงานภายในระบบนั้นจะมีเวลาในการตกลงสูงสุดที่พวกเขาต้องรอคอย ในขณะที่ในระบบ PoW จุดนั้นไม่เคยมาถึงและมีแค่เป็นเรื่องส่วนบุคคลเท่านั้น
3. ลดทางเข้าโจมตี - เราได้กล่าวถึงโอกาส MEV ที่เปิดให้ใช้งานในโซลูชัน PoW ไม่มากนัก แต่ในที่สุดแล้วมันแค่จัดการกับปัญหา "ไม่มีอะไรเสีย" ที่ใครก็สามารถกระทำอย่างอาศัยเพื่อระบบก็มีสิ่งที่จะเสียไป หากคุณเป็นผู้ตรวจสอบและพยายามเปลี่ยนแปลงสิ่งต่าง ๆ ที่ได้รับการสิ้นสุดลง คุณต้องทำลายกฎโปรโตคอลและจึงต้องเผชิญกับการตัดเส้นของพันธบัตรของคุณ

สรุปผล

ทำไมฉันถึงครอบคลุมความสมบูรณ์? ไม่มีความรู้ที่แท้จริง - ฉันเพียงได้ยินมันถูกพูดถึงโดยบางคนเร็ว ๆ นี้และเข้าใจว่ามันเป็นกลไกที่ใช้บ่อย ๆ แต่ไม่เข้าใจอย่างลึกลง

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

Disclaimer：

1. บทความนี้ถูกสืบพิมพ์จาก[ขนมปัง], ชื่อเรื่องต้นฉบับคือ [WTF is Finality?], สิทธิ์ในการคัดลอกทั้งหมดเป็นของผู้เขียนต้นฉบับ [@0xBreadguy]. หากมีคำประสงค์ในการสำเนานี้ กรุณาติดต่อ เกต เรียนรู้ทีมงานและพวกเขาจะดำเนินการตรงไปตรงมา
2. คำประกาศความรับผิดชอบ: มุมมองและความเห็นที่แสดงในบทความนี้เป็นเพียงผู้เขียนเท่านั้นและไม่เป็นการให้คำแนะนำเกี่ยวกับการลงทุนใด ๆ
3. การแปลบทความเป็นภาษาอื่น ๆ โดยทีม Gate Learn ห้ามทำการคัดลอก การแจกจ่าย หรือลอกเลียนแบบบทความที่แปลแล้ว นอกจากที่ระบุไว้