4 ms·
Actually, checking that two pieces of code are equivalent is undecideable: http://en.wikipedia.org/wiki/Lambda_calculus#Undecidability_of_equivalence http://en
by pavpanchekha 16y ago
Actually, checking that two pieces of code are equivalent is undecideable:
http://en.wikipedia.org/wiki/Lambda_calculus#Undecidability_of_equivalence http://en.wikipedia.org/wiki/Lambda_calculus#Undecidability_...
So mechanically checking that Dropbox-supplied code is the decryption routine claimed is impossible.
- qntm 16y agoTrue. However, we don't need to be able to compare two arbitrary chunks of code. As long as our algorithm provides no false positives, I would settle for something as simple as a checksum.