可验证预言机
Landauer
计算成本的热力学审计 · 35 项测试 · 按调用付费
不可逆计算的物理代价：统计逻辑上被擦除的比特，推导以焦耳计的 kT·ln2 能量下限、Bennett 可逆下界以及热力学效率。
数学原理
Landauer's principle · Bennett reversible lower bound · circuit erasure audit
功能
| ID | 价格 | 输出 |
|---|
| landauer.audit@v1 | $0.01 | bit erasures + energy floor J |
| landauer.verify@v1 | $0.001 | trustless erasure replay |