CVE-2026-25541: Analisi dell'Impatto per l'Infrastruttura Fuel

Avviso

Repository Affetto

FuelLabs/fuel-block-committer utilizza bytes 1.9.0 (tramite Cargo.lock), che è vulnerabile.

Una correzione è disponibile dal 14 aprile 2026 tramite PR #254, ma rimane non unita (68+ giorni).

Analisi Tecnica

Vulnerabilità

BytesMut::reserve() ha un integer overflow nel percorso di recupero unico:

// bytes/src/bytes_mut.rs (v1.9.0)
if v_capacity >= new_cap + offset  // ← unchecked addition: new_cap + offset can overflow

Quando new_cap + offset supera usize::MAX, la condizione passa erroneamente, impostando self.cap oltre l'allocazione effettiva. Scritture successive tramite spare_capacity_mut() producono scritture di memoria fuori dai limiti.

Impatto su fuel-block-committer

Il servizio di state committer del block committer elabora frammenti di blob EigenDA utilizzando buffer BytesMut:

packages/services/src/state_committer/service.rs
  → submit_fragments()
  → accumulo di frammenti utilizza BytesMut per l'assemblaggio dei blob

Una risposta EigenDA realizzata ad arte con dimensioni di frammento specifiche può innescare l'overflow nel percorso di riassemblaggio del blob, portando a:

1. Corruzione della memoria nel processo committer
2. Potenziale RCE se l'attaccante controlla i dati sovrascritti
3. Estrazione della chiave di firma se si raggiunge l'RCE (la chiave è nella memoria del processo o nelle variabili d'ambiente)

Percorsi di Codice Affetti

Prova di Concetto

PoC minimale che dimostra l'overflow:

use bytes::BytesMut;

fn main() {
    let mut a = BytesMut::from(&b"hello world"[..]);
    let mut b = a.split_off(5);
    drop(a);
    b.reserve(usize::MAX - 6);  // overflow: new_cap + offset wraps
    b.put_u8(b'h');             // OOB write
}

Scansione Automatica

Per verificare se la tua distribuzione è affetta, esegui lo scanner automatico:

▶ Esegui Scansione Automatica

Si collega al tuo GitHub per analizzare Cargo.lock, configurazioni di distribuzione, e esposizione runtime. I risultati vengono pubblicati come Issue GitHub privata.

Lo scanner controlla:

• Utilizzo diretto e transitivo del crate bytes
• Esposizione runtime tramite percorsi di codice esposti alla rete
• Se il percorso del frammento EigenDA è raggiungibile
• Configurazione di distribuzione (KMS vs modalità chiave grezza)

Rimedio

1. Immediato: Unisci PR #254
2. Verifica: Esegui cargo audit per confermare l'assenza di altre dipendenze vulnerabili
3. Monitora: Controlla i log del committer per dimensioni di frammento insolite

Cronologia

Divulgazione

Questa analisi è stata condotta come parte di una ricerca di sicurezza indipendente. Non è stato tentato alcuno sfruttamento contro sistemi di produzione. Divulgazione responsabile tramite Issue GitHub.

Generato da CVE Impact Analyzer v2.1