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

топ 100 блогов maxim — 08.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!

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

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

Архив записей в блогах:
Козлоногий циклоп-полисоматоформ (Nicolaes Berchem,'Fantastic Creature in a ...
Очередной раз пришлось сделать себе в голову укол социализации и пойти купить штанов. Более дурного занятия сложно себе представить. Вещи сортированы рандомно, размеры означают "размер+-лапоть" и фасоны и расцветки все рассчитаны на каких-то ...
...почему вы потерялись и я более не слышу вас. ...
Около 23:00, все размеренно заканчивают свои тренировки. Захожу в раздевалку, а там женщина следователь и криминалист изучают ящик вместе с пострадавшим. Оставили всё, кроме документов, денег и ключей. За последнее особо обидно так как вместе с ключами от дома лежали ключи и от ...
Только Настëна (kryjevo) ошиблась, открытка была отправлена не 11 и не 17 июля, а 7-го. Из Москвы в Москву с 07 июля по 30 июля, просто рекорд! У меня и фотофакт есть. ...