Поделиться этой статьей
Анализатор смарт-контрактов дебютирует на конференции Ethereum
Исследователи вскоре откроют исходный код инструмента, предназначенного для оценки кода смарт-контрактов Ethereum .
Автор Alyssa Hertig
Исследователи из Национального университета Сингапура вскоре выпустят инструмент, который поможет пользователям Ethereum определить, действительны ли написанные ими смарт-контракты.
Разработанный в результате масштабного взлома первого крупномасштабного смарт-контракта — The DAO — в июне, исследователиописал инструмент как попытка обуздать будущие проблемы, которые могут привести к потере средств потребителей. Названная Oyente, программа, как сообщается, использовалась для успешного выявления ошибок в тысячах смарт-контрактов, включая ONE , который привел к краху The 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 и написать документацию для разработчиков, которая проиллюстрирует его преимущества.
Инструмент может обнаружить четыре ключевые проблемы, включая ошибку «повторного входа» или тип ошибки, которая привела к краху The DAO.
Чтобы проанализировать смарт-контракт, пользователь вводит его в программу 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
DOT падает на 2% после пробоя ключевой поддержки
Токен Polkadot растерял предыдущие достижения на фоне высокого объема торгов, снизившись с максимума в $2,09 до $1,97.
What to know:
- DOT рухнул ниже поддержки восходящего тренда около уровня $2.05 на фоне значительного 284% роста объёма торгов.
- Токен решительно пробил уровень поддержки и за последние 24 часа снизился в цене на 2%.
Главное
