Messages in this thread | | | Date | Fri, 15 Aug 2003 09:55:03 +0200 | From | Andries Brouwer <> | Subject | Re: [RFC][PATCH] Make cryptoapi non-optional? |
| |
On Fri, Aug 15, 2003 at 12:40:04AM -0700, David S. Miller wrote: > Andries Brouwer <aebr@win.tue.nl> wrote: > > > On Thu, Aug 14, 2003 at 06:17:13PM -0600, Val Henson wrote: > > > > > 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.
Andries
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |