Следите за @IM_M7 для получения обновлений о криптовалюте

Смарт-контракты часто описываются как неизменяемые программы, но разработчики знают, что сама неизменяемость не гарантирует надежность. Гораздо важнее, как ведут себя контракты, когда предположения оказываются неверными, участники действуют непредсказуемо, а условия меняются. Сеть Dusk предлагает иную философию проектирования контрактов, которая ставит на первое место целостность поведения, а не поверхностную прозрачность.
Сегодняшние смарт-контракты обычно создаются с предположением, что все внутренние состояния будут видны навсегда. Это предположение оказывает тонкое, но мощное влияние на решения при проектировании. Разработчики упрощают логику, потому что пользователи могут «видеть, что происходит», и полагаются на публичное наблюдение как на неформальный механизм безопасности. В результате получаются контракты, которые хорошо работают, когда всё спокойно, но ухудшают свою работу при наличии противодействия или хаоса.