В блокчейн эфириум будет внедрен протокол casper

План развития Ethereum: единовременное внедрение Casper и шардинга

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

Развевая слухи о рассматриваемой стратегии развития, создатель сети Виталик Бутерин заявил на пятничном собрании разработчиков платформы: команда может изменить последовательность выхода двух самых ожидаемых обновлений – Casper и шардинг. Ранее мы рассматривали шардинг, как путь решения проблемы масштабируемости Эфириума – рекомендуем ознакомиться.

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

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

Бутерин добавил:

Как подробно описывается CoinDesk, текущая версия Casper (Casper FFG) тестируется в виде смарт-контракта под названием EIP 1011. Однако после недавней встречи такую разработку могут свернуть ради реализации нового проекта.

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

Скорее всего, хард-форк произойдет в течение следующих пяти месяцев. В нем основное внимание будет сконцентрировано на «обкатанных нами улучшениях, готовых к выходу», –сказал разработчик Etherium Ник Джексон.

Главные преимущества

По словам Бутерина, такая комбинация даст ряд преимуществ. Он отметил:

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

Это обстоятельство, по мнению Бутерина, позволит увеличить число людей, участвующих в стейкинге. По его словам, новая модель позволит Casper функционировать, не затрагивая сам блокчейн Эфириума.

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

Джастин Дрэйк отметил, что новая система будет иметь улучшенную безопасность, благодаря исключению конфликта между нодами Casper и шардинга. На встрече он сказал:

Источник

Источник: http://chainmedia.ru/articles/ethereum-casper-sharding/

Дружелюбный Casper: обзор нового протокола Ethereum

Одной из наиболее важных технологических новинок, которая повлияет на совершенствование сети Ethereum, является протокол Casper. Его внедрением сейчас заняты разработчики сети.

По словам основателя Ethereum Виталика Бутерина, новый протокол позволит увеличить возможности сети до «теоретического максимума». Что представляет собой Casper, читайте в новом обзоре от Coinlife.

Большинство криптовалют, включая биткоин, используют алгоритм доказательства работы Proof-of-Work (PoW). Однако именно процесс доказательства требует огромных энергозатрат.

Поэтому PoW признан крайне неэффективным процессом из-за огромного количества потребляемой энергии и мощности. Более того, те, кто могут позволить себе более быстрые и мощные ASIC-устройства, имеют больше шансов на прибыльный майнинг.

В итоге биткоин не так децентрализован, как это было задумано изначально.

Поэтому разработчики Ethereum обратили свое внимание на другой известный алгоритм – алгоритм доказательства доли владения Proof-of-Stake (PoS).

Он делает весь процесс добычи виртуальным и заменяет майнеров на валидаторов сети. Те делают ставку (блокируют монеты) на блок, который, по их мнению, может быть добавлен в сеть.

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

Проблема форков

Однако и у него есть недостаток – проблема форков. При работе на алгоритме PoW вероятность возникновения форков невелика.

При появлении «вилки» большинство майнеров предпочитает оставаться в оригинальной сети, так как это менее рискованно и более доходно. А при внедрении протокола PoS ситуация меняется.

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

Разработчики Ethereum нуждались в протоколе, который мог бы реализовать PoS и смягчить проблему форков. Таким может стать протокол Casper.

Объединение алгоритмов

Finality Gadget Casper (FFG Casper) позволяет осуществить переход на гибридный механизм консенсуса, объединяющий Proof-of-Work (PoW) и Proof-of-Stake (PoS).

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

Casper FFG

представляет собой сочетание механизма консенсуса PoW и PoS.  При его реализации облегчается переход к доказательству доли владения. Существует протокол проверки доли вдобавок к стандартному доказательству работы. Таким образом, хотя блоки по-прежнему будут добываться с помощью PoW, каждый 50 блок будет контрольной точкой PoS и будет оцениваться валидаторами.

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

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

Источник: https://coinlife.com/news/druzheljubnyj-casper-obzor-novogo-protokola-et/

Ethereum — в чем суть протокола Casper?

Оглавление

Если вас интересует Эфириум или криптовалюты в целом, тогда вы должны знать о терминах PoS и Casper в сети Ethereum. Сейчас данных стало больше, ситуация прояснилась.

