ข้ามไปยังเนื้อหาหลัก
โลโก้ Avana

สัญญาและการรักษาความปลอดภัย

การอ้างอิงด้านความปลอดภัยสำหรับพื้นผิวสัญญา การพึ่งพาภายนอก และตรวจสอบขอบเขตเบื้องหลังการให้กู้ยืมที่ได้รับการสนับสนุนจาก LP

ภาพรวม

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

ความท้าทายด้านความปลอดภัย

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

ความปลอดภัยหลายชั้น

การทบทวนสัญญา

การตรวจสอบเส้นทางครอบครัวหรือการดำเนินการใหม่ LP จะครอบคลุมสัญญาหลักที่ได้รับผลกระทบ ตัวแปลง DEX และการควบคุมพิเศษก่อนการเปิดใช้งาน

การทดสอบความเครียดทางเศรษฐกิจ

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

ช่องทางการทบทวนภายนอก

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

พื้นผิวสัญญาหลัก

ตรรกะ Borrow Spoke

จัดการการรับหลักประกัน การบัญชีผู้ใช้ และวงจรการใช้งานฝั่งพูดสำหรับสินเชื่อที่ได้รับการสนับสนุน LP

การรวม Hub

เชื่อมต่อความสามารถในการกู้ยืมระดับพูดกับข้อจำกัดด้านเครดิตและสภาพคล่องที่ใช้ร่วมกันในเลเยอร์ Hub

อะแดปเตอร์ Oracle และการประเมินค่า

แปลสถานะ LP เป็นมูลค่าหลักประกันแบบระมัดระวังโดยใช้ราคาภายนอก การสร้างสถานะใหม่ และสมมติฐานมูลค่าที่คาดว่าจะได้รับคืน

ชั้นการดำเนินการชำระบัญชี

ประสานเส้นทางผ่อนคลาย การรับรู้ค่าธรรมเนียม การกำหนดเส้นทาง และการชำระบัญชีเมื่อบัญชีที่ไม่แข็งแรงต้องถูกปิดหรือปรับขนาด

ขอบเขตความเชื่อถือ

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

ความพร้อมสำหรับการตรวจสอบ

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