Blockstream, розробник протоколу Bitcoin Layer-2 і під керівництвом Bitcoin Cypherpunk Adam Back, запустив Simplicity, нову мову смарт-контракту, розроблену для Bitcoin.
Згідно з оголошенням у четвер, поділеному з Cointelegraph, Simplicity Smart Contants буде інтегрована в рідину. Компанія заявила, що цей крок відзначає крок вперед у перетворенні біткойна (BTC) із безпечного магазину вартості в програмовану основу для децентралізованих фінансів.
Компанія також запровадила SimplicityHl, що реалізує мову вищого рівня, що сприяє більш легкому розвитку з посиленою абстракцією.
Представник Blockstream повідомив Cointelegraph, що ця версія мови “є тут і корисною сьогодні”, з веб-інтегрованим середовищем розробки.
Інший підхід для іншої архітектури
Простота відрізняється від мови солідності Ethereum, багато в чому завдяки різній основній архітектурі двох блокчейнів.
Пов’язано: Дослідники Starkware пропонують розумні контракти на біткойн з Collidervm
Це випливає з різних підходів та різних архітектур мереж Ethereum та Bitcoin, з міцністю, розробленою для віртуальної машини Ethereum. Держава-це узгоджений знімк мережі щодо всіх залишків облікових записів та збережених даних у заданому блоці.
Біткойн використовує архітектуру невитраченої транзакції (UTXO), тоді як мережа Ethereum використовує стан у мережі. Ця різниця проявляється в тому, як працюють розумні контракти, представник Blockstream сказав, що “не покладатися на глобальний стан – це велика зміна”.”Кожен шматочок штату, які потребує вашого контракту, повинен подорожувати з транзакцією”.
Дослідники Blockstream зазначили, що розробникам Solidist потрібно буде порушити свою звичку читати від глобально доступних змінних і замість цього надати всю необхідну інформацію на кожному кроці. У такій системі два розумних контрактів не можуть ділитися станом або посилатися на однакові змінні;Все повинно бути чітко передано в рамках транзакцій. Тим не менш, представники фірми пояснили, що такий підхід також має позитивний вплив:
“Навіть якщо щось піде не так, впливає лише конкретна частина графіку транзакцій вашого контракту. Це інший спосіб мислення порівняно з глобальним станом, але це в кінцевому підсумку призводить до безпечніших і більш утримуваних контрактів за дизайном”.
Розробники також не зможуть використовувати рекурсію або безмежні петлі, які стверджують, що Blockstream не потрібні для логіки Onchain.
Пов’язано: глибоке занурення в п’ять популярних платформ для розробки розумних контрактів та їх порівняння
Зростання мови програмування розумних контрактів, що стосуються домену
Простота приєднується до зростаючого переліку мови програмування розумного домену.
Noir, мова програмування, опублікована в 2022 році для написання та перевірки доказів нульового знання (ZK-захисники), була прийнята в 2023 році розробниками майбутніх конфіденційних перших етерейних ацтеків Ethereum.
NOIR став розумною мовою програмування контракту, спеціально побудованою для підтримки конфіденційності, які глибоко інтегрують ZK-захисні засоби в їхню архітектуру.
Інший приклад-LEO, розумна мова програмування контракту, яка також створює захисні системи ZK з тісно пов’язаним синтаксисом та конфіденційністю.
Vyper Ethereum-це сумісна з EVM мова, розроблена для зменшення поверхні атаки, яка зараз використовується деякими провідними протоколами децентралізованих фінансів (DEFI).
