Vitalik：Diamond iO让程序混淆从“不可能”走向“理论上可行”，但安全假设仍待验证

okx 7月29日消息，以太坊联合创始人Vitalik Buterin发表《混淆（第二部分）：Diamond iO》技术文章，介绍一种新型程序混淆协议。此前保守型混淆方案的运行时间超过宇宙寿命，完全不可行。Diamond iO通过修改BGG+14属性加密方案，将运行时间大幅缩短，使程序混淆从“绝对不可能”推进到“理论上可以看到希望”的阶段。Vitalik解释，Diamond iO的核心是将FHE计算嵌套在ABE内部，通过三种关键机制实现：对输出编码的特殊处理实现条件FHE解密；对函数进行调整以输出伪随机结果；通过张量融合方式让评估者为任意输入生成唯一编码。该方案相比保守型混淆更简洁，仅有FHE嵌套在ABE中一层，无需复杂的子线性随机编码、函数加密、混淆电路等构造塔。文章指出，Diamond iO依赖all-product LWE和evasive LWE两项较新的密码学假设，安全性仍需更多验证。主要效率瓶颈来自哈希计算深度和“亚指数安全”参数要求。Vitalik提出多项优化方向，包括改进Goldreich PRG实现、寻找更高效的FHE方案、折叠ABE与FHE层等，并希望Diamond iO能获得更多关注和分析，最终实现可运行的混淆协议。