 > > :has 2^80 possible keys.
 > >
 > > We don't yet know if all 80 bits count.
 >
 > That doesn't worry me at all; they're not going to cheat at something
 >they can get caught at.  And key size is one of the things that can be
 >verified externally.  Feed lots of random key/input pairs into the
 >chip, then see what happens to the output....