木星链 木星链
Ctrl+D收藏木星链

TAU:?DAOrayaki:创建假的zkSNARK证明-ODAILY

作者:

时间:1900/1/1 0:00:00

DAOrayakiDAO研究奖金池:

zkSNARKs是一种创建零知识证明的方法。具体来说,是简洁的、非交互式的创建零知识证明的方法。

zkSNARKs到底是什么可以参考以下内容

1.zkSNARKs在Zcash中是如何构建的--由Zcash团队提供。

https://z.cash/technology/zksnarks/

2.私人数据的无信任计算—QED-it的首席密码学家DanielBenarroch和AvivZohar

教授的博文。

https://qed-it.com/trustless-computing-on-private-data/

3.证明,区块链。ZKPinAction-一个解释ZKP和如何为数独创建一个的会议

视频。

土耳其总统候选人Kemal K?l??daro?lu:将在上台后扩大Web3平台采用:5月14日消息,2023年土耳其总统候选人、土耳其最大反对党领袖Kemal K?l??daro?lu表示将在上台后取消对PayPal的禁令并扩大Web3平台采用,K?l??daro?lu还批评了土耳其央行禁止在国内使用加密货币作为支付方式的决定。

土耳其现任总统埃尔多安曾在2021年9月份推出反对加密货币的政策,但由于土耳其通胀一直居高不下,该国一直位于全球加密采用率前列。(Rossaprimavera)[2023/5/14 15:02:00]

https://qed-it.com/2017/07/04/zkp-in-action/

4.不可思议的机器--QED-it首席科学家AvivZohar教授的博文,解释了可信的设置。

https://qed-it.com/2017-12-20-the-incredible-machine/

ShapeShift?DAO铸造的FOX Success Tokens获得Coinbase Ventures与Chapter One战略投资:3月25日消息,去中心化交易平台ShapeShift DAO宣布其铸造的FOX Success Tokens获得Coinbase Ventures与Chapter One战略投资。此前消息,去中心化交易平台ShapeShift将推出附加收益的FOX代币。[2022/3/25 14:16:59]

5.猎杀SNARK-一系列的谜语,用于实验ZKPs。

https://qed-it.com/2017/07/11/the-hunting-of-the-snark/

在QED-it,我们使用zkSNARKs和其他工具,为企业创建零知识区块链。

最为人所知的zkSNARKs的生产部署可能是ZCash--一种具有不可链接的交易和隐藏金额的加密货币。ZCash,以及其他一些利用zkSNARKs的产品,都是基于一种叫做Pinnochio的结构,尽管更具体的是BCTV14a。这是一项了不起的技术,正如你可能怀疑的那样。这种结构有一个明显的缺点:可信的设置。

动态 | 昨日EOS?Dapp活跃用户环比下降其交易笔数却有所上升:据RatingDapp和RatingToken大数据监测显示,昨日EOS/ETH/TRON三大主流公链平台Dapp活跃用户分别为:EOS?95073?,环比前日下降10.32%;ETH?22082 ,环比前日下降4.45%;TRON?49004,环比前日上升5.68%。从交易笔数来看,昨日三大公链Dapp交易笔数大于零共计650款(EOS 230款,ETH261款,TRON159款),其中EOS? Dapp交易笔数总计4250340,环比前日上升3.54%;ETH?Dapp交易笔数总计82433,环比前日下降6.63%;TRON Dapp交易笔数总计569306,环比前日上升0.61%。[2019/6/20]

受信任设置

设置是一个生成CRS的过程,或者更公开地称为一对证明和验证密钥。这些"密钥"被证明者和验证者用来分别生成和验证特定问题的证明。

动态 | TRON?Dapp每个用户平均周交易额环比下降3成以上:据RatingDapp和RatingToken大数据监测显示,最近一周?EOS/ETH/TRON三大主流公链平台Dapps活跃用户EOS(164338)>TRON(158759)>ETH(56290),交易额EOS($131033554.33)>TRON($90399562.53)>ETH($89744592.9)。从单个用户平均周交易额来看,最近一周EOS?Dapp为797.34美元,环比上周下降3.56%;ETH Dapp为1594.33美元,环比上周上涨1.02%;TRON Dapp为569.41美元,环比上周下降36.97%。[2019/5/22]

在这个过程中,有一些随机的元素被抽样,但必须保密。因为如果验证者知道这些,他们将能够创造出被成功验证的证明,而在证明过程中不使用问题的实际解决方案。换句话说,就是要伪造证明,破坏健全性。这种随机性也被称为"有废料"。有一些方法可以避免这种担忧,不把信任放在单一实体上。对于公共电路来说,这些方法通常涉及多方计算,在这个过程中,多个参与者捐出自己的随机性,之后再将其销毁。有趣的是,只要有一个参与者是诚实的,并且销毁了他们的随机性,整个过程就会很安全。

动态 | 近一周EOS/ETH/TRON?Dapp周交易笔数大于100,000有45款:据RatingDapp和RatingToken大数据监测显示,最近一周,?EOS/ETH/TRON三大主流公链平台Dapps?周交易笔数大于100,000有45款(EOS 36款,ETH无,TRON 9款),环比上周下降2.2%,其中类28款、游戏5款、市场类5款、风险类1款、其他类型6款,以类Dapp为主;从周新增用户来看,最近一周,有4款Dapp新增用户大于10,000,分别为ADM(18514)、Fishing Master(16377)、Win.town(16364)、TRON Hi-Lo(16357),其中Fishing Master、Win.town、TRON Hi-Lo三款Dapp近几个月来,周新增用户均大于10,000。[2019/5/13]

