Видение призраков: Виталик наконец-то формализует обновление Casper на Ethereum

Casper начинает меньше походить на привидение.

Хотя для долгожданных приверженцев Ethereum это может показаться слишком хорошим, чтобы быть правдой, CoinDesk подтвердил, что создатель сети Виталик Бутерин в настоящее время занимается разработкой трех официальных документов, описывающих Casper— долгожданную версию консенсуса Proof-of-Stake протокола.

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

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

Поскольку Proof-of-Stake позиционируется как важнейшая часть Ethereum, пользователям пришлось поверить, что у разработчиков действительно есть хороший план.

Таким образом, официальные документы Бутерина теперь будут подвергать разработчиков Ethereum экспертной оценке, что может стать большим шагом вперед для проекта, который в настоящее время готовится к обновлению до Metropolis, прежде чем перейти на Proof-of-Stake.

«Короче говоря, проекты Casper становятся лучше с каждой итерацией», — рассказал CoinDesk разработчик Ethereum Вирджил Гриффит, известный хакер и разработчик Ethereum , который в настоящее время изучает технические документы Бутерина.

Последние пару недель статьи скрывались в документах на GitHub, посвященном исследованиям Ethereum , а Бутерин и Гриффит время от времени вносили в них обновления.

Однако стоит отметить, что работа находится на ранней стадии. Документы, в которых есть вопросительные знаки и несколько пузырей «скоро!», разбросанных повсюду, T будут готовы по крайней мере в течение месяца, сказал Гриффит, добавив:

«Я работаю над ними, пока печатаю это».

Медленно и размеренно

Theпервая статья«Casper — дружелюбное финальное приспособление» — пьеса по мотивам фильма 1990-х годов «Casper — дружелюбное привидение» — объясняет, как работает система консенсуса на высоком уровне.

Примечательно, что в документе повторяется недавнее изменение направления для Ethereum. Вместо того, чтобы сразу перейти от proof-of-work к proof-of-stake, план состоит в том, чтобы начать медленно, сначала сплетая их вместе.

В статье поясняется:

«Механизм предложения изначально будет основан на существующей цепочке доказательства работы Ethereum , что сделает первую версию Casper гибридным алгоритмом PoW/PoS, который полагается на доказательство работы для жизнеспособности, но не безопасности, но в будущих версиях механизм предложения может быть заменен чем-то другим».

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

Далее в статье рассматриваются возможные атаки, такие как «атаки дальнего действия», которые могут попытаться использовать валидаторы, а также то, как Casper намерен их преодолеть.

Дьявол кроется в деталях

В двух других работах подробно описываются детали системы.

Под названием «Стимулы в Casper — дружественном гаджете Finality»вторая статьяисследует стимулы, необходимые для того, чтобы система работала и T дала сбоев.

Для Casper есть два типа вещей, которые могут пойти не так: «Ошибки безопасности» происходят, когда нарушаются правила, например, когда два валидатора выдают несовместимые состояния. «Ошибки жизнеспособности» происходят, когда система останавливается или не может провести транзакции.

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

Третья статья <a href="https://github.com/ethereum/research/blob/master/papers/censorship_rejection/censorship_rejection.pdf">Ethereum</a> , «Автоматическое отклонение атак цензуры», фокусируется на атаках 51%, при которых майнер или майнинговый пул аккумулирует большую часть вычислительной мощности сети, а затем может искажать правила системы в своих интересах, например, осуществлять двойную трату или блокировать транзакции.

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

В статье Бутерин утверждает, что Casper смягчает эту проблему, поскольку протокол наказывает злоумышленников, изымая их депозиты, если они делают что-то неправильно.

Другой подход

Однако стоит отметить, что подход Бутерина к доказательству доли владения, изложенный в этих документах, T является единственным.

Влад Замфир из Ethereum Foundation, который руководит фактической разработкой Casper, сообщил, что планирует опубликовать более подробную информацию о своей версии Casper до Devcon, крупной конференции разработчиков Ethereum, которая состоится осенью.

Он сказал CoinDesk:

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

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

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

И при этом неясно, будет ли теория о Casper полностью опровергнута до того, как люди увидят призрака в реальной жизни.

Призракизображение через Shutterstock