На фоне всех разговоров о ZKVM, каково реальное состояние дел для каждого подхода? Интересная идея возникла в разговоре с коллегой: возможно, главная проблема Jolt в том, что он слишком умен? Использование стольких трюков на уровне IOP делает разработку невероятно сложной для масштабирования.