Мы рады представить первый пост из серии статей, в которых мы будем обсуждать аспекты платформы WINGS, и призываем участников сообщества проявить активность и выразить своё мнение. В первом посте мы обсудим схему защиты ДАО, работа которой обеспечивается умными контрактами в нескольких блокчейнах, поддерживающихся EVM (Ethereum Virtual Machine).
При создании безопасного ДАО необходимо учитывать следующие аспекты:
- формальные гарантии правильного функционирования умных контрактов
- миграция на функциональное программирование для уменьшения количества возможных багов
- создание независимых аварийных протоколов, способных функционировать даже при самых серьёзных сбоях системы
- учёт социальных и юридических обязанностей и последствий, связанных с безопасностью умных контрактов
- формальная верификация умных контрактов
Формальная верификация умного контракта является формой гарантии того, что контракт выполняет именно то, что должен. Модуль формальной верификации тестирует код в целом на все возможные входы состояния и результаты, и использует автоматические проверочные скрипты для отслеживания состояния выполнения и ветвления кода.
Сложно написать правильный код, но ещё сложнее убедиться в том, что возможны только желаемые результаты его исполнения, и код будет работать строго “по плану”. В настоящее время предпринимаются попытки добавить подобную проверку в Solidity, и команда WINGS планирует поддерживать эти совместные усилия.
Функциональное программирование умных контрактов
Взлом TheDAO подтвердил необходимость перейти на функциональное программирование умных контрактов вместо императивных языков, таких как Solidity и Serpent. Недавнее исследование показало, что расширение компилятора функционального языка кодом виртуальной машиной Эфириума может помочь разработчикам избежать общих ошибок.
В настоящий момент для создания WINGS следует использовать существующие языки, но в наши долгосрочные планы входит финансирование и разработка функциональных языков для поддержки умных контрактов WINGS.
Федеративное управление средствами
Rootstock это платформа, которая приносит Виртуальную Машину Эфириума в Биткоин через технологию сайд-чейнов. Платформа построена для юридических лиц и её безопасность является ключевой задачей. Разработчики создали новую гибридную модель консенсуса, основанного на федеративном консенсусе и совместном майнинге (merged-mining).
Сайд-чейн Rootstock майнится совместно с Биткоином, используя доказательство работы (PoW). Федерацией является группа известных в Биткоинн индустрии компаний, которые являются гарантами проводимых сделок. Все BTC депозиты (с привязкой) к сайд-чейну Rootstock находятся под защитой ключа с мультиподписью участников федерации. Как результат, вывести BTC возможно только если большинство из участников федерации подтверждают транзакцию вывода через сайд-чейн.
Платформа WINGS собирается расширить данную технологию консенсуса с целью создать защиту последнего уровня для восстановления средств, находящихся в сайд-чейнах. В случае нарушения работоспособнотси сайд-чейна, запрос на отмену транзакции и возврата средств может быть передан на рассмотрение Федерации.
Защита ДАО от социальных и юридических напастей
Формальная верификация, функциональное программирование и федеративная защита средств собираются стать стандартами в сфере безопасности умных контрактов, но возникают новые социальные и юридические проблемы, связанные с хранением и обновлением информации в блокчейнах.
Как заметил Питер Вессенс , конкретные юридические проблемы возникают когда хранение средств находится не только под контролем умных контрактов, но и когда контракты имеют владельцев, хранителей или кураторов, которые всецело не являются частью конкретной ДАО структуры. Эти участники подвергаются социальному и правовому хакерству для разрушения целостности действий ДАО.
При наиболее негативных сценариях, таких как разделение ETC и ETH, где также завязан форк, социальное хакерство может привести к непредсказуемым последствиям. Естественно, полученный урок задал направление на уменьшение степени влияния небольшой группы людей на сеть и (или) ДАО.
WINGS собирается представить систему, в которой ДАО создатель не будет иметь контроль над хранением и распределением средств. Распределение будет совершаться через механизм управления ДАО (об этом будет рассказано в следующем посте).
Источник
Источник: http://cryptoscope.blogspot.com/2016/08/wings-1.html
Биткоин бесплатно получить
Купить, продать, обменять Биткоин
Новости биткойн и блокчейн-технологий
GRAM — Как купить криптовалюту Telegram? (01.07.2018)
Уже не первый месяц растущее сообщество людей, которое интересуется или занимается инвестированием средств в различные криптовалюты, оживленно обсуждает будущее начало функционирования проекта TON (Telegram Opening Network) и связанное с подготовкой к этому событию ICO Telegram. Подробнее ›
Юрист-криптоконсультант о запуске первого в России инвестиционного криптобанка: правовые основы не ясны (01.07.2018)
Накануне мы сообщали о том, что представители дочерней компании российского провайдера платежных сервисов Qiwi — Qiwi Blockchain Teсhnologies — запускают банк для криптовалютных активов. Проект построен на классической инвестиционной модели банка и сфокусирован на поиске, оценке и выводе на рынок качественных криптопроектов
Подробнее ›
Приложение для мессенджеров Gem4Me выходит на крипторынок со своей новой платформой Market Space (01.07.2018)
Популярное приложение для мессенджеров Gem4Me готовиться представить криптосообществу свою новую платформу Market Space. Компания планирует запустить предпродажу токенов в рамках ICO уже 1 июля и дать криптоэнтузиастам первую возможность приобрести «монеты» инновационного приложения
Подробнее ›
Facebook официально разрешил рекламу криптовалют! (01.07.2018)
Компания Facebook приняла решение отказаться от блокировки рекламы цифровых валют, но популяризация ICO проектов, бинарных контрактов как и ранее останутся под запретом. Об этих решениях общественности сообщил Р. Лизерн – специалист, занимающийся управлением продуктом. Подробнее ›
СМИ: наводнение уничтожило биткоин-фермы в провинции Сычуань (01.07.2018)
В Сети появилась информация о том, что из-за наводнения были уничтожены крупные майнинговые фермы в китайской провинции Сычуань. В частности, издание CCN, приводит твит Эрика Мельцера, партнера сфокусированного на китайском рынке блокчейн-фонда INBlockchain: Rumors that a huge flood in Sichuan took out a bunch of BTC mines pic
Подробнее ›
Браузер Brave запустил бета-тест Tor в анонимных вкладках (01.07.2018)
Brave, браузер с акцентом на конфиденциальность, запустил поддержку системы Tor в анонимных вкладках. Функция Tor доступна в последней версии десктопной версии браузера (0.23). Об этом пишет CCN. Brave известен своим блокировщиком рекламы и трекеров сайтов, поэтому добавление Tor стало естественным
Подробнее ›
Питер Тиль и Coinbase инвестировали в «стабильную монету» Reserve (01.07.2018)
Свыше 40 инвесторов, среди которых известный бизнесмен и управляющий хедж-фондами Питер Тиль, Coinbase, Distributed Global и GSR.IO, поддержали стартап Reserve. Об этом сообщает Coinspeaker. По словам разработчиков, Reserve призван «придать стабильности волатильному рынку криптовалют». Также они отмечают
Подробнее ›
TRON вырывается из медвежьих объятий и собирается запрыгнуть на быка (01.07.2018)
Не секрет, что TRON инвесторы в последние недели переживали турбулентность, из-за чего курс токена пошел на спад, даже в какой-то момент опустившись ниже 0,04 доллара США. Тем не менее, TRX, похоже, получает определенную поддержку, поскольку он снова набирает обороты, сигнализируя о возможном бычьем тренде
Подробнее ›
Tezos Foundation объявила об успешном запуске бета-версии платформы (01.07.2018)
Представители Tezos Foundation объявили о запуске бета-версии платформы. Об этом сообщается на сайте организации. По словам разработчиков, уже доступна полнофункциональная версия сети, однако работает она «в экспериментальном режиме», поэтому не исключены некоторые баги в ее работе
Подробнее ›
Сатоши Накамото появился снова и теперь пишет книгу? (01.07.2018)
Появилось сообщение, которое может быть опубликовано создателем биткоин Сатоши Накамото, в тексте автор утверждает, что планирует выпустить книгу в двух частях, а также публикует маленький отрывок из книги, чтобы ответить на некоторые часто задаваемые вопросы связанные с BTC
Подробнее ›
Информация о децентрализованной цифровой валюте Биткоин в социальных сетях: