Формальные методы считаются эффективным, но неоправданно сложным способом обеспечения надежности программного обеспечения. Используемые при этом инструменты существенно отличаются от привычных программисту. Эта статья написана с целью снизить порог вхождения в этот инструментарий. Я применю систему model checking не для решения сложно формулируемых задач спецификации ПО, а для решения понятной даже школьникам головоломки.

Вы находитесь в прямом коридоре с семью комнатами по одну сторону. В одной из них находится кот. За один шаг можно заглянуть в одну из комнат, если там есть кот, он пойман. Как только дверь закроется, кот перейдет в одну из соседних комнат к той, в которой находился. Задача — поймать кота.

В этой статье будет использоваться ГРЯЗНЫЙ, небезопасный, "костыльный", страшный и т. д. метод eval. Слабонервным не читать!

Сразу скажу, что некоторые проблемы удобства использования решить не удалось: в коде, который будет передан в worker, нельзя использовать замыкание.

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

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

При ближайшем рассмотрении выяснилось, что две трети библиотеки при этом можно не менять, необходимо только немного порефакторить код. Библиотека представляет из себя скорей ПРОТОКОЛ общения, который может работать с текстовыми данными. Его можно применять во всех случаях, если есть возможность передавать текст (iframe, window.open, worker, вкладки браузера, WebSocket).

Как это работает

На данный момент в протоколе есть две функциональности: отправка сообщения и подписка на события. Любое сообщение в протоколе — это объект с данными. Главное поле этого объекта — поле type, которое говорит нам, что это за сообщение. Поле type — это enum со значениями:

Здравствуйте! В статье я покажу, как написать и запустить на ноде Waves обычный dApp. Рассмотрим необходимые инструменты, методы и пример разработки.



Схема разработки dApps и обычных приложений почти не отличается:

• Пишем код
• Пишем автоматизированное тестирование
• Запускаем приложение
• Тестируем

Инструменты

1. docker для запуска ноды и Waves Explorer

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

• Вам постоянно будут нужны новые аккаунты с тестовыми токенами. Кран тестовой сети переводит по 10 WAVES каждые 10 минут.
• Среднее время блоков в тестовой сети – 1 минута, в ноде – 15 секунд. Это особенно ощутимо, когда транзакция требует нескольких подтверждений.
• В общедоступных тестовых нодах возможно агрессивное кэширование.
• Еще они могут быть временно недоступны из-за технического обслуживания.

Далее буду считать, что вы работаете со своей нодой.

2. Инструмент командной строки Surfboard

• Скачайте и установите Node.js с помощью ppa, homebrew или exe здесь: https://nodejs.org/en/download/.
• Установите Surfboard – инструмент, который позволит запустить тесты на существующей ноде.

npm install -g @waves/surfboard

3. Плагин Visual Studio Code

Шаг необязателен, если вы – не фанат IDE и предпочитаете текстовые редакторы. Все необходимые инструменты – это утилиты командной строки. Если используете vim, обратите внимание на плагин vim-ride.

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



Рынки развиваются циклично. Не удивительно, что через три года после возникновения спекулятивного пузыря конца 2013 Биткойн снова привлекает внимание. Эксперты и мейнстримовые медиа хоронили виртуальную валюту бессчетное число раз, но, судя по всему, Биткойн упрямо отказывается умирать.

На этот раз подъем Биткойна до 1000$ происходит при совершенно иных обстоятельствах. Биткойн и блокчейн-экосистема значительно повзрослели. Появилось множество крупных торговых бирж вместо одной огромной, плохо организованной и небезопасной. Да-да, речь о злополучной MtGox, которая служила единым хабом для торгов и стала единой точкой катастрофического отказа. Информированность теперь намного лучше, ликвидность существенно выше. Рост стоимости Биткойна был быстрым (и мягко говоря, изменчивым). Но на момент публикации не демонстрирует признаки пузыря — иррационально быстрого роста, с периодами двузначных дневных скачков, который завершается крутым подъемом и неминуемым безжалостным падением.

Близится блокчейн-революция и один из ее основных принципов провозглашает централизацию Врагом. Однако что мы понимаем под термином «централизация» и против каких ее форм мы выступаем?

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

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

Практически все, что мы прочли об этой новой технологии — все хорошее, плохое, особенное, шокирующее и невероятное — по иронии судьбы сводится к одной отправной точке: блокчейн устраняет потребность в центральной власти.

