Certora သည် Core Protocol Security နှင့် Solvency ကိုအတည်ပြုသောကြောင့် Aave V4 သည် တရားဝင်အတည်ပြုခြင်းကိုရှင်းလင်းသည်။

အဓိက ထုတ်ယူမှုများ-

• Certora သည် Liquidity Hub နှင့် Spoke module များကဲ့သို့သော Aave V4 ၏ အဓိက စမတ်စာချုပ်များကို တရားဝင်အတည်ပြုထားသည်။
• ပြန်လည်သုံးသပ်မှုသည် စာရင်းအင်းဆိုင်ရာ ခိုင်မာမှု၊ ပရိုတိုကော ကျေအေးမှုနှင့် တရားဝင်လုံခြုံရေးစည်းမျဉ်းများကို လိုက်နာမှုရှိကြောင်း သေချာစေသည်။
• V4 ကို စတင်ပြီးနောက်၊ Aave သည် တရားဝင်အတည်ပြုခြင်း၊ AI လုံခြုံရေးစစ်ဆေးမှုနှင့် bug bounty ပရိုဂရမ်များကို ဆက်လက်ထားရှိမည်ဖြစ်သည်။

V4 ၏မထုတ်ဝေမီ၊ Aave ၏နာရီများသည် အမှတ်အသားပြုနေပြီး blockchain လုံခြုံရေးကုမ္ပဏီ Certora သည် Aave ၏အဓိကဗိသုကာလက်ရာကိုတရားဝင်စစ်ဆေးခြင်းကို အပြီးသတ်ခဲ့သည်။ သုံးသပ်ချက်သည် အဓိက စမတ်စာချုပ်များအတွက် မှန်ကန်သော သင်္ချာဆိုင်ရာ သတ်မှတ်ချက်များကို အတည်ပြုထားပြီး Aave တွင် အလွှာလုံခြုံရေးအတွက် ပိုမိုကျယ်ပြန့်သော ဖွံ့ဖြိုးတိုးတက်မှု အစပျိုးမှုတစ်ခုရှိသည်။

Certora သည် Aave V4 ၏ Core Infrastructure ကို အတည်ပြုသည်။

Aave ရှိတယ်။ ကြေငြာခဲ့သည်။ Certora သည် Protocol ၏ Liquidity Hub၊ Spoke စာချုပ်များ၊ Tokenization Spoke နှင့် Aave ကို ပံ့ပိုးပေးသော သင်္ချာစာကြည့်တိုက်များ ပါ၀င်သော Aave V4 ၏ တရားဝင်အတည်ပြုခြင်းကို အောင်မြင်စွာပြီးမြောက်အောင်မြင်ခဲ့ပါသည်။

Certora သည် Aave V4 ကိုတရားဝင်စစ်ဆေးခဲ့သည်။

ဤလုပ်ငန်းစဉ်သည် Liquidity Hub နှင့် Spoke စာချုပ်များ၊ အရင်းခံသင်္ချာစာကြည့်တိုက်များနှင့်အတူ အကျုံးဝင်ပါသည်။

V4 ၏ စာချုပ်များကို Solidity အကောင်အထည်ဖော်မှုများသည် Certora ၏တရားဝင်စည်းမျဉ်းများနှင့်အညီ မှန်ကန်ကြောင်း အတည်ပြုအတည်ပြုသည်။ pic.twitter.com/L8w454LAuc

— Aave (@aave) ဇူလိုင် ၈၊ ၂၀၂၆

တရားဝင် စိစစ်ခြင်းတွင် သမားရိုးကျ စမတ်စာချုပ် စစ်ဆေးမှုနှင့် ကွဲပြားသော ရည်ရွယ်ချက် ရှိပြီး စာချုပ်တစ်ခု၏ ယုတ္တိဗေဒသည် သီးခြား လုံခြုံရေး စည်းမျဉ်းများနှင့် ကိုက်ညီကြောင်း သင်္ချာဆိုင်ရာ အထောက်အထားများကို ပြသရန် ဖြစ်သည်။

