罗盘 / 可逆计算
暗星档案 · 未点亮的星可逆计算与通用计算能耗极限
本条为初评草案（AI 辅助编目 · 评于 2026-07-16）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
可逆计算与通用计算能耗极限T7 量级 · 恒星
在同吞吐与错误率下，让完整通用系统实测越过最佳不可逆架构能效。
暗星编号DS-0311
轴E · 能量与能力前沿
领域ai-computing
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
真实。Landauer 原理约束擦除相关信息的不可逆操作；逻辑可逆计算原则上避免这项耗散，但不免除控制、存储、纠错、互连和有限速度的代价。 单器件与绝热电路显示接近或低于传统擦除口径的实验；IEEE 路线图仍把它作为后 CMOS 研究方向，未形成与现代通用处理器同吞吐、同可靠性的产品。
卡在哪 · 机制级卡点
“绕开 Landauer 擦除界”不等于零能耗；为保存垃圾比特增加内存或为慢速绝热增加延迟可能吞掉收益。单比特纳米实验不能外推成服务器能效。
谁在攻
Landauer、Bennett 奠定理论；IEEE IRDS 2024 汇总器件与路线；开放量子系统研究指出有限速、热耦合计算仍必然耗散熵。
怎么参与
读方向：数字/模拟电路设计 + 热力学与信息物理，把 Landauer、Bennett 的原始文献和 Michael Frank 的绝热电路综述啃透。切入点：谐振时钟能量回收电路的仿真与小规模流片验证是当下最缺人的子问题；这个领域论文少到一个认真的博士生两年内就能站到前沿。
谁在攻这颗暗星 · 攻关者名录7 人
这不是终点站——今天在这颗暗星上攻坚的人，就是明天点亮它、登上星光榜的候选。名录含科研、创业与第三方三类关键角色，初评待核实，欢迎补充与纠正。
ACADEMIA学界 · 科研4
迈克尔·弗兰克Michael P. Frank可逆/绝热计算先驱、资深科学家
Vaire Computing（曾任 Sandia 国家实验室、MIT）
1990s 在 MIT 奠定可逆计算工程基础、一脉的绝热/可逆电路研究即以他命名，现任 Vaire 高级科学家主攻能量回收电路。
武内直纪Naoki Takeuchi超导可逆逻辑研究者
横滨国立大学
主攻绝热量子磁通参量器（AQFP）超导逻辑——另一条逼近兰道尔极限的可逆计算路线，在超低能耗超导电路上持续发表实证。
吉川信行Nobuyuki Yoshikawa超导电子学教授
横滨国立大学
AQFP 超导绝热电路研究的学术带头人，与武内直纪一脉共同推进超导路线的可逆/近零能耗逻辑。
埃里克·德贝内迪克蒂斯Erik DeBenedictis独立研究者 / 前 Sandia 科学家
Zettaflops（曾任 Sandia 国家实验室）
长期组织可逆计算与超越摩尔定律的学术研讨、推动该无人区方向的社群与议程，是把可逆计算作为算力能耗终极出口持续发声的少数人之一。
INDUSTRY业界 · 创业与工程3
罗多尔福·罗西尼Rodolfo Rosini联合创始人兼 CEO
Vaire Computing
创立近乎独苗的可逆计算初创公司 Vaire，把六十年停滞的理论推向流片，2024 完成种子轮融资、2025 演示能量回收测试芯片。
汉娜·厄利Hannah Earley联合创始人兼 CTO
Vaire Computing（剑桥大学非常规计算博士出身）
Vaire 技术核心，负责绝热可逆芯片的电路与器件架构，是把谐振时钟能量回收从理论推进到真实硅片的关键人物。
安德鲁·斯洛斯Andrew Sloss工程负责人 / Acorn·Arm 资深工程师
Vaire Computing
为 Vaire 带来 Arm 生态的芯片工程经验，推动为不可逆逻辑而建的 EDA/器件库工具链向可逆电路迁移。
去哪家 · 机构与公司名录3 家 · 其中初创/成长期 1
给求职者和投资人的信息增量——不只是听过的大机构，更多是正在攻这颗暗星的初创与新公司（联网实搜、初创优先排序，初评待核实）。
Vaire Computing初创
做绝热可逆计算芯片，用谐振供电回收时钟能量，绕开兰道尔极限
↗ 近乎独苗的可逆计算初创；2025-03 首颗测试芯片 Ice River 在 22nm CMOS 上实证净能量回收（回收因子 1.77），把可逆计算首次从理论推进到硅片；下一步 2027 出 AI 推理专用节能处理器。创始人 Rodolfo Rosini（CEO）+ 剑桥研究者 Hannah Earley（CTO）
University of Florida Reversible Computing Project科研实验室
Michael Frank 一脉的可逆计算学术源头，做绝热/可逆电路设计与理论
↗ 可逆计算现代工程化的学术策源地之一（Frank 早期在此），Vaire、Sandia 的路线都可追溯到这一脉的研究传统
Sandia National Laboratories · Center for Computing Research政府/公共
Michael P. Frank 团队做异步弹道可逆计算（ABRC），用约瑟夫森结/单磁通量子超导电路实现无时钟开销的可逆逻辑
↗ 全球极少数认真投入可逆计算的机构之一；走的是与 Vaire 绝热路线不同的超导弹道路线，理论纵深最深，是这条无人区赛道的另一支主力