同意。 这就是为什么我们如此关注以下方案：1. 使用对称加密进行混淆；2. 使用零知识证明（ZKP）证明电路的正确性（由于许多项目已经推出了基于zkRollup和zkVM的证明网络，ZKP已经相当成熟）。当然，C&C很简单，但通信成本非常高。经过认证的混淆可能无法直接与大多数先进的半诚实电路混淆方案集成（也不适合BitVM案例）。 谈到算术混淆，这并不是一个新故事，最初源于布尔电路，但对于复杂的算术计算更有效。 对于其他一些混淆方向，比如基于格加密的可重用混淆电路，假设RLWE或模-LWE的难度，这在我看来有点学术。