Vitalik:Diamond iO让程序混淆从“不可能”走向“理论上可行”,但安全假设仍待验证
PANews 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能获得更多关注和分析,最终实现可运行的混淆协议。
(10)
这方案看着挺有前景,就怕安全验证出问题。
只要能把运行时间缩短就是好事,后续安全验证跟上就行。
优化方向还挺多,就看能不能实现可运行的混淆协议了。
依赖新的密码学假设,安全性验证估计得花不少时间和精力。
安全验证不过关,这方案也白搭。
这进展挺厉害,从不可能到理论可行,但安全假设得验证,别最后有大漏洞。
来真的,新型程序混淆协议要是成了,那意义重大。
哈希计算深度和参数要求是瓶颈,得想办法解决。
现在只是理论有希望,等安全验证过了再说。
希望能按优化方向发展,早日实现可运行协议。