В этой статье представляем окончательное руководство к Касперу и как он в корне изменит Эфириум, но  сначала пройдемся по базису.

Проблемы PoW

Большинство криптовалют, включая биткоин, использую алгоритм «доказательство работы». PoW как процесс имеет следующие шаги:

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

Это система, которую использовали Bitcoin и Ethereum (до сих пор). Однако в системе есть некоторые фундаментальные недостатки.

Проблемы с доказательством работы:

  • Прежде всего, доказательство работы является крайне неэффективным процессом из-за огромного количества энергии и мощности, которые он съедает.
  • Люди и организации, которые могут позволить себе более быстрые и мощные ASIC, обычно имеют больше шансов на прибыльный майнинг, чем другие.
  • В результате этого биткоин не так децентрализован, как было задумано. Давайте проверим график распределения хэш-мощностей:

Как вы можете видеть, ~ 65% хешета делится между пятью пулами!

Теоретически эти большие майнинг-пулы могут просто объединяться друг с другом и запускать 51% в сети.

Итак, чтобы решить эти проблемы, Эфириум будут использовать «Доказательство доли» как решение.

Что такое Proof of stake / PoS / Доказательство доли?

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

Так будет работать процесс:

  • Валидаторы должны будут заморозить некоторые из своих монет в качестве ставки (доли).
  • После этого они начнут проверку блоков. Смысл в том, что когда они обнаруживают блок, который, по их мнению, может быть добавлен в цепь, они подтвердят его, поставив на него свою долю.
  • Если блок добавляется, то валидаторы получат вознаграждение, пропорциональное их ставкам.

Какие есть опасности:

Предположим, что майнер хочет сделать форк сети. Даже если он посвятит всю свою силу хэша, этого будет недостаточно, а других майнеров привлечь трудно.

Все остальные по-прежнему будут продолжать майнить на оригинальной сети, потому что она более прибыльная и имеет меньше рисков.

PoW дорог, поэтому нет смысла тратить много ресурсов на блок, который будет отклонен сетью. Следовательно, меньше вероятность форков.

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

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

Отличия Casper от других PoS

Каспер — это протокол POS, который использует Ethereum. Главный разработчик Влад Замфир часто упоминается как «Лицо Каспера».

Casper реализовал процесс, посредством которого можно наказывать все вредоносные элементы в сети. Так будет работать PoS с Casper:

  • Валидаторы ставят часть своих Эфиров как долю.
  • После этого они начнут проверку блоков. Когда они обнаруживают блок, который, по их мнению, может быть добавлен в цепочку, они подтвердят его, поставив на него.
  • Если блок добавляется, то валидаторы получат вознаграждение, пропорциональное их ставкам.
  • Однако, если валидатор действует вредоносным образом и пытается сделать «ничего на кону», ​​он попадают в бан, вся доля будет снята.

Каспер предназначен для решения задачи византийских генералов.

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

Это не единственный случай, когда Каспер наказывает валидаторов. Например, предусмотрены наказания для валидаторов, которые находятся оффлайн.

Каспер — это не один конкретный проект. Это объединение двух исследовательских проектов, которые в настоящее время ведет команда Ethereum:

  • Каспер — дружелюбный гаджет (FFG)
  • Каспер — дружелюбное приведение (CBC)

Casper FFG, или «Каспер» Виталика, — это гибридный механизм консенсуса POW и POS. Это версия Каспера, которая реализуется в первую очередь, чтобы облегчить переход к доказательству доли владения.

Существует протокол проверки доли поверх стандартного доказательства работы.

Таким образом, хотя блоки по-прежнему будут добываться с помощью POW, каждый 50-й блок будет контрольной точкой POS, он будет оцениваться валидаторами.

Каспер CBC, или «Каспер» Влада использует протокол по построению (CBC). В нем реализуется доказательство безопасности оракула, который зовется «идеальным противником».

Зачем нужен Ethereum Casper?

Помогает добиться децентрализации

Вот распределение хэшхетов майнинг-пулов в Ethereum:

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

Поскольку они могут получить больше денег, они могут, следовательно, поставить лучшие и быстрые ASIC. Большие пулы всегда будут иметь преимущество перед отдельными людьми и маленькими пулами. Другими словами, богатые всегда будут богаче.

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

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

