Share this article
Розумний аналізатор контрактів дебютує на конференції Ethereum
Дослідники незабаром відкриють код інструменту, призначеного для оцінки коду смарт-контракту Ethereum .
Updated Sep 11, 2021, 12:28 p.m. Published Sep 7, 2016, 3:05 p.m.
Дослідники з Національного університету Сінгапуру незабаром випустять інструмент, який допоможе користувачам Ethereum визначити, чи дійсні смарт-контракти, які вони закодували, чи ні.
Дослідники, розроблені після масового злому першого великомасштабного смарт-контракту – DAO – у червні описав засіб як спроба приборкати майбутні проблеми, які можуть призвести до втрати споживчих коштів. Повідомляється, що програма під назвою Oyente використовувалася для успішного виявлення помилок у тисячах смарт-контрактів, у тому числі ONE , яка призвела до збою DAO.
Продовження Нижче
Don't miss another story.Subscribe to the Crypto Daybook Americas Newsletter today. See all newsletters
Аспірант Національного університету Сінгапуру Лой Луу пояснив, що команда спочатку почала свою роботу з аналізу смарт-контрактів на наявність помилок безпеки.
Луу сказав CoinDesk:
«Після виявлення всіх цих проблем ми хотіли виміряти, скільки розумних контрактів мають ці проблеми».
За його словами, Oyente представляє удосконалення та оптимізацію цього процесу, ONE аналізує проблеми безпеки, у яких зловмисники можуть маніпулювати смарт-контрактами для отримання прибутку.
Тепер команда Луу планує випустити код для аналізатора смарт-контрактів раніше Devcon2конференції з розробки Ethereum , яка відбудеться цього місяця в Шанхаї.
Аналізатор з відкритим вихідним кодом є однією з багатьох нових ідей для підвищення безпеки смарт-контрактів у загальнодоступному блокчейні Ethereum , але інновації також були вимушені використовувати інші блокчейни.
Наприклад, провал The DAO можна розглядати як заохочення нового акценту на інновації в рівень мови розумних контрактів через критику з боку Solidity, спеціально розробленої мови програмування смарт-контрактів Ethereum.
Автоматизація виявлення помилок
Перед випуском команда працює з розробниками Ethereum , щоб очистити код Oyente і написати документацію для розробників, яка проілюструє його переваги.
Існує чотири ключові проблеми, які може виявити інструмент, включаючи помилку «повторного входу» або тип помилки, яка призвела до збою DAO.
Щоб проаналізувати смарт-контракт, користувач завантажує його в програму Oyente, яка потім сповіщатиме його, якщо в ньому є вразливості, якими потенційно можуть скористатися зловмисники.
Oyente прагне пройти всі можливі шляхи програми, щоб перевірити наявність цих помилок, пояснив Луу:
«Якщо є два можливих шляхи виконання, він пройде через кожен із них і перевірить, чи трапляється помилка повторного входу на цьому шляху, а потім позначить, чи є смарт-контракт вразливим чи ні».
Зокрема, Oyente LOOKS «байт-код» смарт-контракту або код, який остаточно зберігається в блокчейні.
Перед використанням високорівневі мови програмування Ethereum , такі як Solidity або Serpent, перетворюються на байт-код, щоб мережа Ethereum могла їх зрозуміти та виконати.
Для отримання більш детальної інформації про проект, прочитати повний документ.
Оновлення: Заголовок оновлено, щоб краще відображати продуктивність інструменту Oyente.
Стетоскоп зображення через Shutterstock
More For You
What to know:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
More For You
Стратегія Майкла Сейлора забезпечила другу поспіль покупку біткойнів на суму 1 мільярд доларів минулого тижня
Попри триваючі труднощі з ціною акцій, Strategy знову профінансувала покупку переважно за рахунок продажу звичайних акцій
What to know:
- Стратегія минулого тижня придбала 10 645 біткойнів на суму 980,3 мільйона доларів.
- Нове придбання здебільшого профінансовано за рахунок продажу звичайних акцій.
- Загальні запаси біткойнів зросли до 671 268 монет, придбаних на суму 50,33 млрд доларів США, або за середньою ціною 74 972 долари за кожну.
Головне
