ethereum

[stas]

Читаю сейчас книгу про то, как устроен Ethereum VM. Поразительная вещь - разрабатывая систему с нуля во втором десятилетии 21 века, люди умудрились сделать так, что там возможны и integer overflow/underflow, и uninitialized memory reference, и race conditions - в несколько извращённой форме, поскольку система по дизайну однопотоковая, но таки удалось!
Можно говорить, что проблема в компиляторах типа solidity, которые компилируют такой код без всяких проблем, а сама VM не виновата (от чего всё равно не легче, кстати), но хотя бы с overflows можно и на уровне VM бороться.

И, разумеется, все эти проблемы в реальных контрактах могут стоить владельцам реальных - ну т.е. воображаемых, но для них вполне реальных - денежных потерь. И уже стоили. Собственно, мега-форк экосистемы на Ethereum и Ethereum Classic произошёл именно из-за одного такого бага. Там, кажется, попятили виртуальных печенюшек на сумму в 50 млн. Конечно, вряд-ли все 50 млн можно будет обналичить, да и не факт, что вообще что-то можно будет, но сама по себе история впечатляет.

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

Comments

[http://users.livejournal.com/sorcerer-/]

Это очень поверхностное понимание.
Я про тонкости стандарта, написанные астронавтами, которые в жизни не разрабатывали ничего.

[arifg]

Знаете, мне тут по долгу службы пришлось окунуться в эппловский Свифт, где все это решено, и обернуто бантиками, так я жду-недождусь, когда, наконец, этот проект закончится и мне удастся вернуться к С/С++ и Винде, где можно наступить на мину, особенно когда пишешь код для ядра, но зато не чувствуешь себя как в концлагере и где все зависит только от тебя, а не от дяди и его понимания "правильного кода". Может, я такой олдтаймер и анархист, но вот.

[stas]

Я думаю, существует золотая середина между эпловским B&D и раскладыванием неожиданных граблей на всех дорожках. Если бы речь шла о C, я б не удивлялся - ну C и C, все знают, чего ожидать, не можешь справиться с жарой - вали с кухни. Но тут специально выдумали специальный язык, и на тебе - та же фигня.

[arifg]

А было ведь такое: Visual Basic 6. Прибили гады... Эх, где те золотые времена...

[http://users.livejournal.com/sorcerer-/]

> все зависит только от тебя, а не от дяди и его понимания "правильного кода"

На петоне попеши, там за тебя даже форматирование язык решает!
Пороха не нюхали!!!