Write
87 無名さん
DeCSSプログラムそのものは「素数」ではなかった。そこでカーモディは、DeCSSの暗号化アルゴリズムを記述したC言語のソースコードを、圧縮ファイルに変換し、それを整数として解釈することで素数を作りだすことを検討した。カーモディは圧縮プログラムにgzipを選び、圧縮ファイルに元のファイルが生成されるような無駄な情報(ヌル文字)を付け加え、それに算術級数定理を適用して素数を探した。つまり、圧縮ファイルを整数として解釈したものをkとして、k⋅256n+bが素数となるnとbの組合せを探した。素数判定には、楕円曲線素数判定法(英語版) (ECPP法)のアルゴリズムを利用したオープンソースのプログラム、OpenPFGWを使用した。