Энергоэффективность

Большая проблема PoW — это энергия. Некоторые страны уже потребляют меньше энергии, чем уходит на майнинг криптовалют. В этом, например, биткоин проигрывает стандартным платежным средствам, типа Visa.

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

PoS не нужно столько энергии.

Экономическая безопасность

Самое большое преимущество, которое имеет POS, и особенно Каспер, — это его экономическая безопасность. Предположим, вы являетесь валидатором и у вас есть деньги, которые хранятся как доля в сети.

В ваших интересах действовать по правилам сети. Вы не будете махинировать, потому что рискуете своими вложенными деньгами.

 Зачем вам атаковать сеть и наносить ущерб стоимости монеты, когда у вас много заблокированной валюты?

Масштабируемость

Способ, которым PoS собирается масштабироваться, — это шардинг.

По словам Влада Замфира, шардинг с PoW не невозможно, но сложно.

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

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

Итак, что вы делаете в этом случае? Берете базу и делите ее на части по какому-то признаку, из одной большой таблицы делаете ряд мелких (например по географическом признаку — пользователь из определенного города).

Шардинг делает обработку быстрее. Однако, если используется PoW, меньшие части будут подвергаться опасности: их легче перехватить из-за низкого хэширования.

Этот риск убирается в PoS, поскольку у него нет концепции добычи блоков.

Переход к POS

Самое веское замечание к протоколу PoS заключается в том, что он просто обогащает богатых. Чтобы стать валидатором, необходимо заблокировать значительную часть денег в качестве доли. Итак, если у вас больше денег в системе, вы получите больше денег. Однако это менее заметно, как в случае с PoW.

Речь не идет о том, будет ли алгоритм реализован или нет, речь идет о том, когда это будет. Мир никогда не видел полной реализации POS раньше. Peercoin делал подобное, и довольно успешно. Но у экосистемы Эфириума уровень выше.

Может быть, если Каспер будет успешно реализован, то другие криптовалюты последуют этому примеру и тоже сделают переход.

Telegram ВКонтакте Яндекс Дзен

Конвертер криптовалют

Крипта с банковской карты — как?

Источник: https://crypto-fox.ru/faq/v-chem-sut-protokola-casper/

Где же Каспер? Попытка Эфириума изобрести собственный блокчейн заново

Если вы хоть как-то следили за развитием Эфириума, вы, вероятно, в курсе, сколько разговоров ведётся внутри проекта о чём-то под названием «Proof-of-Stake» (доказательство доли).

За этим названием скрывается радикальное изменение способа формирования консенсуса внутри сети – идея достаточно простая, но в перспективе имеющая историческое значение.

История развивалась приблизительно так: Ещё в 2011 году некоторые разработчики начали выражать обеспокоенность тем, сколько энергии потребуется Биткойну, в котором используется процесс доказательства корректности транзакции, называющийся «Proof-of-Work» (PoW), при масштабировании сети (кто-то недавно подсчитал, что в перспективе Биткойн сравнится по уровню энергопотребления с Данией). Кроме того, компании, занимающиеся майнингом биткойнов, уже тогда становились крупными предприятиями, и были опасения, что это может негативно повлиять на рост числа пользователей.

Конечно, существует аргумент о том, что доказательства Proof-of-Work позволяют создать более безопасную сеть (и такая привязка конкуренции между майнерами к закону Мура привела к естественном урегулированию рынка), однако и у более экологичной альтернативы оказалось немало сторонников.

Введение Proof-of-Stake

До сегодняшнего дня протокол использовался в нескольких проектах (Peercoin, NXT и другие), но переход на него Эфириума был бы уникален тем, что это стало бы первым переключением протоколов, так сказать, «на лету». В результате Эфириум столкнулся с резкой критикой со стороны тех, кто утверждал, что и Proof-of-Stake (PoS), и внедрение его в Эфириум, могут не сработать.

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

В конце 2015 года Bitfury Group опубликовала «Белую книгу» – документ, в котором были разъяснены различия между PoW и PoS и обозначены векторы атак, способных разрушить ранние «примитивные» версии PoS.

