不同多项式承诺方案列表
上表中,FRI是Starkware采用的多项式承诺方案,可以实现量子级别的安全,但证明的数据量却是最大;IPA是Bulletproof和Halo2零知识算法默认的多项式承诺方案,验证时间相对较长,采用的项目有门罗币,zcash等,前两者是不需要初始可信设置的。由上图可以看出在证明大小与验证时间上,KZG多项式承诺的优势比较大,KZG承诺也是目前应用最广的一种多项式承诺方式。但KZG是基于椭圆曲线,配对函数,需要初始可信设置的。ETH升级路线与多项式承诺的关联
在ETH相关生态及其未来升级路线中,都可以看到多项式承诺的踪影。
TheMerge:
现时的以太坊主链和BeaconChain将会合并,原本的PoW(工作量证明)共识将会转变成PoS(权益证明)。TheSurge:
恒指期货夜盘现涨0.69%,报23909点,较恒指最新收盘点位高水160点:恒指期货夜盘现涨0.69%,报23909点,较恒指最新收盘点位高水160点。(金十)[2020/4/6]
添加DAS,极大的提高ETH的扩展性,通过Danksharding增强rollup性能。TheVerge:
引入Verkle树(VerkleTrees)的设计来优化以太坊上的数据存储。ThePurge:
通过剔除历史数据和消除技术债务,验证者不再需要使用大量硬盘空间去进行验证工作。TheSplurge:
四个不同部分升级后的协调,旨在减少错误(Bugs)的出现和确保网络能畅顺运作,还有就是EVM改进和添加账号抽象模型等。其中TheSurge升级将借鉴多项式承诺技术实现数据可抽样性功能,TheVerge升级将利用多项式承诺来优化其数据结构,ETHL2的zkrollup也都采用了多项式承诺来实现其零知识证明带来的性能拓展。什么是KZG多项式承诺
此文这里只介绍较好理解的KZG多项式承诺,KZG多项式承诺也被称为卡特多项式承诺方案,是Kate,Zaverucha和Goldberg一起发表的。在一个多项式方案中,证明者计算一个多项式的承诺,并可以在多项式的任意一点进行打开,该承诺方案能证明多项式在特定位置的值与指定的值一致。之所以被称为承诺,是因为当一个承诺值发送给某对象(验证者)时,证明者不可以改变当前计算的多项式。他们只能够对一个多项式提供有效的证明;当试图作弊时,它们要不无法提供证明,要不证明被验证者拒绝。KZG数学原理
动态 | 澳媒盘点12国加密货币税制 日本税率最高:7月23日,澳大利亚加密货币媒体Mickey发文盘点各国加密货币税制,并指出日本加密货币税率非常高。根据2017年4月实行的资金结算法修订版,加密货币交易所产生的利益所得划分为杂项收入,所得税最高可达45%,作为伴随着损失的交易市场税率来说非常高。此外,该媒体列举了以下几个国家的加密货币税制:1、德国:加密货币交易免除附加税,持续保有加密货币一年以上可免除转让所得税。全部欧洲市民向德国转移资产时可免除转移税。2、新加坡:长期投资加密货币的企业和个人免除转让所得税。3、葡萄牙:不像加密货币征收附加税和所得税,但企业通过加密货币交易所得的收益需要课税。4、马耳他:加密货币的日交易作为法人税征收税金,但个人投资者购买和拥有加密货币不用缴纳税金。5、马来西亚:不需要缴纳转让所得税。6、白俄罗斯:对加密货币挖矿和对加密货币的投资不征收税金。7、瑞士:对专业投资者的加密货币交易征收法人税,挖矿被视为个人营业收入,但个人投资者的投资及交易不需缴纳转让所得税。8、加密货币被认为是资产,纳税方式和股票一样;如果购买加密货币并保留一年以上,根据收入水平征收0%至20%的税金。9、澳大利亚:当所有交易均被视为转让收入,并且兑换为澳元时要求保留所有准确的交易记录;如果进行加密货币投资获得的利润,就要交纳与个人所得税相同速率的税金。但如果持有1年以上的加密货币,将减免50%的税金。10、以色列和瑞典:如果纳税人不能证明他们购买的加密货币的购买额,将会征收百分之百的税金。[2019/7/23]
详细可参考QiZhou博士在DappLearning讲解的关于KZG视频。在理解KZG之前,可以先了解一下多项式、群、环、域、椭圆曲线、生成元、配对公式、朗格朗日插值等数学定义。
动态 | 汇通网盘点2018年全球金融业十大热词 加密货币上榜:今日汇通网盘点了2018年十大金融业热词,分别为:1)美国政府关门;2)英国脱欧;3)全球贸易摩擦;4)意大利预算危机;5)德国经济失速;6)加密货币泡沫;7)伊朗制裁;8)美联储加息;9)新兴市场货币危机;10)美债收益率。[2019/1/7]
具有可信设置的多项式承诺
单个证明
卡特证明单个数据的公式推衍如下,由于椭圆曲线群只支持加法同态,无法支持多项式之间的乘法,这是就需要通过配对函数解决,
由于椭圆曲线群并不支持运算多项式之间的乘法运算,所以此时得采用配对函数去解决
动态 | “区块链”一词入选“汉语盘点2018”国际词解读:人民网刊文《“汉语盘点2018”国际词解读》,“区块链”一词,与贸易摩擦、板门店、伊核协议等一起入选。文中称, 2008 年首次提出区块链概念以来,这项技术快速发展并在全球范围内广泛应用。在全球化、信息化和数字化时代,区块链代表了一种新的技术发展方向,为推动世界经济与国际合作提供了一个新的机会。[2018/12/11]
批量证明
具体应用场景
多项式承诺应用方向总结起来可以分为3大类数据可用性数据结构优化零知识证明系统1.数据可用性
DAS核心目的:数据缺失则无法通过大多数节点抽查尽力做到:占用带宽小,抽样过程所需计算量小纠删码
纠删码会增加额外数据块,这种情况很容易通过抽样调查发现,从而提升安全性。以上图为例,有4个数据,一次只能抽样一个,假设一个数据有问题,每个用户抽样发现错误的概率是1/4,但是加入两数据块后,还是一个数据有问题,用户抽样发现的概率可以高达1/2。这样就能大幅提升安全性。KZG也可实现纠删码,利用拉格朗日公式:比如把(0,3),(1,6)带入公式可得,y=3x+3y1,y2可以理解为要保存的数据,对应点(3,12)等等,其中y值可以作为纠删码数据,其中任意两个点都可以推出原多项式公式系数。
盘点:红杉资本曾投资火币、Filecoin、Orchid Protocol、IOSToken、Ontology等加密数字货币项目:今日币安赵长鹏在推特宣布,未来所有在币安上币的项目都需要披露是否与红杉资本有直接或间接的关联。消息一出,多个与红杉资本的项目在币安的价格大幅下跌,业内人士认为这是赵长鹏对红杉资本起诉币安的一次强力反击。早在2014年,红杉资本投资火币,是火币第一大机构股东,目前火币是全球排名前三的交易所。红杉资本还曾投资过Filecoin、Orchid Protocol、IOSToken、Ontology等加密数字货币。[2018/5/7]
不同数据可用性项目组成Celestia=Tendermint(cosmos)+2d纠删码+欺诈证明+Namespacemerkletree+IPFS基础设施PolygonAvail=Substrate(Polkadot)+2d纠删码+KZG多项式承诺+IPFS基础设施ETHprotoDankSharding=Blobs数据+2d纠删码+KZG多项式承诺+ETH基础设施EIP-4844升级将在TheMerge之后的下一个以太坊分叉升级中引入“proto-danksharding”并添加blob交易类型,这有望将第2层Rollup的可扩展性提高,同时为实现完全分片铺平道路。BlobTransaction增加一种新的交易类型,这种交易包含额外的存储空间——BlobsBlob开始只有128KiB的存储空间一个交易最多包含2个Blob,即256KiB一个Block最多包含16个,即2MiB;Target是8个,即1MiBBlob以KZGCommitmentHash作为Hash,用于数据验证,作用和Merkle类似节点同步链上的BlobTransaction后,Blob部分会在一段时间后过期删除
L2需要通过更新目前在L1的合约,以支持DankSharding。Celestia通过欺诈证明实现。当见证人发现数据没有被正确采用删码技术,那么这个人就会将欺诈证明提交从而来提醒其他节点。但是这里需要最少诚实假设和同步假设。protoDanksharding后的以太坊和PolygonAvail则采用了KZG多项式承诺(KZGcommitments)的方法。KZG多项式承诺方案,理论上要优于欺诈证明方案,带宽需求更小,抽样所需计算量也更小,也免去了欺诈证明中的包括少数诚实假设和同步假设等的安全假设。未来ETH也有意引入抗后量子密码学(参考stark,采用哈希,不在使用椭圆曲线作为基础),避免量子计算机攻击。2.数据结构优化VerkleTree
VerkleTree的概念在2018年推出,作为ETH升级的一个重要部分,其相比于MerkleTree,在Proof的大小上,有着很大的提升;对于规模在十亿级别的数据,MerkleTree的proof大约需要1kB,而对于VerkleTree,它将小于150Bytes。与MerkleTree一样VerkleTree也能实现ProofofInclusion,而且只需KZGroot和Data就能验证,不需要额外的Proof,更省带宽。1.需求:StatelessClient节点不存完整的StateTree,只获取需要的State来验证BlockPortalNetwork对StateTree的PoI有更高的性能要求2.回顾DataAvailability里的KZGcommitment每个leaf都是polynomial上的点constantsizeproof,和leaf数量无关
3.VerkleTree
在不同树结构中构建证明,更新证明,以及证明所需的复杂度:
Verkle方案不需要以太坊客户端下载完整的状态数据,使得ETH验证者轻节点成为可能(甚至可支持手机运行),多项式承诺需要的证明空间复杂度大幅降低,带宽量需求量也大幅减少。3.零知识证明系统
早期zk技术属于线性PCP类。除要求可信设置外,主要缺点是如果需要为不同的计算提供证明,都需要一次新的设置。近期zk技术PIOP类支持通用初始设置和透明设置。新的zk证明系统通常可以描述为PIOP+PCS。前者可被视为是证明者用来说服验证者的约定程序,而后者使用数学方法确保该程序不会遭到破坏。项目方可以按需修改PIOP,且可以在不同PCS中进行选择。
由Amber文章里的图可以看到zk系公链项目采用KZG方案的最多,有PloygonHermez,Scoll,Zksync2.0,Aztec,Aleo,Manta,以太坊基金会支持的PSE也采用的KZG方案。而Starknet,Risc0,PolygonMiden采用的是FRI方案,PloygonZkvm(Hermez)则是FRI与KZG的结合。值得一提是,一些新的零知识证明系统支持多项式承诺方案的切换,KZG未来也可以切换成其他多项式承诺方案。总的来说,多项式承诺正在重塑整个区块链的架构,不论是在链的数据结构优化上,模块化区块链的数据可用性上,还是零知识证明系统上都将大有作为。其他地方是否还存在应用场景也是非常值得探索与跟进的。原地址
本文来自TheSeeDAO。 今年早些时候,Vitalik通过他的“Soulbound”文章开创了NFT的新时代。这引发人们利用NFT的灵魂绑定代币这个”新“用例中做出了许多试验性的项目.
Odaily编者按:Twitter自2006年创立以来的经营之路总是充满坎坷,2013年成功上市后几年直到今天的故事相信是读者们比较熟悉的,高管出走、股价大跌.
图片来源:由无界版图AI工具生成本周早些时候,我写了一篇关于NFT游戏设计困难之处的文章。然而,并不是每个游戏都应该被完美地打磨,或是遵循传统的游戏智慧.
SBT可以更好的帮助用户验证某个属性,但极易泄漏隐私。使用零知识证明技术来保证用户数据的安全可能是一个重要的选择.
科技的最大讽刺之处在于每一个新的解决方案要么限于技术问题而无法实施,要么寿命长到足以成为社会问题,这样的情况在传统科技公司身上已经屡见不鲜.
区块链游戏领域正在以令人眼花缭乱的速度增长,而GameFi是最热门的流行词汇之一,行业使用率超过50%,筹集了7.48亿美元。热门游戏正在蓬勃发展,新的竞争对手也已经进入了这个市场.