Крипто-ебанаты. Выпуск #1

топ 100 блогов maxim08.08.2016 Воплощение и манифестация Лямбдагарбхи, нирманакая в этом мире Крипто-ебанаты. Выпуск #1 zeit_raffer пишет про компромайзед гипервизоры, но это не самое страшное. Самое страшное это непрочекаенные криптоалгоритмы, которые ведут к потере бабла в криптовалютах. Это можно наблюдать сейчас как грибы после дождя.

Вот одна криптовалюта https://www.ethereum.org, которая разрабатывается в том числе и математиками, была хакнута и из нее вывели 50 лимонов, потом начали транзакцию отменять, делать форк, и сейчас наверно оно уже мертвое. Все репозитории Эфира на гитхабе на JavaScript. Читать тут: http://www.coindesk.com/understanding-dao-hack-journalists/

Вот недавний инцидент с биткоин биржей Bitfinex:
http://www.ft.com/cms/s/0/1ea8baf8-5a11-11e6-8d05-4eaa66292c32.html#axzz4GkdJQNtk И вообще если вы начнете искать и погуглите вы охуеете сколько там дыр и утечек. Пока биткоин был маргинальной валютой, никому это не было интересно, но сейчас, все измненится и ваши биткоины потекут.

Если вы видете, что кто-то у вас рядом создает/запускает blockchain криптовалюты/торговые/аукционные/голосовательные площадки, и там используются криптоалгоритмы не прочеканые на (F*/Agda/Coq/EXE), рано или поздно этой хуйне придет пиздец. Не спасет и Хаскель.

Тот, кто первый построит прочеканную VM, компактное ядро прувера, прочеканый гипервизор, тот и срубит весь куш. И я не говорю про хуйню типа CompCert/VST которая линкуется башем с говнокодом. Я говорю про единую вычислительную среду LING/Erlang/EXE!

Очень интересно увидеть какую-то дыру в непрочеканном кванторами Хаскель коде. Пишите нам и держите нас в курсе.

Оставить комментарий

Архив записей в блогах:
Всем шаббата по вкусу. А вот скажите честно. Едете вот вы тихой осенней субботой, впереди вот такой перекрёсток, вам надо прямо. Разметка такая же, как на знаке, направо обычно не едет никто, все или прямо, или налево подмост . View Poll: #2104883 UPD: А светофор работает в ...
кто приключений на свои вторые 90, а кто и грибочки в лесу. Сегодня на работе бвл очень напряженный день, под конец которого хотелось убить кого-нибудь и напиться. Но вместо убить я решила поехать в лес прогуляться, отдохнуть, нервы успокоить. Ну заодно и грибочки поискать. И ведь нашла! ...
Прочитал у идиота Буркины , перепечатку из "совраски" статьи некого Хмуркина Г.Г . Удивился, буквы в конце, как не странно обозначают инициалы, а не то что он собой представляет. Георгий Георгиевич Хмуркин выпускник механико-математического факультета МГУ имени М.В.Ломоносова; научный ...
Всё как-то не было повода выложить этот снимок - а он того стоит. Кто автор - не знаю, но здорово! Всем доброго, не скучного вечера! И привет из Питера! ...
  Разрешенная правительством Москвы акция гей-активистов, которая проходила сегодня у здания швейцарской авиакомпании Swiss Airlines, была сорвана.  Ранее свои опасения о срыве акции здоровыми людьми в эфире «Эха Москвы» высказал организатор ...