December 11, 2023

Namada новый конкурент для Aleo?

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

Namada

Namada — это фрактальный экземпляр в экосистеме Anoma. Кроме того, это первый экземпляр фрактала, запущенный как часть набора протоколов Anoma для автономной, независимой координации. Namada — это Proof-of-stake блокчейн 1 уровня, использующий консенсус Tendermint BFT, который позволяет осуществлять частные переводы нескольких активов для любого нативного или не нативного актива с использованием защищенного пула с несколькими активами, полученного из схемы Sapling. Namada имеет полную поддержку протокола IBC, изначально интегрированный мост Ethereum, современную систему подтверждения доли с автоматическим начислением вознаграждения, а также механизм передачи сигналов управления, взвешенный по доле. Пользователи защищенных переводов получают вознаграждение за свой вклад в набор конфиденциальности в виде токенов собственного протокола. Для обеспечения безопасного и конфиденциального взаимодействия пользователя с протоколом предоставляется экранированный кошелек для передачи нескольких активов.

Это новый блокчейн уровня 1 с консенсусом Bizantine Fault Tolerance и Cubic Proof-of-Stake в качестве механизма сопротивления Сивиллы, с глубоким акцентом на конфиденциальность и управление активами между цепями, в частности, с несколькими нативными цепями через Inter-Blockchain Communication. протокол (IBC) от Cosmos и Ethereum благодаря мосту без доверия.

Некоторые из новых функций, которые можно найти на Namada:

экранированная передача, не зависящая от активов : эта функция позволяет передавать как токены, так и NFT благодаря zk-SNARKs

zk-Snark: Впервые термин сформулирован в 2012 году в Калифорнийском университете Беркли Алессандро Кьеза, zk-SNARK используют математическую концепцию, известную как билинейное спаривание по эллиптической кривой, в качестве основы для своей безопасности. Важным свойством zk-SNARK является требование надежной установки. Этот процесс влечет за собой создание криптографических ключей, которые представляют собой доказательства, необходимые для проверки и проведения частных транзакций. Скрытый параметр связывает ключ проверки и ключ, который проводит транзакции во время создания ключа. На этом этапе существует вероятность нарушения безопасности. Например, если мы предположим, что секрет, связанный с ключами, не уничтожен на этом этапе, затем его можно использовать для фальсификации процесса проверки и транзакций, при этом никто не узнает о двуличном характере таких транзакций. Несмотря на то, что доверенная установка происходит только один раз в процессе, она все равно вызывает беспокойство у пользователей. Еще одним недостатком этого решения для обеспечения безопасности является его уязвимость по отношению к квантовым вычислениям. Как только квантовые компьютеры станут широко доступны, функции безопасности, представленные zk-SNARK, станут недействительными.
Общий экранированный набор: благодаря MASP практически невозможно различить активы при передаче, поскольку защищенный набор
Простота доступа : доступ к протоколу будет осуществляться через браузер, что обеспечивает бесперебойную работу пользователя
Быстрая завершенность и беспроблемный опыт : благодаря проверенному в бою механизму консенсуса непревзойденная плавность взаимодействия пользователей в сети
⁃ Межсетевые переводы: Namada предлагает ретранслировать несколько различных цепочек благодаря структуре Cosmos и прямому мосту с Ethereum. Это позволит пользователям легко управлять своими активами и защищать их практически в любой цепочке .
Поощрения за хранение защищенных активов : благодаря MASP пользователи, которые держат защищенные активы в защищенном наборе, получают вознаграждение за повышение безопасности на наборе.

Протокол Namada управляет токеном Namada NAM (нативным токеном для ставок), который программно создается для оплаты алгоритмически измеримых общественных благ — безопасности с доказательством доли и использования безопасного пула — и внеполосных общественных благ. Награды Proof-of-stake вводятся в механизм распределения вознаграждений, чтобы распределить их между валидаторами и делегатами. Награды защищенного пула выплачиваются в механизм вознаграждения защищенного пула, где пользователи, хранящие токены в защищенном пуле, могут требовать их асинхронно. Финансирование общественных благ оплачивается механизмом распределения общественных благ, который дополнительно делит финансирование на упреждающее и ретроактивное финансирование и на отдельные категории.
Конфиденциальность, обеспечиваемая MASP, на практике зависит от того, сколько пользователей используют экранированный пул и с какими активами они его используют. Чтобы увеличить вероятность значительного набора конфиденциальности, Намада платит переменную часть инфляции, до 10% в год.

MASP(Мультиактивный экранированный пул), он состоит из пула активов, которые используют общий стандарт безопасности . Собранные активы могут быть как взаимозаменяемыми токенами, такими как широко известные токены и монеты, так и NFT.
С его новейшим обновлением «Convert Circuit» пользователи будут вознаграждены за хранение защищенных активов, что повысит безопасность сети.

