Comment by Xeoncross

3 years ago

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

1 comment

Xeoncross

Proving that two code is functionally equivalent for every input is inconceivably hard.