Реверсивные вычисления снова пытаются выбраться из красивой физической идеи в реальный кремний: стартап Vaire Computing разрабатывает чипы, которые возвращают часть энергии, обычно уходящей в тепло. Для дата-центров, ноутбуков и смартфонов это звучит не как академическая экзотика, а как потенциальный способ снизить энергетический счет без очередного героического кулера.
Соосновательница и технический директор Vaire Ханна Эрли, которой 31 год, считает нагрев не неизбежной платой за вычисления, а следствием дизайна, сообщает MIT Technology Review. Ее компания строит железо для подхода, известного как reversible computing: схема не стирает промежуточную информацию в процессе расчета, а сохраняет ее так, чтобы вычисление можно было частично прокрутить назад и вернуть часть энергии.
В обычных чипах логика устроена грубо и эффективно по меркам последних десятилетий: ненужные биты по пути уничтожаются, а связанная с этим энергия рассеивается в виде тепла. На уровне отдельной операции потери малы, но в мире, где серверные стойки считают модели, индексы, транзакции и рекомендации круглосуточно, сумма быстро превращается в инфраструктурную проблему. Поэтому индустрия режет техпроцессы, оптимизирует архитектуры, переносит часть задач на ускорители и спорит о PUE в дата-центрах. Эрли предлагает копнуть ниже, в саму физику логики.
Идея не новая. Реверсивные вычисления обсуждают больше 50 лет, но долго они жили в основном в статьях, диссертациях и разговорах людей, которые умеют одновременно думать о термодинамике и транзисторах. Проблема была в реализации: существующие схемы и транзисторная логика плохо подходили для аккуратного возврата энергии. Vaire пытается заменить не один блок, а ключевой принцип работы цепей. Центральный элемент подхода Эрли - резонатор, микроскопический компонент на чипе, который хранит восстановленную энергию для повторного использования. Сама Эрли описывает его как сильно усложненный маятник.
В 2025 году Vaire заявила о важной демонстрации: чип с резонатором вернул больше энергии, чем потерял, даже с учетом энергии, нужной для питания самого компонента. Для направления, которое десятилетиями выглядело как умная, но неудобная теория, это был не коммерческий продукт, а сигнал: железо хотя бы начинает отвечать физике взаимностью. Исследователь в области автоматизации проектирования электроники Игорь Марков, ранее профессор Мичиганского университета в Анн-Арборе, оценивает работу осторожно: у команды есть интересный результат, но для коммерциализации понадобятся все более реалистичные и убедительные демонстрации.
Биография Эрли здесь важна не как дежурная история про юного программиста, а как объяснение, почему она вообще полезла в такую неудобную область. Она начала программировать примерно в девять лет: сначала веб, затем Perl, Java и более глубокие слои вычислительной системы, пока интерес не дошел до транзисторов. Позже она поступила в PhD-программу Кембриджского университета к вычислительному биологу Госy Миклему. Изначально Эрли изучала, как материалы вроде ДНК можно использовать для расчетов, но Миклем дал ей диссертацию Майкла Фрэнка 1999 года, одного из пионеров реверсивных вычислений. После повторного чтения она сменила траекторию работы.
В Кембридже Эрли занималась физическими пределами вычислений и писала софт, который мог превращать обычные программы в обратимые. Миклем позже вспоминал, что в какой-то момент перестал позволять ставить свое имя на ее статьи, потому что уже не чувствовал себя человеком, способным уверенно защищать эти результаты на докладе. После защиты в 2021 году Эрли познакомилась с предпринимателем и инвестором Родольфо Розини. Они вместе основали Vaire, компания привлекла более $12 млн, наняла Майкла Фрэнка старшим научным сотрудником и начала переносить теорию в схемы.
Для разработчиков прямого эффекта завтра утром не будет: никто не перепишет Kubernetes под обратимую логику к пятнице. Но если подход сработает, последствия будут не только аппаратными. Обратимые программы требуют другого отношения к промежуточным состояниям, побочным эффектам и потере информации. Это может повлиять на компиляторы, языковые инструменты, проектирование ускорителей и на то, какие вычисления выгодно выполнять локально, а какие отправлять в облако. Для бизнеса главный вопрос проще: можно ли получить больше вычислений на тот же ватт, не меняя весь стек до неузнаваемости.
Самая жесткая часть задачи теперь не в красивой демонстрации, а в совместимости с индустрией, которая десятилетиями оттачивала производство обычных чипов. Эрли и команда должны доказать, что их схемы можно встроить в знакомые устройства и производственные процессы, а не только показать на лабораторном образце. Если Vaire удастся пройти этот путь, реверсивные вычисления станут не способом красиво объяснить тепло в процессоре, а новым направлением конкуренции за энергоэффективность. Если нет, индустрия продолжит платить за каждый стертый бит привычным способом: электричеством, охлаждением и все более дорогими дата-центрами.