Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Contexto Delimitado: Entropia & Computação Termodinâmica

Este contexto fornece a fundação estocástica do protocolo: fontes de aleatoriedade auditáveis, atestação de hardware físico, solvers combinatórios baseados em p-bits, contabilidade termodinâmica de custo computacional e gradiente estocástico para aprendizado robusto.

classDiagram
    direction TB

    class EntropySource {
        <<trait>>
        + fill_bytes(dest: &mut [u8])
        + source_type() EntropySourceType
    }

    class JitterEntropy {
        <<CPU_Jitter>>
        + fill_bytes()
    }

    class HardwareRng {
        <<RDRAND_RNDR_getrandom>>
        + fill_bytes()
    }

    class MixedEntropy {
        <<XOR_Defense_in_Depth>>
        - jitter: JitterEntropy
        - hw: HardwareRng
        + fill_bytes()
    }

    class HealthMonitoredSource {
        <<NIST_SP800_90B>>
        - inner: EntropySource
        - rct: RepetitionCountTest
        - apt: AdaptiveProportionTest
        + fill_bytes()
        + is_healthy() bool
    }

    class RepetitionCountTest {
        <<RCT_NIST>>
        - C: u32
        + update(byte) bool
    }

    class AdaptiveProportionTest {
        <<APT_NIST>>
        - W: u32
        - C_apt: u32
        - window: VecDeque~u8~
        + update(byte) bool
    }

    class PufAttestation {
        <<Hardware_Fingerprint>>
        - challenge: [u8 32]
        - response: [u8 32]
        - stability: f32
        + verify(challenge) bool
    }
    %% Ver RFC 028 para detalhes de PUF em CNT/Papel.

    class PBit {
        <<Probabilistic_Bit>>
        - beta: f32
        + sample(input: f32, entropy: &EntropySource) i8
    }

    class IsingProblem {
        <<Hamiltonian>>
        - J: Matrix~f32~
        - h: Vec~f32~
        + energy(spins: &[i8]) f32
    }

    class IsingSolver {
        <<Simulated_Annealing>>
        - beta_0: f32
        - beta_1: f32
        - n_sweeps: u32
        + solve(problem: &IsingProblem, entropy) Vec~i8~
    }

    class ThermalState {
        <<Pain_to_Beta>>
        - t_room_k: f64
        - t_max_k: f64
        + temperature(pain: f32) f64
        + beta(pain: f32) f64
    }

    class LandauerLedger {
        <<Thermodynamic_Audit>>
        - bit_erasures: u64
        - temperature_k: f64
        + record_erasures(bits: u64)
        + minimum_joules() f64
    }

    class SrNoiseSource {
        <<RFC_027_Signal_Amplifier>>
        - entropy: EntropySource
        + next_sample() f64
    }

    EntropySource <|.. JitterEntropy
    EntropySource <|.. HardwareRng
    EntropySource <|.. MixedEntropy
    EntropySource <|.. HealthMonitoredSource
    MixedEntropy *-- JitterEntropy
    MixedEntropy *-- HardwareRng
    HealthMonitoredSource *-- MixedEntropy
    HealthMonitoredSource *-- RepetitionCountTest
    HealthMonitoredSource *-- AdaptiveProportionTest
    IsingSolver *-- IsingProblem
    IsingSolver ..> EntropySource : stochastic annealing
    IsingSolver ..> ThermalState : cooling schedule
    PBit ..> EntropySource : tanh_sampler
    LandauerLedger ..> ThermalState : temperature_k