Тем не менее, разработчики Эфириума продолжили работать над альтернативным протоколом, заявляя об определённых успехах в этом направлении.

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

Бутерин рассказал CoinDesk, что в данный момент они изучают, как можно стимулировать функционирование Эфириума совершенно новым способом:

Хоть данное Бутериным описание и может показаться сложным, по существу, оно сводится к тому, что Эфириум по-прежнему стремится придумать правильную систему стимулов для своей альтернативы доказательствам Proof-of-Work.

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

Теперь, после нескольких лет разработки, Бутерин сказал, что он «вполне уверен в работоспособности общего принципа», хотя «над деталями ещё предстоит работать».

В чём суть Casper. Объясняем.

Команда часто проводит публичные дискуссии по темам своих исследований и на данный момент опубликовала три модели с открытым исходным кодом (последнюю – в августе, здесь), которые показывают то, как работает протокол и что со временем он может стать основным.

Недавно Бутерин предложил вниманию сообщества обновление информации об исследовании протокола, а Замфир написал в своём блоге серию постов о том, каким путём он продвигался в своих размышлениях на эту тему. Разработчик Рик Дадли, аспирант компьютерных наук Лой Луу и другие также внесли свой вклад в создание протокола.

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

Цель у обоих протоколов одна: сделать так, чтобы узлы сети пришли к соглашению по поводу корректности истории транзакции.

Судя по тем нескольким этапам разработки, минувшим с 2013 года, когда Бутерин впервые объявил, что Эфириум, вероятно, отойдёт от использования PoW, реализовать PoS было непросто.

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

Что отличает Casper (и другие более новые версии) от обычного PoS – это то, что они предусматривают наказание для участников, которые играют не по правилам.

Бутерин описывает это через такую аналогию: представьте себе 100 человек, сидящих за круглым столом. У одного из есть пачка бумаг, на каждой из которых зафиксирована своя версия истории транзакции. Первый участник берёт ручку и подписывает один из листов, затем передаёт их следующему человеку, который делает аналогичный выбор.

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

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

Проблемы, которые ещё остаются

Бутерин и другие продолжают работу над ещё несколькими нерешёнными проблемами.

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

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

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

«Для того, чтобы продолжать работать, валидаторы должны вести себя должным образом», – говорит Бутерин. Однако есть ситуации, для которых правильные стимулы придумать сложнее.

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

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

В целом, по словам Виталика, осталось сделать три шага: доработать алгоритм, проанализировать его и построить тестовую сеть, после чего реализовать его для всех семи программ-клиентов Эфириума.

Мюррей сказал:

Сроки не ясны

Однако это всё ещё остаётся вопросом неопределённого будущего.

«Я предпочитаю не ставить временных рамок», – говорит Бутерин, хотя в социальных сетях он недавно высказал довольно оптимистичную оценку: конец 2017 года.

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

«Если бы Proof-of-Stake-алгоритм существовал, возможно, я бы его поддержал», – писал ранее в этом году разработчик ядра Биткойна Люк Дэш младший в социальных сетях. Но пока что он, как и многие другие, относится к этому как к несуществующему программному продукту.

На сегодняшний день, сообществу Эфириума, кажется, не терпится увидеть финальную версию.

Однако Мюррей предположил, что даже тогда, вероятно, потребуется дополнительная проверка алгоритма:

Источник: CoinDesk

Рубрики:Виталик Бутерин, Сообщество, Теория, Футурология, Ethereum, эфир

Источник: https://ethclassic.ru/2017/01/30/gde-zhe-casper/

Casper – не привидение. Что известно о новом протоколе Ethereum?

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

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

К этому добавилось высокое энергопотребление при майнинге ведущих криптовалют.

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

Проблема масштабируемости

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

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

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

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

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

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

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

Архипелаг Ethereum

Попытки решить эти проблемы привели к эпидемии хардфорков биткоина, с целью создать “новый биткоин” с повышенной скоростью транзакций. Вслед за ними  покатилась волна форков среди наиболее популярных у майнеров криптовалют, таких как Monero. Данное движение получило название “сопротивление ASICам” и с каждым месяцем стало собирать все больше сторонников борьбы с ASIC майнингом.

Casper – Friendly Finality Gadget

