Блокчейн-кодеры WIN грант на исправление смарт-контрактов с помощью «Legalese»

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

Однако после закрытия The DAO начинают появляться новые усилия, направленные на решение проблем, с которыми до сих пор сталкивались разработчики при работе со смарт-контрактами — ключевыми строительными блоками, лежащими в основе проекта, и эксплуатация которых привела к его провалу.

ONE из таких стартапов является Legalese — проект, выросший из внутренних усилий инвестиционного акселератора JFDI Asia, среди членов которого числится известный соучредитель этой компании.

Legalese, основанный Вирджилом Гриффитом и Вонгом Мэн Вэном, — это проект с открытым исходным кодом, который пишет новый язык программирования специально для смарт-контрактов. Названный L4, этот язык разработан, чтобы помочь программистам должным образом VET контракты перед их реализацией.

Выиграв 8888 долларов упрограмма грантовпредлагаемый автономным финансовым проектомСтрунные лабораторииГриффит заявил, что готов продолжить работу с командой признанных лидеров отрасли.

Гриффит рассказал CoinDesk:

«Основная идея заключается в том, что мы хотели создать язык программирования для права. По сути, это математический способ описания обязательств и отношений».

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

Новый язык программирования

Флагманским предложением Legalese является формальный язык L4, призванный упростить программистам выпуск смарт-контрактов для публичного использования без необходимости проверки этих контрактов.

Руководители проекта заявили, что кодеры будут писать на языке L4, который затем будет конвертироваться в Solidity, недавно созданный язык программирования Ethereum. Затем этот язык можно будет скомпилировать в байт-код, который будет считываться и интерпретироваться виртуальными машинами Ethereum (EVM), компонентом протокола, который считывает и обрабатывает динамические инструкции.

Первый продукт проекта — это программное обеспечение как услуга.приложениеразработанный для помощи предпринимателям в оформлении документов для бизнес-ангела или посевного раунда, включая кодирование акционерных соглашений, корпоративных резолюций, уведомлений о правах и корпоративных резолюций.

По словам соучредителя String Labs и соучредителя Blockchain University Тома Дина, в будущем работа Legalese может помочь предотвратить публикацию кода с лазейками, которые могут быть использованы злоумышленниками.

Дин сказал:

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

Гранты открытой цепи

Также анонсировано компанией String Labs, стартапом по работе с кредитными историями в сетиDistoryвыиграл 10 000 долларов на создание системы кредитной истории, которая будет доступна пользователям через границы.

Затем онлайн-кредитные истории могут использоваться другими смарт-контрактами для упрощения процесса заимствования как онлайн, так и офлайн.

«Конечная идея — снизить стоимость транзакции», — сказал Дин.

Legalese и Distory — первые победители того, что, как надеется Дин, станеттекущий цикл грантовфинансирование проектов, специально созданных на основе публичных блокчейнов.

Изображение с мелким шрифтомчерез Shutterstock