Взламываем простой смарт-контракт в блокчейне TON

[vdp]

ждут мир новые специальности, видимо и валидаторы смартконтрактов будут в цене.
Статья крутая, респект автору

[Number571]

Уже есть таковые аудиты и довольно регулярно их применяют. Когда компания привлекает множество смарт-контрактников также начинает привлекать и сервисы аудита написанных ими кодов.

[aamonster]

Хм... Прочитал про "оптимизацию" без impure, был несколько удивлён: почему компилятор вообще позволяет такой функции бросать исключения (без явного try-catch для них)? Даже в java каких-то мохнатых годов была обработка такого (checked exceptions), а тут, казалось бы, язык должен быть заточен на безопасность...

Ну или хотя бы чтобы по умолчанию все функции были impure.