Фундаментальный подход к решению назревших проблем продемонстрировала команда Ethereum, решившая создать протокол, который совмещал бы в себе параметры сразу двух алгоритмов, Proof-Of-Stake (PoS) и Proof-Of-Work (PoW).

Новый протокол получил название Casper – Friendly Finality Gadget (FFG). Он призван полностью изменить принципы создания и распространения блоков Ethereum, уменьшив при этом общую сложность всего блокчейна.

Разработчики Ethereum уверены, что корнем всех проблем криптовалют сейчас является именно принцип “доказательства работы” – Proof-Of-Work (PoW):

Кроме того, производительность блокчейна на PoW ограничена и с трудом может обеспечить осуществления несколько десятков транзакций в секунду.

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

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

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

Протокол Casper станет промежуточной ступенькой в переходе от PoW к POS, сочетая возможности обои

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

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

Сам основатель сети Ethereum, Виталик Бутерин, сравнивает элементы шардинга с островами, принадлежащими к одному архипелагу:

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

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

Одновременно будет решаться задача обеспечения масштабируемости.

Новые герои

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

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

Однако если он утвердит неверный или вредоносный блок, то потеряет свое вложение.

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

Через определенное время после генерации блока должно возникнуть состояние, в котором большинство валидаторов высказывают “полное согласие” с этим блоком. Это означает, что валидаторы, в историях которых этот блок отсутствует, потеряют свои эфиры.

Такое условие желательно, оно означает, что даже “сговор большинства” не сможет провести атаку 51%, не потеряв свой депозит; предполагается, что обычные валидаторы проводят консервативную стратегию в том, что касается принятия решений с высокой ценой, так что для честных валидаторов риск очень мал.

Минимальный размер депозита валидатора установлен на уровне 1500 ETH. Достаточно внушительная сумма, которую не захочется терять. Это хороший повод задуматься, прежде чем принимать участие в каких-либо авантюрах с махинациями в сети.

Разработчики предусмотрели и решение проблемы масштабируемости сети, критическое условие для продолжения развития сети и поддержки конкурентоспособности перед более совершенными блокчейн-системами, например, Graphene:

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

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

Безопасность сети существенно смещается со сложности PoW в пользу завершенности PoS, а вознаграждение теперь будут получать как валидаторы, так и майнеры. При этом в пять раз снизится вознаграждение майнерам за добычу эфиров — с нынешних 3 ETH до 0,6 ETH. Это сделает монету менее привлекательной для ASIC-майнеров и снизит риски централизации сети.

Помимо награды майнерам, вознаграждение будет выплачиваться и валидаторам, однако в меньшем размере. Их суммарная награда составит всего 0,82 ETH за блок, что почти в четыре раза ниже нынешнего размера вознаграждения. В будущем же, по словам Виталика Бутерина, разработчики Ethereum полностью избавятся от PoW-алгоритма, оставив вознаграждение лишь для валидаторов в размере 0,22 ETH за блок:

В предположении, что общая сумма монет, находящихся на валидаторских депозитах, составит 10 миллионов ETH при процентном доходе в 5% это даст порядка 500 000 ETH в год (около 0.22 ETH за блок).

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

Последние новости

На конференции Edcon в начале мая создатель Ethereum Виталик Бутерин сообщил новые детали о “дружелюбном привидении”. В частности, в Casper помимо системы вознаграждений валидаторов будет действовать еще и система штрафов.

Главный принцип системы вознаграждений: чем больше доля владения (стейк), тем меньше процентная ставка.

Например, владелец 2,5 миллионов ETH будет получать ежегодное вознаграждение в размере 10%, а владелец десяти миллионов – всего 5%.

Размер штрафных санкций будет зависеть от тяжести прегрешений валидатора и может доходит до 100%. В частности, штрафам будут подвергаться валидаторы, слишком часто отсутствующие в сети. Возникновение проблем с шардом или диском, на котором расположен кошелек, будет наказываться штрафом в 2% от суммы депозита.

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

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

Последняя новость, связанная с “дружелюбным привидением”, поступила всего несколько дней назад – на прошлой неделе один из разработчиков Ethereum Денни Райан опубликовал на GitHub первую версию обновленного кода Casper:

