一种隐式分析方法，其中找到秘密密钥（或任何攻击目标）的问题被缩小为找到对非线性多元多项式方程式的解决方案的问题。