ZK vs FHE

1. 引言

近期ZAMA获得7300万美金的投资,使得FHE获得更多关注。FHE仍处于萌芽阶段,是未来隐私游戏规则的改变者。FHE需与ZK和MPC一起结合,以发挥最大效用。如:

  • Threshold FHE:将FHE与MPC结合,实现信任最小化隐私的飞跃。


2. 何为FHE?

FHE源自HE(同态加密)。

HE 能够对加密数据进行安全计算,产生与直接明文操作相同的结果,从而确保隐私和完整性。

HE 分为:

  • PHE(支持基本的加密操作)
  • 和 FHE(允许无限计算的终极密码)

彻底改变了区块链中的数据保密性和匿名性。

FHE:

  • FHE 的魔力改变了公共区块链,即使在主动处理过程中也能维护数据隐私,使其成为安全、匿名数字交易的基石。
  • FHE 彻底改变了链上隐私,支持代币互换或存款等交易,而无需透露具体细节。
  • 与 MPC 和 ZK 技术的结合增强了安全性,保持解密密钥的分布式和交易验证的不透明性。

尽管 FHE 具有潜力,但:

  • FHE的起步阶段意味着需要依赖 TFHE 等最新进展来进行精确计算和硬件增强以提高可行性。
  • FHE的可扩展性挑战,再加上数据噪音,仍然是一个障碍。

FHE在区块链中的独特价值在于完全在链上维护加密状态,适用于一系列隐私场景。

然而,FHE与 ZK 和 MPC 的集成对于克服其性能和信任限制至关重要。

虽然 FHE 有望以最少的参与方实现高可组合性应用程序,但 FHE 目前在速度和计算复杂性方面的限制表明它还处于萌芽阶段。

FHE是未来私密、安全的在线交易的关键参与者。

3. FHE优缺点

FHE优点有:

  • FHE 提高了区块链灵活性:在一个区块中的同一私有状态上实现多个用户交易,并支持跨暗池的复杂交换。
  • FHE 增强了用户体验:网络验证器使用专用硬件来实现更快的计算,使注重隐私的交易更加顺畅。
  • FHE 为开发人员提供了简化:与现有的智能合约模型和工具集成,降低了创建链上私有应用程序的准入门槛。

FHE缺点有:

  • 对隐私验证器密钥管理的信任以及重复计算的潜在泄漏凸显了隐私风险。(解密密钥的困境)

4. 当前FHE生态

当前FHE生态有:

  • 1)Fair Math:推出开源 FHE 库并与 OpenFHE for FHERMA 合作,计划在 2024 年推出 25 多个挑战,推动现实世界的应用程序开发。最近获得了140 万美元的种子轮募资。
  • 2)inco network:Inco 推出了突破性的 Layer-1 区块链,将 FHE 的隐私与以太坊的安全性融合在一起,实现无与伦比的机密计算。Gentry 测试网首次亮相,邀请开发人员在以太坊生态系统中使用 FHE 制作 dApp,将 Solidity 的熟悉程度与尖端隐私技术结合起来。最近募资了450万美金。
  • 3)Zama FHE:Zama 的 fhEVM 通过加密数据上的机密智能合约进行了彻底变革,将隐私与无缝集成融为一体。近期获得7300万美金A轮融资。
  • 4)Fhenix IO:推出第一个由 FHE 驱动的 L2,通过加密数据计算来改变以太坊,以实现无与伦比的隐私。

参考资料

1\] 0xshakib_eth 2024年3月12日twitter ## FHE系列博客 * [技术探秘:在RISC Zero中验证FHE------由隐藏到证明:FHE验证的ZK路径(1)](https://blog.csdn.net/mutourend/article/details/135014646) * [基于\[Discretized\] Torus的全同态加密指引(1)](https://blog.csdn.net/mutourend/article/details/135037914) * [基于\[Discretized\] Torus的全同态加密指引(2)](https://blog.csdn.net/mutourend/article/details/135063012) * [TFHE------基于\[Discretized\] Torus的全同态加密 代码解析](https://blog.csdn.net/mutourend/article/details/135115487) * [技术探秘:在RISC Zero中验证FHE------RISC Zero应用的DevOps(2)](https://blog.csdn.net/mutourend/article/details/135173466) * [FHE简介](https://blog.csdn.net/mutourend/article/details/135182031) * [Zama TFHE-rs](https://blog.csdn.net/mutourend/article/details/135183873) * [Zama TFHE-rs白皮书(1)](https://blog.csdn.net/mutourend/article/details/135184154) * [Zama TFHE-rs白皮书(2)](https://blog.csdn.net/mutourend/article/details/135206522) * [ZK系统内隐私 VS. FHE系统内隐私](https://blog.csdn.net/mutourend/article/details/135957645)

相关推荐
HaiLang_IT7 天前
【信息安全毕业设计】基于zkSNARK与递归证明的数字签名验证方案研究
零知识证明·数字签名·身份验证
FAFU_kyp12 天前
Iden3 协议规范(Version 0)详细总结
零知识证明
搬砖魁首21 天前
密码学系列 - 零知识证明(ZKP) - NTT与MSM的总结
密码学·零知识证明·zkp·ntt·msm·pippenger·kzg
openHiTLS密码开源社区21 天前
椭圆曲线密码学的效率核心:单标量与多标量乘法详解
区块链·零知识证明·rsa·隐私保护·ecc·多标量·单标量
openHiTLS密码开源社区23 天前
从 “对话” 到 “证书”:零知识证明的魔法工具箱 —— 让隐私验证走进普通人的数字生活
区块链·零知识证明·隐私泄露·zkp
搬砖魁首1 个月前
密码学系列 - 零知识证明(ZKP) - NTT运算
区块链·密码学·零知识证明·fft·ntt
mutourend2 个月前
ICICLE-Snark:目前最快的 Groth16 实现
零知识证明
搬砖魁首3 个月前
密码学系列 - 零知识证明(ZKP) - 多种承诺方案
密码学·零知识证明·pcs·zkp·承诺方案
AIMercs4 个月前
零知识证明
区块链·零知识证明
搬砖魁首4 个月前
DevCon 6记录
零知识证明·zk·账户抽象·mpc钱包·devcon