Начало нового года принесло несколько событий, многие из которых заложили основу для захватывающего 2022. Мы выпустили Anoma v0.3.1, который поставляется с несколькими исправлениями ошибок и улучшениями производительности. В соответствии с большим количеством интеграций сетевого уровня Anoma продолжает расширять свой набор функций, который является фундаментальным для протокола.

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

Anoma v0.3.1 и архитектурные улучшения

В этом месяце был выпущен Anoma v0.3.1. Это первый выпуск серии maintenance, направленный на повышение производительности и внедрение улучшений ledger, за которым последовало некоторое нагрузочное тестирование. По мере того, как последующие версии следуют в этой итеративной серии, было проделано больше работы по интеграции протоколов распределенной генерации ключей (DKG) и межблочной связи (IBC), что обеспечивает высокий уровень взаимодействия между суверенными цепочками. Кроме того, внедрение новой архитектуры intent gossiper и matchmaker устанавливает рамки для более эффективного облегчения частных бартерных транзакций. Обязательно следите за предстоящими релизами, так как v0.4.0 не за горами:

https://github.com/anoma/anoma/tree/main/.changelog/v0.4.0

Внедрение Plonk, обновление MASP и Ferveo

На криптографическом фронте все неуклонно движется с несколькими достижениями. Реализация Plonk теперь позволяет использовать различные схемы полиномиальных обязательств в художественных произведениях, включая схему полиномиальных обязательств с внутренним аргументом продукта, которая не требует надежной установки, которую Juvix будет компилироваться. Это послужило катализатором сотрудничества, разработки и внедрения формата промежуточного представления Plonk, который будет использоваться для реализации частных бартерных схем. В связи с внедрением Plonk статья “PlonKup: согласование PlonK с plookup” находится в прямом эфире Международной ассоциации криптологических исследований. Это подчеркивает Plonk, а также представляет более развитую схему доказательства, которая объединяет схемы доказательства Plonk и plookup для более эффективной схемы доказательства, получившей название Plonkup.

Кроме того, последние обновления, сделанные из librustzcash, проложили путь для новых тестов на MASP. Больший прогресс был также достигнут в Ferveo путем рассмотрения запроса на вытягивание хэша в кривую для произведенийискусства, а также разработки и внедрения схемы привязки ключей для шифрования Ferveo.

Гетерогенные паксосы в блокчейне

Был достигнут последовательный прогресс в создании гетерогенного Paxos протокол жизнеспособен в контексте блокчейна. Новый протокол позволит нескольким цепочкам создавать и выполнять атомарные транзакции в так называемой цепочке химер. В этом месяце мы перевели концепции гетерогенного протокола Paxos в компоненты блокчейна, обсудили стимулы, которые необходимо встроить, рассмотрели безопасность под византийским правилом ⅓ и рассмотрели возможные варианты более эффективных коммуникаций. Кроме того, мы разрабатываем официальную спецификацию в IVY для формальной проверки желаемых свойств, таких как безопасность. Обзор результатов будет опубликован в ближайшее время и будет охватывать такие вопросы, как:

·        Модель блокировки: должна ли небольшая сумма средств быть заблокирована при создании цепочки химер?

·        Коммуникационная модель: является ли использование коммуникационной модели BFTree или Kauri более эффективным?

·        Шардинг: Могут ли некоторые концепции нового протокола использоваться для шардинга в будущем?

Подготовка к следующему выпуску

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

Пристегнитесь к 2022 году

2022 год начинается быстро, поскольку мы планируем большой год, который включает в себя множество испытаний в реальном мире. Кроме того, событие этого года-circa близко к началу, поэтому обязательно будьте в курсе того, где будет Anoma! Следите за Anoma в Twitter для получения самых последних новостей и не забудьте подписаться на рассылку новостей, где мы подводим итоги ключевых событий месяца. Первый информационный бюллетень года будет выпущен на этой неделе!