FHE 赛道一览,Web3 隐私数据终局何时到来?
FHE 的应用场景广阔,它面向的是整个互联网体系下的任何隐私数据。
撰文:Peng Sun,Foresight News
这个市场充满着二律背反,隐私赛道让人大失所望,但作为意识形态的数据隐私却又令人满怀憧憬。隐私,是加密世界不灭的梦。
密码学是区块链的原语,最初知道同态加密(HE)的时候我们还在讨论 ZK 有没有可能应用在区块链上,但现在已经到了 ZK 怎么好用、HE 什么时候用的阶段。
对很多人来说,密码学的技术离我们太远了,专业壁垒太高,散户难以参与。去年 12 月,随着 AI + Crypto 的爆发,笔者留意到一些欧美 VC 开始关注 FHE 赛道,直到今年 5 月 5 日,Vitalik Buterin 重新分享了 2020 年的旧文「Exploring Fully Homomorphic Encryption」,并表示「最近很多人都对 FHE 感兴趣」。与此同时,近期专注于 FHE 的播客、FHE 竞赛平台也相继诞生。
那么,藏在象牙塔里的 FHE,到底是什么呢?有哪些应用场景?为什么资本如此青睐?今天,Foresight News 对 FHE 赛道 25 个项目做一盘点,它们遍布基础设施、公链、DePIN 网络、AI、游戏、DeFi 等领域。
FHE(全同态加密)是什么?
同态加密(Homomorphic Encryption,HE)最早于 1978 年首次提出,旨在解决在不接触数据的情况下对数据进行加工处理的问题。但直到 2009 年,同态加密在技术上进展迟缓,只有处理单一加法运算或乘法运算的半同态加密(Partially Homomorphic Encryption,PHE)。2009 年,Craig Gentry 长达 200 页的论文 A Fully Homomorphic Encryption Scheme 提出了第一个支持任意数量的加法与乘法的同态运算机制,也就是全同态加密(FHE),实现了 FHE 技术的飞跃。
我们说 ZKP 是密码学的圣杯,但 FHE 也是,而且愿景更加宏大。ZKP 与 FHE 的区别在于,ZKP 可以在不透露真实数据的情况下向对方证明数据的真实性与可靠性,在 L2 中也起到非常重要的压缩成本的作用。
FHE 要做的是「可算不可见」。传统密码学算法对密文进行计算都需要先解密,对解密后的明文进行计算,无法处理密文。但 FHE 不需要,它可以对加密数据(密文)直接进行计算,其计算结果与明文计算结果一致。打个比方,我们给 A 数据套一个黑盒子(加密),当我们把这个黑盒子发给接收方时无需取出黑盒子,接收方可以直接对黑盒子进行计算,计算过程中不会泄漏任何关于 A 数据的内容,彻底完成了对数据的隐私计算。
FHE 的应用场景广阔,不只是 Web3 与区块链,它面向的是整个互联网体系下的任何隐私数据,无论是广告、个性化推荐、AI、游戏、链上交易、MEV 保护、区块空间拍卖、链上投票、反女巫攻击、机器学习、医疗、金融、自然语言处理等等。当然,FHE 之所以还没有应用,也是因为它的计算量更大、更为复杂。目前,FHE 的计算速度比明文计算要慢 4 至 5 个数量级(1 万倍至 10 万倍)。
同时,FHE 虽然保护了数据隐私,但不能保证计算真实性,因此可与 ZKP 相结合。过去一些年,ZKP 与 FHE 在技术上难以集成,加之 FHE 对计算的要求极高,FHE 在区块链世界的应用也一直没有展开。不过,这几年 FHE 技术有了很大进展,我们也看到了 ZK 与 FHE 结合的可能,随着硬件加速在 ZKP 领域的应用,DePIN 的出现也给算力网络带来了可能。综合下来看,FHE 的前景与想象空间一点都不输 ZKP。
加速硬件
FHE 由于计算过程中的多项式数量过多,而 CPU 显然无法高效处理这一过程,最终我们还是需要 GPU、FPGA、ASIC 来进行硬件加速。Lattica AI 公司在 GPU 加速与 CUDA 实现 FHE 方案方面进行了测试,如果 GPU 也能够实现,那 FHE 加速也将彻底去中心化。但无论如何,FPGA 与 ASIC 都是加速的最终选择。
Ingonyama
说起 ZKP、FHE 与硬件加速,永远都离不开这个赛道最强选手 Ingonyama。这是一家半导体公司,由以色列国防军情报部队 8200 精英部队毕业生、连续创业者 Shlomovits 于 2022 年创立。该公司的首款芯片是一款类似于 GPU 的可编程并行计算处理器,但旨在加速高级密码学,特别是零知识证明(ZKP)和全同态加密(FHE)。尽管当前 Ingonyama 专注于 ZKP,但 ZKP 与 FHE 有些计算相通,未来 Ingonyama 给 FHE 做加速也是题中之义。
近期,ZKP 硬件加速公司 Accseal(智芯华玺)与 Ingonyama 达成战略合作伙伴关系,双方旗下产品 Leo 和 ICICLE v3 将进行集成。Accseal 此前已研发出 ZK ASIC 芯片,其与 Ingonyama 的合作将大幅度降低使用方的算力成本并提高运算性能。
2023 年 11 月,Ingonyama 完成 2000 万美元种子轮融资,Walden Catalyst 领投,参投方包括 Geometry、BlueYard Capital、Samsung Next、Sentinel Global 和 StarkWare 等。2024 年 1 月,Ingonyama 完成 2100 万美元种子轮融资,IOSG Ventures、Geometry 和 Walden Catalyst Ventures 领投。
Cysic
Cysic 是一家硬件加速公司,目前的定位是实时 ZK 证明生成和验证层,基于自研 ASIC、FPGA、GPU 芯片提供 ZK 计算即服务(ZK-CaaS)。Cysic 已经自研了 FPGA 硬件,并将推出 ZK DePIN 芯片 / 设备 ZK Air 与 ZK Pro,构建 DePIN 网络 Prover Network。
据 Cysic 联创 Leo Fan 表示,ZK 与 FHE 有很多共同的模块,Cysic 目前的很多工作是可以复用在 FHE 领域的,同时 Leo 也曾为 Taiko、HashKey Capital 所写的 FHE 研究贡献部分内容,也曾发表过一篇 FHE 的论文,可以想见未来 Cysic 也会成为 FHE 硬件加速方。
2023 年 2 月,Cysic 完成 600 万美元种子轮融资,Polychain Capital 领投,HashKey、SNZ Holding、ABCDE、A&T Capital 和 Web3.com 基金会参投。
* 推荐阅读:《当 ZKP 遇上 DePIN,Cysic 如何将 PoW 带回以太坊?》
Chain Reaction
Chain Reaction 是一家区块链芯片初创公司,今年第一季度开始量产其区块链芯片 Electrum,该芯片旨在快速、高效地执行称为「hashing」的区块链操作,也可用于比特币等数字货币的挖矿。此外,计划于 2024 年底推出 FHE 芯片,允许用户在加密数据的同时处理数据。
2023 年 2 月,Chain Reaction 完成 7000 万美元融资,Morgan Creek Digital 领投,资金将用于扩大其工程团队,融资总额已达到 1.15 亿美元。
Optalysys
Optalysys 是一个 FHE 专用硬件加速平台,正在通过光学计算构建能够大规模实现 FHE 的硬件,已推出加速器计划,包括模拟器、软件与硬件。Optalysys 针对所有 FHE 方案常见的密集计算,为所有机密计算解决方案提供加速。Optalysys 目前的产品为混合光子芯片 Optalysys Etile,其将数字接口与硅光子技术相结合,与多芯片模块中的传统数字电子器件集成,核心是光子电路。
基础设施
Zama
Zama 是一家开源密码学公司,为区块链与 AI 构建 FHE 解决方案。Zama 由 Hindi 和 Pascal Paillier 于 2020 年初共同创立,Paillier 是著名密码学家,也是全同态加密(FHE)技术的发明者之一。
作为服务提供商,Zama 为 Web3 项目提供 FHE 解决方案,譬如 TFHE-re 库、TFHE 编译器 Concrete、隐私保护机器学习 Concrete ML、机密智能合约 fhEVM。Zama 专注的是 TFHE(阈值同态加密),其 TFHE-re 是纯 Rust 实现,用于对加密数据进行布尔计算与整数计算,开发者与研究者可对 TFHE 进行细粒度控制,以专注于高级功能。fhEVM 则可以将 TFHE-re 集成到 EVM 中,将同态操作作为预编译合约公开,使开发者能够在合约中使用加密数据,无需对编译工具进行任何修改。
2024 年 3 月 7 日,Zama 完成 7300 万美元 A 轮融资,Multicoin Capital 和 Protocol Labs 领投,Metaplanet、Blockchange Ventures、Vsquared Ventures、Stake Capital、Filecoin 创始人 Juan Benet、Solana 联合创始人 Anatoly Yakovenko 和以太坊联合创始人兼 Polkadot 联合创始人 Gavin Wood 等参投,所筹资金将用于继续研究和开发其 FHE 工具。
PADO
PADO 是一个基于 zkFHE 的去中心化计算网络,最终目标是开发能够支持 ML 应用甚至更广泛的 VM 功能的多功能 zkFHE 算法,应用场景更加广泛,未来任何算力都可以作为节点接入网络并提供服务。目前,PADO Labs 正在构建 PADO 扩展程序、PADO 开发者工具包与节点 SDK 基本组件。PADO 扩展程序是一个一站式门户,用户可生成各种平台的数据证明。
PADO 在技术上最重要的实现是将 zk-SNARK 与 FHE 结合,确保隐私数据计算的真实性与可验证性。同时,PADA 还将 MPC、IZK(交互式零知识证明)与 zkFHE 结合。按照 PADO 技术路线图,其在短期内的主要重点是增强 (F)HE 方案的特定功能,为支持 zkFHE 的应用推出定制化产品。目前主要工作也是优先优化 FHE 算法,并集成 ZK 组件以确保可验证性。PADO 的早期 HE 方案支持线性运算,可将证明密文与加法同态运算的 ZK 证明时间缩短至 0.7 秒左右,未来还可缩减至 0.1 秒以下。相较于 Zama 的方案,PADO 可在同态比较运算上的计算时间减少一半。PADO 还将扩展对更大明文空间的支持,譬如 u8/u16/u32,相较 Zama 可提高至少 2 倍性能。而通用 zkFHE 性能在借助 Zama 的情况下也能够提升 3 至 5 倍。在开发语言上,PADO 也支持 Python、Rust 等常用语言。
具体到应用层面,PADO 当前主要关注点是与 AO 和 Arweave 生态系统内的数据共享相关场景。今年 4 月,PADO 与 AO 合作发起可验证机密计算 VCC,VCC 将建立在 AO 上。PADO 将逐步建立基于 AO 的去中心化计算机单元,并将使用 Arweave 区块链作为隐私数据存储层。用户可以通过 PADO 的 zkFHE 技术加密自己的数据,并将其安全地存储在 Arweave 区块链上。AO 生态系统内的任何计算请求都将通过 AO 调度单元发送至 PADO 计算节点,计算机单元将计算任务发送到 zkFHE 计算节点。这些计算节点在 Arweave 上检索到用户的密文数据后,根据计算请求的要求完成相应的全同态计算和计算完整性证明。
2023 年,PADO 完成 300 万美元种子轮融资。
Sunscreen
Sunscreen 是一家隐私初创公司,旨在让工程师能够使用 FHE 等密码技术,以便其轻松构建与部署私有应用程序。Sunscreen 已开源自己的 FHE 编译器,这是一个 Web3 原生编译器,可将普通的 Rust 函数转换为具有隐私性的 FHE 等效函数,为算术操作(譬如 DeFi)提供一些最佳性能,无需硬件加速。FHE 编译器还支持 BFV FHE 方案。Sunscreen 也在构建 FHE 编译器兼容的 ZKP 编译器,与 FHE 结合,确保计算完整性,但目前证明同态运算时总体较慢。同时,Sunscreen 也在寻找存储 FHE 密文的去中心化存储系统。
在具体的路线图规划上,Sunscreen 将首先支持测试网中的私有交易、然后支持预先确定的私有程序,最后允许开发者使用其 FHE 与 ZKP 编译器编写任意私有程序。
2022 年 7 月,隐私初创公司 Sunscreen 完成 465 万美元种子轮融资,Polychain Capital 领投,参投方包括 Northzone、Coinbase Ventures、dao5 等,个人投资者包括 Naval Ravikan、Entropy 创始人 Tux Pacific 等。Sunscreen 由 Ravital Solomon 与隐私网络 NuCypher 联合创始人 MacLane Wilkison 创立,旨在方便工程师构建基于全同态加密的应用。此前 Sunscreen 曾获得 57 万美元的 Pre-Seed 轮融资。
SherLOCKED
SherLOCKED 是一个基于 FHE 的 EVM 区块链隐私支持基础设施,开发者可使用它来编写能够对区块链上加密数据进行操作的自定义智能合约。简单说就是可以加密链上的公共交易数据,任何人都无法查看,因为区块链上的数据都将以加密的形式出现。
有这样一个公式:ZK + MPC + FHE = SherLOCKED,具体来说就是三个组成部分,包括 SherLOCKED SDK、节点网络与 zkVM 计算基础设施。当用户将交易发送至智能合约时,调用链上功能之前,首先由节点网络使用 MPC 来加密数据,并将加密后的数据传给 SDK。其次,SDK 将加密数据作为参数调用智能合约函数,智能合约对加密数据(密文)进行操作。其三,对加密数据的计算需要消耗大量 Gas,因此 SherLOCKED 将其外包给基于 zkVM 的 RISC Zero 证明计算机(Bonsai),Bonsai 来进行计算并提供 ZK 证明。最后该证明再由链上的中继器与验证者进行验证。SherLOCKED 可以部署在任何 EVM 网络上。
SherLOCKED 由 Rize Labs 联创 Nitanshu 在参与 2023 年 10 月 ETHGlobal 举办的 ETHOnline 黑客松时构建,并入围决赛获奖。目前,SherLOCKED 在 GitHub 上的代码库已有 7 个月未更新。
Fair Math
Fair Math 是一个采用开源与面向社区方法的研究公司,重点在于开发基于 FHE 的隐私保护技术。2024 年 4 月,Fair Math 发布「协作式 FHE-(E)VM 宣言」,试图以模块化方式来设计 FHE-(E)VM,它允许不同版本的 FHE-(E)VM 同时共存,使用规范版本作为开发支持 FHE 的应用程序的标准参考。
该宣言还提出构建一个 FHERMA 竞赛平台,这是一个与 OpenFHE 合作开发的 FHE 挑战平台,致力于通过独特结构的竞赛来教育与激励 FHE 的发展。按照其规划,2024 年该平台将发起 25 个以上的 FHE 挑战。Poly Circuit 是通过 FHERMA 竞赛构建的应用层 FHE 组件库,一旦确定挑战的获胜者,其解决方案将通过 PR 添加到存储库中。OpenFHE-rs 则是 Fair Math 和 OpenFHE 的联合项目,这是其 FHE 组件库中最全面的 FHE Rust 库,可供 Rust 开发者使用。
2024 年 2 月,Fair Math 完成 140 万美元 pre-seed 轮融资,gumi Cryptos Capital、Inception Capital 和 Polymorphic Capital 领投,以促进 FHE 采用。
AntChain
AntChain TrustBase 是基于蚂蚁链的开源技术体系,包括广域网共识算法,零知识证明、全同态加密等。
公链
Fhenix
Fhenix 是一个由 FHE Rollups 与 FHE Coprocessors 提供支持的以太坊 L2,完全兼容 EVM,对 Solidity 提供全面支持,可以运行基于 FHE 的具有链上保密计算的智能合约。Fhenix 不使用 zkFHE,采用的是 Optimistic Rollup 而非 ZK Rollup,其使用 Zama 的 FHE,通过 fhEVM 提供链上保密性,并专注于 TFHE(Threshold FHE)。
2024 年 4 月 2 日,Fhenix 宣布将与 EigenLayer 合作开发 FHE 协处理器,希望将 FHE 引入智能合约。所谓「FHE 协处理器」,其工作重点是无需先解密信息即可对加密数据进行计算,无需在以太坊、L2 或 L3 上处理 FHE 计算任务,而是由指定的处理器处理。FHE 协处理器将受到 Fhenix 的 FHE Rollup 和 EigenLayer 质押机制的保护。按照路线图,Fhenix 计划于 2025 年 1 月上线主网。
2023 年 9 月,Fhenix 完成 700 万美元种子轮融资,Sora Ventures、Multicoin Capital 和 Collider Ventures 领投,Node Capital、Bankless、HackVC、TaneLabs 和 Metaplanet 等参投。2024 年初 Fhenix 将发布公共测试网,并支持生态系统应用开发。
Inco
Inco Network 是 Web3 通用隐私保护层与模块化保密计算 L1 区块链,为链上应用程序提供隐私保护。它将以太坊 EVM 与 FHE 相结合,并通过 EigenLayer 得到以太坊的保护,允许程序在不解密的情况下操作和计算加密数据,无需使用 TEE、电路、链下存储或协处理器,一切都在链上进行,具有链上原生随机性。Inco 还推出 Gentry 测试网,以解决 Web3 的隐私保护难题。此外,Inco 可支持游戏、DeFi(包括暗池、私人借贷和盲拍等)、企业解决方案(如保密稳定币、私人 RWA 和私人投票等)等应用程序。
2024 年 4 月,Inco 与 EigenLayer 验证服务项目 Ethos,不仅可以共享以太坊的经济安全,以太坊上的 DApp 也可使用 Inco 的保密计算;Inco 还与模块化互操作协议 Hyperlane 合作,可以将隐私数据存储与计算扩展至模块化区块链生态系统。
Inco 在协议开发方面与 Zama 建立战略合作伙伴关系,其 fhEVM 也采用了 Zama 的 TFHE 方案。Inco 的 fhEVM 兼容以太坊工具集(Remix、Hardhat 和 Metamask 等)与 Solidity 语言。Inco 其他顾问包括 Polygon 联合创始人 Sandeep Nailwal 和 Canonical GP 及 Lightspeed Ventures 投资合伙人 Anand Iyer。
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 等参投。
Octra
Octra 是一个支持隔离执行环境的 FHE 区块链网络,他们提出了一种在 Hypergraphs 上进行引导的新型 FHE,即 HFHE。据官方文档显示,HFHE 可以与任何项目兼容,并且可以独立运行。Octra 的大部分代码库是用 OCaml、AST、ReasonML(用于与 Octra 区块链网络交互的智能合约和应用程序的语言)和 C++ 等语言开发。这种方法相对较新,在学术界的讨论有限。该方案的安全性仍未经验证,需要验证。
Octra 引入了一种基于机器学习的新型共识,利用参与者节点和支持向量机进行负载管理,根据之前一系列确认的经验选择确认路线,验证结果并确保无法干预过程。
Octra 轻量级客户端允许在树莓派、个人电脑、服务器、云服务器或手机上运行节点。目前,Octra Network 的验证过程正处于测试和调试阶段,测试网尚未推出。
Shibarium
Shibarium 是 Shiba Inu 的 Layer2 解决方案,正在使用密码学公司 Zama 的完全同态加密技术开发新的 Layer3 区块链,该区块链名称尚未透露,TREAT 代币是其新的注重隐私的 Layer3 区块链的「实用和治理代币」,该区块链将在以太坊 Layer2 区块链 Shibarium 上构建,专为区块链与 AI 而构建,可应用于智能合约、机器学习等领域的机密计算。
TREAT 将是 Shiba Inu 生态系统中的最后一个非稳定代币,该生态系统将在今年晚些时候推出一种名为 Shi 的新代币。该生态系统的现有代币包括 memecoin SHIB 、BONE(Shibarium 的治理代币)和 LEASH(由 Shiba Inu 的忠实用户持有的固定供应代币,为他们提供 BONE 奖励)。
2024 年 4 月,Shiba Inu 通过向非美国风险投资者出售其未发行的代币 TREAT 筹集 1200 万美元资金,Polygon Ventures、Foresight Ventures、Mechanism Capital、Big Brain Holdings、Shima Capital、Animoca Brands、Morningstar Ventures、Woodstock Fund、DWF Ventures、Stake Capital 和 Comma 3 Ventures 等参投。
Secret Network
Secret Network 是一个隐私公链与 Web3 隐私保护计算层,在其 Secret 2.0 规划中,该团队正以 Fhenix 为基础开发 TFHE Layer1 网络,并开发隐私保护 Rollups 作为补充。
DePIN
Arcium(前 Elusiv)
Arcium 是 Solana 上用于并行机密计算的 DePIN 网络。Arcium 由 Yannik Schrade、Julian Deschler、Nicolas Schapeler 和 Lukas Steiner 创立,前身是基于零知识的合规隐私协议 Elusiv,2024 年 5 月 8 日重塑品牌为 Arcium。
Arcium 首先支持 Solana,将使 DeFi、DePIN、AI 等开发者和应用能够灵活地访问无需信任、可验证且高性能的机密计算能力。Arcium 并非是一个区块链,需要调用底层区块链的 DA 层与共识层,允许开发人员跨不同的区块链部署机密智能合约,同时还为非区块链用户提供根据自己的需求配置区块链层信任模型的能力。
Arcium 网络由两个主要部分组成,分别为 Arx 网络和多方执行环境(MXE)。其中,MXE 结合了 MPC、FHE、ZKP 等,以实现对加密数据的安全计算。Arx 网络是一个去中心化的节点网络(每个节点称为 Arx),任何人都可以通过运行节点为网络做出贡献。Arcium 已推出激励性私人测试网,并邀请 100 位个人开发者或团队成员参与测试,入选者可运行 MPC 节点或中间层节点,或利用 MXE 构建链上应用。
2022 年 11 月,Elusiv 完成 350 万美元种子轮融资,LongHash Ventures 和 State Stripities Ventures 领投,参投方包括 Jump Crypto、NGC Ventures、Big Brain Holdings、Anagram、Cogitent Ventures、Equilibrium、Marin Ventures、Token Ventures、Moonrock Capital、Monke Ventures、Solanafm 等。
2024 年 5 月,Arcium 完成 550 万美元战略融资,Greenfield Capital 领投,Coinbase Ventures、Heartcore Capital、Longhash VC、L2 Iterative Ventures、Stake Facilities、Smape Capital 和 Everstake,以及 Solana 联合创始人 Anatoly Yakovenko 和 Monad 联合创始人 Keone Han 等参投。目前,Arcium 总融资额已达到 900 万美元。本轮融资将用于为开发人员和区块链应用程序提供一个信任最小化且可配置的加密计算框架。
Privasea
Privasea 是一个 DePIN+AI 项目,将其将全同态加密机器学习 (FHEML) 集成到分布式计算网络中,还推出利用 FHE 技术的 DApp「ImHuman」,确保「人类证明」(PoH)的安全执行。具体来说,用户在创建 ImHuman 账户后,如果忘记密码将无法恢复,ImHuman 将使用前置摄像头扫描人脸矢量,并直接在手机端进行加密,不会发送至任何服务器,Privasea 也无权访问。加密后的人脸矢量将发送至 Privasea 服务器,并铸造个人专属 NFT,从而完成人类证明,完成 PoH 的用户将收到独家空投。目前,ImHuman 仅在 Google Play 上推出,即将上线 App Store。
Privasea 还构建了 AI DePIN 基础设施 Privasea AI Network,目前测试网已上线。通过建立去中心化计算网络,该测试网为 FHE AI 任务提供可扩展的分布式计算资源,可降低中心化数据处理的风险。Privasea 的 FHE 方案由 Zama 具体机器学习提供支持。
2024 年 3 月,Privasea 完成 500 万美元种子轮融资,Binance Labs、Gate Labs、MH Ventures、K300、QB Ventures、CryptoTimes 等参投。4 月,Privasea 完成新一轮战略融资,OKX Ventures、野村证券 Nomura group 控股的 Laser Digtal 、软银参股的孵化器 Tanelabs 等参投。
Cluster Protocol
Cluster Protocol 是一个 DePIN 计算证明协议,希望构建去中心化 AI 模型的 Github,利用 FHE 集成为 GPU 提供商提供安全和一致的奖励,从而为全球个人和中小企业提供支持。
2024 年 3 月,Cluster Protocol 完成种子轮融资,Pivot Ventures、Genesis Capital 参投,具体金额暂未披露,Cluster Protocol 还将加入 Pivot 旗下的孵化加速计划。
Mind Network
Mind Network 是一个用于 DePIN 与 AI 的 FHE 再质押层,由 Zama 提供支持,旨在实现「HTTPZ」(端到端加密互联网愿景)。其产品包括适用于 AI 与 DePIN 网络的 FHE 再质押方案 MindLayer、FHE 授权的隐形地址协议 MindSAP 与通过 MindLayer 在 FHE 验证器网络上构建的 FHE DataLake MindLake。在 MindLayer 中,用户可将 BTC 与 ETH 的 LST 代币再质押到 Mind Network,并引入 FHE 增强验证器,确保为 AI 与 DePIN 网络的验证与计算过程实现端到端加密,同时引入专为 AI 机器学习任务设计的智能证明(PoI)共识机制,确保 FHE 验证者之间的公平安全分配。FHE 计算还可通过硬件进行加速。MindLake 是一个数据存储 Rollup,旨在对链上加密数据进行计算。
此外,Mind Network 正与 AltLayer、EigenDA、Arbitrum Orbit 一起推出 Rollup 链。Mind Network 测试网已上线。
2023 年 6 月,Mind Network 完成 250 万美元种子轮融资, Binance Labs、Comma3 Ventures、SevenX Ventures、HashKey Capital、Big Brain Holdings、Arweave SCP Ventures、Mandala Capital 等参投。同月,Mind Network 入选 Binance Labs 的第五季孵化计划,也曾入选 Chainlink BUILD 计划,并拿到以太坊基金会 Fellowship Grant。
游戏
zkHoldem
zkHoldem 是一个由 ZKP 与 FHE 提供支持的链上德州游戏,目前已上线 Manta Network,即将上线 Arbitrum。
Framed!
Framed! 是一个全链上「杀手」(黑手党)游戏,由 Inco Network 与 fhEVM 提供支持,曾于 2023 年 9 月入选 ETHGlobal 纽约决赛。Framed! 官方推特在去年 12 月之后不再更新,疑似不再运营。
DeFi
Penumbra
Penumbra 是 Cosmos 生态完全私有的跨链 PoS 网络与 DEX,成立于 2021 年,Penumbra 运行一个屏蔽池,允许屏蔽传输、质押与交换,其使用阈值同态加密(TFHE)来执行点对池的屏蔽交换,这些代币交换被作为批量交易处理。Penumbra 旨在将 Cosmos 生态所有资产交易整合到一个屏蔽池中。
2021 年 11 月,Penumbra 完成 475 万美元种子轮融资,Dragonfly Capital 领投,Interchain Foundation、Lemniscap、Robot Ventures、Volt Capital、Figment、Strangelove Ventures、Informal Systems 和 ZKValidator 参投。
AI
BasedAI
BasedAI 是一个 ZK-LLM 的去中心化 AI 项目,与 Bittsesor 类似,能够将 FHE 与连接到其网络的任何 LLM 集成,BaseAI Cerberus Squeezing 的深度压缩原理也能够提高 LLM 的运行效率,减少计算量,确保数据在处理与传输过程中保持加密。目前,BasedAI Prometheus 测试网已接近完成,Cyan 即将开始。
BaseAI 已发币,但明确表示不进行空投。
Polyverse AI
Polyverse AI 是一个由隐私、Web3 与 FHE 提供支持的全球 AI 数据引擎,旨在成为「去中心化谷歌」,并通过 FHE、ZKP 解决 AI 数据隐私问题,其 AI 数据层可为生成式 AI、DeAI、DeFi、DePIN、元宇宙、LLM 等提供支持。
Sight AI
Sight AI 是一个使用 FHE 的去中心化 AI 推理网络,为未来的 DeAI 推理提供安全、私有与协作网络,引入了 vFHEML(可验证 FHE 机器学习),并利用环上 SNARG 加速证明生成。考虑到 FHE 与 ZK-SNARK 集成的困难性,Sight AI 不使用 ZK-SNARK 提供数据可验证性,将 SNARG 与 FHE 相结合,创建了 vFHE,可降低计算要求并加快证明生成。
参考文献:
Vitalik Buterin, Exploring Fully Homomorphic Encryption, Jul 20, 2020.
Mustafa Hourani, Explaining the Recent Rise of Fully Homomorphic Encryption in the Blockchain Industry, Oct 10, 2023.
Taiko Labs, Introduction to FHE: What is FHE, how does FHE work, how is it connected to ZK and MPC, what are the FHE use cases in and outside of the blockchain, etc., Nov 24, 2023.
Haotian:《超越 ZKP,全同态加密 FHE 如何赋能区块链?》,2023 年 11 月。
Jeffrey Hu, Arnav Pagidyala, Challenges & Solutions of Onchain FHE: Unlocking the Holy Grail, HashKey Capital, Dec 5, 2023.
Caleb Shack, Flawed Homomorphic Encryption, Big Brain Holdings, Apr 18, 2024.
Haotian:《FHE 全同态加密的想象空间有多大?》,2024 年 5 月。
FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond - Whitepaper