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

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

分享几个早期ZK项目:

1)zkBob

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

https://app.zkbob.com/deposit

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

数据看板如下:

派盾:Multichain漏洞利用损失约1.26亿美元:金色财经报道,据派盾监测,价值约1.18亿美元的资产已从Multichain的Fantom桥转出。其中包括价值约1600万美元的代币(DAI 、LINK和USDT)被发送到地址0x9d57。其他转账涉及约2760万美元USDT和3000万美元USDC,分别被发送到地址0x027F和0xefeef。

此外,1,023 wBTC(约合3090万美元)被移动到地址0x622e5,7,214 wETH(约合 1360 万美元)被发送到地址0x418e。另有价值约750万美元的加密货币从Multichain的Moonriver桥转出并转移到地址0x48Be。[2023/7/7 22:23:03]

https://dune.com/maxaleks/zkbob

2)EmpiricNetwork

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

英国财政部:英国央行行长与硅谷银行进行了交谈,双方都同意保持密切联系:金色财经报道,英国财政部声明:英国财政大臣就硅谷银行问题与英国央行行长进行了交谈,双方都同意保持密切联系,官员们将继续密切合作。英国财政部副大臣就受硅谷银行倒闭事件影响的公司发表讲话,承认科技公司面临的问题。[2023/3/12 12:57:42]

https://empiric.network/

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

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

Magic Eden聘请Chris Akhavan担任公司首席游戏官:金色财经报道,基于Solana的NFT平台Magic Eden聘请Chris Akhavan担任公司的首席游戏官(Chief Game Officer),在Magic Eden,Akhavan将推动平台游戏合作伙伴关系的发展,并支持游戏开发、创作者和收藏家体验。Chris Akhavan此前担任区块链的游戏公司Forte首席商务官,该公司于 2021年筹集了 7.25 亿美元的B轮融资。[2022/12/9 21:32:15]

3)iden3

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

iden3将数据放在一个数据库里,构建一个该数据库的Merkle树,然后在链上发布Merkle树的根。

身份数据若想在之后更新Claim,只需重复同样过程,并公布Merkle树的新根。

DeFi隐私桥Aztec聚合器ZK.Money总存储量已超1500ETH:7月13日消息,据Dune Analytics的数据显示,DeFi隐私桥Aztec聚合器ZK.Money总存储量已超1500枚ETH,已有6873单一用户地址使用,平均存储0.19ETH,最大单笔存储为32.01ETH。[2022/7/13 2:09:49]

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

团队技术很强。使用Rapid-PLONK,支持DID、JSON-LD和JSON模式,以便与互联网W3C的可验证凭证标准互操作。

提出Websnark,并开发Wasmbuilder工具,可在几秒钟内从浏览器生成ZK证明,用途包括匿名投票、匿名转账和不透露身份的Claim证明等。

Circom2,Snarkjs和Circomlib。

湖南新化:“区块链+不动产”交易缴税平台正式上线运行:5月31日消息,新化县“区块链+不动产”交易缴税平台正式上线运行。湖南娄底市是国家税务总局“区块链+不动产税费服务”全国四个试点城市之一,现已建成国内应用最成熟的不动产区块链信息共享平台,前期已在娄底城区推广,并取得显著成效。(红网)[2022/5/31 3:53:23]

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

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

地球链

UNIXRP:入市策略:如何理解去中心化“理论”

在“知识分子”级别的加密货币分析师中,一直以为结构的协议深表怀疑。在这种情况下,的定义是代币持有者或其他一些群体站在每笔交易的另一面。毕竟,当你进行交易时,它主要是一场零和游戏.

[0:46ms0-0:963ms