ผู้เขียนต้นฉบับ: @IsdrsP, ผู้อำนวยการ Lido Validation Node

การแปลต้นฉบับ: Nicky, Foresight News

ในช่วงเช้าของวันที่ 10 พฤษภาคม ผู้ให้บริการ Oracle ชื่อ Chorus One เปิดเผยว่ากระเป๋าเงินร้อนของ Lido Oracle ถูกแฮ็ก ส่งผลให้มีการขโมย 1.46 ETH อย่างไรก็ตาม จากการตรวจสอบด้านความปลอดภัย พบว่าผลกระทบของเหตุการณ์ที่เกิดขึ้นครั้งนี้มีจำกัด และกระเป๋าสตางค์ดังกล่าวได้รับการออกแบบมาเพื่อวัตถุประสงค์ในการใช้งานแบบน้ำหนักเบาเท่านั้น

การโจมตีแบบ Oracle ฟังดูไม่ดีเลย อย่างไรก็ตาม การออกแบบสถาปัตยกรรมของ Lido คุณค่าของผู้มีส่วนได้ส่วนเสีย และวัฒนธรรมผู้มีส่วนสนับสนุนที่มุ่งเน้นด้านความปลอดภัย หมายความว่าผลกระทบของเหตุการณ์ดังกล่าวนั้นมีจำกัดมาก - แม้ว่าโอราเคิลจะได้รับความเสียหายอย่างสมบูรณ์ก็จะไม่ก่อให้เกิดผลที่ตามมาอันเลวร้าย

แล้ว Lido มีอะไรพิเศษนักล่ะ?

การออกแบบที่คิดมาอย่างดีและกลไกการป้องกันแบบหลายชั้น

Oracle ของ Lido มีหน้าที่รับผิดชอบในการส่งข้อมูลจากชั้นฉันทามติไปยังชั้นการดำเนินการและการรายงานไดนามิกของโปรโตคอล พวกเขาไม่ได้ควบคุมเงินทุนของผู้ใช้งาน การพยากรณ์ที่ผิดพลาดเพียงครั้งเดียวจะทำให้เกิดความรำคาญเพียงเล็กน้อยเท่านั้น และแม้ว่าจะละเมิดโควตาก็จะไม่ก่อให้เกิดหายนะ

การกระทำอันเป็นอันตรายใดบ้างที่ Oracle จะพยายามบุกรุกเพียงครั้งเดียว?

A) ส่งรายงานที่เป็นอันตราย (ซึ่งจะถูกเพิกเฉยโดยผู้ทำนายที่ซื่อสัตย์);

B) ระบายยอดคงเหลือ ETH ของที่อยู่ผู้ทำนายนั้นโดยเฉพาะ (ซึ่งใช้สำหรับธุรกรรมปฏิบัติการเท่านั้นและไม่ได้ยึดเงินของผู้เดิมพัน)

หน้าที่ความรับผิดชอบของนักพยากรณ์มีอะไรบ้าง? Oracle ของ Lido เป็นกลไกแบบกระจายโดยพื้นฐานประกอบด้วยผู้เข้าร่วมอิสระ 9 ราย (จำเป็นต้องมีฉันทามติ 5/9) ซึ่งรับผิดชอบหลักในการรายงานสถานะของโปรโตคอล ฟังก์ชันหลักในปัจจุบันมีดังนี้:

• การออกรางวัลการพองตัวของโทเค็น (การรีเบส)

• การประมวลผลกระบวนการถอน

• การตรวจสอบการออกจากโหนดและการตรวจสอบประสิทธิภาพเพื่อใช้เป็นข้อมูลอ้างอิงโดย CSM (โมดูลการเดิมพันชุมชน)

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

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

Oracles มีฟังก์ชันการทำงานที่จำกัดมาก — จะสามารถส่งรายงานได้เฉพาะที่ปฏิบัติตามอัลกอริทึมที่กำหนด ตรวจสอบ และโอเพ่นซอร์สอย่างเคร่งครัด ซึ่งออกแบบมาสำหรับเป้าหมายของโปรโตคอลที่แตกต่างกันเท่านั้น และดำเนินการธุรกรรมเพื่อนำผลลัพธ์ที่รายงานไปใช้ในสถานการณ์เฉพาะ (เช่น การดำเนินการรีเบสรายวันของโปรโตคอล)

สถานการณ์เลวร้ายที่สุดคืออะไร หากโอราเคิล 5 ใน 9 รายถูกบุกรุก? ในกรณีนี้ ออราเคิลที่ถูกบุกรุกอาจร่วมมือกันส่งรายงานที่เป็นอันตราย แต่รายงานใดๆ ก็ตามจะต้องผ่านการตรวจสอบความเรียบร้อยของโปรโตคอลที่บังคับใช้บนเชน

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

