长推:分享 8 个早期ZK项目

GodotSancho热度: 19164

本文分享了几个早期 ZK 项目。

原文作者:@GodotSancho

原文来源:Twitter

注:本文来自@GodotSancho 推特,MarsBit整理如下:

分享几个早期 ZK 项目:

1)zkBob

支持 Polygon、Optimism、Ethereum,目前仅支持稳定币 BOB 单币隐私传输,用户 Deposit BOB,通过 ZK 获得加密地址,将 BOB 隐私传输给其他加密地址。提款时,也可提款给其他地址。暂时仅限 BOB。交互确认时间稍长,需1分钟左右。

ZK

https://app.zkbob.com/deposit

BOB 代币锚定机制,依靠预先在 Uniswap v3 注入 USDC/BOB 等LP池。池子由官方中心化控制。

数据看板如下:

ZK

https://dune.com/maxaleks/zkbob

2)Empiric Network

zk预言机项目。现有的预言机问题,链外数据需要可信第三方。Empiric Network 则构建了 ZK 预言机。数据方是证明者,智能合约是验证者。

ZK

https://empiric.network/

@EmpiricNetwork 直接与数据源合作,如 @JaneStreetGroup 、Alameda Research、Gemini、 @CMTDigitalLtd 等,由他们直接上传数据给底层的 zk-Rollup 网络,任何人都可以验证有时间戳的数据,是由来源方正确签署的。统一数据的多重来源,保障了不存在预言机价格攻击。

Empiric 具有链上可组合性。可组合性第一个用例是,构建链上收益率曲线,目前 StarkNet 生态的 @curve_zero 在用。第二个是市场波动率,从传统市场中得到期权的已实现波动率和隐含波动率。

ZK

3)iden3

zkDID 项目,证明链上身份拥有某项权利的同时,可将身份隐私。

iden3 将数据放在一个数据库里,构建一个该数据库的 Merkle 树,然后在链上发布(通过交易)Merkle 树的根(以及一个可公开验证的加密证明,证明这个根是正确的)。

ZK

身份数据若想在之后更新 Claim(声明) ,只需重复同样过程,并公布 Merkle 树的新根(连同新的加密证明)。

间接声明(indirect claims)和 去信任化中继器(trustless relayers),用户可以在链下中继器上发布声明,无 Gas,用 ZK 确保中继器去信任化。

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 签名验证器、稀疏(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 数据索引模式映射,方便开发者调用。

下图示例更直观一些。

ZKzkAutomation 是去中心化自动化协议,通过 zkIndexing 提供的数据,可搭建预言机、链间套利机器人、量化交易程序,实现可编程流动性等等。 @HyperOracle 是个值得长期关注的项目。 #TwitFi

ZK

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

声明:本文为入驻“MarsBit 专栏”作者作品,不代表MarsBit官方立场。
转载请联系网页底部:内容合作栏目,邮件进行授权。授权后转载时请注明出处、作者和本文链接。未经许可擅自转载本站文章,将追究相关法律责任,侵权必究。
提示:投资有风险,入市须谨慎,本资讯不作为投资理财建议。
免责声明:本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况,及遵守所在国家和地区的相关法律法规。
关键字:ZK