[lkml]   [2003]   [Aug]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [RFC][PATCH] Make cryptoapi non-optional?

Måns Rullgård wrote:

>Andries Brouwer <> writes:
>>>>>entropy(x) >= entropy(x xor y)
>>>>>entropy(y) >= entropy(x xor y)
>>>>Is this trolling? Are you serious?
>>>These lemma are absolutely true.
>>David, did you read this line:
>>>>Try to put z = x xor y and apply your insight to the strings x and z.
>>Let us do it. Let z be an abbreviation for x xor y.
>>The lemma that you believe in, applied to x and z, says
>> entropy(x) >= entropy(x xor z)
>> entropy(z) >= entropy(x xor z)
>>But x xor z equals y, so you believe for arbitrary strings x and y that
>> entropy(x) >= entropy(y)
>> entropy(x xor y) >= entropy(y).
>>This "lemma", formulated in this generality, is just plain nonsense.
>Not quite non-sense, but it would mean that for any strings x and y,
> entropy(x) == entropy(y),
>which seems incorrect.

Well, just the line entropy(x) >= entropy(y) is incorrect. ie. proof
by contradiction.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at

 \ /
  Last update: 2005-03-22 13:47    [W:0.174 / U:31.240 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site