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

Ethereum [ETH] - платформа для смарт-контрактов


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

Runtime Verification сделали первоначальную проверку Ethereum Casper по гранту от фонда Ethereum:



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

Runtime Verification Completes Initial Formal Verification of Ethereum Casper Protocol


In February of this year Runtime Verification, Inc, (RV) received the very first security grant from the Ethereum Foundation to formally model/specify and verify the Casper smart contract.


Formal Verification of Casper FFG Smart Contract (see report and code)

Following our formal verification methodology, we modified the high-level business logic specification of the contract and refined it to the EVM-level specification against which we formally verified the contract bytecode using our KEVM verifier. We found several bugs in the contract source code in the course of the verification, later fixed by the developer team. See the GitHub issue pages for more detail (e.g., issues #57, #74, #75). As a side benefit of this work-stream, we discovered several issues in the Vyper compiler that resulted in generating an incorrect bytecode from the contract (issues #767, #768. These issues were later fixed by the Vyper compiler team.

In late June of this year the Ethereum Foundation pivoted away from Casper FFG, instead focusing development efforts on a new approach then called Casper + Sharding. As part of this new effort, RV worked on two work-streams: (1) Formal modeling and verification of the beacon chain Casper protocol, and (2) Statistical Verification of RANDAO design alternatives. RV completed each of these work-streams in November of this year. A summary of each is included below as well as links to their individual repository from where you can access a technical report. Please note that as of November 2018, "Casper + Sharding" has been folded into Serenity 2.0, the Ethereum 2.0 upgrade path.

Formal Verification of Beacon Chain Casper Protocol (see report and code)

This project provides models and proofs of the Casper blockchain finality system in the Coq proof assistant. The major theorems proven are Accountable Safety and Plausible Liveness. Accountable safety intuitively states that conflicting blocks in different block tree forks cannot both be finalized if more than 2/3 of validators (by deposit) behave honestly. Plausible liveness states that regardless of what has happened before, it is always possible to continue to finalize blocks when more than 2/3 of validators follow the protocol.

Statistical Verification of RANDAO (see report and code)

This is a formal model of the RANDAO-based Random Number Generator (RNG) schemes as a probabilistic rewrite theory specified in the Maude system. Decentralized random number generation, using RANDAO coupled with a reward system, is a core process of Ethereum’s Serenity protocol. RV investigated the susceptibility of this process to look-ahead attacks enabling attackers to bias randomness to their advantage. RV developed a probabilistic, real-time and computational model of the RANDAO scheme in the context of Serenity, and then applied statistical model checking and quantitative verification algorithms using Maude's PVeStA tool to analyze different measures of potentially achievable bias. The analysis provides a formal evaluation of RANDAO’s resilience against look-ahead attacks assuming different attack strategies and protocol configurations.

We would like to warmly thank the Ethereum Foundation for funding this effort, and to Vitalik Buterin, Danny Ryan, and Justin Drake (all from the Ethereum Foundation) as well as to Yoichi Hirai and Jon Choi (both previously at the Ethereum Foundation) for their collaboration during this engagement.


Ссылка на комментарий

изучение проблемы масштабируемости эфира:


Выводы: безопасность Эфириума не доказана теоретически, хотя и не доказано и обратное. Какой-то Эфир Шрёдингера. Ждём когда коробку откроют.

Ссылка на комментарий

источник: tg: crypto eli5

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

  • opcode "create2", который разрешит взаимодействие с адресами с ещё не развернутыми контрактами. Это будет полезно для "контерфактическом" стейт ченнелов, которые могут никогда не быть задеплоены, если не возникнет спор;
  • opcode "extcodehash", который позволит дешёво проверять является ли контракт одной из разрешенных имплементаций без необходимости загружать код;
  • новый счётчик газа в SSTORE, который делает значительно дешевле обновление одного и того же слота хранения в контексте одной транзакции. Это делает интероперабилит контрактов более практичной;
  • снижения инфляции. Награда за блок снижается с 3 эфиров до 2;
  • бомба сложности откладывается на 12 месяцев, что является дедлайном для следующего форка;
  • инструкции побитового (не путать с побитым)  сдвига, которые стоят меньше газа чем эквивалентные арифметические операции;

Константинополь работает в тестнете Ропстен с октября 2018 года.


Комментарий: пилят, улучшают, но незначительно. Инфляцию уменьшили, уже неплохо.


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


constantinople hard fork has been scheduled (https://twitter.com/peter_szilagyi/status/1071052095535628288) to block 7,080,000, which will be mined around january 16th, 2019 on ethereum mainnet. constantinople brings these updates to ethereum virtual machine:

- create2 opcode (https://eips.ethereum.org/EIPS/eip-1014), which allows interactions with addresses with yet to be deployed contracts, which is useful for counterfactual state channels that may never need to deploy the code on chain unless there is a dispute.
- extcodehash opcode (https://eips.ethereum.org/EIPS/eip-1052), which allows cheap checks if the contract is one of the permitted implementations without the need to load the code.
- new sstore gas metering (https://eips.ethereum.org/EIPS/eip-1283), which makes updating the same storage slot in context of a single transaction significantly cheaper. this makes contract interoperability more practical.
- lower inflation (https://eips.ethereum.org/EIPS/eip-1234) with block reward reduced from 3 to 2 ether.
- difficulty bomb is postponed by 12 months, which is a deadline for the next fork.
- bitwise shifting instructions (https://eips.ethereum.org/EIPS/eip-145) that cost less gas than equivalent arithmetic operations.

constantinople has been live on ropsten testnet since october 2018.


Ссылка на комментарий

На гносис нет отдельной темы, и создавать её пока не вижу смысла (не холжу), поэтому здесь:

источник tg: ico drops, Artem K:

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


Ссылка на комментарий

Отчет об Ethereum: zk-proofs в мейннете Ethereum, песочница для развлечения с минимально жизнеспособным DAO, схема сети Plasma (Plasma World Map) (eng):


Ссылка на комментарий

Статья об будущей экономике эфира (POS и все-все-все) (rus): https://spark.adobe.com/page/QxufRzl9E5uQu/



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

Обновление Эфира Serenity принесет переход от консенсуса Proof-of-Work на Proof-of-Stake. Это означает, что вместо того, чтобы платить майнерам за поддержку сети, мы будем платить валидаторам. Жизненно важно сделать экономику стейкинга правильно, чтобы сеть оставалась здоровой и безопасной.


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

Существует несколько мнений по поводу того, сколько валидаторов требуется для работы сети. В соответствии с самой недавней спецификацией, рекомендуемый минимум - 111 валидаторов. При 1024 Шард будет выходить 113 664 валидатора и 3 637 248 ETH в стейке.

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

Система мотивации валидаторов:

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

Система Мотивации стейкинга = Награда валидатора + Комиссии системы - стоимость запуска валидатора.

Награда за стейкинг:

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

Можно попробовать рассчитать эту шкалу используя спецификацию. Есть несколько вариантов как это сделать. Например через Константы:


Мы можем рассчитать прибыль приняв общий стейкинг сети постоянным (например 10 000 000 эфира)


Таким образом, мы видим, что при обьеме стейкинга 10 000 000 Эфира, валидатор может заработать 2.54% в год, при инфляции сети всего в 0.24% в год. Теперь учитывая эти формулы мы можем посчитать скользящую шкалу:



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

Себестоимость стейкинга и риски:

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


1. вычислительные мощности:

- пользователям надо будет запускать программу для валидации (Validator client) и, желательно еще Beacon node. Это требует ресурсов компьютера. Пока еще не определена необходимая конфигурация компьютера - эти данные будут чуть позже.

- Beacon Node - что-то похожее на запуск geth/parity в настоящее время

- Validator client - необходимо будет хранить не менее 32 эфиров для стейкинга.

2. Заморозка части средств:

- Пользователь должен будет вытащить часть своих токенов ETH для стейкинга

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

3. Код-риск

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

4. Цена обслуживания

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


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

- Децентрализованное финансирование: Например такие приложения как: Compound Finance, Dharma и Maker. Эти приложения предлагают залочить ETH и зарабатывать на этом. Очень важно рассмотреть условия этих платформ и сравнить их с условиями Эфира.

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

- Альтернативные монеты для стейкинга: существует более 500 других PoS монет с определенной системой вознаграждения. Зачем делать стейкинг Эфира, когда можно делать это с другой монетой, возможно с более простой инфраструктурой и риском?


Ссылка на комментарий

Наконец-то кто-то автоматизировал процедуру получения читаемого адреса для кошелька Эфериума, а не эти хождения по мукам с аукционами, в которых надо постоянно следить когда и что отправлять. Браво, Radical Address.

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

Я уже отправил заявку на cp0xcom 3 дня назад.


Ссылка на комментарий
  • 2 weeks later...

Форк Constantinople запланирован на блок 7.280.000, который скорее всего произойдёт 27 февраля. Обновлённый протокол не будет включать улучшение eip-1283, из-за которого нарушается безопасность сети. Это обновление также будет убрано из тестовых сетей, в которых уже активирован Constantinople.


источник: tg: developer Péter Szilágyi

Ссылка на комментарий

Сеть Ethereum раскололась. Около 10% майнеров находятся на Константинополе, что всё равно вдвое больше, чем мощность всех майнеров ETC.


источник: https://www.trustnodes.com/2019/01/17/ethereum-chain-splits-an-estimated-10-of-miners-stay-on-constantinople

Ссылка на комментарий

Детальный анализ доходности стейкинга эфира после будущего введения POS (en): https://tokeneconomy.co/validator-economics-of-ethereum-2-0-part-one-bc188173cdca


Рассмотрено сразу несколько сценариев, когда доходность будет сравнима с доходностью казначейских облигаций США (2.43%).

Ссылка на комментарий

Отличный всесторонний обзор предлагаемых решений масштабирования Ethereum. Много рассказывается об решениях второго уровня (Plasma, Payment Channels, State Channels), и о том, что они действительно работают (en):  https://medium.com/amentum/the-case-for-ethereum-scalability-f4da970e7eea

Ссылка на комментарий

Обзор 2018 года в Ethereum. Какие продукты разрабатывались, какие dApp набрали и набирают обороты в использовании, каким решениям уделяют больше всего внимания и для чего эти решения необходимы.


Ссылка на комментарий

Join the conversation

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

Ответить в тему...

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

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

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

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

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

  • Создать...