Блокчейн и смарт-контракты все еще остаются горячей темой среди разработчиков и технических специалистов. Существует много исследований и рассуждений об их будущем и о том, куда это все движется и куда приведет. У нас в Waves Platform свой взгляд на то, какими должны быть смарт-контракты, и в этой статье я расскажу, как мы их делали, с какими проблемами сталкивались и почему они не похожи на смарт-контракты других блокчейн-проектов (в первую очередь Ethereum).

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

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

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

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

Широкое распространение криптографических технологий не произойдет одним махом. Нам придется как следует поработать, но будет весело.

Я хотел поделиться с вами некоторыми мыслями о распространении криптотехнологий и о беге на длинную дистанцию. Этот первый пост в рамках нашего блога основан на моем опыте работы с блокчейн-платформой Waves — я работаю там директором по связям с общественностью. Однако сразу оговорюсь, что все написанное далее — мое личное мнение, не отражающее какую-либо официальную позицию. </конец дисклеймера> Я провел почти 3 года в мире криптотехнологий, став свидетелем всех самых лучших и худших событий в этой области, поэтому этот пост также в некоторой степени объясняет, что мне так нравится в Waves и почему я уверен, что останусь в компании надолго.

Недавно я снова начал бегать на длинные дистанции. Я занимаюсь бегом уже 15 лет, однако хроническое воспаление ахиллесовых сухожилий привело к тому, что в последнее время мой показатель еженедельного пробега снизился до однозначного числа. Для меня бег — хорошее средство сохранения остроты ума и общей работоспособности, учитывая тот факт, что этот год выдался для меня ужасным в личном плане, и я понял, что если ничего не поделаю с этой ситуацией, то не дотяну такими темпами и до сорока лет, не говоря уже о семидесяти. И вот несколько месяцев физиотерапии, совершенствования техники с помощью бега босиком и в минималистичной обуви, а также смещения основной нагрузки с пятки на переднюю часть ступни сделали свое дело, и я решил, что пришла пора оформить свое возвращение в бег официально и зарегистрировался на ультрамарафон в конце октября, обещающий стать весьма непростым 8-часовым испытанием.

На написание этой статьи меня вдохновили недавнее ​​посещение конференции «Технологии Блокчейна» и обсуждение идей по улучшению блокчейна с коллегами. Большинство докладчиков конференции были из крупных российских банков, и их выступления касались области применения блокчейна в основном в качестве баз данных или платформ смарт-контрактов. Однако большинство из них с трудом могли ответить на вопрос: «Зачем им вообще нужен блокчейн?». Ответ недавно был дан консорциумом R3 CEV: «У нас нет блокчейна, потому что он нам не нужен». Блокчейн не нужен банкам, он нужен вместо банков. Он нужен только для децентрализованных систем, в то время, как приложения с доверенной стороной всегда будут более эффективными, простыми и т.д.

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

Централизация управления и развития

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

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

RIDE – язык для смарт-контрактов

Waves разработала специальный язык для смарт-контрактов – RIDE. Его полная документация находится здесь. А вот – статья на эту тему на Хабре.

Контракт на RIDE является предикатом и возвращает на выходе «true» или «false». Соответственно, транзакция либо записывается в блокчейн, либо отвергается. Смарт-контракт полностью гарантирует исполнение заданных условий. Генерация транзакций из контракта в RIDE на данный момент невозможна.

27 октября в центре Москвы на площадке Digital October пройдет митап, организованный сообществом Russian Fintech. Мероприятие открывает цикл ежемесячных встреч для всех тех, кто интересуется финансовыми инновациями: от фаундеров проектов и руководителей компаний до финтех-энтузиастов.
По разным оценкам, в России стартапами в сфере финтеха занимаются около 100 проектных команд, и их количество не перестает расти. В этой сфере уже появились практики, глубоко изучившие разные направления финансовых инноваций. При этом заметен нереализованный потенциал взаимодействия участников различных областей финтеха.

1-3 июня в Санкт-Петербурге проходит международный экономический форум ПМЭФ-2017 — площадка для общения представителей деловых кругов и обсуждения ключевых экономических вопросов.



Сегодня в рамках ПМЭФ прошла панельная сессия «Блокчейн — рождение новой экономики», участие в которой принял Александр Иванов, гендиректор и основатель нашей блокчейн-платформы Waves Platform. В дискуссии также участвовали министр связи и массовых коммуникаций РФ Николай Никифоров, заместитель председателя ЦБ РФ Ольга Скоробогатова, первый заместитель Председателя Правительства РФ Игорь Шувалов, Основатель Ethereum Виталик Бутерин, Основатель, главный исполнительный директор The BitFury Group Валерий Вавилов и другие ключевые фигуры банковского и государственного секторов.

