加密与 zk 智能合约 零知识证明和完全同态加密从不同角度解决区块链上的隐私问题。 理解这两者之间的区别很重要，以免混淆。 Zk-智能合约（在不暴露的情况下进行验证） 零知识证明允许证明者在不透露底层输入的情况下，向验证者证明某个计算或陈述是正确的。 在许多 zk 工作流程中，重计算或敏感数据保持在链外，zk 证明在链上提交以证明正确性。 当目标是发布关于更大私有计算的小型可验证声明时，这种模型非常强大。 加密智能合约（在数据保持加密的情况下进行计算） 完全同态加密（FHE）允许在密文上直接进行任意计算，以便一旦被授权方解密，结果密文与在明文上进行相同计算的结果相匹配。 简单来说，FHE 让系统在从未透露输入的情况下进行计算。 原始的 FHE 构造和引导思想源于 Craig Gentry（2009），为后续的实际工作奠定了理论基础。 @zama_fhe 的方法使用 FHE 将这一能力带入智能合约，开发者通过使用 FHE 库（fhEVM）在 Solidity 中编写合约， 主链发出指针和事件，链外协处理器执行 FHE 工作并存储密文。 该协议明确设计为加密计算是可验证和协调的，而不是隐藏的。