Иск на 3,3 миллиарда долларов: «решил» ли блокчейн Cardano проблему доказательства доли владения?

«Проблема доказательства доли владения решена».

Даже в отрасли, где не было недостатка в громких заявлениях, эти слова, произнесенные предпринимателем Чарльзом Хоскинсоном,в апреле, привлекли внимание.

Генеральный директор блокчейн-компании IOHK (и бывший генеральный директор Ethereum) Хоскинсон пытался донести до общественности информацию о новой исследовательской работе, ONE, по его мнению, доказывает, что новый подход компании к достижению консенсуса в блокчейнах под названием Ouroboros решает давние опасения относительно того, может ли эта модель в достаточной степени обеспечить привлечение средств инвесторов.

Учитывая масштаб претензии (и ее влияние), это утверждение вызвало сомнения у более известных конкурентов Cardano. Однако несколько месяцев спустя команда IOHK утверждает, что Ouroboros может стать ответом на ONE из самых спорных вопросов в криптовалюте — предлагают ли так называемые системы proof-of-stake решения некоторых насущных проблем отрасли.

Пока что рынок, по-видимому, заинтересован в возможности поддержать этот тезис.

Вскоре Ouroboros станет основой публичного блокчейна Cardano, и ONE он сможет поддержать восьмую по величине Криптовалюта в мире с ее 25 миллиардами токенов ADA стоимостью $3,3 млрд. А взгляд на историю систем proof-of-stake, возможно, покажет, почему на кону так много денег.

Впервые представленный разработчиками Скоттом Надалем и Санни Кингом в 2012 году, алгоритм Proof-of-Stake предлагает то, что считается более устойчивой альтернативой Proof-of-Work — методу консенсуса, лежащему в основе крупнейшего в мире по рыночной капитализации блокчейна Bitcoin.

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

Таким образом, хотя безопасность биткоина сравнительно доказана (его блокчейн в настоящее время приносит доход в размере 114 миллиардов долларов и держится уже много лет), многие Криптo считают, что доказательство доли владения необходимо для перехода отрасли на следующий этап, на котором пользователям больше не придется владеть оборудованием, чтобы претендовать на вознаграждение блокчейна.

Проблема в том, что ONE не может прийти к единому мнению о том, как это следует сделать.

«Различные алгоритмы консенсуса хорошо работают в разных средах», — сказал Нейт Раш, исследователь Proof-of-Stake для Ethereum, в интервью CoinDesk. «Если предположения о том, что некий протокол «решён», оказываются неверными или нереалистичными, то этот протокол может потерпеть неудачу».

Тем не менее, команда Cardano, IOHK, работала над обеспечением академического партнерства, а также отношений с исследователями в области распределенных вычислений, чтобы доказать возможность реализации модели Proof-of-Stake.

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

Киайяс рассказал CoinDesk:

«В отличие от [других протоколов Proof-of-Stake], мы разработали Ouroboros вместе с формальным доказательством безопасности, которое подтверждает, что протокол действительно отражает свойства безопасности надежного реестра транзакций, такого как Bitcoin».

Рецензируемый протокол

Но не согласны с этим не только исследователи Proof-of-Stake — в более широком контексте консенсусного проектирования есть некоторые, кто считает, что Proof-of-Stake обречен с самого начала.

Например, Далия Малхи, исследователь распределенных систем, заявила:ранее в этом году что модель доказательства доли владения Ethereum, Casper, «в корне уязвима», что приводит к системе, в которой консенсус поддерживается богатыми.

Тем не менее, в этой атмосфере скептицизма Cardano удалось заручиться высокой академической поддержкой, выстроив стратегические отношения с университетами через IOHK — коммерческую компанию с центрами в нескольких университетах, включая Токийский Технологии институт в Японии, Афинский университет и Эдинбургский университет.

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

По словам Хоскинсона, эти академические партнерства, отвечающие за Ethereum Classic и Zencash, а также за сам Cardano , вносят свой вклад в Криптовалюта решения IOHK.

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

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

«Мы привлекли целый ряд людей, которые на самом деле пытаются взломать или улучшить наши CORE протоколы, и в результате этого была проделана огромная тяжелая работа», — рассказал Хоскинсон CoinDesk.

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

В настоящее время Хоскинсон дорабатывает окончательные детали в ходе моделирования, и он настаивает на том, что Ouroborus имеет преимущества перед другими протоколами. Например, он говорит, что эта система — ONE , которая позволит пользователям делать ставки из холодного хранилища и использовать несколько адресов для управления своими финансами.

Хоскинсон рассказал CoinDesk:

«Долгосрочная цель — попытаться полностью воспроизвести все возможности безопасности и функциональные возможности, которыми обладает система Proof-of-Work, фактически не затрачивая при этом ни электричества, ни усилий, которые требуются для Proof-of-Work, и LOOKS , что теперь, когда мы потратили около двух с половиной лет на исследования этой темы, Ouroboros приближается к этой стадии».

Теоретические неизвестные

Тем не менее, на момент написания статьи неясно, как протокол поведет себя в реальных условиях, и есть моменты, когда широкое сообщество исследователей Proof-of-Stake T совсем восприимчиво к заявлениям Кардано.

Например, ONE не был столь критичен, как создатель EOS Дэн Лаример, бывший коллега Хоскинсона, кто написал что «Уроборос — это 400-фунтовый бронежилет, который на самом деле T останавливает настоящие пули», но и утверждает, что это плохо продуманный вариант алгоритма, который он разработал в 2014 году.

(EOS использует форму доказательства доли владения, которая опирается на делегированные узлы, которым поручена задача достижения консенсуса.)

Ethereum, соучредителем которого был Хоскинсон, также проявил скептицизм.

Например, говоря оРеддитОснователь Ethereum Виталик Бутерин предупредил, что ONE из предположений о безопасности блокчейна может позволить хакерам создавать ложные истории в блокчейне.

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

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

Теория встречается с реальностью

Однако, по словам Эмина Гюна Сирера, профессора Корнелльского университета и исследователя консенсусных протоколов, это типично для данной области.

«Преимущество Ouroboros в том, что он рецензируется коллегами, а за его работой стоит авторитетная исследовательская группа», — сказал Гюн Сирер CoinDesk. «Но у него также есть недостаток, присущий многим ранним протоколам Proof-of-Stake, а именно: статьи длинные, плотные и полны тонких доказательств».

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

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

В связи с этим Хоскинсон заявил, что ожидает в будущем появления новых исследований Уробороса и Cardano .

«Мы все говорим о Tendermint, Decred и Casper, потому что они приняты в отрасли и имеют хороший маркетинг», — сказал Хоскинсон.

Однако он продолжил:

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

Кубик Рубика через Шаттерсток