Cardano Devs IOG qhia thawj cov ntsiab lus ntawm Third-Party Codebase Audit

txheem

• Cov lej zoo heev, tsis muaj kab laum: Tshawb xyuas cov txiaj ntsig
• Cardano (ADA) mus txog Vasil Hard Fork: Qhov kawg suav rov qab

Galois, Inc., Oregon-based cybersecurity tus muab kev pabcuam, tau tshawb xyuas qhov tshiab-rau-peer (P2P) networking codebase los ntawm Cardano (ADA) developers Input Output Global (IOG).

Cov lej zoo heev, tsis muaj kab laum: Tshawb xyuas cov txiaj ntsig

Raws li kev tshaj tawm xov xwm tshaj tawm los ntawm Cov Neeg Tsim Tawm Tawm Ntiaj Teb (IOG) cov neeg tsim khoom - cov kws ua haujlwm ntawm Cardano cov kev daws teeb meem kev lag luam - lawv cov cuab yeej tshiab-rau-tus phooj ywg sib tham dhau los ntawm kev kuaj xyuas kev nyab xeeb.

qw tawm rau IOG networking team rau txoj haujlwm ci ntsa iab ntawm Peer-to-Peer (P2P) networking codebase tshiab. Qhov no yog los ntawm peb cov neeg koom tes @galois leej twg tsis ntev los no audited code? # Cardano ib pic.twitter.com/OIlamQ1f4X

— IO_Eng (@IOG_Eng) Tej zaum 18, 2022

Raws li ib qho screenshots qhia rau tus account tshiab, @IOG_Eng, ntawm Twitter, cov neeg soj ntsuam - Galois, Inc. - paub tseeb tias cov cai yog qhov zoo heev.

Lawv kuj tseem hais ntxiv tias txhua qhov kev sim tsim nyog tsim nyog (QuickChecks) yog qhov yuav tsum tau muaj kev nyab xeeb, nyab xeeb thiab tiv thaiv kev tsim tawm.

Thaum nyeem ntawv thiab txheeb xyuas cov cai, cov neeg tshawb xyuas tau nthuav tawm cov kab tsis zoo lossis cov peev txheej phem. Yog li ntawd, lub kaw lus tsis muaj qhov txaus ntshai tawm tsam vectors.

Cardano (ADA) mus txog Vasil Hard Fork: Qhov kawg suav rov qab

Cardano's (ADA) cov phooj ywg-rau-peer networking testnet system tau nyob hauv testnet thaum Lub Kaum Ob Hlis 2021.

Raws li tau hais los ntawm U.Today yav dhau los, Cardano (ADA) tau los ze rau nws qhov kev hloov tshiab tseem ceeb tshaj plaws hauv lub hlis, piv txwv li, Vasil Hard Fork. Nws cov testnet yuav raug nthuav tawm sai li sai tau thaum lub Tsib Hlis 2022.

Vasil Hard Fork yuav mus nyob nrog kev ua raws li plaub daim ntawv thov kev txhim kho Cardano (ADA) lossis CIPS: CIP-31 (Reference Inputs), CIP-32 (Inline Datums), CIP-33 (Reference Scripts) thiab CIP-40 (Collateral Outputs) ).