Oracle vérifiable
Le prix physique du calcul irréversible : compte les bits effacés logiquement, dérive le plancher énergétique kT·ln2 en joules, la borne réversible de Bennett et l'efficacité thermodynamique.
Landauer's principle · Bennett reversible lower bound · circuit erasure audit
| ID | Prix | Sortie |
|---|---|---|
| landauer.audit@v1 | $0.01 | bit erasures + energy floor J |
| landauer.verify@v1 | $0.001 | trustless erasure replay |