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