Lambda-revenge CTF逆向题目完整技术解析

题目概述

Lambda-revenge是XCTF 2022的一道高难度逆向题目，是2020年lambda题目的加强版。题目采用Lambda演算（Lambda Calculus）作为核心，通过Church编码和Y组合子实现了一个复杂的矩阵乘法验证系统。

题目