На днях мы писали о недавней ошибке смарт-контракта, затрагивающей некоторые маркеры ERC20. Проблема batchOverflow позволяла злоумышленникам создавать очень большие количества токенов — намного превышающих предопределенные поставки — по затронутым контрактам. Биржи остановили торговлю, в то время как их список токенов был поспешно проверен на ошибку.
Мы также упоминали об ошибках в Parity, которые каким-то образом избегали профессионального аудита. Здесь мы публикуем исправление. Фактически, код ошибки не прошел проверку. Был проведен профессиональный аудит, и оказалось, что проверенный код был принят, но затем Parity изменил код, не возвращаясь к аудитору, тем самым введя ошибку.
В контексте всего этого имеет особенный смысл то, что Waves только что выпустила собственную версию смарт-контрактов на testnet. Реализация Waves отличается от Ethereum’s. Они начинаются с полной функциональности без Тьюринга: основные элементы управления учетными записями, такие как multi-sig, балансировка (для предотвращения того, что люди тратят токены, которые они отправляют в течение определенного периода времени) и другие простые функции. Они охватывают подавляющее большинство популярного использования, могут быть доступны из основного клиента и не требуют создания сложного кода или опыта программирования. Позже последуют полные контракты Тьюринга, позволяющие разработчикам и экспертам создавать более сложные варианты использования.
Более того, интеллектуальные контракты Waves — вместе с одной или двумя другими новыми альтернативами Ethereum — используют принципиально иной подход к тому, как структурирован их язык программирования. Твердость Ethereum, как мы отмечали вчера, является, возможно, частью проблемы. Язык умных контрактов Waves будет строго типизирован, т. е. вы не можете заставить переменную обрабатываться как переменную другого типа (например, целое число, например строка, или число с плавающей запятой как целое число) и ошибки которые могут быть вызваны этим, будут замечены раньше, прежде чем код будет выполнен. Кроме того, затраты на выполнение контракта известны и низки. Это была проблема с Ethereum, когда контракт выполняется без предварительного уведомления о расходах.
Итак, мы будем с интересом наблюдать за smart-контрактами Waves. Эта область является крайне занимательной в блокчейне , и вполне возможно, что немного менее мощная реализация будет гораздо умнее предыдущих.
______________________________
Подписывайтесь на канал Ветераны Крипты в Telegram.
