Comment by Xeoncross
3 years ago
Have superoptimizers been run against math formulas? Seems like the quickest way to find holes in modern encryption.
3 years ago
Have superoptimizers been run against math formulas? Seems like the quickest way to find holes in modern encryption.
Proving that two code is functionally equivalent for every input is inconceivably hard.