Hoskinson и Lucas Rosa разрабатывают новый язык программирования для Cardano

Charles Hoskinson объявил 18 октября, что он лично разрабатывает новый язык программирования для Cardano. Он назвал Lucas Rosa, соучредителя Aiken и архитектора инструментов Midnight, своим соавтором по проекту.

Соучредитель Aiken работает вместе с Hoskinson

Rosa, известный в сети как @rvcas, был соучредителем Aiken и руководил его развитием более двух с половиной лет. Согласно истории проекта, эта работа включала проектирование функций языка перед передачей прав собственности и лицензии Pragma для долгосрочного сопровождения.

Aiken это язык программирования и набор инструментов разработки для смарт контрактов Cardano. Разработчики используют его для определения правил, которые задают, могут ли транзакции тратить активы или выполнять другие операции, контролируемые контрактом.

В настоящее время Rosa указывает свою должность как Tooling Architect в Midnight. Его опыт охватывает компиляторы, распределенные системы и прикладную инфраструктуру.

Заявление Hoskinson указывает на Rosa как на соавтора, не назначая Midnight какой либо организационной роли.

Как связаны намерения и доказательства Groth16

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

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

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

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

Связь языка с валидаторами Cardano

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

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

Публикация Hoskinson не указала название языка, репозиторий, спецификацию или дату выпуска. Его связь с Aiken и Plutus также остается неуточненной. Неурегулированный вопрос интеграции заключается в том, как программа, написанная на новом языке, будет генерировать доказательство и предоставлять его валидатору Cardano, соединяя заявленные пользователем условия с контрактом, авторизующим расчет.