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

注:本文来自@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

2)EmpiricNetwork

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

https://empiric.network/

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

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:0ms0-6:611ms