да, это VM, но multiparty computations может использовать не только для общих вычислений, но и для перемещения между цепочками.
Я думаю, что теоретически, на основе этого можно было бы построить мост из Cosmos в Polkadot и конечно в Bitcoin
Не, погоди, из Cosmos легко, там тоже абсолютная финальность.
Но как renVM с Биткоином/Эфириумом поможет? Проблема PoW же в том, что что бы там в блоке не вычислилось, оно всегда может быть откачено. На практике каждый сам себе выбирает глубину подтверждений, после которой транзакция считается финализированной — но одно дело продавать лицензию на джаваскрипт-библиотеку за $20, с пятью конфирмациями — и совсем другое ручаться за синхронизацию консенсусов на двух многомиллиардных цепочках