[122392] in cryptography@c2.net mail archive
Re: OpenSparc -- the open source chip (except for the crypto parts)
daemon@ATHENA.MIT.EDU (Alexander Klimov)
Sun May 4 11:11:21 2008
Date: Sun, 4 May 2008 10:32:05 +0300 (IDT)
From: Alexander Klimov <alserkli@inbox.ru>
To: Cryptography <cryptography@metzdowd.com>
In-Reply-To: <99852807-4AA2-44B6-B605-2245EA82E1A9@zooko.com>
On Thu, 1 May 2008, zooko wrote:
> I would think that it also helps if a company publishes the source
> code and complete verification tools for their chips, such as Sun has
> done with the Ultrasparc T2 under the GPL.
To be sure that implementation does not contain back-doors, one needs
not only some source code but also a proof that the source code one
has is the source of the implementation. With open-source software one
can get such a proof by compiling the source themself (as far as they
trust their compiler toolchain), but I don't see any way to get such a
proof for non-FPGA hardware.
--
Regards,
ASK
---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo@metzdowd.com