ในกรณีที่เลวร้ายที่สุด นี่อาจหมายถึงการรีเบสแบบ stETH (ไม่ว่าจะเป็นบวกหรือลบ) จะใช้เวลานานกว่าจะมีผล ซึ่งจะส่งผลกระทบต่อผู้ถือ stETH แต่จะมีผลกระทบน้อยมากต่อผู้ถือส่วนใหญ่ เว้นแต่จะมีคนใช้ stETH ในลักษณะที่มีประโยชน์ใน DeFi

มีความเป็นไปได้อื่นๆ อีก: หากโอราเคิลที่เป็นอันตรายและผู้สมรู้ร่วมคิดมีข้อมูลบางอย่าง หรือมีความสามารถในการลงโทษอย่างหนัก (เช่น การยึดทรัพย์สินเป็นจำนวนมาก) ในเลเยอร์ฉันทามติ พวกเขาอาจใช้ความล่าช้าในการอัปเดต stETH ในเลเยอร์การดำเนินการเพื่อแสวงหาผลประโยชน์ทางเศรษฐกิจ ตัวอย่างเช่น หากเกิดการลดครั้งใหญ่ บางคนอาจขาย stETH บางส่วนผ่านการแลกเปลี่ยนแบบกระจายอำนาจ (DEX) ก่อนที่การรีเบสเชิงลบจะมีผล อย่างไรก็ตาม สิ่งนี้จะไม่ส่งผลต่อการถอนเงินที่เริ่มต้นโดยผู้ใช้โดยตรงผ่าน Lido เนื่องจาก “โหมดบังเกอร์” ของโปรโตคอลจะถูกเปิดใช้งานเพื่อให้แน่ใจว่ากระบวนการถอนเงินได้รับการดำเนินการอย่างยุติธรรม

ความโปร่งใสทันทีและครบถ้วน

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

การทำซ้ำและอัปเกรดอย่างต่อเนื่อง

Lido เป็นผู้นำด้านการวิจัยและพัฒนาเทคโนโลยีมาโดยตลอด และมุ่งมั่นที่จะใช้เทคโนโลยีพิสูจน์ความรู้เป็นศูนย์ (ZK) เพื่อปรับปรุงความปลอดภัยและความน่าเชื่อถือของกลไกโอราเคิล ตั้งแต่ในระยะเริ่มต้น ทีมงานได้ลงทุนมากกว่า 200,000 เหรียญสหรัฐในกองทุนพิเศษเพื่อสนับสนุนการตรวจสอบข้อมูลชั้นฉันทามติแบบไม่ต้องไว้วางใจผ่านเทคโนโลยีพิสูจน์ความรู้เป็นศูนย์

การสำรวจทางเทคโนโลยีเหล่านี้ในที่สุดนำไปสู่กลไก "การตรวจสอบสองชั้น" ของออราเคิลแบบ Zero-Knowledge SP1 ที่พัฒนาโดยทีม SuccinctLabs ซึ่งจะเปิดตัวอย่างเป็นทางการในปีนี้ กลไกนี้มอบชั้นการตรวจสอบความปลอดภัยเพิ่มเติมสำหรับการดำเนินการรีเบสเชิงลบที่อาจเกิดขึ้นผ่านทางข้อมูลชั้นฉันทามติที่ตรวจสอบได้

ปัจจุบันเทคโนโลยีความรู้เป็นศูนย์ประเภทนี้ยังคงอยู่ในระยะการพัฒนา เครื่องเสมือนแบบ Zero-Knowledge ที่เกี่ยวข้อง (zkVM) ไม่เพียงแต่ต้องผ่านการทดสอบการรบจริงเท่านั้น แต่ยังมีข้อจำกัดด้านความเร็วในการประมวลผลที่ช้าและค่าใช้จ่ายในการประมวลผลที่สูง และไม่สามารถแทนที่โอราเคิลที่เชื่อถือได้อย่างสมบูรณ์ แต่ในระยะยาว โซลูชันดังกล่าวมีศักยภาพที่จะกลายเป็นทางเลือกที่ลดความน่าเชื่อถือลงสำหรับโอราเคิลที่มีอยู่

เทคโนโลยี Oracle มีความซับซ้อนมาก และสถานการณ์การใช้งานในสาขา DeFi ก็มีความหลากหลาย ในโปรโตคอล Lido มีการออกแบบ Oracle อย่างรอบคอบโดยให้เป็นส่วนประกอบหลัก ซึ่งช่วยลดผลกระทบจากความเสี่ยงที่อาจเกิดขึ้นได้อย่างมากผ่านสถาปัตยกรรมแบบกระจายอำนาจที่มีประสิทธิภาพ กลไกการแบ่งหน้าที่ และระบบการตรวจสอบหลายชั้น

ลิงก์ต้นฉบับ

ยินดีต้อนรับสู่ชุมชนทางการของ BlockBeats:

กลุ่ม Telegram สมัครสมาชิก: https://t.me/theblockbeats

กลุ่ม Telegram พูดคุย: https://t.me/BlockBeats_App

บัญชี Twitter ทางการ: https://twitter.com/BlockBeatsAsia