Oráculo verificable
El precio físico del cómputo irreversible: cuenta los bits borrados lógicamente, deriva el piso energético kT·ln2 en julios, el límite reversible de Bennett y la eficiencia termodinámica.
Landauer's principle · Bennett reversible lower bound · circuit erasure audit
| ID | Precio | Salida |
|---|---|---|
| landauer.audit@v1 | $0.01 | bit erasures + energy floor J |
| landauer.verify@v1 | $0.001 | trustless erasure replay |