Cardano Devs IOG-ը կիսվել է երրորդ կողմի Codebase աուդիտի առաջին մանրամասներով

Բովանդակություն

• Կոդերի շատ բարձր որակ, առանց վրիպակների. Աուդիտի արդյունքներ
• Cardano (ADA) մոտենում է Vasil Hard Fork. Վերջնական հետհաշվարկը

Օրեգոնում գործող կիբերանվտանգության մատակարար Galois, Inc.-ն աուդիտ է իրականացրել Cardano (ADA) ծրագրավորողների Input Output Global (IOG) նոր գործընկերների (P2P) ցանցային կոդերի բազայի կողմից:

Կոդերի շատ բարձր որակ, առանց վրիպակների. Աուդիտի արդյունքներ

Համաձայն Input Output Global (IOG) ծրագրավորողների՝ Cardano-ի ապակենտրոնացված լուծումների ինժեներների կողմից տարածված պաշտոնական հայտարարության, նրանց նոր գործընկերների ցանցային գործիքն անցել է անվտանգության ստուգումներ:

Բղավեք IOG ցանցային թիմին՝ նոր Peer-to-Peer (P2P) ցանցային կոդերի բազայի վրա փայլուն աշխատանքի համար: Սա մեր գործընկերներից է @galois ով է վերջերս աուդիտ արել կոդը: # Քարդանո pic.twitter.com/OIlamQ1f4X

— IO_Eng (@IOG_Eng) Թող 18, 2022

Համաձայն Twitter-ում նոր հաշվում տարածված սքրինշոթների՝ @IOG_Eng, աուդիտորները՝ Galois, Inc.-ը հաստատեցին, որ կոդը շատ բարձր որակի է:

Նրանք նաև ընդգծեցին, որ բոլոր անհրաժեշտ փորձարկման ենթակառուցվածքը (QuickChecks) պահանջվում է անվտանգ, անվտանգ և հարձակման դիմացկուն ծրագրավորողների փորձի համար:

Կոդը կարդալիս և վերլուծելիս աուդիտորները բացահայտեցին զրոյական սխալներ կամ հնարավոր խոցելիություններ: Որպես այդպիսին, համակարգը չունի վտանգավոր հարձակման վեկտորներ:

Cardano (ADA) մոտենում է Vasil Hard Fork. Վերջնական հետհաշվարկը

Cardano-ի (ADA) հավասարազոր ցանցային փորձնական ցանցի համակարգը գործարկվել է 2021 թվականի դեկտեմբերին:

Ինչպես նախկինում անդրադարձել էր U.Today-ին, Cardano-ն (ADA) մոտենում է իր ամենակարևոր թարմացմանը վերջին ամիսներին, այսինքն՝ Vasil Hard Fork-ին: Դրա փորձնական ցանցը կարող է բացահայտվել 2022 թվականի մայիսի վերջին:

Vasil Hard Fork-ը կգործարկվի չորս Cardano (ADA) բարելավման առաջարկների կամ CIPS-ի ներդրմամբ՝ CIP-31 (Հղման մուտքեր), CIP-32 (Inline Datums), CIP-33 (Reference Scripts) և CIP-40 (Collateral Outputs): )