สัญญาและการรักษาความปลอดภัย
การอ้างอิงด้านความปลอดภัยสำหรับพื้นผิวสัญญา การพึ่งพาภายนอก และตรวจสอบขอบเขตเบื้องหลังการให้กู้ยืมที่ได้รับการสนับสนุนจาก LP
ภาพรวม
Avana ยืมหลักประกัน LP ดังนั้นการตรวจสอบความปลอดภัยจึงต้องครอบคลุมมากกว่าว่าสัญญาจะรวบรวมหรือโอนยอดคงเหลืออย่างถูกต้องหรือไม่ นอกจากนี้ยังต้องครอบคลุมถึงพฤติกรรมการกำหนดราคา การดูแล การชำระบัญชี และการควบคุมที่มีสิทธิพิเศษเมื่อตลาดอยู่ภายใต้ความเครียด
การทบทวนสัญญา การทบทวนทางเศรษฐกิจ และการทบทวนการปฏิบัติงาน ล้วนมีความสำคัญสำหรับตลาด LP พวกเขาเสริมกำลังซึ่งกันและกันและควรถือเป็นโปรแกรมรักษาความปลอดภัยเดียว ไม่ใช่สามรายการตรวจสอบที่ไม่เกี่ยวข้องกัน
ความท้าทายด้านความปลอดภัย
- • ค่า LP อาจขึ้นอยู่กับพาธ และมักต้องการการดูแลเฉพาะของ DEX และตรรกะคลี่คลาย
- • การใช้ Oracle ในทางที่ผิดหรือการกำหนดราคาเก่าสามารถสร้างความสูญเสียทางเศรษฐกิจได้ แม้ว่าสัญญาจะดำเนินการตามโค้ดทุกประการก็ตาม
- • การควบคุมดูแล การควบคุมพารามิเตอร์ และการตอบสนองฉุกเฉิน ล้วนเป็นส่วนหนึ่งของพื้นผิวการโจมตี
ความปลอดภัยหลายชั้น
การทบทวนสัญญา
พื้นผิวสัญญาหลัก อะแดปเตอร์ และพาธการควบคุมสิทธิพิเศษควรได้รับการตรวจสอบก่อนที่จะเปิดใช้งานตระกูล LP ใหม่หรือพาธการดำเนินการใหม่
การทดสอบความเครียดทางเศรษฐกิจ
ทดสอบการเปลี่ยนแปลงของตลาด กรณี Oracle Edge และความล้มเหลวในการกำหนดเส้นทางการชำระบัญชี ไม่ใช่แค่พฤติกรรมสัญญาระดับหน่วย
ช่องทางการทบทวนภายนอก
การตรวจสอบอย่างเป็นทางการและการ Bug Bounty โปรแกรมควรใช้งานได้ทั้งคู่ หนึ่งไม่ได้แทนที่อีกอัน
พื้นผิวสัญญาหลัก
ตรรกะ Borrow Spoke
จัดการการรับหลักประกัน การบัญชีผู้ใช้ และวงจรการใช้งานฝั่งพูดสำหรับสินเชื่อที่ได้รับการสนับสนุน LP
การรวม Hub
เชื่อมต่อความสามารถในการกู้ยืมระดับพูดกับข้อจำกัดด้านเครดิตและสภาพคล่องที่ใช้ร่วมกันในเลเยอร์ Hub
อะแดปเตอร์ Oracle และการประเมินค่า
แปลสถานะ LP เป็นมูลค่าหลักประกันแบบระมัดระวังโดยใช้ราคาภายนอก การสร้างสถานะใหม่ และสมมติฐานมูลค่าที่คาดว่าจะได้รับคืน
ชั้นการดำเนินการชำระบัญชี
ประสานเส้นทางผ่อนคลาย การรับรู้ค่าธรรมเนียม การกำหนดเส้นทาง และการชำระบัญชีเมื่อบัญชีที่ไม่แข็งแรงต้องถูกปิดหรือปรับขนาด
ขอบเขตความเชื่อถือ
- • การบัญชี Onchain และการชำระบัญชีควรได้รับการกำหนดเมื่อถูกทริกเกอร์
- • แหล่งที่มาของ Oracle, อะแดปเตอร์ DEX และโครงสร้างพื้นฐานของผู้ชำระบัญชีในการดำเนินงานเป็นการพึ่งพาภายนอก และควรได้รับการตรวจสอบเช่นนี้
- • การกำกับดูแล การหยุดอำนาจชั่วคราว และการอัปเกรดเป็นอำนาจพิเศษที่ควรยังคงมีขอบเขต ตรวจสอบได้ และถูกล็อคเวลาทุกครั้งที่เป็นไปได้
ความพร้อมสำหรับการตรวจสอบ
หน้านี้ไม่ได้เผยแพร่กำหนดการผู้ตรวจสอบเก็งกำไรหรือเหตุการณ์สำคัญตัวยึดตำแหน่ง รายงานการตรวจสอบ ขอบเขต และบันทึกการแก้ไขควรเผยแพร่เมื่อมีอยู่จริงและสามารถตรวจสอบได้ทั้งหมด
เป้าหมายการตรวจสอบที่มีมูลค่าสูงมักจะรวมถึงการสนับสนุนตระกูล LP ใหม่ เส้นทางการชำระหนี้ใหม่ โมเดล Oracle ใหม่และการเปลี่ยนแปลงใด ๆ ที่ขยายการควบคุมสิทธิพิเศษหรือสมมติฐานมูลค่าที่กู้คืนได้
