Forum libero

Scritto da:
> Scritto da: Nazi Heidi
> > Scritto da:
> > > Scritto da: Nazi Heidi
> > > > https://lwn.net/Articles/743602/
> > >
> > > Sarebbe ora.
> >
> > In ogni caso... come verifichi che l'hadware corrisponda alla descrizione fatta? Di un software puoi sempre prendere il sorcio, ricompilarlo, e sei relativamente sicuro che il binario prodotto corrisponda al sorgente che hai letto... ma l'hardware? Mica puoi fartelo in camera tua. Certo puoi sempre usare delle FPGA ma quanto costerebbe una CPU in grado di ricostruire una CPU moderna ad alte prestazioni?
>
> Non lo so, immagino si possa radiografare il circuito e un gruppo di ingegneri elettronici deve mettersi lì a esaminarlo tutto e capire cosa fa ogni ramo. Gli istituti in grado di farlo sarebbero pochi e vulnerabili alla corruzione, soprattutto quando è il governo a dirti di non trovare backdoor.

Sarebbe un grosso lavoro, tieni presente che oramai i chip non sono progettati "transistor per transistor" ma sono progettati ad alto livello e poi è un software che converte questo progetto nella sua realizzazione fisica quindi è persino probabile che chi ha fabbricato quella CPU non sappia esattamente perché esiste un dato transistor (su milioni) in quel dato punto del die. Sarebbe un po' come cercare di capire come mai c'è una data istruzione assembly nel mezzo di milioni di istruzioni assembly generate da un compilatore moderno (e probabilmente è una cosa più facile da fare) o, partendo dal linguaggio macchina, cercare di capire come funziona Windows.