Foresight Ventures:深度解析FHE(全同态加密)赛道

Foresight Ventures:深度解析FHE(全同态加密)赛道缩略图

作者: Maggie @ Foresight Ventures

TLDR:

  • FHE全同态加密是即将崛起的下一代隐私保护技术,值得我们布局。 FHE具备理想的隐私保护能力,但其的性能还存在差距。我们相信随着Crypto资本的进入,会极大地加速技术的发展和成熟,就像这几年ZK的飞速发展一样。

  • 全同态加密在Web3中可以用于交易隐私保护、AI隐私保护和隐私保护协处理器。其中我尤其看好隐私保护EVM,它比现存的环签名、混币技术和ZK都要更灵活,更适配EVM。

  • 我们调研了目前杰出的几个FHE项目,大部分FHE的项目是今年到明年第一季度上主网。这些项目中,ZAMA技术最强但暂未声明有发币的计划。此外,我们认为Fhenix是其中最优秀的FHE项目。

一、FHE是理想的隐私保护技术

1.1 FHE的作用

全同态加密是一种加密形式,它允许人们对密文进行任意多次的加法和乘法运算得到仍然是加密的结果,将其解密所得到的结果与对明文进行同样的运算结果一样。实现数据的 “可算不可见”。

Foresight Ventures:深度解析FHE(全同态加密)赛道

全同态特别适合外包计算,你可以将数据外包给外部算力去运算,同时又不用担心数据泄漏

用通俗的话来讲,比如,你运行着一家公司,公司的数据非常值钱,你想用好用的云服务来处理和计算这些数据,但你又担心数据在云端泄漏。那么你就可以:

  1. 将数据进行全同态加密转成密文后再上传至云服务器上。比如,上图中的数字5和10,会被加密成密文,用“X”, ”YZ”来表述。

  2. 当你需要对数据做运算的时候,比如你想让两个数字5和10相加,你只需要让云服务器上的密文”X”, ”YZ”进行算法规定的明文+操作相对应的某种运算,得到的密文结果”PDQ”.

  3. 这个密文结果从云服务器上下载下来后,经过解密得到明文。你会发现这个明文结果,就是5 + 10的运算结果。

明文只出现在你这里,而云服务器上存储和计算的全都是密文数据。这样你就不用担心数据泄漏了。这种隐私保护的方法非常理想。

Foresight Ventures:深度解析FHE(全同态加密)赛道

  • 半同态加密:半同态是容易且更实用的。半同态指的是密文只有一种同态特性,比如:加法同态/乘法同态。

  • 近似同态:使得我们可以在密文上同时计算加法和乘法,但支持的次数非常有限。

  • 有限级数全同态加密:允许我们对密文进行任意的加法乘法组合,没有次数限制。但有一个新的复杂度上限,这个上限约束了函数的复杂度。

  • 全同态加密:则需要支持任意多次的加法和乘法运算,没有复杂度和次数的限制。

全同态加密在这里是最困难最理想的,被称作是“密码学圣杯”。

1.2 历史

Foresight Ventures:深度解析FHE(全同态加密)赛道

全同态加密历史悠久

  • 1978年:全同态加密概念被提出。

  • 2009年(第一代):第一个全同态方案被提出。

  • 2011年(第二代):基于整数的全同态方案被提出。比上一个方案更简单,效率没有提高。

  • 2013年(第三代):一种构造FTE方案的新技术GSW被提出,效率更高,安全性更强。这一技术得到进一步改进,开发了FHEW和TFHE,进一步提高了效率。

  • 2016年(第四代):一种近似同态加密方案CKKS被提出,是评估多项式近似的最有效的方法,特别适合隐私保护机器学习应用。

目前常用的同态加密库支持的算法主要是第三代和第四代算法。算法上的创新、工程上的优化、Blockchain更友好、硬件加速,随着资本的进入是容易出现的。

1.3 当前的性能和可用性

常用的同态加密库

Foresight Ventures:深度解析FHE(全同态加密)赛道

ZAMA TFHE 性能

比如:ZAMA TFHE的256位加和减耗时200ms左右,明文计算大约几十~几百纳秒,FHE计算速度大概比明文计算慢10^6 倍。部分优化了的操作大概比明文慢1000倍。当然,拿一个密文计算和明文计算做对比本来就是不公平的。隐私是要付出代价的,何况是全同态这种理想的隐私保护技术。

