Перейти к публикации
GlavFish

Tezos [XTZ] - блокчейн с полной формальной верификацией с поддержкой смарт-контрактов

Рекомендованные сообщения

Обзор проетка: блокчейн с полной формальной верификацией с поддержкой смарт-контрактов

 

076af1a15d6c8d5f7c66707a4178acbd.png

 

Официальный сайт: https://tezos.com/

Команда проекта: Arthur Breitman, Kathleen Breitman, Ryan Jesperson, Çağdaş Bozman, Mohamed Iguernlala, Michael Laporte, Fabrice Le Fessant, Alain Mebsout

Поделиться сообщением


Ссылка на сообщение

Источник: Norn Digest

Tezos Blockchain. Готовка

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

Ингредиенты

Работу сети Tezos обеспечивают Ноды-Делегаты (Бейкеры или Пекари) — они создают, или выпекают, новые блоки и включают в них операций пользователей. Права на создание блоков распределяются случайным образом среди всех зарегистрированных Бейкеров пропорционально их стейку – объём собственных средств и полученных путём делегирования от других участников, такие пользователи называются Делегатами. В сети Тезос монета = голос, соответственно Делегатор предоставляет право голосования от своего имени Бейкеру, но сами монеты физически остаются у Делегата.

Для оптимизации расчёта применяется термин ролл – это фиксированных объем монет, минимально необходимый для получения прав на выпечку. Протокол определяет следующее значение для количества токенов на один ролл: TOKENS_PER_ROLLS = 10,000 tokens, каждый ролл увеличивает шанс на выпечку блока, блоки же группируются в циклы. Количество блоков в цикле: BLOCKS_PER_CYCLE = 4,096 blocks.

 

Схематический процесс бейкинга

В блокчейне Тезоса есть два вида операций, за которые ноды получают вознаграждения: создание-выпечка блока (baking) и заверение блока (endorsement). Заверение блока не является необходимой для работы блокчейна операцией, но повышает устойчивость сети. Каждый блок заверяется в следующим за ним блоке. Операция заверения прибавляет соответствующей цепи «вес», так как подтверждается согласием Бейкеров с тем, что предыдущий блок принадлежит основной цепи. На каждый блок выделяется несколько слотов - возможностей заверить блок, в текущем протоколе это ENDORSERS_PER_BLOCK = 32.

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

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

Tezos. Сколько стоит нода?

На текущий момент системные требования к Бейкеру следующие:
- Linux Ubuntu 18 LTS - практика показала, что на 18 версии софт ведет себя наиболее стабильно. 
- минимум 8 Гб оперативной памяти 
- минимум 100 Гб пространства на SSD с возможностью расширения - этого места хватит примерно на 1 год, а далее потребуется расширять, так как за 4 месяца неактивного использования блокчейн Tezos весит ~30 Гб.
- статический ip-адрес - почему-то этого нигде не пишут, но он необходим для стабильной работы, иначе при смене ip нода будет зависать и придется пользоваться дополнительными скриптами для контроля.
- Минимум один ролл - 10,000 tokens.

Дополнительно могут потребоваться:
- резервный канал интернета
- источник бесперебойного питания 
- Для обеспечения дополнительной безопасности может потребоваться Ledger nano S или еще один компьютер, например, Raspberry Pi 3, для работы с Tezos-signer, так как в самом простом сетапе приватный ключ хранится на ноде

Итог:
На оборудование придется потратить около 500-600 $ и 10 000 XTZ, что составит ~13 000 $, плюс ежемесячные траты на интернет и электроэнергию

 

 

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

Делегатор

Для начала определим кто же такой Делегатор и кратко объясним алгоритм DPoS. В прошлый раз мы сказали, что Tezos использует PoS алгоритм, но на самом деле это Delegated Proof of Stake, в нём участники могут делегировать свои монеты. В случае Tezos вы передаёте их в менеджмент ноде, но у вас всегда остаётся возможность управлять ими по своему усмотрению. Участник делегирующий монеты называется Делегатор.

Для делегирования необходим Tezos кошелёк, с помощью которого создаётся KT адрес, далее выбрать Бейкера... делегировать! Условия делегирования Бейкер определяет самостоятельно и мы настоятельно рекомендуем прежде всего ознакомиться с ними, а также заранее связаться с владельцем ноды, вполне возможно Бейкер переделегирован и не принимает новые депозиты. Чаще всего различия в условиях заключаются в требованиях к минимальной сумме делегирования и размерах комиссий.

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

