ขอบคุณ Joseph Schweitzer และ Danny Ryan สำหรับการตรวจสอบ
ยินดีต้อนรับกลับมา! ได้พูดคุยเกี่ยวกับปรัชญาการออกแบบของ Eth2 ครั้งสุดท้ายการมุ่งเน้นของวันนี้คือสิ่งจูงใจของ ETH2 ผ่านเลนส์ของปรัชญานั้น โดยเฉพาะอย่างยิ่งเราดูสิ่งจูงใจที่มีผลต่อ ETH2 และวิธีที่พวกเขาได้รับการตระหนักในรูปแบบของรางวัลการลงโทษและการเฉือน
จากนั้นเราก็เดินผ่านวิธีการและทำไมผู้ตรวจสอบได้รับแรงจูงใจให้ยังคงออนไลน์อยู่ทำไมคุณ จะไม่ ถูกเฉือนเพื่อไปออฟไลน์และอีกมากมาย มาขุดกันเถอะ
ถ้าไม่ใช่เพราะออฟไลน์การเฉือนจะเกิดขึ้นเมื่อใด
Slashing มีสองวัตถุประสงค์: (1) เพื่อให้มีราคาแพงในการโจมตี ETH2 และ (2) เพื่อหยุดการตรวจสอบความถูกต้องจากการเป็นคนขี้เกียจโดยตรวจสอบว่าพวกเขาปฏิบัติหน้าที่จริง การลดการตรวจสอบความถูกต้องคือการทำลายสัดส่วนการลงทุนของผู้ตรวจสอบหากพวกเขาทำหน้าที่ในก อย่างต่อเนื่อง ลักษณะการทำลายล้าง สองวิธีที่สำคัญที่ผู้ตรวจสอบสามารถทำงานได้อย่างรุนแรงภายใน ETH2 เฟส 0 คือการลงคะแนนเสียงสองครั้งและการลงคะแนนเสียงรอบทิศทาง (อ่าน กระดาษต้นฉบับ สำหรับข้อมูลเพิ่มเติมเกี่ยวกับวิธีการทำงานอย่างละเอียดของ Casper FFG):
การลงคะแนนสองครั้ง คือเมื่อผู้ตรวจสอบความถูกต้องโหวตสำหรับสองบล็อกที่แตกต่างกันในช่วงยุคเดียวกันซึ่งหมายความว่าพวกเขากำลังส่งสัญญาณการสนับสนุนสำหรับความเป็นจริงสองเวอร์ชันที่แตกต่างกัน ตัวอย่างที่ง่ายที่สุดว่าทำไมสิ่งนี้จึงเป็นสิ่งต้องห้ามเป็นตัวตรวจสอบความถูกต้องในการทำธุรกรรม เป็นบล็อก และ เป็นบล็อก ที่ไหน และ ใช้ ETH เดียวกัน นี่คือหลักฐานของรุ่นเดิมพันของคลาสสิก การโจมตีที่ใช้จ่ายสองครั้ง–
การกระแทก โหวตรอบทิศทาง นอกจากนี้ยังป้องกันไม่ให้โซ่สองเวอร์ชันสรุปได้โดยการลงโทษผู้ตรวจสอบที่สร้างคะแนนโหวตซึ่งนำเสนอความเป็นจริงหลายเวอร์ชันที่แตกต่างกันซึ่งพวกเขาอ้างว่าเป็นจริงในเวลาเดียวกัน โดยเฉพาะอย่างยิ่งการยืนยัน (โหวตสำหรับบล็อก) เป็นคะแนนรอบทิศทางเมื่อผู้ตรวจสอบความถูกต้องยืนยันถึงความเป็นจริงเวอร์ชันหนึ่งและต่อมายืนยันในเวอร์ชันอื่น แต่ในลักษณะที่ไม่ชัดเจนว่าพวกเขาไม่เชื่อในครั้งแรกอีกต่อไป
การลงคะแนนสองครั้งและรอบทิศทางเป็นวิธีเดียวที่สามารถตรวจสอบความถูกต้องได้ภายในระยะที่ 0 แต่มีการเพิ่มกฎเพิ่มเติมในระยะต่อมาเพื่อให้แน่ใจว่าผู้ตรวจสอบความถูกต้องจะจัดเก็บและให้ข้อมูล Shard ที่พวกเขาลงนาม (ซึ่งป้องกันการตรวจสอบความถูกต้อง ).
ตัวตรวจสอบความถูกต้องที่ติดตามโปรโตคอลอย่างถูกต้องจะไม่ปล่อยการลงคะแนนเสียงอย่างชัดเจนในการดำเนินงานปกติ– หากไม่ใช่การกระทำที่เป็นอันตรายโดยเจตนาการสร้างข้อความที่อาจเกิดขึ้นได้จะเกิดขึ้นเป็นผลมาจากข้อผิดพลาดหรืออุบัติเหตุบางอย่าง เพื่อลดความเจ็บปวดของข้อผิดพลาดดังกล่าวจำนวนเงินเดิมพันที่ถูกทำลายนั้นเป็นสัดส่วนกับจำนวนผู้ตรวจสอบอื่น ๆ ที่ถูกเฉือนในเวลาเดียวกัน หากผู้ตรวจสอบจำนวนน้อยกระทำการกระทำผิดกฎหมายอย่างรุนแรงก็ไม่น่าเป็นไปได้ที่พวกเขาจะพยายามโจมตี ETH2 เพราะการโจมตีที่ประสบความสำเร็จนั้นต้องการการตรวจสอบความถูกต้องจำนวนมาก การเฉือนที่เกิดขึ้นในจำนวนน้อยจึงถือว่าเป็นข้อผิดพลาดที่ซื่อสัตย์และถูกลงโทษเบา ๆ (อย่างน้อย 1 ETH) ในทางกลับกันหากผู้ตรวจสอบจำนวนมากกระทำความผิดในช่วงเวลาที่ใกล้เคียงกันเงินจำนวนมากของพวกเขาจะถูกไฟไหม้ (สูงถึงยอดเต็ม) เนื่องจากสันนิษฐานว่าเป็นการโจมตีบนเครือข่าย
การตรวจสอบความถูกต้องที่ถูกเฉือนจะถูกป้องกันไม่ให้เข้าร่วมในโปรโตคอลเพิ่มเติมและถูกบังคับให้ออก ในกรณีที่เกิดความผิดพลาดอย่างตรงไปตรงมาสิ่งนี้จะช่วยป้องกันไม่ให้ผู้ตรวจสอบความถูกต้องทำอันตรายต่อตัวเองโดยการถูกเฉือนอีกครั้ง ในขณะที่ในอินสแตนซ์ที่ร้ายกาจสิ่งนี้จะลบตัวตรวจสอบที่เป็นอันตรายออกจากโปรโตคอล
แล้วจะเกิดอะไรขึ้นกับผู้ตรวจสอบที่ออฟไลน์?
การตรวจสอบความถูกต้องที่ออฟไลน์เมื่อพวกเขาควรจะเข้าร่วมในโปรโตคอลจะถูกลงโทษ แต่ในกรณีปกติการตรวจสอบเหล่านี้ เฉพาะที่จะสูญเสียสิ่งที่พวกเขาจะทำเป็นรางวัลหากพวกเขาเข้าร่วมอย่างถูกต้องในโปรโตคอล– ซึ่งหมายความว่าผู้ตรวจสอบที่ออนไลน์> 50% ของเวลาจะยังคงเห็นสเตคเพิ่มขึ้นเมื่อเวลาผ่านไป
อันเป็นผลมาจากกลไกนี้ ลูกค้าที่ผ่านการตรวจสอบความถูกต้องที่ต้องออฟไลน์เพื่อการบำรุงรักษา ฯลฯ มักจะดีที่สุดถ้าพวกเขาเพิ่งไปนอกเวลาในช่วงเวลาสั้น ๆ แทนที่จะออกและเข้าร่วมโปรโตคอลอีกครั้ง (ทั้งสองอย่างนี้มีความล่าช้าที่เกี่ยวข้อง)–
ซึ่งหมายความว่าผู้ตรวจสอบไม่จำเป็นต้องมีความยาวมากด้วยลูกค้าสำรองหรือการเชื่อมต่ออินเทอร์เน็ตซ้ำซ้อนเนื่องจากผลกระทบของการเป็นออฟไลน์นั้นไม่รุนแรงนัก ในความเป็นจริงระบบใด ๆ ที่สองเอนทิตีสามารถลงนามข้อความสามารถเป็นอันตรายได้เนื่องจากลูกค้าหลักและลูกค้าสำรองสามารถจบลงด้วยการออนไลน์ในเวลาเดียวกัน Cosmos ครั้งแรกอย่างเฉื่อยชา–
ระบอบการลงโทษแบบออฟไลน์นี้ถือว่ามีการสรุปบล็อก (2/3 ของผู้ตรวจสอบ (ถ่วงน้ำหนักโดยสเตค) ออนไลน์และมีการนับคะแนนของพวกเขา) นี่คือสถานะที่คาดหวังของ ETH2 ในระหว่างการดำเนินการปกติ หากมีโหนดน้อยกว่า 2/3 ออนไลน์แล้วมีบางอย่างผิดพลาดในอาณาจักรแห่ง ETH2 ครอบครัวของโปรโตคอลฉันทามติที่ Casper ของ ETH เป็นส่วนหนึ่งของไม่สามารถบรรลุข้อตกลงภายใต้เงื่อนไขเหล่านี้ได้อีกต่อไป
eth2 ทำอะไรถ้า> 1/3 ของผู้ตรวจสอบออฟไลน์?
นี่คือที่ที่การรั่วไหลของการรั่วไหลในตอนเริ่มต้นของบทความเข้ามา การรั่วไหลของการไม่ใช้งาน ลดยอดคงเหลือของโหนดออฟไลน์เมื่อเวลาผ่านไปเพื่อให้อัตราส่วนของตัวตรวจสอบความถูกต้องออนไลน์ต่อตัวตรวจสอบทั้งหมด (ถ่วงน้ำหนักโดยสเตค) สามารถเกิน 2/3 อีกครั้งเพื่อให้ ETH2 สามารถตัดสินใจเป็นโปรโตคอลได้อีกครั้ง
การรั่วไหลของการไม่ใช้งานเป็นหนึ่งในวิธีที่ ETH2 ได้รับการออกแบบมาเพื่อความอยู่รอดในเหตุการณ์สไตล์ WW3 หากเหตุการณ์ดังกล่าวจะทำให้ผู้ตรวจสอบมากกว่า 1/3 ของผู้ตรวจสอบทั้งหมดผู้ตรวจสอบออฟไลน์จะพบว่ายอดคงเหลือของพวกเขาลดลงจนถึงจุดที่การมีส่วนร่วมของพวกเขาไม่จำเป็นสำหรับ ETH2 อีกต่อไปเพื่อดำเนินการต่อในฐานะห่วงโซ่
การต่อต้านความสัมพันธ์และการกระจายอำนาจ
ทั้งกลไกการเฉือนและการรั่วไหลของการไม่มีการใช้งานกระตุ้นให้ผู้ตรวจสอบความถูกต้องในการตัดสินใจที่ทำให้โหนดของพวกเขาล้มเหลวในมารยาทที่แตกต่างจากผู้อื่น– นั่นคือ – เพื่อให้แน่ใจว่าการเฉือนที่เล็กที่สุดเท่าที่จะเป็นไปได้และเพื่อป้องกันการรั่วไหลของการไม่มีกิจกรรมผู้ตรวจสอบความถูกต้องควรพยายามให้ลูกค้าล้มเหลวในรูปแบบที่แตกต่างจากผู้อื่น
สิ่งนี้ทำให้เกิดแรงกดดันต่อการตรวจสอบทั้งหมดเพื่อกระจายอำนาจทุกแง่มุมของการเป็นผู้ตรวจสอบความถูกต้องเช่นตัวตรวจสอบความถูกต้องที่พึ่งพาแหล่งความจริงเดียวกันเช่น Infura หรือใช้ AWS เพื่อโฮสต์ลูกค้าของพวกเขาจะแย่ลงหากมีอะไรผิดพลาด
ด้วยวิธีทั้งหมดที่จะถูกลงโทษทำไมใครบางคนถึงต้องการเป็นผู้ตรวจสอบความถูกต้อง?
ตามที่ระบุไว้ในบทความแรก “ผู้ตรวจสอบจะขี้เกียจรับสินบนและพวกเขาจะพยายามโจมตีระบบเว้นแต่ว่าพวกเขาจะไม่ได้รับแรงจูงใจ การลงโทษที่กล่าวถึงจนถึงตอนนี้กีดกันพฤติกรรมที่ไม่ดี แต่จำเป็นต้องได้รับรางวัลเพื่อส่งเสริมการตรวจสอบความถูกต้องเพื่อดำเนินการที่เป็นประโยชน์ต่อ ETH2
มี 3 คลาสที่สำคัญของรางวัล:
รางวัล whistleblower 🚓
ผู้ตรวจสอบความถูกต้องที่ทำให้เกิดการเตือนภัยในการตรวจสอบความถูกต้องอีกครั้งโดยให้หลักฐานว่าทำให้พวกเขาถูกเฉือนนั้นได้รับรางวัลสำหรับความพยายามในการทำความสะอาดถนน Eth2
รางวัลของผู้เสนอ
การตรวจสอบความถูกต้องจะได้รับการสุ่มหน้าที่ในการผลิตบล็อก ตัวตรวจสอบที่เลือกเรียกว่า ผู้เสนอ– ผู้เสนอจะได้รับรางวัลสำหรับความพยายามของพวกเขาในรูปแบบต่อไปนี้:
- รวมถึงการพิสูจน์จากเครื่องเป่าลมที่ได้รับการตรวจสอบความถูกต้อง
- รวมถึงการยืนยันใหม่จากผู้ตรวจสอบอื่น ๆ
รางวัลเหล่านี้กระตุ้นให้ผู้ตรวจสอบให้ข้อมูลที่เป็นประโยชน์กับห่วงโซ่เมื่อพวกเขาได้รับเลือกให้สร้างบล็อก
Attester Rewards ✔
การยืนยันเป็นโหวตที่ส่งสัญญาณว่าผู้ตรวจสอบความถูกต้องเห็นด้วยกับการตัดสินใจใน ETH2 ข้อความประเภทนี้เป็นพื้นฐานของฉันทามติและได้รับรางวัลใน 5 วิธีที่แตกต่างกัน:
- รับการรับรองของคุณบนห่วงโซ่
- เห็นด้วยกับผู้ตรวจสอบอื่น ๆ เกี่ยวกับประวัติของห่วงโซ่
- เห็นด้วยกับผู้อื่นเกี่ยวกับหัวของห่วงโซ่
- รับการยืนยันในห่วงโซ่อย่างรวดเร็ว
- ชี้ไปที่บล็อกที่ถูกต้องใน Shard ที่ได้รับมอบหมาย
การปรับขนาดรายได้ของตัวตรวจสอบ💸
มีวิธีการทั่วไปสองวิธีในการจ่ายค่าความถูกต้องในระบบ POS: รางวัลคงที่และเงินเฟ้อคงที่ ในรูปแบบรางวัลคงที่ผู้ตรวจสอบจะได้รับเงินจำนวนคงที่สำหรับการทำงานและอัตราเงินเฟ้อนั้นขึ้นอยู่กับจำนวนผู้ตรวจสอบความถูกต้องลงทะเบียน สิ่งนี้มีปัญหาเกี่ยวกับวิธีกำหนดอัตรารางวัลอย่างถูกต้อง หากอัตราการได้รับรางวัลต่ำเกินไปผู้ตรวจสอบน้อยเกินไปจะเข้าร่วมในขณะที่อัตรารางวัลที่สูงเกินไปกระตุ้นให้มีการตรวจสอบอย่างกว้างขวางเกินความปลอดภัยที่จำเป็นและเสียเงิน
โมเดลฟรีเป็นรุ่นที่มีอัตราเงินเฟ้อคงที่ซึ่งมีการแบ่งรางวัลทั้งหมดระหว่างตัวตรวจสอบความถูกต้องที่ใช้งานอยู่ รูปแบบนี้มีประโยชน์ในการอนุญาตให้กลไกตลาดค้นหาจำนวนที่เหมาะสมในการจ่ายค่าตรวจสอบความถูกต้องเนื่องจากพวกเขาทั้งหมดตัดสินใจว่าจะเข้าร่วมหรือไม่ตามรายได้ปัจจุบันหรือไม่ มีข้อเสียของรุ่นนี้ รายได้ที่ผ่านการตรวจสอบความถูกต้องอาจทำให้การตัดสินใจทำกำไรเป็นเรื่องยากสำหรับผู้ตรวจสอบแต่ละคน รุ่นนี้ยังทำให้โปรโตคอลมีความเสี่ยง การโจมตีด้วยความท้อแท้ ซึ่งผู้ตรวจสอบความพยายามที่จะป้องกันไม่ให้กันและกันมีส่วนร่วมเพื่อเพิ่มผลกำไรของตนเอง (แม้จะสูญเสียชั่วคราว)
ETH2 มีจุดมุ่งหมายที่จะมีสิ่งที่ดีที่สุดของทั้งสองโลกโดยการเลือกแบบจำลองรางวัลที่รางวัลการตรวจสอบความถูกต้องเป็นสัดส่วนกับรากที่สองของปริมาณทั้งหมดของ ETH staked โมเดลไฮบริดนี้พยายามที่จะยับยั้งการเปลี่ยนแปลงในอัตราเงินเฟ้อและอัตราผลตอบแทนการตรวจสอบความถูกต้องในขณะที่ยังอนุญาตให้กลไกตลาดกำหนดจำนวนเงินที่ถูกต้องในการชำระค่าความถูกต้องสำหรับการรักษาความปลอดภัยที่ให้ไว้
หวังว่าจะดีที่สุด แต่คาดว่าจะเลวร้ายที่สุด🛡
แต่ละแง่มุมของโครงการแรงจูงใจของ ETH2 เป็นผลมาจากการออกแบบโปรโตคอลภายใต้ปรัชญาที่วางไว้ในบทความสุดท้าย ตัวอย่างนี้รวมถึงกลไกการต่อต้านความสัมพันธ์ที่กระตุ้นให้เกิดการกระจายอำนาจและการรั่วไหลของการไม่ใช้งานช่วยให้ ETH2 สามารถอยู่รอดได้ โจมตีระบบเว้นแต่ว่าพวกเขาจะไม่ได้รับแรงจูงใจเป็นอย่างอื่นไม่ต้อง ” หากมีคนโจมตี ETH2 ด้วยวิธีที่กล่าวถึงที่นี่พวกเขาควรเตรียมพร้อมที่จะทิ้ง ETH จำนวนมากเพราะไม่ทางใดก็ทางหนึ่งพวกเขาจะสูญเสียมันทั้งหมด