Foresight Ventures:深度解析FHE(全同态加密)赛道

ZAMA计划通过研发FHE的硬件来进一步提高性能。

1.4 FHE+Web3的几个技术研究方向

Web3是去中心化的,全同态和Web3结合还有很多技术方向可以研究,比如下面这些。

  • 创新的FHE方案、编译器、库,使FHE更好用、更快、更适合区块链。

  • FHE硬件,提高运算性能。

  • FHE + ZKP,用FHE隐私计算的同时,用ZK证明输入输出是满足条件的,或证明FHE是正确执行的。

  • 运算节点的防做恶,可以结合EigenLayer restaking等。

  • MPC解密方案,共享状态经过了加密,密钥往往采用的MPC分片,需要一个安全且高性能的阈值解密协议。

  • 数据存储DA层,需要更高吞吐的DA层,现有的Celestia不能满足要求。

总的来说,我们认为FHE全同态加密是即将崛起的下一代隐私保护技术。FHE具备理想的隐私保护能力,但其的性能还存在差距。我们相信随着Crypto资本的进入,会极大地加速技术的发展和成熟,就像这几年ZK的飞速发展一样FHE这个赛道值得我们布局。

二、FHE在Web3用于各种隐私保护场景,其中我最看好隐私EVM。

FHE属于隐私保护赛道。简单来说就包括 “交易隐私保护”+“AI隐私保护”+ “隐私保护的协处理器”。

  • 交易隐私保护还包括隐私保护的Defi, 投票,竞标,防MEV等。

  • AI隐私保护还包括去中心化的身份标识,以及其它AI的模型和数据的隐私保护。

  • 隐私保护协处理器是将全同态密文操作放在链下进行,并最终将结果返回到链上,可以用来做Trustless games等。

Foresight Ventures:深度解析FHE(全同态加密)赛道

当然,隐私保护技术有多种,对比一下您就会知道FHE的特殊性的。

Foresight Ventures:深度解析FHE(全同态加密)赛道

  • TEE是很快的,数据在可信硬件中是以明文形式存在并计算的,因此速度非常快。但它依赖于安全硬件,实际上是信赖硬件的制造商,而非算法,这种信任模式是中心化的。且TEE的一些计算验证是需要联网到TEE制造商做远程验证的。这就不适合整合到区块链上,做链上验证。因为我们要求链上验证,仅仅需要区块链的历史数据节点就可以独立完成,而不应该依赖于外部中心化的机构。

  • MPC安全多方计算也是一种保护隐私的多方计算技术。但这个技术往往需要多方同时在线,频繁交互,通常不适合区块链这种异步的场景。MPC我们多用来做分散的密钥管理,在MPC钱包中,私钥不会以完整形式存储在任何一个地方。相反,私钥被分成多个碎片(或部分),这些碎片分别存储在不同的设备或节点上。只有在需要签名交易时,多个碎片会通过多方计算协议共同参与计算,生成签名。

  • ZK零知识证明则多用于做计算证明,证明某一个计算过程是正确执行的,很少用来做隐私保护。ZK和同态技术也是密不可分的,其中隐私保护的部分也是用到了同态技术。

  • FHE全同态加密在密文运算过程中不需要中途交换数据,可以完全在服务器/节点上计算。因此,没有MPC的需要发起方/多方在线的要求,更适合用于区块链。且相比TEE是Trustless的。唯一的不足在于性能不高。

因此,只要FHE逐步提升性能,它的隐私保护能力是更适合于Web3的。

Foresight Ventures:深度解析FHE(全同态加密)赛道

同时,在交易隐私保护方面,全同态加密也更适合EVM。因为:

  • 环签名和混币技术,并不能支持合约。

  • 而Aleo等ZK隐私保护项目,隐私数据是类似UTXO模型,而非EVM的账户模型。

  • 全同态加密则既能支持合约,又能支持账户模型,可以很容易接入到EVM中。

对比下来,全同态EVM确实很吸引人。

Foresight Ventures:深度解析FHE(全同态加密)赛道

