注：本文来自@GodotSancho?推特，MarsBit整理如下：
分享几个早期ZK项目：
1）zkBob
支持Polygon、Optimism、Ethereum，目前仅支持稳定币BOB单币隐私传输，用户DepositBOB，通过ZK获得加密地址，将BOB隐私传输给其他加密地址。提款时，也可提款给其他地址。暂时仅限BOB。交互确认时间稍长，需1分钟左右。
https://app.zkbob.com/deposit
BOB代币锚定机制，依靠预先在Uniswapv3注入USDC/BOB等LP池。池子由官方中心化控制。
数据看板如下：
https://dune.com/maxaleks/zkbob
MakerDAO社区发起启用Starknet DAI桥接费用提案投票，投票将持续至1月26日:10月27日消息，MakerDAO社区已启动新提案投票，提案内容为 “启用Starknet DAI桥接费用”。若提案通过，Maker协议Starknet DAI桥将启用收费功能。投票将于北京时间11月26日结束。[2022/10/27 11:49:05]
2）EmpiricNetwork
zk预言机项目。现有的预言机问题，链外数据需要可信第三方。EmpiricNetwork则构建了ZK预言机。数据方是证明者，智能合约是验证者。
https://empiric.network/
@EmpiricNetwork直接与数据源合作，如@JaneStreetGroup、AlamedaResearch、Gemini、@CMTDigitalLtd等，由他们直接上传数据给底层的zk-Rollup网络，任何人都可以验证有时间戳的数据，是由来源方正确签署的。统一数据的多重来源，保障了不存在预言机价格攻击。
数据：DAO持有的国库资产达到100亿美元，自1月份以来增长了7.6%:10月2日消息，去中心化自治组织（DAO）持有的国库资产自2022年一月以来增加7.6%，首次达到100亿美元。而在此期间，加密市场市值由2.34万亿美元跌至9790亿美元，缩水1.36万亿美元。（Bitcoin.com）[2022/10/2 18:37:40]
Empiric具有链上可组合性。可组合性第一个用例是，构建链上收益率曲线，目前StarkNet生态的@curve_zero在用。第二个是市场波动率，从传统市场中得到期权的已实现波动率和隐含波动率。
3）iden3
zkDID项目，证明链上身份拥有某项权利的同时，可将身份隐私。
iden3将数据放在一个数据库里，构建一个该数据库的Merkle树，然后在链上发布Merkle树的根。
身份数据若想在之后更新Claim，只需重复同样过程，并公布Merkle树的新根。
间接声明和去信任化中继器，用户可以在链下中继器上发布声明，无Gas，用ZK确保中继器去信任化。
团队技术很强。使用Rapid-PLONK，支持DID、JSON-LD和JSON模式，以便与互联网W3C的可验证凭证标准互操作。
提出Websnark，并开发Wasmbuilder工具，可在几秒钟内从浏览器生成ZK证明，用途包括匿名投票、匿名转账和不透露身份的Claim证明等。
Circom2,Snarkjs和Circomlib。
Circom2用于编写zkSNARKs电路，TornadoCash与ZK全链游戏@darkforest_eth已应用。
SnarkJS是完全用Javascript编写的zkSNARKs协议的实现。
Circomlib是电路库，可用于生成更高级电路，包括各种二进制比较器、二进制转换器、edDSA签名验证器、稀疏Merkle树处理器、pedersen散列、mimc散列和SHA256。@identhree#TwitFi
4）HyperOracle
zkMiddleware，获取Uniswapv2、Curve3poolSwap、AavelendingPoolProvider等数据。HyperOracle节点获取并缓存智能合约状态，生成证明，数据可跨链。
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生成SemaphoreID。Interep会将用户划分到Gold、Sliver、Bronze、Unrated身份组。
Interep提供API、JSlibraries，其他项目可接入InterrpDID数据。
https://interep.link
7）Relicprotocol@RelicProtocol构建了三种数据类型：链上历史状态Relics，证明某以太坊账户当前状态；链外数据Artifacts，区块链外数据上链；链上历史状态HistoricalEthereumstate，查询特定区块高度内某账户状态。https://relicprotocol.com
Relic建立在Merkle树证明、Merkle-Patriciatrie证明和zk-SNARK基础之上。允许Relic证明有关以太坊历史状态的事实，而无需依赖受信第三方。
通过zk-SNARK，Relic可以在一次交易中验证超过1,000,000个区块的哈希值，减少高达99%的Gas成本。
Relic电路需要实现Keccak-256。Keccak-256在PLONK中效率低。Relic采取UltraPLONK和聚合。UltraPLONK是PLONK改进版，带有查找表、自定义门，提高电路中哈希函数和椭圆曲线操作效率。聚合使Relic能够将两个或多个小证明合并成一个新的小证明，类似递归。
8）Sismo
@Sismo_eth构建一种身份保管和验证机制，当用户需要登录一些有条件的场景时，Sismo可以作为中间件接入。
Sismo由三部分组成：首先是，SismoBadges灵魂绑定代币证明，用户可基于之前的链上行为，铸造Badge；
https://sismo.io#TwitFi
其次，SismoVault隐私账户保护工具，用来导入铸造Badge所需账户密码。用户可以将Vault访问权授予其他钱包地址，使他们成为可以解密和访问Vault的人。由于进行了加密，授权账户不会获取用户隐私。DAO委员会可授权一个自己的新地址访问Vault，使用新地址在DAO内投票，彻底匿名。
第三，ProvewithSismo隐私保护登录工具。利用ZK实现隐私，同时具有模块化和互操作性特点。
Sismo实际上应该是项目方所希望构建的一种Web3登录方式。当你拥有某个Badge，想访问拥有该Badge才能访问的特定功能或网页，就可用到ProvewithSismo。
缺点是，一旦授权了指定账户，就不能撤销了。而且Badge铸造之后会一直拥有，哪怕你可能已经失去资格了。39
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。