There is ongoing research on how to use formal verification to express and prove non-trivial properties. A Microsoft Research report noted that writing solid smart contracts can be extremely difficult in practice, using The DAO hack to illustrate this problem. The report discussed tools that Microsoft had developed for verifying contracts, and noted that a large-scale analysis of published contracts is likely to uncover widespread vulnerabilities. The report also stated that it is possible to verify the equivalence of a Solidity program and the EVM code.[41]

Есть ли индекс для криптовалюты


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

г криптовалюта мема


Сообщество Ethereum обсуждало, следует ли вернуть эфир инвесторам и каким именно способом осуществить возврат, а разработчики The DAO из Германии пытались ответно атаковать хакера[33], поскольку децентрализованный характер The DAO и Ethereum означают отсутствие центрального органа, который мог бы предпринять быстрое действие, и требуют согласия пользователей[31]. После обсуждения в течение нескольких недель 20 июля 2016 года над проектом Ethereum был произведён хардфорк[34] (развилка цепочки блоков, а не программного кода), чтобы отменить взлом и вернуть инвесторам средства, похищенные у The DAO[35]. Это было первое ответвление цепочки блоков с целью возвращения похищенных средств инвесторам[36].

Почему Blockchain полезно

×