Кодувальники блокчейнів WIN грант на виправлення смарт-контрактів за допомогою «Legalese»

Мантра «рухайся швидко і ламай речі» може добре працювати в традиційному програмному забезпеченні, але, як показав занепад The ​​DAO, підхід може не підійти для експериментальних фінансових технологій.

Але після припинення DAO починають з’являтися нові зусилля, спрямовані на вирішення проблем, з якими досі стикалися розробники, працюючи зі смарт-контрактами, ключовими будівельними блоками, які лежали в основі проекту та чия експлуатація призвела до його провалу.

ONE із таких стартапів є Legalese, проект, який виріс із внутрішніх зусиль акселератора посівного матеріалу JFDI Asia та може похвалитися відомим співзасновником цієї операції серед своїх лав.

Legalese, співзасновником якого є Віргіл Гріффіт і Вонг Мен Венг, є проектом з відкритим кодом, який створює нову мову програмування спеціально для смарт-контрактів. Мова під назвою L4 розроблена, щоб допомогти кодерам належним чином VET контракти перед їх запуском.

Після виграшу 8888 доларів у a програма грантів пропонується автономним фінансовим проектом String LabsҐріффіт сказав, що готовий продовжувати роботу з командою визнаних лідерів галузі.

Гріффіт сказав CoinDesk:

«Фундаментальна ідея полягає в тому, що ми хотіли створити мову програмування для права. По суті, це математичний спосіб опису зобов’язань і відносин».

Використовуючи так зване модальне mu-обчислення, Гріффт і Вонг, які раніше розробили інфраструктуру електронної пошти RFC4408, випередили близько 30 інших претендентів на грант.

Нова мова програмування

Основною пропозицією Legalese є формальна мова L4, розроблена, щоб спростити програмістам випуск смарт-контрактів для публічного використання без необхідності перевірки цих контрактів.

За словами керівників проекту, кодери писали б на L4, який потім перетворювався на Solidity, щойно створену мову програмування Ethereum. Потім цю мову можна скомпільувати в байт-код, який читатиметься та інтерпретуватиметься віртуальними машинами Ethereum (EVM), компонентом протоколу, який читає та обробляє динамічні інструкції.

Першим продуктом проекту є програмне забезпечення як послуга додаток розроблено, щоб допомогти підприємцям заповнити документи для ангела або початкового раунду, включаючи кодування акціонерних угод, корпоративних резолюцій, повідомлень про права та корпоративних резолюцій.

За словами співзасновника String Labs і співзасновника Університету блокчейн Тома Дінга, у майбутньому робота Легалеза може допомогти запобігти випуску коду з лазівками, якими можуть скористатися зловмисники.

Дін сказав:

«Коли ви пишете договір, ви хочете виявити всі помилки. Юристи використовують свою освіту та досвід, щоб знайти лазівки, і розумні контракти потребують того ж».

Гранти відкритого ланцюга

Також оголошено String Labs, стартап з кредитною історією в мережі Спотворення виграв 10 000 доларів США на створення системи кредитної історії, яка подорожує з користувачами через кордони.

Онлайн-кредитні історії можуть потім використовуватися іншими смарт-контрактами для полегшення запозичень як онлайн, так і офлайн.

«Кінцева ідея полягає в тому, щоб знизити вартість транзакції», — сказав Дін.

Legalese та Distory є першими переможцями того, що Дін сподівається стати постійний цикл грантів фінансування проектів, спеціально побудованих на публічних блокчейнах.

Зображення дрібним шрифтом через Shutterstock