Жестокая ирония: те, кто наслаждается преимуществами первой децентрализованной валюты, вынуждены пользоваться для торгов централизованными биржевыми площадками. Централизация — проклятье фиатной валютной системы — по-прежнему остается не самой приятной чертой биткойновой и криптовалютной среды. И все-таки настало время попрощаться с ней.



MtGox. Это не просто название мёртвого бизнеса. Слово «Gox» вошло в разговорный язык мира биткойна так, как это не удавалось ни одному другому понятию. Вы можете не знать, что такое Zhou Tonging. Вы, вполне вероятно, вопросительно вздернете бровь, если вам посоветуют HODL. Но, несомненно, если вы хотя бы немного вращались в биткойн-среде, вы знаете, какую огромную и холодную тень бросает на всё криптовалютное сообщество первая биткойн-биржа. Родители используют ее как страшилку для маленьких детей, чтобы убедить их следить за своими личными ключами. Взрослые мужчины рыдают в страхе, когда это слово встречается в одном предложении с выбранной ими биржей.

Платформа Waves выросла из желания сделать существующие блокчейн-разработки по-настоящему доступными для мира бизнес-приложений. Несмотря на раннюю стадию своего развития — технология существует всего 7 лет — блокчейны уже сейчас могут предложить миру на удивление много. И хотя здесь я не рассматриваю закрытые блокчейн-решения, нельзя не отметить довольно высокий уровень их зрелости и практичности. Что же касается Waves, то мы полностью сосредоточились на открытых блокчейн-технологиях, и стремимся сделать так, чтобы они уже сейчас нашли практическое применение в мире бизнеса.



Возможность создавать специализированные блокчейн-токены и упрощать с их помощью взаимодействие — основной элемент, на который делает акцент платформа Waves. Всякий бизнес должен иметь под рукой простой способ выпустить специализированный токен, который можно будет использовать в качестве составного элемента бизнес-приложений. Игровые валюты, краудфандинг, внутренние валюты, ваучеры и программы лояльности — все эти области немало выигрывают от использования открытых блокчейнов. По существу, открытые блокчейны берут на себя и обеспечивают сетевую инфраструктуру и системный аудит. Для бизнеса это все равно, что открыть дверь в новое измерение.

26 января в 19.00, в Digital October Center состоится конференция «Регулирование криптовалют в России: промежуточные итоги».

В течение последних лет в СМИ регулярно появлялись заявления представителей власти на тему регулирования криптовалют, носившие то негативный, то обнадеживающий, то нейтральный характер. В результате правовой статус децентрализованных цифровых валют для многих так и остался непрояснённым. Поэтому основная задача спикеров конференции – пролить свет на законодательное регулирование криптовалют и ответить на накопившиеся вопросы как пользователей, так и предпринимателей по этой теме.

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

29 ноября в центре новых технологий DigitalOctober сообщество Russian FinTech проведет второй финтех-митап, посвященный тенденциям в трейдинге. На рынке постепенно укрепляют свои позиции молодые трейдинговые решения, способные бросить вызов отраслевым гигантам.

Популярность инструмента привлечения коллективных инвестиций за счет выпуска и продажи собственных криптографических токенов на открытом рынке — ICO (Initial Coin Offering) возрастает с каждым месяцем.

Среди недавних примеров — блокчейн-проект ChronoBank, который представил концепцию токенов национального рабочего времени, привязанных к средней заработной плате в ЕС, Великобритании, США и Австралии. По итогам двухмесячной ICO-кампании, ChronoBank привлек инвестиции на общую сумму в 5,4 млн $.

Однако до сих пор подавляющее большинство кейсов привлечения финансирования по модели ICO, представляли собой исключительно онлайн-проекты. В списке крупнейших краудфандинговых кампаний, все проекты, относящиеся к категории «Блокчейн», работают онлайн.

В продолжение цикла статей, посвященных ICO мы, в команде платформы Waves публикуем материал, в котором детально разобран ZrCoin — проект из реального сектора, планирующий привлечь финансирование в размере как минимум 3,5 млн $ за счет выпуска и продажи криптографических токенов.

В чем суть проекта

ICO проекта ZrCoin стартует 11 мая. В ходе месячной кампании рынку будут предложены блокчейн-токены, не привязанные к монетизации онлайн-бизнеса, а подкрепленные материальным активом — синтетическим концентратом диоксида циркония (ZrO2).

Уже в этот четверг 9 февраля в 19:00 состоится очередной Moscow Blockchain Developers Meetup. Темами предыдущего мероприятия стали блокчейн-инструменты Microsoft и особенности консенсуса Proof-of-stake. Предстоящий митап будет целиком посвящен проекту Hyperledger и его возможностям как для разработчиков, так и для бизнеса в целом.