Сегодня Blockstream объявила о запуске Simplicity, нового языка смарт-контрактов, разработанного для Liquid Network на Биткойне, согласно пресс-релизу, отправленному в Bitcoin Magazine. Simplicity основан на модели UTXO Биткойна, что делает его совместимым с формальной верификацией, позволяя контрактам быть математически доказанными как корректные перед выполнением.

“Простота предоставляет Биткойну выразительную возможность смарт-контрактов, но без проблем безопасности, связанных с цепями на базе ВМ,” сказал соучредитель и генеральный директор Blockstream доктор Адам Бэк. “Он построен с нуля, чтобы быть формально заданным, безопасным и эффективным. С помощью Простоты мы открываем широкий спектр инновационных случаев использования на Биткойне.”

Простота избегает высокорисковых функций, таких как рекурсия, неограниченные циклы и глобальные переменные. Этот дизайн предназначен для снижения потенциальных ошибок и уязвимостей, которые затрагивали другие системы смарт-контрактов.

Язык был впервые предложен в 2012 году инженером Blockstream доктором Расселом О’Коннором и с тех пор разрабатывался исследовательской командой компании. Blockstream известен своим вкладом в инфраструктуру Биткойн и обновления протоколов, включая Taproot.

Простота поддерживает несколько случаев использования, таких как:

Программируемые хранилища.
Мульти-пользовательские Биткойн-нативные смарт-банки.
Децентрализованные биржи без обернутых активов или глобального состояния.
Системы идентификации и репутации с использованием подписанных утверждений.
Институциональные схемы хранения с использованием схемы подписи B-N.
Управление и краудфандинг со статическими правилами голосования, логикой периодических платежей и услугами с контролем доступа.
“Мы разработали Simplicity, чтобы обеспечить выразительные приложения на базе Биткойн без наследования сложности и хрупкости других экосистем смарт-контрактов,” заявил директор по исследованиям в Blockstream Эндрю Пулстра. “Сочетая формальные методы с моделью UTXO, мы создаем основу для безопасных, программируемых финансов на Биткойне, на которую могут полагаться как разработчики, так и такие организации, как финансовые учреждения.”

Сеть Liquid в настоящее время имеет более 3,27 миллиарда долларов в общей стоимости заблокированных активов (TVL), в основном в Биткойне и выпущенных токенах. Интеграция Simplicity в эту среду направлена на предоставление новых инструментов для организаций, стремящихся создавать приложения в экосистеме Биткойна.
#bitcoin
#btc
#CandyDrop Airdrop Event 6.0
#Join Alpha RION Airdrop to Earn $40
#White House Crypto Report