Версия кода 0.1.0 знаменует начало более четкого именования релизов, что поможет клиентам и внешним аудиторам следить за контрактом и изменениями.

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

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

Запуск Casper FFG планируется летом-осенью этого года. Поскольку система будет несовместима с предыдущими версиями программного обеспечения Ethereum, обновление будет осуществлено путем хардфорка.

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

Источник: https://BitJournal.media/20-05-2018/casper-ne-prividenie-chto-izvestno-o-novom-protokole-ethereum/

Виталик Бутерин: Casper и Sharding будут активированы одновременно

Разработчики сети Ethereum обсудили возможные изменения в последовательности активации наиболее ожидаемых обновлений платформы — протокола Casper и шардинга. По словам сооснователя сети Виталика Бутерина, решения будут активированы одновременно.

Напомним, PoS-алгоритм консенсуса сети Ethereum Casper, интеграция которого давно запланирована разработчиками, обещает быть более энергоэффективным и предусматривать большее равноправие, чем существующая система PoW, а шардинг, в свою очередь, позиционируется как ключ к решению проблемы масштабируемости сети, что существенно увеличит число транзакций.

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

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

Как известно, текущая версия протокола Casper — Casper FFG — тестировалась в клиентах Ethereum в форме смарт-контракта, получившего название EIP 1011 — решения, от которого теперь можно отказаться в пользу новой разработки.

Автор EIP 1011 Дэнни Райан (Danny Ryan), отметил, что ему «потребовалась секунда, чтобы переварить информацию», но он полностью согласен, поскольку объединённая система позволит команде «добиться желаемого скорее».

В частности, запуск Casper в шарде имеет ряд преимуществ, например — значительное уменьшение размера депозита, требуемого для участия в стейкинге, — с 1500 ETH до 32 ETH, что обусловит более эффективное участие большего количества пользователей. Кроме того, как отмечает Бутерин, новая модель позволит Casper эксплуатироваться, не мешая самому блокчейну Ethereum.

С доводами согласился и разработчик проекта Sharding Джастин Дрейк (Justin Drake).

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

Кроме всего прочего, речь идёт о новом уровне взаимодействия исследовательских групп Casper и Sharding.

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

По словам разработчика Ника Джонсона (Nick Johnson), хардфорк, вероятно, состоится в течение пяти месяцев и представит «улучшения», способные «сгладить» определённые острые углы: они почти готовы к запуску и не связаны с разработкой протокола.

Источник: https://coinmarket.news/2018/06/18/vitalik-buterin-casper-i-sharding-budut-aktivirovany-odnovremenno/

Есть ли альтернатива «доказательству работы»? Изучаем Casper —

Можно сказать, что поиск альтернативы концепции «Proof of Work» превратился в криптовалютной среде в аналог поисков Святого Грааля. Мы уже не раз публиковали материалы на эту тему.

Проект Эфириум в последнюю пару лет служит интересным источником технологических инноваций.

Возможно, им есть что сказать и по этому поводу? В стратегии развития этого проекта особую роль играет грядущий переход на вариант системы Proof of Stake под кодовым названием Casper. Пришло время разобраться, что это за штука.

Casper — ориентируемся на наихудший возможный экономический анализ

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

Подобно любой другой цифровой валюте на основе блокчейна, всегда существует возможность атаки на сеть.

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

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

Casper — проект, разработанный как раз для достижения этой задачи.

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

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

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

Casper называют «дружелюбным привидением» потому, что он является адаптацией принципов протокола консенсуса Proof-of-Work к Proof-of-Stake. GHOST (англ.: привидение) — аббревиатура Greedy Heaviest-Observed Sub-Tree (Жадное Самое Весомое-из-Известных Дочерних-Деревьев).

Но что же насчет PoS?

Одним из старейших альтернативных механизмов консенсуса является «подтверждение доли» (Proof-of-Stake, PoS).

Идея довольно проста: вероятность создать новый блок и получить соответствующее вознаграждение пропорциональна доле владения пользователя в системе (а не объему вычислительной мощности, как в PoW).

То есть, держатель валюты, имеющий, скажем, 20% от общего числа монет в обороте, может создать новый блок с вероятностью 20%. Чтобы подчеркнуть отличие от PoW майнинга, в PoS системах процесс создания новых блоков обычно называют минтингом (“чеканка” блоков).

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

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

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

