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

maxim — 08.08.2016 Воплощение и манифестация Лямбдагарбхи, нирманакая в этом мире 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!

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

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

Популярные посты:

• Архив