Поделиться сообщением


Ссылка на сообщение

Источник: Norn Digest

 

Tezos. Каков доход?

Чтобы корректно рассчитать доходность необходимо разобрать особенности протокола в числе которых инфляция, роллы и зависимость от их общего количества.

Инфляция

На данный момент составляет 322552 XTZ за цикл, а в году примерно 128 циклов. Максимально возможная 327680, но т.к. кол-во выпекаемых монет ограничено, то со временем % инфляции уменьшается относительно общего количества.

Особенности роллинга

Ролл - право на получение шанса на выпечку блока

Начнём с формулы, по которой определим шансы:

N - наши роллы, NRolls - всего роллов в системе, 1 ролл = 10 000 XTZ

4096 * N / NRolls ~ 0.09 блока

Чтобы выпечь 1 блок ноде с 1 депозитом потребуется 11 циклов

Не забываем про процесс заверения блоков

32 *4096 * N / NRolls ~ 2,5 слота

Один блок в блокчейне Tezos формируется минимум 60 секунд. Однако, если блок не создаётся Бейкером с нулевым приоритетом, то его создаёт следующий в очереди Бейкер, и тогда время формирования блока составит 75 секунд. В качестве примера представим что 5% всех блоков выпекается вторым в очереди бейкером

4096 * 95% + (4096 * 5% * 75) ~ 32 дня

Расширенные требования к депозиту

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

 

 

 

Рост состоит из двух компонентов

  • Активации монет распределенных в результате ICO.
  • Генерация новых монет

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

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

 

BLOCK_SECURITY_DEPOSIT = 512 XTZ на выпечку блока
ENDORSEMENT_SECURITY_DEPOSIT = 64 XTZ на заверение

 

Каждый цикл блокирует PRESERVED_CYCLES = 5 циклов. Таким образом, ноде будет требоваться сумма равная депозитам за 6 прошедших циклов. При наступлении 7-ого цикла, средства, заблокированные в 1-ом цикле, будут разблокированы вместе с вознаграждениями. Суммы депозитов постоянно растут до 64 цикла, из-за роста размера депозитов на выпечку и заверение, а с 65 цикла начнут падать вместе с наградой за цикл. Соответственно, растет и необходимый процент стейка, который нода должна иметь на своем адресе, чтобы работать без пропусков.

Примерный расчёт доходности

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

  • Смотрим кол-во роллов в системе

https://tzscan.io/rolls-distribution

  • Определяем шансы на выпечку исходя из п.1 и наших роллов

4096 * 1 / 45500 = 0,09%

  • Определяем сколько мы можем заверить

32 *4096 * N / NRolls ~ 3

  • Определяем длительность цикла

4096 * 95% + (4096 * 5% * 75) = 2 дня 20 часов

  • Заключительный расчет

32 *4096 * N / NRolls * 2 XTZ + 4096 * N / NRolls * 16 XTZ= 7,2 XTZ за цикл

На примере Norn Delegate, при помощи tzscan.io

В цикле 37 он получит возможность выпечки 4096 * 66 / 42048 ~ 6 блоков , а возможностей для заверения в 32 раза больше: 32 *4096 * 66 / 42048 ~ 206. Реальные числа могут сильно отличаться из-за элементов случайности в распределении блоков, но на длинной дистанции они будут стремиться к расчетным.

Заключение

Сейчас доходность составляет примерно 9% годовых в XTZ

Но будет постепенно уменьшаться

На этом наш трех статейный цикл про Тезос завершается. Для вас старались члены Norn community, надеемся вам понравилось и всё стало чуточку понятнее, но если у вас остались вопросы вы можете задать их в нашем чате или в чате нашего пекаря.

Поделиться сообщением


Ссылка на сообщение

Источник: tezos news

