buu’s re |tea加密|python对约束条件求解
这道题目主要有两步，首先要求出加密后的明文，我们可以看见有一些约束条件，所以利用python来求解，这里用到了z3库，首先创建约束求解器，如solver=Solver(),然后添加约束条件，solver.add(),设定变量时候要注意变量的类型，选择使用int(s),bitvec(s)等，再判断是否有解，if(solver.check()==sat),最后求解，print(solver.model())
第二步是一个tea加密，因为涉及到移位的问题，选择用c来写脚本//python则需要用ctypes
转载请注明来源，欢迎对文章中的引用来源进行考证，欢迎指出任何有错误或不够清晰的表达。可以在下面评论区评论，也可以邮件至 3049155267@qq.com
