2^512 / 2^128