Поделиться этой статьей

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

Блокчейн-стартап Legalese выиграл грант на разработку языка программирования смарт-контрактов.

Обновлено 11 сент. 2021 г., 12:22 p.m. Опубликовано 12 июл. 2016 г., 11:00 p.m. Переведено ИИ
fine print

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

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

Продолжение Читайте Ниже
Не пропустите другую историю.Подпишитесь на рассылку Crypto Daybook Americas сегодня. Просмотреть все рассылки

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

Больше для вас

Protocol Research: GoPlus Security

GP Basic Image

Что нужно знать:

  • As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
  • GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
  • Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.

Больше для вас

На каждой крупной конференции по биткойну в 2025 году наблюдалось падение цен, будет ли Абу-Даби исключением?

BTCUSD 2025 (TradingView)

Биткойн входит в конференцию в Абу-Даби около отметки $92 000 после года падений «продавай на новостях» на крупных событиях, вызывая вопросы о возможном новом откате.

Что нужно знать:

  • Биткоин вступает в конференцию MENA 2025 около отметки $92K, трейдеры внимательно следят за возможной очередной коррекцией, связанной с событием.
  • Все четыре крупные конференции по биткойнам в этом году — в Лас-Вегасе, Праге, Гонконге и Амстердаме — совпали с краткосрочными падениями цены.
  • Конференция по биткоину в Абу-Даби проходит на этой неделе при цене биткоина выше $92 000, что повышает вероятность очередного движения «продать на новостях».