Какие структуры данных в Rust недетерминированы

Question

При написании смарт-контрактов важно убедиться, что все используемые структуры данных являются детерминированными c.

В частности, если используются HashMap или HashSet - возможен ли недетерминизм Стандартная библиотека Rust?

Answer 1

Поскольку среда выполнения Wasm не имеет доступа к недетерминированным c входным данным, все выполнение является детерминированным c. HashSet и HashMap используют семя из доступного источника, в случае компиляции Wasm доступного источника нет, выполнение всегда будет одинаковым. Это должно быть легко подтвердить.

Answer 2

В дополнение к тому, что сказал @ evgeny-kuzyakov, единственными источниками недетерминизма являются функции уровня ОС, такие как потоки, часы, случайность ОС, сеть, устройства, файловая система и т. Д. c. Если контракт скомпилирован с кодом, который пытается получить доступ к этим функциям, он не будет выполнен в нашей цепочке блоков (хотя его можно развернуть, потому что можно развернуть любую последовательность байтов в качестве контракта) и завершится с ошибкой до начала выполнения. .