Mapeamento de Diretórios:

  • crates/kernel/src/domain/entropy/mod.rs — Trait EntropySource, JitterEntropy, HardwareRng, MixedEntropy
  • crates/kernel/src/domain/entropy/health.rs — HealthMonitoredSource, RepetitionCountTest, AdaptiveProportionTest (NIST SP 800-90B)
  • crates/kernel/src/domain/entropy/puf.rs — PufAttestation, challenge-response, estabilidade Hamming. Implementa a RFC 028 para atestação de hardware em substratos de baixo custo (CNT/Papel), integrando a dinâmica de Langevin para correção de ruído.
  • crates/kernel/src/domain/entropy/pbit.rs — PBit (tanh sampler), IsingProblem, IsingSolver (simulated annealing)
  • crates/kernel/src/domain/entropy/thermal.rs — ThermalState: pain → T_phys → beta (lock-free)
  • crates/kernel/src/domain/entropy/sr_bridge.rs — SrNoiseSource: Ponte entre entropia e amplificação via ruído (RFC 027)
  • crates/economy/src/domain/barter/landauer.rs — LandauerLedger: k_B * T * ln(2) por bit apagado
  • paebiru-learn/src/sgd_thermal.rs — thermal_step: Langevin SGD via Box–Muller

Reciclagem de Entropia e Limite de Landauer

No PAEBIRU, a remoção de informação não é um desperdício, mas uma recuperação de recursos. A Apoptose Termodinâmica opera sobre o princípio de que a limpeza do ruído inerte recupera o potencial energético do nó:

  • Reciclagem de Landauer: Ao apagar dados que perderam relevância causal, o nó registra a economia energética (limite de Landauer) no LandauerLedger.
  • Créditos de Manutenção: A limpeza da malha é incentivada economicamente, onde a desintegração de dados órfãos gera créditos de soma-zero, recompensando o nó por manter a infraestrutura enxuta.

EntropySource como Primitiva Universal

EntropySource é o único ponto de contato com hardware aleatório em todo o protocolo. Uso direto de rand::thread_rng() é proibido em produção. Todo subsistema que precisa de aleatoriedade — nonces FROST, PoW, Ising annealing, Langevin SGD — consome EntropySource, garantindo auditabilidade centralizada e substituibilidade por mocks em testes.

O HealthMonitoredSource aplica dois testes NIST SP 800-90B continuamente:

  • RCT (Repetition Count Test): detecta travamento em um valor (C=30 repetições consecutivas dispara alarme).
  • APT (Adaptive Proportion Test): detecta viés em janela de W=512 bytes (C_apt=325 ocorrências do mesmo byte dispara alarme).

Falha em qualquer teste bloqueia a fonte e emite ENTROPY_HEALTH_ALARM no bus. Se todas as fontes falham, o nó entra em Esporulação Criptobiótica — não pode gerar nonces seguros e preserva estado até recuperação.

Computação Termodinâmica

Conforme estabelecido pela RFC 014, o ThermalState conecta o algedônico ao físico: pain ∈ [0,1] mapeia para T_phys ∈ [T_room, T_max], que por sua vez determina beta = 1/(k_B * T_phys). Este beta calibra:

  • IsingSolver: schedule de resfriamento beta_0 → beta_1. Pain alto = beta_0 baixo = mais exploração, útil quando a malha está sob stress e a solução ótima é menos previsível.
  • StochasticSpikeNeuron: taxa de disparo sigma(beta*(V-Vth)). Temperatura alta = disparos mais difusos.
  • Langevin SGD: ruído sqrt(2*eta*T) * xi. Temperature > 0 escapa mínimos locais em dados não-i.i.d.
  • Layer 9 Granularity: Gatilho de transição entre os modos Abundância e Restrição baseado no limiar térmico de Langevin.

Termotempo: A Entropia como Motor do Tempo

Na v3.0+, a entropia deixa de ser apenas uma medida de desordem ou ruído para se tornar o compasso do tempo.

  • Fluxo Temporal Entrópico: O avanço do tempo lógico ($\Delta t$) é derivado da variação da entropia ($\Delta S$) no nó. Sem mudança de estado (entropia constante), o tempo congela.
  • Elasticidade Causal: A métrica de tempo torna-se elástica, permitindo que a rede suporte latências interplanetárias onde a sincronia cronológica é impossível, mas a sincronia causal via variação de entropia é natural.
  • Auditabilidade Causal: O LandauerLedger atua como o validador físico da progressão temporal; um avanço de tempo sem a correspondente dissipação energética é considerado uma anomalia causal.