AI的运算本来就是很耗算力的,再叠加全同态加密这么复杂的加密模式,现阶段可能性能过低,成本过高。我认为AI的隐私保护最终还是会是一种TEE/MPC/ZK/半同态的混合方案。

总的来说,全同态加密在Web3中可以用于交易隐私保护、AI隐私保护和隐私保护协处理器其中我尤其看好隐私保护EVM,它比现存的环签名、混币技术、ZK都要更灵活,更适配EVM。

三、大部分FHE的项目是今年到明年第一季度上主网,我们认为Fhenix是ZAMA以外最优秀的FHE项目。

我们调研了如今市面上比较杰出的全同态加密项目,他们的简要信息如下:

3.1 ZAMA (工具)

  • 叙事:为区块链和AI提供全同态加密

    • 工具:TFHE-rs,TFHE的rust实现

    • 工具:Concrete,TFHE的编译器

    • 产品:Concrete ML ,保护隐私的机器学习

    • 产品:fhEVM, 保护隐私的智能合约

  • 团队:CTO Pascal Paillier著名密码学家

    • CTO & co-founder:Pascal Paillier密码学家。1999年于Telecom ParisTech获得PHD的学位,1999年发明了Paillier密码系统。2013年开始发表同态加密相关的论文,在全同态领域属于顶尖人物之一。

    • CEO & co-founder:Rand Hindi,2011年UCL,Bioinformatics PHD毕业,做过数据科学类项目,在做ZAMA的同时,为多个项目做过Advisor

  • 融资:4年,共融资8200多万美金,最近一轮A轮融7300万,Multicoin Capital和Protocol Labs领投

    • 2023年9月26日,Seed Round 700万美元,  Multicoin Capital领投,Node Capital、Bankless Ventures、Robot Ventures、Tane Labs、HackVC 和 Metaplanet参投

3.2 Fhenix (EVM + AI)

  • 叙事:FHE协处理器/L2 FHE Rollup(EVM兼容的隐私L2)

    • 产品:支持FHE的Rollup,是EVM兼容的机密智能合约。开发者用Solidity开发Dapp,同时能保证数据隐私。

    • 产品:FHE coprocessor,加密计算任务从主机链(无论是以太坊、L2 还是 L3)Offload到链下。它们极大地提高了基于 FHE 的操作的效率。

    • 合作:和Zama合作,使用ZAMA的fhEVM,github上是fork的ZAMA的库

    • 合作:和EigenLayer合作,Rollup的节点需要在EigenLayer做再质

  • 团队:Guy Itzhaki曾经在Intel有着7年多的工作经验,担任Intel 同态加密与区块链业务发展总监。

    • Founder:Guy Zyskind,MIT的PHD Candidate, 2016年MIT的MSC。参与MIT Enigma隐私协议的研发,具备很强的研究发能力。

    • CEO:Guy Itzhaki曾经在Intel有着7年的工作经验,在隐私保护领域有着非常强的时间经验,曾担任Intel 同态加密与区块链业务发展总监。

    • Prof. Chris, Peikert, 全同态加密的密码学家。Algorand的密码学leader。

  • 融资:1年,最近一轮A轮融1500万, Hack VC领投, Foresight Ventures等机构跟投。

    • 2024年5月,A轮1500万美金,Hack VC领投, Foresight Ventures等机构跟投。

    • 2023年9月26日,Seed Round 700万美金,  Multicoin Capital领投,Node Capital、Bankless Ventures、Robot Ventures、Tane Labs、HackVC 和 Metaplanet参投.

  • Roadmap:24年Q2发布测试网,25年Q1上主

    • 2024年Q2,发布threshold网络.

    • 2024年Q3,FHE Co-processor V0.

    • 2025年Q1,主网

    • 2025年Q3,FHE Co-processor V1.