Aave မှ အတည်ပြုခြင်းသည် Certora ၏တရားဝင်ကန်ထရိုက်သတ်မှတ်ချက်များနှင့်ကိုက်ညီသော V4 ရှိ မှန်ကန်သော Solidity စာချုပ်များကို အကောင်အထည်ဖော်ခြင်းအတွက် အာမခံချက်ပေးထားကြောင်း၊ စာရင်းအင်းတိကျမှု၊ ပရိုတိုကောဖြေရှင်းနိုင်မှုနှင့် လုပ်ငန်းလည်ပတ်မှုဘေးကင်းရေးတို့အတွက် ယုံကြည်စိတ်ချရမှုတို့ကို ထည့်သွင်းပေးထားကြောင်း Aave မှ ပြောကြားခဲ့သည်။

ကျယ်ကျယ်ပြန့်ပြန့်မွေးစားခြင်းမပြုမီ Aave V4 ပရိုတိုကောတွင် ပိတ်လှောင်ထားသော အပ်ငွေအရေအတွက် တိုးလာနေသည့် တည်ငြိမ်သောလမ်းကြောင်းကို ကြေငြာလိုက်ပါသည်။

ပိုပြီးဖတ်ပါ: Aave သည် DAO မဲများနှင့် တရားရုံးအမိန့်များ ချိန်ညှိမှုအဖြစ် $71M rsETH ပြန်လည်ရယူရေး တွန်းအားပေးမှုကို ထုတ်ဖော်ပြသခဲ့သည်။

ဖွံ့ဖြိုးတိုးတက်မှုကာလအတွင်း အရေးပါသောအားနည်းချက်ကို ပြုပြင်ခဲ့သည်။

ပရိုတိုကော၏ အစောပိုင်းဗားရှင်းတွင် Liquidity Hub တွင် အခြေခံပြဿနာတစ်ခုရှိနေကြောင်း Certora တွေ့ရှိခဲ့သည်။

ပထမအဆင့်များတွင် ပိုင်ဆိုင်မှုလွှဲပြောင်းမှုများကို TransferFrom ဖြင့် Hub မှတစ်ဆင့် တိုက်ရိုက်လုပ်ဆောင်သည်။ ဤဒီဇိုင်းသည် မည်သည့် “ မှ” နှင့် “ သို့” ဘောင်များကို သတ်မှတ်နိုင်သည်ကို သေချာစေသည်၊ ဆိုလိုသည်မှာ တိုက်ခိုက်သူသည် ယခင်က တိုကင်ခွင့်ပြုငွေ သို့မဟုတ် တိုကင်များပေးပို့ခြင်းနှင့် လက်ခံရန် Hub အကောင့်ကိုပင် အသုံးပြုနိုင်သည်။

ယင်းအခြေအနေတွင် မည်သူမဆို လိမ်လည်အပေါင်ပစ္စည်း အပ်ငွေများကို ဖန်တီးနိုင်ပြီး ပရိုတိုကော၏ စာရင်းရေးသွင်းမှုနှင့် စနစ်တစ်ခုလုံး၏ ဖြေရှင်းနိုင်မှုကို အနှောင့်အယှက်ဖြစ်စေနိုင်သည်။

လွှဲပြောင်းမှုရင်းမြစ်ကို ကနဦးခေါ်ဆိုသူထံ ကန့်သတ်ရန် Certora မှ အကြံပြုချက်တစ်ခု ပြုလုပ်ခဲ့သည်။ ထို့နောက် ဗိသုကာလက်ရာအား Aave Labs မှ ပြန်လည် ဒီဇိုင်းထုတ်ခဲ့ပြီး ပိုင်ဆိုင်မှုလွှဲပြောင်းမှုများကို Hub မှ Spoke စာချုပ်များဆီသို့ လွှဲပြောင်းပေးခဲ့သည်။ Certora သည် အကောင်အထည်ဖော်မှုအသစ်ကို စစ်ဆေးခဲ့ပြီး အားနည်းချက်ကို လုံးဝဖယ်ရှားလိုက်ကြောင်း အတည်ပြုခဲ့သည်။

