ethereum

[stas]

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

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

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

Comments

[stas]

Выясняется, code is law никому на самом деле не нужно. Сюрприз!

[lexxnech]

Ну, некоторым был нужен, так что драма во время форка была внушительная. Получился весьма занятный эксперимент, когда крупная криптовалюта практически идеально разделилась на две независимые, одна из которых для "потребителей", видящих в ней финансовый инструмент, а вторая для "криптовалютных энтузиастов" которым важнее всего соответствие изначально объявленным криптовалютным ценностям и которые составляли изначальный костяк сообщества. Что характерно, потребительская сейчас стоит в ~30 раз дороже энтузиастской.
Но в целом, это было очень самоуверенно, делать ключевым пунктом идеологии проекта то, что если поведение кода не соответствует спецификации, то ошибка в ней, а не в коде.

[stas]

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