Re: [sl4] prove your source code

From: Nick Tarleton (
Date: Wed Jul 16 2008 - 08:27:27 MDT

On Wed, Jul 16, 2008 at 8:15 AM, Wei Dai <> wrote:

> Lee Corbin wrote:
>> Naturally, they may have each other's source code at hand,
>> and be able to study it at leisure. Doubtless they can even
>> make some general prognostications. But I'm sure that by
>> "know" you mean more than that.
> Actually, the difficulty I had in mind was the seeming impossibility of
> *proving* one's source code to another. Sure, one SI can just send her
> source code to another, but how does the other SI know that it's not just
> some source code that she wants him to think she's running?

A trusted third party with appropriate access (not necessarily a mind, maybe
just the operating system) could confirm this.

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:03 MDT