使用MPC做可信设置的一些值得注意的例子仍旧是:ZCash。

1."TheCeremony"播客

https://www.wnycstudios.org/podcasts/radiolab/articles/ceremony

2.Tau的幂

https://z.cash.foundation/blog/powers-of-tau/

你可能会注意到这里冒出来的这个"Tau"...Tau的保密性非常重要。一旦Tau被证明人知道,就很容易伪造证明。

创建一个证明

让我们快速看一下BCTV14a中提出的建设。

这是一个数学问题,所以让我们挑出与本篇文章有关的细节部分:

1.Tau是在设置过程中随机抽取的有限场中的一个点,是"有废料"中的一部分。

2.在证明过程中,验证者会计算一些多项式--A(z),B(z)和C(z),它们来自约束系统和公共及私人输入的解决方案。本质上,这些多项式代表了"a*b=c"形式的约束,或者等同于"a*b-c=0"。

3.验证人还计算H(z)=(A(z)B(z)-C(z))/Z(z),其中Z(z)是一个公开的多项式,在代表约束系统的点上为零。请注意,由于A、B和C考虑了验证者的输入,只有当分子也在相同的点上归零时才能计算出H,证明验证者实际上知道问题的一个解决方案,即产生A*B-C=0。重要的部分现在发生了--验证者在不知道Tau的情况下,可以计算出在Tau处求值的"指数内"H(z)--H(Tau)。

我们为什么要这样做?因为通过在随机点Tau上求值,证明者有很高的概率表明方程H=(A*B-C)/Z对所有Z都成立。从同一问题的不同角度来看,在不知道Tau的情况下,证明者以高概率,将无法产生一个在该点得到完全相同的值的多项式。

我们如何在技术上做到这一点呢?有这样一个事实:设置过程的一部分产生了包含Tau所有相关幂的元素隐藏在指数中,以pk_Hi的形式给出。如果我们有H的系数,我们可以将这些结合起来并创建H。

更具体地说

验证者计算的H(z)

取自证明的钥匙,在设置过程中计算出来的

对H(Tau)进行“指数内”评估

验证者在收到证明后,可以再次在指数中检查验证者是否确实提供了满足H=(A*BC)/Z关系的H的系数,这只有在验证者确实知道一个解决方案时才能做到。

伪造证明

现在让我们做个假设,如果Tau被知道了会怎样?如果由于某种原因,它在设置过程中被暴露出来,并且被恶意验证者知道了。

显然,伪造一个证明是非常容易的。因为H=(A*B-C)/Z的等价检查是在特定的点Tau进行的,我们可以利用我们对Tau的了解来创建一个完全满足的多项式。也就是说,创建一个常数多项式H(z),它只是一直返回/Z(Tau)。

核查员的检查会通过,而且没有人知道。这听起来很难...

其实一点也不。我们非常欢迎你查看这段概念验证代码,它基于HowardWu的libsnarktutorial,自己看看对代码所做的修改。

1.该程序设置了一个用于比特分解的电路,尽管它是C。

2.设置过程恶意地将Tau保存到磁盘。

3.验证者从磁盘上加载Tau,并使用错误的输入进行证明。验证者知道Tau,生成常数多项式,不考虑输入。

然后验证者成功地验证了证明!

结论

我希望这篇文章提供了一些见解,让我们了解什么是大家一直在谈论的关于zkSNARKs的"有废物",以及为什么它的暴露会导致容易被攻击。

标签:TAUAPPDAPDAPPtauccoin数字钱包app下载链接YFIDappblockchainresearchandapplication

币安app官网下载热门资讯
区块链:区块链技术应用热潮初现,一文了解15个使用场景-ODAILY

链集市·让区块链落地更简单 《区块链行业观察》专栏·第59篇作者丨AdamLevy图片丨来源于网络区块链最初应用是作为支持BTC的机制,为了解决数字货币的互操作性的问题.

1900/1/1 0:00:00
元宇宙:元宇宙的“诸神之战”:又一大厂入局元宇宙,微软和Meta成“头号玩家”-ODAILY

近年来,随着“虚拟现实”这一概念逐渐普及,“虚拟偶像”、“元宇宙”热度攀升,该概念在社交平台被频繁关注,而对于元宇宙的控制战悄然打响.

1900/1/1 0:00:00
元宇宙:一把双刃剑,元宇宙会否演化成危机?-ODAILY

1992年,美国著名科幻大师尼尔·斯蒂芬森在其小说《雪崩》中首次提到了“元宇宙”这一概念,描述了人们通过耳机和目镜等穿戴产品,连接终端设备从而以虚拟身份进入计算机设计的虚拟世界的场景.

1900/1/1 0:00:00
MOON:一文了解Polkadot波卡平行链Moonriver生态现状-ODAILY

撰文:Footprint分析师Simon数据来源:FootprintAnalyticsMoonriverDashboard成立于2015年的波卡在今年因平行链插槽拍卖方式再次引发热议.

1900/1/1 0:00:00
NFT:NFT金融的六种玩法-ODAILY

在过去的几千年里,人类发展了各种所有权、财产权和许可方法,这些方法大多适用于实物。随着互联网的兴起,数字资产大量增加,无论是普通规则还是当前的技术尝试都无法安全地验证真实性、稀缺性和所有权,从而.

1900/1/1 0:00:00
区块链:关于“勇攀团队”的律师函反馈-ODAILY

一、自2021年9月26日知道创宇区块链安全实验室发出“以区块链行,慈善造假,曝光'勇攀团队'!”的相关文章后,引起了关注公众号用户的极大反响.

1900/1/1 0:00:00