Сьогодні Blockstream оголосила, що запустила Simplicity, нову мову смарт-контрактів, розроблену для Liquid Network на Біткойні, згідно з прес-релізом, надісланим до Bitcoin Magazine. Simplicity базується на UTXO-моделі Біткойна, що робить її сумісною з формальною верифікацією, дозволяючи контрактам бути математично доведеними правильними перед виконанням.
“Простота надає Біткойну виразну смарт-контрактну потужність, але без проблем безпеки, пов'язаних з ланцюгами на основі віртуальних машин,” сказав співзасновник і CEO Blockstream д-р Адам Бек. “Вона побудована з нуля, щоб бути формально специфікованою, безпечною та ефективною. За допомогою Простоти, ми відкриваємо широкий спектр інноваційних варіантів використання на Біткойні.”
Простота уникає високих ризиків, таких як рекурсія, неконтрольовані цикли та глобальні змінні. Цей дизайн спрямований на зменшення потенціалу для помилок і вразливостей, які вплинули на інші системи смарт-контрактів.
Мову вперше запропонував у 2012 році інженер Blockstream доктор Рассел О'Коннор, і з тих пір її розробляла дослідна команда компанії. Blockstream відома своїм внеском у інфраструктуру Біткойна та оновлення протоколу, включаючи Taproot.
Простота підтримує кілька випадків використання, таких як:
Програмовані сейфи. Багатокористувацькі Біткойн-родом смарт-банки. Децентралізовані біржі без обгорнених активів або глобального стану. Системи ідентифікації та репутації, що використовують підписані твердження. Інституційні схеми зберігання з використанням підписних схем B-N. Управління та краудфандинг зі статичними правилами голосування, логікою періодичних платежів та сервісами з контрольованим доступом. “Ми розробили Simplicity, щоб дозволити виразні додатки, рідні для Біткойна, без успадкування складності та крихкості інших екосистем смарт-контрактів,” заявив директор з досліджень компанії Blockstream Ендрю Пелстра. “Поєднуючи формальні методи з моделлю UTXO, ми створюємо основу для безпечних, програмованих фінансів на Біткойні, на яку можуть покладатися як розробники, так і такі установи, як фінансові інститути.”
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Сьогодні Blockstream оголосила, що запустила Simplicity, нову мову смарт-контрактів, розроблену для Liquid Network на Біткойні, згідно з прес-релізом, надісланим до Bitcoin Magazine. Simplicity базується на UTXO-моделі Біткойна, що робить її сумісною з формальною верифікацією, дозволяючи контрактам бути математично доведеними правильними перед виконанням.
“Простота надає Біткойну виразну смарт-контрактну потужність, але без проблем безпеки, пов'язаних з ланцюгами на основі віртуальних машин,” сказав співзасновник і CEO Blockstream д-р Адам Бек. “Вона побудована з нуля, щоб бути формально специфікованою, безпечною та ефективною. За допомогою Простоти, ми відкриваємо широкий спектр інноваційних варіантів використання на Біткойні.”
Простота уникає високих ризиків, таких як рекурсія, неконтрольовані цикли та глобальні змінні. Цей дизайн спрямований на зменшення потенціалу для помилок і вразливостей, які вплинули на інші системи смарт-контрактів.
Мову вперше запропонував у 2012 році інженер Blockstream доктор Рассел О'Коннор, і з тих пір її розробляла дослідна команда компанії. Blockstream відома своїм внеском у інфраструктуру Біткойна та оновлення протоколу, включаючи Taproot.
Простота підтримує кілька випадків використання, таких як:
Програмовані сейфи.
Багатокористувацькі Біткойн-родом смарт-банки.
Децентралізовані біржі без обгорнених активів або глобального стану.
Системи ідентифікації та репутації, що використовують підписані твердження.
Інституційні схеми зберігання з використанням підписних схем B-N.
Управління та краудфандинг зі статичними правилами голосування, логікою періодичних платежів та сервісами з контрольованим доступом.
“Ми розробили Simplicity, щоб дозволити виразні додатки, рідні для Біткойна, без успадкування складності та крихкості інших екосистем смарт-контрактів,” заявив директор з досліджень компанії Blockstream Ендрю Пелстра. “Поєднуючи формальні методи з моделлю UTXO, ми створюємо основу для безпечних, програмованих фінансів на Біткойні, на яку можуть покладатися як розробники, так і такі установи, як фінансові інститути.”
Ліквідна мережа наразі має понад 3,27 мільярда доларів США у загальній вартості, зафіксованій (TVL), в основному у Біткойні та випущених активах. Інтеграція Simplicity в це середовище має на меті забезпечити нові інструменти для організацій, які прагнуть створювати застосунки в екосистемі Біткойна.
#bitcoin
#btc
#CandyDrop Airdrop Event 6.0
#Join Alpha RION Airdrop to Earn $40
#White House Crypto Report