И хотя «подтверждение доли» является экономически эффективным способом защиты безопасности сети, есть серьезные вопросы, которые требуют решения. Прежде всего, существет проблема «nothing at stake» (на кону ничего не стоит).

Грубо говоря, узлы-минтеры могут легко подписывать все варианты блоков, в том числе мошеннические — и им ничего за это не будет. Это означает, что нормальные узлы PoS не могут достигнуть Византийского консенсуса.

Кроме того, то что узлы с токенами не несут эффективных расходов, приводит к подрыву доверия к системе через распространение мошенничества. Некоторые из проблем традиционных систем PoS были описаны в этой работе исследователей BitFury.

PoS основанный на залоге может решить как минимум проблему «nothing at stake», поскольку он будет требовать опубликования информации о поведении узла в протоколе консенсуса.

Это позволит применять суровое наказание к узлам, которые станут известны своим некорректным поведением в плане поддержания Византийского консенсуса.

Что еще более важно, достижение консенсуса будет легко для всех, кроме злоумышленников, атакующих систему.

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

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

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

Как работает Casper

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

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

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

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

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

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

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

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

Если клиент не знает текущий список валидаторов с депозитом, он должен проверить список внесетевыми (относительно Каспер) средствами.

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

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

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

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

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

Свойство «внесетевой проверки как минимум однажды» Виталик Бутерин называет «слабой субъективностью». В таком контексте, информация называется «объективной», если она может быть проверена способом, определенным протоколом. С другой стороны, информация является «субъективной», если должна быть проверена средствами, не входящими в протокол.

В слабо-субъективных консенсус-протоколах, отслеживается правило выбора форка, и клиенты должны инициализировать (и, возможно, иногда обновлять) информацию, которая используется ими в качестве правила для выбора форка, с целью проверки консенсуса.

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

Азартные игры на консенсусе

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

Более того, сам по себе процесс консенсуса «происходит» как следствие сделанных ставок: валидаторы вынуждены делать ставки своими депозитами в соответствии с ожиданием того, как остальные сделают ставки своими депозитами.

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

Источник: https://bitnovosti.com/2016/01/02/understanding-etherium-casper-and-pos/

Новый Эфириум с нуля: протокол Casper CBC Влада Замфира будет реализован на платформе RChain — Bitcoin Новости 24/7

В начале 2017 года проект Rchain находился на грани краха.

Его основатель Грег Мередит (Lucius Greg Meredith) был со скандалом уволен с должности технического директора проекта децентрализованной социальной сети Synereo, в основе которого как раз и должен был находиться блокчейн Rchain.

Более того, все средства, собранные в ходе ICO и продажи акций, остались в Synereo. Для продолжения разработок, в конце января Мередит основал в Сиэтле кооператив Rchain, в будущее которого тогда мало кто верил.

Чтобы получить финансирование, Мередит выбрал схему закрытой продажи токенов Эфириума (ERC20) RHOC аккредитованным инвесторам, каждый из которых должен был приобрести токены на сумму не менее $50 000 в криптовалюте, причем все инвесторы становились полноправными участниками кооператива, имеющими право голоса в управлении собранными средствами.

Вторую многочисленную группу держателей RHOC составили инвесторы в Synereo: в результате акции, проведенной кооперативом, любой владелец нативных токенов Synereo (AMP) мог обменять их на RHOC в соотношении 1:1.

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

Закрытая продажа токенов прошла с 28 августа по 28 сентября и принесла порядка $10 миллионов, полученные от покупателей из 10 штатов США и 19 стран. По меркам лета 2017 года это более чем умеренная сумма, однако, в отличие от других проектов, токенсейл проходил в США и был существенно ограничен необходимостью соответствия законодательства об инвесторах.

В сентябре в Совет Директоров кооператива RChain вошел один из ключевых разработчиков протокола Casper CBC Влад Замфир, а операционным директором стал Кенни Роу (Kenny Rowe), сооснователь проекта MakerDAO.

Годовой отчет и общее собрание кооператива RChain

24 октября состоялось годовое собрание членов кооператива. Грег Мередит отчитался о ходе разработок и еще раз подтвердил, что основной блокчейн Rchain должен быть запущен в третьем квартале 2018 года.

