rusk vm — это часть whitepaper, благодаря которой я понял: это не просто цепочка приватности с дополнительными шагами. На самом деле она создаёт собственную среду выполнения.

она основана на webassembly, так что унаследовала большинство нативных wasm-опкодов, но затем поверх добавляет хост-функции. хеширование, эллиптическая кривая/математика, проверки подписи, верификация zk-доказательств — всё это можно вызывать нативно, а не «прикручивать»

0n через какую-то внешнюю библиотеку.
стоимость gas за каждый вызов функции делает её квази-тюринг-полной, а не полностью тюринг-полной: по сути, обход для.$BOME

задачи о остановке, чтобы выполнение не могло длиться бесконечно.
что особенно примечательно — нативная верификация zk. большинство vms рассматривают проверку доказательств как дорогостоящую внешнюю вычислительную операцию, rusk же воспринимает.$BTW

это как операцию первого класса. интересно, каковы затраты gas на zk-верификацию по сравнению с обычным вызовом контракта в этой штуке??

#dusk @Dusk $DUSK