Hoskinson представил Moriarty для Midnight DeFi

Charles Hoskinson сообщил о первом конкретном результате тестирования Moriarty, языка программирования, который он создает для Midnight DeFi. Кредитный контракт был преобразован в промежуточное представление нулевого разглашения Midnight, а его транзакция прошла валидацию в сети Preview, при этом сам язык все еще находится в разработке.

Moriarty определяет инструкции для Midnight DeFi

Hoskinson охарактеризовал Moriarty как неполный по Тьюрингу язык намерений для планируемого ядра DeFi Midnight. Он предназначен для выражения того, чего должна достигать финансовая транзакция, и условий, которым она должна соответствовать.

Его намеренно ограниченный дизайн сужает диапазон возможного поведения программ, а формальная семантика определяет, как выполняется каждая инструкция. Hoskinson изучает общие компоненты, лежащие в основе кредитования, свопов, бессрочных контрактов и синтетических продуктов, но не представлял их как завершенные возможности Moriarty.

Midnight использует NIGHT как базовый актив сети. Moriarty будет находиться на прикладном уровне, где разработчики со временем смогут определять операции с NIGHT и другими поддерживаемыми активами. О продуктивных приложениях, использующих этот язык, не объявляли.

Кредитный контракт проходит валидацию на Midnight Preview

Hoskinson сообщил, что в репозитории Moriarty было более 596 коммитов на момент представления проекта. Самой наглядной вехой разработки стал кредитный контракт, скомпилированный в zkIR, промежуточное представление, используемое в процессе выполнения нулевого разглашения Midnight.

“Мне действительно удалось добиться валидации транзакции на Midnight preview,” сказал он.

Preview является сетью для разработки, и Hoskinson заявил, что Moriarty еще не завершен. Он оценил, что понадобится еще от двух до четырех недель работы, прежде чем передать его Lucas и другим участникам команды, при этом не объявляя о графике производственного запуска для Moriarty или продукта NIGHT DeFi.

Доказательства корректности нацелены на риски контрактов DeFi

Hoskinson сказал, что Moriarty предназначен для прикрепления к транзакции доказательства корректности программы. Это доказательство должно показывать, что отправленная программа следует правилам, выраженным языком, до принятия транзакции.

“У вас есть доказательство корректности программы, идущее вместе с транзакцией,” сказал он.

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

Тест на Preview подтверждает описанный Hoskinson путь компиляции и валидации. Его следующий заявленный шаг заключается в передаче проекта команде, чтобы перевести Moriarty из персонального прототипа к инфраструктуре, которую разработчики Midnight DeFi смогут оценить и расширять.