Недавно запущенный язык простоты BlockStream приносит формально проверяемые контракты в жидкую сеть Bitcoin, предлагая учреждениям новую логику, которой они могут доверять. Привязываясь к модели UTXO в Биткойн, она обоходит хрупкость, которая изводит системы на основе состояний.
Краткое содержание
- Blockstream запустил Simplicity, новый язык интеллектуального контракта для жидкой сети Биткойн, подчеркивая формальную проверку и безопасность.
- В отличие от глобальной модели Ethereum, Simplicity использует структуру UTXO в Биткойн, чтобы избежать повторной ролики и уязвимостей на основе штатов по проекту.
- Язык направлен на то, чтобы разблокировать биткойн-коренные варианты использования, такие как программируемые хранилища, без гражданства и институциональная опека без сторонних мостов.
В пресс -релизе от 31 июля фирма по инфраструктуре блокчейна Blockstream объявила о развертывании производства простота смарт -контракта в жидкой сети, ее федеративной биткойнской боковой оболочке, которая составляет более 3,2 млрд. Долл. США общей стоимостью.
Выпуск завершает двенадцать лет исследований, начиная с первоначальных концепций от блокстрема -математика доктора Рассела О'Коннора, с основной разработкой, возглавляемой той же командой, стоящей за обновлением биткойна.
В отличие от интеллектуальных контрактов в стиле Ethereum, контракты с простотой математически проверяются перед выполнением, намеренно пропуская функции, склонные к эксплуатации и предпочтительнее формальной проверки над гибкостью. Blockstream сказал, что выпуск также включает в себя дорожную карту для SimplicityHL, уровня абстракции более высокого уровня, предназначенного для расширения доступа разработчика.
Как простота заново изобретает контракты биткойнов
В то время как Ethereum и его сверстники полагаются на глобальные государственные модели, которые подвергают целые сети потенциальным сбоям, простота обеспечивает соблюдение биткойн-коренного подхода: контракты должны быть автономными, причем все необходимые данные явно передаются в каждой транзакции. Это устраняет целые классы уязвимостей, от атак повторных поступлений до государственной коррупции, по дизайну, а не от патча.
Последствия для институционального усыновления являются значительными. Финансовые фирмы давно не решались развернуть решения блокчейна в масштабе из -за непредсказуемых способов сбоя существующих систем смарт -контракта. Изменения простоты, которые исчисляют исчисление путем введения формальной проверки, метод, при котором контракты могут быть математически доказаны правильными перед выполнением.
Это особенно актуально для приложений с высокими ставками, таких как токенизация активов, где одна ошибка может вызвать проверку регулирования или финансовые потери.
«Мы разработали простоту, чтобы обеспечить выразительные биткойн-коренные приложения, не наследуя сложность и хрупкость других умных контрактных экосистем»,-сказал Эндрю Поэльстра, директор по исследованиям в Blockstream. «Объединяя формальные методы с моделью UTXO, мы создаем основу для безопасных программируемых финансов на биткойнах, от которых могут зависеть как разработчики, так и организации, такие как финансовые учреждения».
Первоначальные варианты использования, изложенные Blockstream, отражают это внимание на надежности. Программируемые хранилища с увольнением по времени могут дать учреждениям контроль над соблюдением требований, в то время как децентрализованные обмены без сохранения состояния могут, наконец, предложить альтернативу для современных платформ глобального государства.
Возможно, наиболее убедительным является потенциал для решений по опекунству биткойн, предоставляя пороговые схемы подписи, которые не требуют обертывания активов или доверия сторонних мостов.
Заглядывая в будущее, Blockstream планирует расширить доступность Simplicity через SimplicityHL, более высокий уровень абстракции, который уменьшит кривую обучения для разработчиков, привыкших к более допустимым языкам.
