Discovery
Specifically, Carmody applied Dirichlet's theorem to several prime candidates of the form k·256n + b, where k was the decimal representation of the original compressed file. Multiplying by a power of 256 adds as many trailing null characters to the gzip file as indicated in the exponent which would still result in the DeCSS C code when unzipped.
Of those prime candidates, several were identified as probable prime using the open source program OpenPFGW, and one of them was proved prime using the ECPP algorithm implemented by the Titanix software. Even at the time of discovery in 2001, this 1401-digit number, of the form k·2562 + 2083, was too small to be mentioned, so Carmody created a 1905-digit prime, of the form k·256211 + 99, that was the tenth largest prime found using ECPP, a remarkable achievement by itself and worthy of being published on the lists of the highest prime numbers. In a way, by having this number independently published for a completely unrelated reason to the DeCSS code, he had been able to evade legal responsibility for the original software.
Following this, Carmody also discovered another prime, this one being directly executable machine language for Linux i386, implementing the same functionality.
Read more about this topic: Illegal Prime
Famous quotes containing the word discovery:
“One of the laudable by-products of the Freudian quackery is the discovery that lying, in most cases, is involuntary and inevitable—that the liar can no more avoid it than he can avoid blinking his eyes when a light flashes or jumping when a bomb goes off behind him.”
—H.L. (Henry Lewis)
“We are all humiliated by the sudden discovery of a fact which has existed very comfortably and perhaps been staring at us in private while we have been making up our world entirely without it.”
—George Eliot [Mary Ann (or Marian)
“The new supplants the old. Yet men’s minds are stuffed with outworn bunk. Educating the young in the latest findings of authorities and scholars in the social sciences is important. It is equally important to devise ways and means for aiding the middle-aged and old to reexamine hang-over unscientific doctrines and ideas in the light of recent discovery and research.”
—Mary Barnett Gilson (1877–?)