Here are some pictures of some prototypes of end-user verifiable free integrated circuits (It's a modified PLCC84 IC package, that can be opened by end-user and resealed after the IC content was checked by a special machine, a kind of automated microscope).