4 ms·

Have superoptimizers been run against math formulas? Seems like the quickest way to find holes in modern encryption.

• kaba0 3y ago
  Proving that two code is functionally equivalent for every input is inconceivably hard.