Сразу же после запуска держатели токенов RHOC смогут обменять их на нативные токены RChain (REV, не совместимые с Эфириумом) в соотношении 1:1.

Первый релиз Rchain носит название Mercury и в него будут включены следующие элементы:

  • Контракты токенов REV

  • Контракты кошельков

  • Язык программирования Rholang

  • Слой консенсуса PoS Casper CBC

  • 100 нод валидаторов

Что касается токенов RHOC, находящихся в обращении, то их максимально возможное общее количество 1 миллиард, однако их них 129 336 426 уже сожжено (т. е., отправлено на адрес, у которого не существует приватного ключа), таким образом, их реальное общее количество 870 663 574 RHOC.

В казначейском кошельке находится 688 700 379 RHOC, а в свободном обращении 181 963 195 RHOC. Если для операционной деятельности в 2018 году потребуются дополнительные средства, то кооператив продаст необходимое количество токенов из казначейского кошелька. Собрание постановило, что в течение 2018 года верхняя граница продаж составит не более 200 миллионов RHOC.

Организацией продаж токенов будет заниматься Кенни Роу, уже имеющий опыт подобных продаж в MakerDAO.

Что такое Rchain

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

Rchain, как и Эфириум – блокчейн общего назначения и платформа Тьюринг-полных смарт-контрактов.

В RChain с самого начала заложен полноценный консенсус PoS Casper CBC в версии Влада Замфира, и шардинг, имплементация которого в Эфириуме предполагается не раньше, чем через несколько лет.

Его цель – создание глобальной платформы для децентрализованных экономических приложений с использованием языка смарт-контрактов Rholang.

RChain основан на формальном математическом аппарате ρ-calculus (ро-исчисление – альтернатива другим подходам в теории исчисления процессов или алгебры процессов).

Математическая основа RСhain впервые была опубликована в 2005 году, в работе Мередита «Рефлективное исчисление высокого порядка».

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

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

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

В описании архитектуры RСhain особо отмечается необходимость различать понятия:

Rholang – рефлективный язык программирования Rсhain, написанный с использованием аппарата ρ-calculus, и конкурентность – его базовый принцип.

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

Мередит утверждает, что если бы код смарт контрактов TheDAO был написан на Rholang, ограбление стало бы невозможным. 

Конкурентность процессов – критическое свойство шардинга, когда каждый валидатор подписывает не все транзакции блокчейна, а только те, которые находятся в его шарде (ветви блокчейна).

В то время как двухуровневая архитектура шардинга Эфириума – основной блокчейн и его ветви, создает проблемы при взаимодействии разных частей смарт-контракта, находящихся на разных шардах, Мередит утверждает, что проблема легко решается методами ρ-calculus.

Первые впечатления

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

Тем не менее, Грег Мередит имеет высокую репутацию как в академических кругах, так и в среде разработчиков Фонда Эфириума.

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

К тому же при реализации своих замыслов, груз его ответственности существенно ниже: ему не приходится оглядываться на существующую 40-миллиардную сеть и армию PoW майнеров, ревниво обороняющих свои фермы, так что он может проводить в жизнь существенно более смелые решения, чем разработчики Эфириума, и не тратить время и силы на компромиссы. 

Сообщество охотно простило Мередиту громкий «развод» с проектом Synereo; еще одним доказательством правильности его позиции стало то, что после скандала Synereo так и не смог предложить рынку сколько-нибудь убедительного продукта.

До третьего квартала 2018 года ждать не так уж и долго, ну а пока, в отсутствие работающих рынков предсказаний Эфириума, можно оценивать «мудрость толпы» по графикам Coinmarketcap, где с момента листинга Rchain 15 ноября, его капитализация на момент написания статьи увеличилась с $24 до $42 миллионов.

При написании статьи использовались источники:

  • Архитектура RChain

  • Итоги общего годового собрания кооператива RChain

  • Блог Coinfund Введение в RChain

  • Источник

    Источник: https://BitFeed.ru/novyj-efirium-s-nulya-protokol-casper-cbc-vlada-zamfira-budet-realizovan-na-platforme-rchain/

    Ссылка на основную публикацию