3.3 Inco (EVM)

  • 叙事:模块化隐私计算层/支持EVM链

    • 产品:支持FHE的Rollup,是EVM兼容的机密智能合约。开发者用Solidity开发Dapp,同时能保证数据隐私。

    • 合作:和Zama合作,使用ZAMA的fhEVM

  • 团队:Founder Remi Ga,早期短暂做微软和谷歌软件工程师,做过Parallel Finance的DeFi项目

    • Founder:Remi Gai, 22年前在微软和谷歌分别有有6~9个月的软件工程师经验,后来做过Parallel Finance, DeFi项目。

    • Tech lead:Amaury A,Cosmos的核心开发

  • 融资:最近一轮Seed轮融450万, 1kx 领投

    • 2024年2月,Inco Network 完成 450 万美元种子轮融资,1kx 领投,Circle Ventures、Robot Ventures、Portal VC、Alliance DAO、Big Brain Holdings、Symbolic、GSR、Polygon Ventures、Daedalus、Matter Labs 和 Fenbushi 等参投

  • 进度:24年3月推出测试网, 24年Q4推出主网

    • 2024年3月,推出测试网包含了fhEVM。目前包含了保护隐私的ERC-20,隐私投票,盲拍,隐私DID几个示例

    • 2024年Q2~Q3,推出测试网包含了fhEVM

    • 2024年Q4,上主网

    • 2025年计划做FPGA硬件加速,希望TPS到100~1000.

3.4 Mind Network (AI&DePIN)

  • 叙事:数据的隐私保护和隐私计算。AI和DePIN数据和模型。

    • 产品:23年的叙事是隐私数据湖,隐私保护的数据存储和计算。今年调整到了针对AI和DePIN数据和模型的隐私保护。

    • 合作:和ZAMA合作,使用ZAMA的全同态库

    • 合作:与Fhenix,Inco合作,使用fhEVM做Rollup

    • 合作:和Arweave合作,存储加密后的数据

    • 合作:和EigenLayer, Babylon等合作,服务节点restaking 参考:https://mindnetwork.medium.com/fhe-secured-restaking-layer-scaling-security-for-ai-depin-networks-73d5c6e5dda3

  • 团队:CTO George曾是剑桥大学研究员。

    • Co-founder & CTO:George曾是剑桥大学研究员,做过跨国银行的技术主管, 也有多年互联网金融科技的从业经验。

  • 融资:2年,Seed融250万,Binance Labs孵化

    • 2023年6月20日,Seed Round 250万美元,  Binance Labs领投,HashKey, SevenX等参投.

  • RoadMap:已经上了测试网,目前有一个restake的功能. 其余Roadmap未公布

3.5 Privasea (AI&DePIN)

  • 叙事:AI和DePIN隐私计算。

    • 产品:使用FHE来训练ML模型。优化了TFHE的Boolean gates.

    • 产品:FaceID, 隐私保护版人脸识别。用于防女巫和KYC

    • 合作:集成BNB Greenfield存储加密数据

  • 团队:CTO Zhuan Cheng,芝加哥大学数学PHD,密码学技术研发经验丰富。

    • CEO:David Jiao, AI项目曾融过2千万,区块链项目融过400万。

    • CTO Zhuan Cheng,芝加哥大学数学PHD,密码学研发经验丰富,之前做过NuLink的ZK隐私保护项目

  • 融资:1年,Seed融500万,Binance Labs孵化

    • 2024年3月,Seed Round 500万美元,  Binance Labs孵化,MH Ventures,K300,Gate Labs, 1NVST等参投.

  • RoadMap:24年4月发布测试网V2,24年Q3主网

    • 2024年1月,Testnet V1.

    • 2024年4月,Testnet V2.

    • 2024年Q3,TGE.

3.6 Optalysys (工具)

叙事:同态加密硬件。

从上述信息来看,ZAMA为这些项目提供了全同态加密的核心开源库,是当前当之无愧的技术先行者和最强者。但目前ZAMA暂未声明有发币计划,因此我们重点关注了Fhinex。

Fhinex将实现隐私保护的EVM,实现保护隐私的智能合约。他们计划建造一个Fhenix L2,这是一个全同态隐私的EVM。提供保护隐私的交易和DeFi等。这个L2还配备了一个threshold网络,用于做一些加解密操作;并且,Fhenix还会搭建FHE co-processor, 一个全同态计算网络,可以服务于Fhenix以外的EVM链,提供全同态的计算服务。

Fhinex 团队的技术实力很强,团队成员不仅仅有在Intel负责隐私计算的专家,还有在MIT参与Enigma隐私协议研发的PHD,以及Algorand密码学lead。

总之,我们相信ZAMA、Fhinex等全同态加密项目能为区块链带来理想的隐私保护工具。

About the Author

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注

You may also like these