Cardano Devs IOG поділився першими деталями стороннього аудиту кодової бази

зміст

• Дуже висока якість коду, без помилок: результати аудиту
• Кардано (ADA) наближається до Василя Хард Форк: Фінальний відлік

Galois, Inc., постачальник кібербезпеки з штату Орегон, провів аудит нової однорангової (P2P) мережевої кодової бази розробників Cardano (ADA) Input Output Global (IOG).

Дуже висока якість коду, без помилок: результати аудиту

Згідно з офіційним оголошенням, яким поділилися розробники Input Output Global (IOG) – інженери децентралізованих рішень Cardano – їхній новий одноранговий мережевий інструмент пройшов перевірку безпеки.

Подякуйте команді IOG з роботи з мережами за блискучу роботу над новою мережевою базою однорангового (P2P) коду. Це від наших партнерів @galois хто нещодавно перевіряв код? # Кардано pic.twitter.com/OIlamQ1f4X

— IO_Eng (@IOG_Eng) Травень 18, 2022

Згідно зі знімками екрана, опублікованими в новому обліковому записі @IOG_Eng, у Twitter, аудитори – Galois, Inc. – підтвердили, що код дуже високої якості.

Вони також підкреслили, що вся необхідна інфраструктура тестування (QuickChecks) потрібна для безпечного, безпечного та стійкого до атак розробника.

Під час читання та аналізу коду аудитори виявили нуль помилок або потенційних недоліків. Таким чином, система не має небезпечних векторів атаки.

Кардано (ADA) наближається до Василя Хард Форк: Фінальний відлік

У грудні 2021 року система однорангової мережі Cardano (ADA) запрацювала в тестовій мережі.

Як повідомляв U.Today раніше, Cardano (ADA) наближається до свого найважливішого оновлення за останні місяці, тобто до Vasil Hard Fork. Його тестова мережа може бути представлена ​​вже наприкінці травня 2022 року.

Vasil Hard Fork буде реалізовано з реалізацією чотирьох пропозицій щодо покращення Cardano (ADA) або CIPS: CIP-31 (довідкові входи), CIP-32 (вбудовані дати), CIP-33 (довідкові скрипти) і CIP-40 (заставні вихідні дані). ).