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

В начале 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 миллионов.

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

Источник: bits.media