Сейчас ноутбуки, из-за всего этого ИИ, стоят до смешного дорого. Раньше ноутбук тормозил так, что уже хотелось срочно заменить, но слишком дорого. Поэтому я нашёл человека, чтобы он проверил причину — почему всё так тормозит. В итоге выяснилось, что куча программ каждая по-своему вызывает системные низкоуровневые функции и они постоянно конкурируют за ресурсы друг с другом. Мастер поменял подход: вместо того чтобы делать всё через софт, самые прожорливые операции напрямую вынесли в аппаратное ускорение — без программного моделирования. Скорость сразу стала совершенно другой.

Виртуальная машина Piecrust от Dusk делает примерно то же самое. Сам смарт-контракт работает в WASM-песочнице: ставка делается на безопасность и переносимость, но цена — медлительность. Особенно тяжёлые криптографические вычисления вроде хэшей, проверки подписей и доказательств с нулевым разглашением (ZKP) в песочнице выполняются с большим оверхедом. Подход Dusk в том, чтобы вынести несколько самых частых операций отдельно и сделать их «host function», которые напрямую вызывают нативный низкоуровневый код. В результате не нужно «тяжело» пересчитывать всё в самой WASM.

Какие именно операции вынесли: для хэша — Blake2b и Poseidon, для проверки — verify_plonk (доказательства PlonK), verify_groth16_bn254, а также два варианта проверки подписей: verify_schnorr и verify_bls. В целом эти пункты покрывают криптографические операции, которые нужны Dusk для своей полной системы приватности и консенсуса. По сути, самые затратные задачи вынесли через отдельный «черный ход» — и они не идут по обычному пути в рамках песочницы.

Такой дизайн даёт прирост эффективности, но также означает, что корректность реализации самих host function критически важна: если в нативных функциях окажется уязвимость, влияние будет более прямым, чем при проблемах на уровне софта, потому что все контракты используют одну и ту же общую нижнюю ускоряющую «трубу».
$DUSK

#dusk @Dusk