HealthMonitoredSource e Gatilhos Estocásticos

O HealthMonitoredSource aplica a estratégia de Amostragem Estocástica da RFC 020 para validar a saúde das fontes TRNG sem sobrecarregar a borda. A auditoria é multinível:

  1. Monitoramento Contínuo (L1): Testes de custo zero rodando em cada amostragem (RCT - Repetition Count Test). Detecta travamento de hardware em tempo real.
  2. Gatilho de Langevin (L2): Quando o Ator Biológico detecta uma mudança brusca na “temperatura” do nó (via ThermalState), um teste estatístico de média complexidade (APT - Adaptive Proportion Test) é acionado. Se a geração de entropia não correlacionar com o ruído térmico esperado (Princípio de Landauer), a fonte é suspensa.
  3. Auditoria ZK (L3): Amostras aleatórias são enviadas para a DON para validação estatística pesada (NIST SP 800-22). O processo é protegido por ZK-Proofs para garantir que a semente original nunca vaze para a rede durante a auditoria.

Landauer Ledger e Auditabilidade Física

O LandauerLedger implementa o princípio de Landauer: cada bit apagado irreversivelmente dissipa k_B * T * ln(2) Joules (≈ 2.8 × 10⁻²¹ J a 293 K). O ledger atua como um “custo energético de informação”: se o nó gera entropia sem o correspondente ruído térmico/estocástico, a amostra é marcada como suspeita de manipulação ou falha física.

Invariante de segurança: se TaskReceipt.joules_used < LandauerLedger.minimum_joules(), a execução é fisicamente impossível — o Verifier DEVE rejeitar e emitir PhagocytosisAlert. Isto previne claims fraudulentos de “custo zero” e é o alicerce da auditabilidade on-chain em UC1 (seguro de contêiner).

Lógica Reversível (Toffoli / Fredkin) e p-bits Ising

Detalhes em crates/kernel/src/domain/entropy/. Para circuitos de vida longa ou hot paths termodinamicamente sensíveis, o protocolo prevê primitivas de lógica reversível que evitam o custo de Landauer por construção:

  • Toffoli (CCNOT) — gate universal reversível para AND/NOT em pipelines de verificação ZK que precisam reduzir dissipação física.
  • Fredkin (CSWAP) — swap controlado, base de circuitos charge-recovery.
  • Uso atual: experimental em embedded com FPGA; em host, primitivas servem como referência de bound inferior para o LandauerLedger.

PBit (Probabilistic Bit) e IsingSolver permitem annealing combinatório consumindo EntropySource calibrada por ThermalState — pain alto = exploração; pain baixo = explotação. O acoplamento térmico é lido continuamente via probe_cpu_temperature_k() (lock-free, lock-snapshot semantics).

Mistura “Defense in Depth”

MixedEntropy = JitterEntropy XOR HardwareRng — se uma fonte falhar silenciosamente (ex.: backdoor em RDRAND), a outra independente preserva a entropia. JitterEntropy aplica Von Neumann debiasing para extrair bits uniformes do jitter de cache; HardwareRng usa RDRAND (x86) ou RNDR (ARMv8.5+) com fallback para getrandom(2).

Cross-references

  • crates/kernel/src/domain/entropy/ — referência granular.
  • KERNEL.md — integração com Gate 4 (ZK) e PoLValidator.
  • LEARNING.md — LangevinSGD consome ThermalState.
  • ECONOMY.md — IsingMatcher consome o mesmo IsingSolver.

O Limite de ANTIMONIUM: A Anulação da Entropia

Enquanto o LandauerLedger e o ThermalState auditam e utilizam a entropia como insumo, o horizonte final do protocolo (RFC 041 - ANTIMONIUM) prevê a anulação completa do atrito de Langevin e da dissipação térmica. Ao “dopar” o vácuo informacional, a malha transita de um regime de dissipação controlada para um regime de supercondutividade de informação, onde a entropia ($\mathcal{S}$) é levada a zero por construção na Lagrangiana da realidade.