Lambda-revenge是XCTF 2022的一道高难度逆向题，基于Lambda演算实现复杂的矩阵乘法验证。通过分析源代码和Church编码，提取矩阵及结果，建立线性方程组求解，最终得到flag：XCTF{M4tRI1|i||l|Il|I1X_A5_YC0mb}。

本文介绍了结合数独与Dancing Links算法的逆向题。程序通过大整数生成数独初盘，利用DLX算法求解终盘，并对用户输入的十六进制字符进行多次变换，最终与数独解逐位比较，匹配计数达到79时输出成功信息。整个过程在Windows环境下稳定复现，展示了数独求解经典算法与加密题目的结合。