OKlibrary  0.2.1.6
ConstraintTemplateRewriteRules.hpp File Reference

Plans for the AES constraint rewrite rules. More...

Go to the source code of this file.


Detailed Description

Plans for the AES constraint rewrite rules.

Bug:
Test failure with okltest_aes_mul3_pi_cst_cl
  • What is the point of these hardcoded values, which apparently do not have a mathematical meaning?
Bug:
DONE (Tests wasn't updated after update to data) Test failure with okltest_aes_sbox_pi_cst_cl
  • okltest_aes_sbox_pi_cst_cl(aes_sbox_pi_cst_cl)
    ASSERT: Expression " {-10,-9,-7,-6,-5,3,4} = {-16,-15,-14,-13,4,11,12} " does not evaluate to true.
       

Definition in file ConstraintTemplateRewriteRules.hpp.