ပိုပြီးဖတ်ပါ: Aave's Cross-Chain အတွက် TRON နှင့် HTX Dump $20M USDT

Aave သည် ၎င်း၏ Multi-Layer Security Strategy ကို ချဲ့ထွင်သည်။

တရားဝင်အတည်ပြုမှုသည် Aave ၏ အလုံးစုံလုံခြုံရေးအစီအစဉ်၏ အစိတ်အပိုင်းတစ်ခုမျှသာဖြစ်သည်။

ကုဒ်သည် စာရင်းစစ် အဆင်သင့်မဖြစ်မီတွင် လုံခြုံရေးပြန်လည်သုံးသပ်ခြင်းကို စတင်ခဲ့သည်။

Certora သည် အစောပိုင်း ဒီဇိုင်းအဆင့်များမှ စတင်ကာ အဖွဲ့နှင့် ပူးပေါင်းခဲ့ပြီး 2025 ခုနှစ် မတ်လအတွင်း ဆိုက်ပေါ်၌ပင် ဗိသုကာပညာရှင်များနှင့် စကားပြောဆိုခဲ့သည်။

Aave သည် လုံခြုံရေးကုမ္ပဏီများ၊ သုတေသီများနှင့် ကိရိယာတန်ဆာပလာပေးသူများထံမှ အဆိုပြုချက် ၁၉ ခုကျော်ကို ပြန်လည်သုံးသပ်ကာ အပြိုင်အဆိုင်စာရင်းစစ်ရွေးချယ်ရေးလုပ်ငန်းစဉ်ကို လုပ်ဆောင်ခဲ့သည်။ ပြီးပြည့်စုံသော လုံခြုံရေးအစီအစဉ်သည် ၎င်း၏အတည်ပြုချက်အောက်တွင် ရှိနေပါသည်။ ဒေါ်လာ ၁.၅ သန်း လုပ်ငန်းခွင်တွင် စာရင်းစစ်စရိတ်များ မြင့်တက်လာသော်လည်း ဘတ်ဂျက်။

စတင်ပြီးနောက် စဉ်ဆက်မပြတ် အတည်ပြုခြင်းကို ဆက်လက်လုပ်ဆောင်ပါမည်။

V4 တိုက်ရိုက်ထုတ်လွှင့်သည်နှင့်တစ်ပြိုင်နက် လုံခြုံရေးကြိုးပမ်းမှုများကို အဆုံးသတ်မည့်အစား၊ တရားဝင်အတည်ပြုခြင်းမူဘောင်သည် ပရိုတိုကောဖွံ့ဖြိုးတိုးတက်မှုနှင့်အတူ ဆက်လက်ရှိနေမည်ဖြစ်ကြောင်း Aave မှပြောကြားခဲ့သည်။ အဖွဲ့သည် ပုံစံမတူညီသော စမ်းသပ်မှုများကို ဆက်လက်ပံ့ပိုးပေးမည်ဖြစ်ပြီး၊ AI အင်္ဂါရပ်များဖြင့် ကုဒ်စကင်န်ဖတ်ခြင်းကို တိုးမြှင့်ကာ ပရိုတိုကောက လုပ်ဆောင်သည့် အတိုင်းအတာများကို ပိုမိုအားဖြည့်ရန်အတွက် ဆက်လက်လုပ်ဆောင်နေသည့် bug bounty ပဏာမခြေလှမ်းကို အကောင်အထည်ဖော်မည်ဖြစ်သည်။

Aave သည် တရားဝင်အတည်ပြုခြင်း၊ လူကိုယ်တိုင်ပြန်လည်သုံးသပ်ခြင်း၊ fuzz စမ်းသပ်ခြင်း၊ ကွန်မြူနတီ ချွတ်ယွင်းချက်များနှင့် အခြားအရာများတွင် ပါဝင်ခြင်းဖြင့် အလွှာပေါင်းစုံလုံခြုံရေးချဉ်းကပ်မှုကို ဖန်တီးရန် မျှော်လင့်ပါသည်။