Новая библиотека смартконтрактов Cardano превысила изначальную цель

Инициатива ContractsLibrary в экосистеме Cardano подготовила шесть переиспользуемых смартконтрактов, превысив изначальную цель в пять. Robertino Martinez, который возглавляет инициативу Developer Experience в AlwaysTrue, сообщил о прогрессе во время обсуждения в X Space Decentralizing Cardano’s Core Development.

Цель библиотеки дать разработчикам готовые к интеграции компоненты смартконтрактов, вместо того чтобы требовать от них строить типичную функциональность с нуля. Вдохновленный подходом OpenZeppelin в экосистеме Ethereum, проект сочетает ончейн код, инструменты построения транзакций, технические спецификации и формальную верификацию.

Шесть контрактов вышли на финальную стадию ревью кода и спецификаций. Martinez подчеркнул, что они не прошли аудиты безопасности и их пока не следует разворачивать в основной сети Cardano.

Шесть контрактов движутся к публичному тестированию

Изначально от ContractsLibrary ожидали поставки пяти переиспользуемых смартконтрактов. По словам Martinez, команда разработчиков подготовила шесть и начала финальные проверки качества в преддверии более широкого тестирования сообществом.

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

Библиотека опирается на уже сложившиеся в Cardano паттерны разработки, включая работу Anastasia Labs.

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

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

Стек разработки для Cardano, вдохновленный OpenZeppelin

OpenZeppelin стал широко используемым ресурсом переиспользуемых компонентов смартконтрактов в Ethereum и других экосистемах EVM. ContractsLibrary стремится предоставить сопоставимый ресурс для разработки, адаптированный к расширенной архитектуре UTxO Cardano.

Каждая реализация задумана как сочетание нескольких взаимосвязанных элементов.

Ончейн компонент использует Aiken для определения правил, которые обеспечивает реестр Cardano. Офчейн конструкторы транзакций, включая поддержку MeshJS и Tx3, помогают приложениям формировать транзакции, необходимые для взаимодействия с этими валидаторами.

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

Проект также использует Lean 4 для машинно проверяемых доказательств выбранных свойств контрактов.

Такая интегрированная структура решает прикладную задачу разработки на Cardano: создание децентрализованного приложения часто требует координации валидации смартконтрактов и офчейн построения транзакций.

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

[NEWSBREAK]

Проверки безопасности остаются финальным требованием

ContractsLibrary является частью более широкой инициативы Developer Experience, которая перешла от Input Output к AlwaysTrue при неизменном руководстве Martinez.

Инициатива включает и другие инструменты, такие как cardano-init, который помогает разработчикам генерировать связанные среды разработки для Cardano.

Для ContractsLibrary первоочередные задачи это завершение проверок качества кода, обеспечение доступности реализаций для тестирования и продолжение формальной верификации.

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

Проект различает контракты, подготовленные к аудитам безопасности, и те, которые завершили необходимые проверки и достигли стабильного статуса.

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

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