Одна из самых интересных функций, которую использует Namada, — это механизм Cubic Proof-of-Stake и некоторые другие функции, связанные с использованием сети.Безопасность теперь улучшена, поскольку эта новая модель не рекомендует валидаторам, работающим на нескольких узлах, использовать одну и ту же настройку сети для всех из них.
Если имеет место длительное время простоя, валидаторы получат экспоненциально более высокий штраф (косая черта), если он включает несколько узлов одновременно, что информирует их о необходимости диверсифицировать настройки.
Помимо этого, модель стейкинга допускает автоматический повторный стейкинг и, что интересно, оплату комиссий различными активами, а не только токенами Namada, которые будут добавлены через управление.

Aleo

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

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

Совместимость с другими блокчейнами станет намного проще.

В блокчейн-протоколах Proof-of-Stake за функционирование системы отвечает определенная группа пользователей, называемых валидаторами и номинаторами. Валидаторы проверяют правдивость транзакций, тогда как номинаторы ручаются за честность валидатора. Эти две участвующие группы должны делать стейкинг своих токенов, создавая финансовый стимул для того, чтобы оставаться честными. За помощь в поддержании децентрализованной структуры блокчейна и проверке транзакций валидаторы и номинаторы получают компенсацию.

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

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

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

Благодаря zkCloud отдельные объекты взаимодействуют друг с другом посредством защищенных транзакций.

Несмотря на то, что программы выполняются в zkCloud с разной степенью сложности, единственное, что когда-либо видно узлам в сети Aleo, — это «тени», отбрасываемые экранированными транзакциями, выполняемыми в zkCloud. Поскольку доказательства с нулевым разглашением ничего не раскрывают об их содержимом, когда эти узлы (или другие третьи лица) видят защищенную транзакцию, отправленную в цепочку. Говоря простым языком, можно увидеть, что что-то происходит, но подробности никто не знает, например кто и кому передает определенную сумму. Это можно узнать, если намеренно открыть доступ.

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

Aleo использует криптографию с нулевым разглашением для обеспечения как конфиденциальности, так и программируемости. Криптография с нулевым разглашением и доказательства с нулевым разглашением позволяют третьим сторонам проверять достоверность части информации без необходимости раскрывать ее напрямую. Aleo использует это как основу системы под названием ZEXE (Zero Knowledge EXEcution). В ZEXE пользователи выполняют переходы между состояниями в автономном режиме. Этот процесс создает доказательство, которое объединяется в транзакцию в сети. Эта транзакция обновляет состояние системы, используя/создавая записи в цепочке. Как и Zcash, эта система дает нам надежные гарантии конфиденциальности, поскольку транзакции содержат только доказательство, а не входные данные, которые его сгенерировали. И, как и Ethereum, ZEXE может поддерживать смарт-контракты, которые позволяют пользователям взаимодействовать или передавать значения заранее определенным образом.

Кроме того,Aleo создали Leo — это основанный на Rust язык программирования со статической типизацией, созданный для написания частных приложений. Он предназначен для разработчиков, которые могут интуитивно строить блокчейн Aleo, обеспечивая основу для частной децентрализованной экосистемы. Это первый известный язык программирования, который представляет среду тестирования, реестр пакетов, преобразователь импорта, удаленный компилятор и генератор теорем для приложений общего назначения с нулевым разглашением.

Leo разработан, чтобы устранить как можно больше требований к криптографическим знаниям. Более того, он разработан так, чтобы напоминать Javascript и Typescript, так что армия разработчиков JS/TS.

Aleo Studio — чтобы ускорить цикл разработки, мы создали Aleo Studio, первую IDE для написания приложений с нулевым разглашением. Aleo Studio — это интерактивная среда разработки для написания приложений с нулевым разглашением на Leo. Aleo Studio предназначена для разработчиков, чтобы упростить цикл разработки и упростить публикацию вашего проекта Leo в виде пакета в экосистеме.

Aleo Package Manager. Чтобы упростить объединение и совместное использование вашей работы, создали менеджер пакетов для Leo. Aleo Package Manager — первый менеджер пакетов для цепей с нулевым разглашением. Он включает в себя функции совместной работы, такие как команды и организации, которые упрощают работу с друзьями и коллегами над частными приложениями. Кроме того, Aleo Package Manager интегрирован с Aleo Studio, что позволяет легко импортировать и публиковать новые пакеты, не выходя из редактора.

snarkOS — Aleo работает на децентрализованной операционной системе для частных приложений под названием snarkOS. Он формирует логическую основу для переходов между состояниями и позволяет приложениям проверять и сохранять состояние в блокчейне Aleo публично проверяемым способом. snarkOS обеспечивает гарантии доступности данных на Aleo для всех программ и транзакций. Более того, наш механизм консенсуса гарантирует, что верификаторы вычисляют доказательства с нулевым разглашением для состояния контрольной точки в цепочке.

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

WebsiteDiscordTwitterGitHub