Я думаю, что @cosmwasm недооценен. Вы можете просто развернуть код на Rust. Мы проверяем случайные zk-доказательства в cosmwasm, потому что это просто Rust. Вы буквально не можете сделать этого ни в одной другой виртуальной машине.