Начат процесс добавления технологии zk-SNARKs (реализация неинтерактивного доказательства с нулевым разглашением (https://ru.wikipedia.org/wiki/%D0%94%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D1%81%D1%82%D0%B2%D0%BE_%D1%81_%D0%BD%D1%83%D0%BB%D0%B5%D0%B2%D1%8B%D0%BC_%D1%80%D0%B0%D0%B7%D0%B3%D0%BB%D0%B0%D1%88%D0%B5%D0%BD%D0%B8%D0%B5%D0%BC) в tezos. Причем добавляют сразу вместе с Sapling, октябрьским апдейтом Zcash (на разработку которого потратили 2 года), повышающим эффективность shielded (экранированные или защищенные) транзакций и добавляет возможность легким клиентам их использовать. Напомню, что Бутерин также высказывался (https://ethresear.ch/t/on-chain-scaling-to-potentially-500-tx-sec-through-mass-tx-validation/3477) о добавлении технологии zk-SNARKs в Ethereum для масштабирования транзакций на первом уровне протокола.
https://gitlab.com/tezos/tezos/blob/1cd31972ed2de9deee77592b8ffc5fb3d0170d1a/vendors/ocaml-sapling/README.md

Поделиться сообщением


Ссылка на сообщение

Сравнение tezos с Cosmos:

https://medium.com/@Wetezwallet/classification-after-pos-3-0-lets-talk-about-cosmos-bond-pos-51649bd2da37

 

Скрытый текст

Recently Wetez is preparing for the Cosmos GameofStake. Wetez has also been running on the Cosmos test network. In the upcoming December, the probability of release of Cosmos mainnet is very high. Like Tezos, Wetez will also dedicate to be a genesis validators on Cosmos(Interchain Foundation).

It took a while for us to study the consensus of Cosmos. In the beginning, I felt that the PoS of Cosmos and the PoS of Tezos were not much different, but as I dig deeper, I found out some stunning parts. A little obvious feeling is that Cosmos is more comprehensive than my imagination in the system integration part. Cosmos goes deeper, but is slightly rough and rushed; On the other hand, Tezos is rich in the foundation, the fundamental code is quite structured. There is no serious problem after the mainnet launch. Tezos is moving step by step.


I guess what makes difference is the location of each team. The team of Tezos is in Paris, and Cosmos is originated from Toronto, San Francisco, and Berlin. Culture shapes different attributes.

Comparing the PoS mechanism of these two outstanding projects, there are different parts, same parts and each of projects has its own advantages and disadvantages:

  1. Nothing At Stake and on-chain governance
 
1*XiuBrWX6Phz1-0fSY-uAoQ.png

Both of them use the deposited bond and slash punishment method to solve this important problem, Nothing At Stake, during PoS 1.0 to PoS 2.0. The definitions of Slash fo each project is different. Cosmos will punish validators if they don’t vote. Tezos stresses the on-chain governance but Tezos didn’t include the vote to their slash mechanism. In the comparison of governance implementation, Cosmos is more radical. During the test net period, Wetez did not vote for the proposal and therefore lost lots of token because of Slash. A bloody lesson for us. (Fortunately, it is only the test coin lol).

Tezos just launched their vote module and I am looking forward to the interesting experiment of the idea of Futarchy. Cosmos’s voting process will follow the mainnet, and we can discuss more by that time. Compare governance difference now, Tezos emphasizes the percentage of voting and participation. Furtarchy can somehow solve the problem of participation, but predicting market of voting is hard to be put into practice.(If you are interested in idea of Furtarchy, check this mediumIn summary, Cosmos’ on-chain governance is relatively mediocre. Tezos is more radical and we look forward to see how Tezos achieves it.

2. Delegation in PoS consensus

This analysis is helpful for cryptocurrency holders. Like Tezos, Cosmos has additional bonus rewards for nodes to ensure the stability of the network every year. The holder of the Atom can share and obtain the right of bonus rewards by delegating to validators. If they don’t perform their right of delegation, the exisiting Atom will be diluted because of annual inflation in Cosmos system. The situation is quite scary for Cosmos. Currently seen in the white paper describes that in the case of two thirds of token participation, there will be 7% of inflation. In the case of less than two-thirds of token participation, the maximum inflation can be 22%

 
1*NTD6YQwi9JuI6X4ZVOdIOA.png

According to our experience of Tezos, if it is still in a bear market like now, deposited Atom can exceed more than two thirds of total amounts in the fourth month after the mainnet launch. If it is in the bull market, it will be hard to say. The liquidity will be relatively high. For Atom holders, the dividend reward of delegation is higher in the early stage so don’t forget to delegate your Atom.

3. Deposited Bond details

Tezos’ delegation market has long-term hidden danger. In the early days, bakers shouted to community that they can pay the deposited bond for delegators. However this leads to bad habits continuing to this day and if you google the over-delegated problem, you will find more discussion. The way how Cosmos does is more thoughtful. If you want to entrust the node for delegation service, clients need to undertake the bond lost on their own.

On Cosmos, deposited bond is a concept of the pool. If the validators do evil or are not competent to maintain the blockchain, the bond will be deducted as punishment. Validators and Clients bear the loss together. On Tezos, the deposited bond is the concept of the block, if validators pay the bond for their clients, only validators will undertake the cost in each block.

Validators as a crucial part of PoS consensus. It derives into two different kinds of PoS because of the deposited system.

4. Bond-PoS

Cosmos officials tend to call their consensus as Bond-PoS. Personally I think that Cosmos’s consensus is an enhanced version of DPoS with BFT and bond mechanism. EOS is based on DPoS consensus, and there are 21 validators. Cosmos add more validators to 100 in the early stage, validators is chosen from staking amount rather than vote and validators needs bond as deposit.

Cosmos has the most stringent requirement for validators in history. It requires validators should be companies, should build their own hardware, should vote for all proposals, and etc. Being a validator on Cosmos is not easy. Community responsibility and competence of maintaining a node are indispensable.

5. Block confirmation

If Cosmos is an enhanced version of DPoS, it will definitely be faster, and the actual test result proves it. Tezos is fixed for 60 seconds per block. Cosmos is about a few seconds but it is not fixed yet. It shouldn’t just compare TPS because they are based on different mechanisms. The validator can only propose one block in each round. During that round, there will be a prevote and pre-commit phase. Block is confirmed by passing two-thirds of participants in each phase. If it is successful, it will be very fast. However, If it is not successful, it needs to restart one round again. It is hard to say how long one block confirmation will be until the real situation happens.

Tezos is different. Tezos can propose multiple blocks at the same height, and choose the most endorsements block finally. Cosmos cannot propose multiple blocks. If one block propose fails, it will start again. Of course, both projects have slash punishment for double signs, which will help prevent forks and prevent the chaos in BCH community from happening.


There are still many aspects to compare. Maybe we will discuss it in the next article. If you get curious about these two projects. We recommend that read both Cosmos and Tezos white paper and combine with the result of blockchain scanner. If you have any questions or doubts want to discuss with us, follow our twitter and pm us.

In general, Tezos and Cosmos have a good maintenance method for network security. Although the implementation details of the consensus are different, I don’t think these are the key to the success of the public chain. Success depends on the ecology. On ecology, Cosmos is one step ahead, creating Ethermint, a 1:1 anchored Ethereum side chain which provides a convenient funnel to connect Ethereum ecosystem.

However Tezos aim for the long run. The ecology is not started yet. In this stage, Tezos foundation is funding education organization and universities to foster new developers for Tezos community.

Both projects still have a long way to go.

Wetez wallet aims to provide the most secure and user-friendly mobile wallet for PoS based blockchain. Follow us for more PoS insights.

 

Поделиться сообщением


Ссылка на сообщение

источник: tg: tz news

 

В связи с аномальной регистрацией 200к новых адресов с 14 по 26 ноября, Figment Capital создали информационную панель с показателями сети tezos
https://public.tableau.com/profile/graham.smith1794#!/

 

Около 9% от всех XTZ сейчас в бонде, около 7.5% от всех XTZ заморожены.
Сама статья https://medium.com/figment-capital/launch-of-tezos-dashboard-a9147569c296
 

Сервис проверки корректности выплат от делегата. Нужно ввести свой KT адрес и указать комиссию.
https://baking-bad.org

Поделиться сообщением


Ссылка на сообщение

Большое интервью Arthur Breitman (en, audio + транскрипт): https://tezosinsider.com/interview-arthur-breitman-tezos-development/

Из интересного:

  • Артур рассказывает об управлении (governance), и как будет обновляться протокол;
  • первое голосование скорее будет простым, по которому нет сильно разночтений, чтобы просто обкатать процедуру голосования;
  • любой, у кого есть ролл может инициировать голосование;
  • у смартконтрактов три хороших юзкейса: сопротивление цензуре; координация между различными организациями, которые не доверяют друг другу; отказ от монополии благодаря открытому стандарту;
  • главное преимущество Tezos над Ethereum - управление и формальный язык программирования;
  • различие системы Tezos (liquid proof of stake) от DPOS;
  • про замороженные для стейка монеты: Tezos хочет, чтобы только 8% общего количества токенов было заморожено (имхо очень мало);
  • обсуждение о снижении стоимости ролла: Артур считает, что это было бы полезно, но проблема в ограничениях базы данных. В данный момент Артур активно занимается оптимизацией хранения данных;
  • будущее за небольшими устройствами, которые будешь ставить дома, и он будет выпекать тебе Тезосы + возможно делать ещё что-то (например быть тостером);
  • Артур следит внимательно за zk-SNARKs, и открытость кода позволяет легко использовать наработки Zcash в Tezos по этому направлению, и это фантастика;
  • конфиденциальность не всегда является противопоставлением законности. Контрпример: Zcash был одобрен департаментом финансовых услуг Нью-Йорка при добавлении на биржу Gemini;
  • ближайший роадмап Артура по Tezos: улучшение mempool, улучшение хранения данных, улучшение генерирования случайности, изменение алгоритма для обеспечения финальности на каждом блоке, улучшение процесса управления, транзакции zero-knowledge.

Поделиться сообщением


Ссылка на сообщение

Norn Fund, одни из активных участников Tezos Communtiy, побывали на стриме Incrypted: 

 

Поделиться сообщением


Ссылка на сообщение

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

 

Комментарий: а потом как всегда выйдет новость, что что-то пошло не так, и получилось токенизировать только комнатушку за $10.000, которую почему-то никто покупать за токены не хочет)

 

Источник: https://www.crowdfundinsider.com/2019/02/144347-securitize-and-elevated-returns-to-use-tezos-to-tokenize-1-billion-of-real-estate/

Поделиться сообщением


Ссылка на сообщение

Securitize в целом бодро начали - уже под 50кк$ перевели в STO (bcap, spice, augmate и другие), поэтому не был бы так критичен. Хотя одно дело токены крипто-фондов менять/продавать, а другое - оффлайн-недвижимость.

Поделиться сообщением


Ссылка на сообщение

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

Обо всём этом можно прочитать в статье (en): https://medium.com/tezos/marigold-layer-2-scaling-for-tezos-7445b5a3b7be

Поделиться сообщением


Ссылка на сообщение

Tezos рассказал о роли Фонда Tezos: https://tezos.foundation/news/an-update-on-the-role-of-the-tezos-foundation

 

Фонд объявил о своём обязательстве финансировать обучение 1000 новых разработчиков для Tezos, а также напомнил о 30 миллионах долларов, выделенных на гранты для поддержки экосистемы.

В дальнейшем, чтобы наилучшем образом поддержать долгосрочное будущее Tezos, было решено финансировать и расширять возможности организаций, которые служат и способствую процветанию, росту глобальной экосистемы. Такими организациями были признаны Nomadic Labs, Tezos Asia, The Tocqueville Group.

 

Nomadic labs - команда из 40 разработчиков, ключевыми компетенциями которых являются теория языка программирования, распределенные системы и формальная верификация. Nomadic Labs предпринимают многочисленные усилия по

улучшению Tezos как в плане конфиденциальности (внедрение zk-SNARKs), так и в плане новых согласованных алгоритмов и улучшений хранилищ.

 

The Tocqueville Group будет сосредоточен на трёх ключевых направлениях: создание программного обеспечения с открытым исходным кодом, оказание поддержки проектам и компания, основанным на Tezos, и подключение мирового сообщества Tezos.

Поделиться сообщением


Ссылка на сообщение

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

 

источник: tz news (tg)

 

Поделиться сообщением


Ссылка на сообщение

Nomadic Labs, команда разработчиков Tezos, продемонстрировала снэпшоты, из которых можно поднять ноду Tezos за 1-2 минуты: 

 

Поделиться сообщением


Ссылка на сообщение

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Гость
Ответить в тему...

×   Вставлено в виде отформатированного текста.   Вставить в виде обычного текста

  Разрешено не более 75 эмодзи.

×   Ваша ссылка была автоматически встроена.   Отобразить как ссылку

×   Ваш предыдущий контент был восстановлен.   Очистить редактор

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


×
×
  • Создать...