简洁性

VEIL是一种编译器，为基于哈希的证明系统添加零知识属性，仅增加约3%的证明者时间、22%的验证者时间和12%的证明大小。它通过解耦哈希操作与代数运算，对哈希部分进行轻量级盲化，并用内部零知识证明保护小规模代数交互，避免了完整证明系统重写或昂贵的封装方法。VEIL完全基于哈希，使得结果协议在底层系统后量子安全的前提下具备后量子安全性。文章以SP1为例，展示了VEIL如何替代现有的Groth16封装，消除椭圆曲线依赖，推动证明系统迈向完全后量子安全。