[Cryptography] ORWL - The First Open Source, Physically Secure Computer

[Perry E. Metzger]

On Mon, 29 Aug 2016 08:04:44 -0700 Ron Garret <ron at flownet.com> wrote:
> On Aug 29, 2016, at 6:52 AM, Perry E. Metzger <perry at piermont.com>
> wrote:
> 
> > On Sun, 28 Aug 2016 18:18:44 -0400 grarpamp <grarpamp at gmail.com>
> > wrote:  
> >> If you can't see the source and verify the silicon / binary
> >> matches, you can't trust it. Go build something else.
> >> #OpenDesigns, #OpenFabs, #ReproducibleBuilds  
> > 
> > As a practical matter:
> > 
> > 1) Where are the open fabs where I can get a trusted processor
> > design fabricated, and at reasonable cost?  
> 
> Would you settle for an FPGA core?
> 
> http://opencores.org
> 
> http://j-core.org

Why should I trust any of these designs in particular? Are they
formally verified? Is there any other particular reason to feel
they're safer? If not, at best I'm guessing that they're safer than
commercial hardware.

Perry
-- 
Perry E. Metzger		perry at piermont.com