Когда мы думаем об эффективности всего, что связано с компьютерами – каждый уровень абстракции (над байт-кодом) – это имеет свою цену. Обычно, чем выше уровень абстракции – тем выше цена. Теперь подумайте о snarks (которые генерируются на потребительском универсальном оборудовании) – это примерно эмуляция эмуляции над эмуляцией эмуляции. Ну, действительно интересная часть заключается в том, как это будет развиваться дальше: -- некоторые уровни могут стать настолько быстрыми благодаря общему ускорению компьютеров, что накладные расходы станут незначительными -- некоторые уровни могут быть реализованы нативно (например, от ISA до действительно специализированных чипов, похожих на игровые сегодня), если мир увидит достаточную общую ценность в snarks, и люди, занимающиеся snark, случайно станут действительно хорошими в продажах и лоббировании -- некоторые уровни могут быть просто оптимизированы самостоятельно, потратив больше великих умных людей на оптимизации Действительно, действительно, действительно интересный вопрос: если мы объединим все вышеперечисленное – получим ли мы универсальное (буквально любую программу) доказательство snark в реальном времени? Моя ставка скорее на да, чем на нет, хе-хе. Но мы увидим.