长推：分享 8 个早期ZK项目
本文分享了几个早期 ZK 项目。
原文作者：@GodotSancho
原文来源：Twitter
注：本文来自@GodotSancho推特，CHAINLOOK整理如下：
分享几个早期 ZK 项目：
1）zkBob
支持 Polygon、Optimism、Ethereum，目前仅支持稳定币 BOB 单币隐私传输，用户 Deposit BOB，通过 ZK 获得加密地址，将 BOB 隐私传输给其他加密地址。提款时，也可提款给其他地址。暂时仅限 BOB。交互确认时间稍长，需1分钟左右。
https://app.zkbob.com/deposit
BOB 代币锚定机制，依靠预先在 Uniswap v3 注入 USDC/BOB 等LP池。池子由官方中心化控制。
数据看板如下：
https://dune.com/maxaleks/zkbob
2）Empiric Network
zk预言机项目。现有的预言机问题，链外数据需要可信第三方。Empiric Network 则构建了 ZK 预言机。数据方是证明者，智能合约是验证者。
https://empiric.network/
@EmpiricNetwork 直接与数据源合作，如 @JaneStreetGroup 、Alameda Research、Gemini、 @CMTDigitalLtd 等，由他们直接上传数据给底层的 zk-Rollup 网络，任何人都可以验证有时间戳的数据，是由来源方正确签署的。统一数据的多重来源，保障了不存在预言机价格攻击。
Empiric 具有链上可组合性。可组合性第一个用例是，构建链上收益率曲线，目前 StarkNet 生态的 @curve_zero 在用。第二个是市场波动率，从传统市场中得到期权的已实现波动率和隐含波动率。
3）iden3
zkDID 项目，证明链上身份拥有某项权利的同时，可将身份隐私。
iden3 将数据放在一个数据库里，构建一个该数据库的 Merkle 树，然后在链上发布（通过交易）Merkle 树的根（以及一个可公开验证的加密证明，证明这个根是正确的）。
身份数据若想在之后更新 Claim（声明） ，只需重复同样过程，并公布 Merkle 树的新根（连同新的加密证明）。
间接声明（indirect claims）和 去信任化中继器（trustless relayers），用户可以在链下中继器上发布声明，无 Gas，用 ZK 确保中继器去信任化。
团队技术很强。使用 Rapid-PLONK，支持 DID、JSON-LD 和 JSON 模式，以便与互联网 W3C 的可验证凭证标准互操作。
提出 Websnark，并开发 Wasmbuilder 工具，可在几秒钟内从浏览器（桌面或移动端）生成 ZK 证明，用途包括匿名投票、匿名转账和不透露身份的 Claim 证明等。
Circom2, Snarkjs 和 Circomlib。
Circom2 用于编写 zkSNARKs 电路，TornadoCash 与 ZK 全链游戏 @darkforest_eth 已应用 。
关于【长推：分享 8 个早期ZK项目】的延伸阅读
一文轻松看懂什么是拉格朗日ZK Prover网络
Lagrange ZK Prover是加密行业首个生产就绪的ZK Prover网络，利用EigenLayer和网关实现与以太坊相同的安全级别。Prover是生成ZK证明的程序，网关类似于经理，将证明请求分发给Prover。第一个网关是Lagrange自己的ZK协处理器。总的来说，Lagrange ZK Prover网络为应用程序安全地生成ZK证明。
一个堪比POW矿业的全新市场？ZK硬件加速大讨论
本次Space讨论了ZK挖矿技术对以太坊的影响，包括对Danksharding路线图的影响、Aleo挖矿算法的传言、ZK挖矿的愿景和商业化、矿工收益模型以及解决不同矿工效率差异的问题。嘉宾们认为ZK技术可以提高轻客户端和Verkle Tree的效率，但生成ZK证明的速度仍需改进。Vitalik强调了ZK证明对协议效能的重要性。Cysic是一家提供ZK proof generation服务的初创公司，推出了小型ZK加速卡，方便开发人员和普通用户。嘉宾们讨论了ZK Prover Market的收益模型和市场前景，认为随着越来越多的项目采用ZK技术，对Prover的需求也会增加。同时，他们也提出通过协议设计和硬件选择来解决不同矿工的效率差异问题。
SnarkJS 是完全用 Javascript 编写的 zkSNARKs 协议的实现。
Circomlib 是电路库，可用于生成更高级电路，包括各种二进制比较器、二进制转换器、edDSA 签名验证器、稀疏（sparse）Merkle 树处理器、pedersen 散列、mimc 散列和 SHA256。 @identhree #TwitFi
4）Hyper Oracle
zkMiddleware（zk中间件），获取 Uniswap v2、Curve 3pool Swap、Aave lending Pool Provider 等数据。Hyper Oracle 节点获取并缓存智能合约状态，生成证明，数据可跨链。
zk-Indexing、zkAutomation 是两个重要组件。
zk-Indexing 类似 @graphprotocol ，保留了 subgraph 优秀的功能体验，并加上 ZK，解决性能和安全问题。开发者可无缝从 subgraph 迁移到 zkGraph。zkIndexing 的 zkGraph 定义了区块链 / dApp 数据索引模式映射，方便开发者调用。
下图示例更直观一些。
zkAutomation 是去中心化自动化协议，通过 zkIndexing 提供的数据，可搭建预言机、链间套利机器人、量化交易程序，实现可编程流动性等等。 @HyperOracle 是个值得长期关注的项目。 #TwitFi
5） @ModulusLabs
ZK + 链上 AI 项目，可以为区块链建立一个去中心化数据建模或分析平台，或去信任的人工智能预言机。
6）interep
Interep 基于社交账号和 Poap 获取用户 DID 身份。用户连接钱包，授权 Github、Reddit 或 Twitter 账号数据，通过 zk-SNARK 生成 Semaphore ID。Interep 会将用户划分到 Gold、Sliver 、Bronze、Unrated 身份组。
Interep 提供 API、JS libraries，其他项目可接入 Interrp DID 数据。
https://interep.link （上一条字数不够了，加不了链接。还是建议大家自己去看眼项目，所以补了一条链接。）
7）Relic protocol @RelicProtocol 构建了三种数据类型：链上历史状态 Relics，证明某以太坊账户当前状态；链外数据 Artifacts，区块链外数据上链；链上历史状态 Historical Ethereum state，查询特定区块高度内某账户状态。 https://relicprotocol.com
Relic 建立在 Merkle 树证明、Merkle-Patricia trie 证明和 zk-SNARK 基础之上。允许 Relic 证明有关以太坊历史状态的事实，而无需依赖受信第三方。
通过 zk-SNARK，Relic 可以在一次交易中验证超过1,000,000个区块的哈希值，减少高达99%的 Gas 成本。
Relic 电路需要实现 Keccak-256。Keccak-256 在 PLONK 中效率低。Relic 采取 UltraPLONK 和聚合。UltraPLONK 是 PLONK 改进版，带有查找表（lookup-tables）、自定义门（custom gates），提高电路中哈希函数和椭圆曲线操作效率。聚合使 Relic 能够将两个或多个小证明合并成一个新的小证明，类似递归。
8）Sismo
@Sismo_eth 构建一种身份保管和验证机制，当用户需要登录一些有条件的场景时，Sismo 可以作为中间件接入。
Sismo 由三部分组成：首先是，Sismo Badges 灵魂绑定代币证明，用户可基于之前的链上行为，铸造 Badge；
https://sismo.io #TwitFi
其次，Sismo Vault 隐私账户保护工具，用来导入铸造 Badge 所需账户密码。用户可以将 Vault 访问权授予其他钱包地址，使他们成为可以解密和访问 Vault 的人。由于进行了加密，授权账户不会获取用户隐私。DAO 委员会可授权一个自己的新地址访问 Vault，使用新地址在 DAO 内投票，彻底匿名。
第三，Prove with Sismo 隐私保护登录工具。利用 ZK 实现隐私，同时具有模块化和互操作性特点。
Sismo 实际上应该是项目方所希望构建的一种 Web3 登录方式。当你拥有某个 Badge，想访问拥有该 Badge 才能访问的特定功能或网页，就可用到 Prove with Sismo。
缺点是，一旦授权了指定账户，就不能撤销了。而且 Badge 铸造之后会一直拥有，哪怕你可能已经失去资格了。39
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：GodotSancho，如有侵权请联系删除。转载或引用请注明文章出处！
标签：ZK
