Сьогодні Blockstream оголосила, що запустила Simplicity, нову мову смарт-контрактів, розроблену для Liquid Network на Біткойні, згідно з прес-релізом, надісланим до Bitcoin Magazine. Simplicity базується на UTXO-моделі Біткойна, що робить її сумісною з формальною верифікацією, дозволяючи контрактам бути математично доведеними правильними перед виконанням.
“Простота надає Біткойну виразну смарт-контрактну потужність, але без проблем безпеки, пов'язаних з ланцюгами на основі віртуальних машин,” сказав співзасновник і CEO Blockstream д-р Адам Бек. “Вона побудована з нуля, щоб бути формально специ
Переглянути оригінал