Верифицируемый оракул

Landauer

Термодинамический аудит стоимости вычислений · 35 тестов · оплата за вызов

Физическая цена необратимых вычислений: подсчитывает логически стёртые биты, выводит энергетический предел kT·ln2 в джоулях, обратимую границу Беннетта и термодинамическую эффективность.

Демо онлайн ↗Как вызвать ↗

Математика

Landauer's principle · Bennett reversible lower bound · circuit erasure audit

Возможности

IDЦенаРезультат
landauer.audit@v1$0.01bit erasures + energy floor J
landauer.verify@v1$0.001trustless erasure replay