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