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

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

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

ภาพรวม

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

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

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

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

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

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

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

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

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

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

การตรวจสอบอย่างเป็นทางการและการ Bug Bounty โปรแกรมควรใช้งานได้ทั้งคู่ หนึ่งไม่ได้แทนที่อีกอัน

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

ตรรกะ Borrow Spoke

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

การรวม Hub

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

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

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

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

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

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

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

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

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

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