最近有空看了看Plookup的论文。针对对电路描述不友好的操作(比如bit操作),Plookup给出了新的思路和证明方式。给定某个操作的真值表示(lookup table),证明某个操作的输入/输出是在真值表中。这种方式,相对之前的bit计算约束方式,降低约束的个数,提高了电路效率。
Plookup的论文下载地址如下:
https://eprint.iacr.org/2020/315.pdf
基本思想
Plookup尝试解决的问题是,给定两个集合,证明某个集合的元素在另外一个集合中。给定两个集合t和f,s是f排序后的结果。如果t中的元素最少在f中出现过一次。判别f中的元素是否包括在t中,只需要比较元素差的集合:
BTC跌破35400美元关口 日内跌幅为0%:火币全球站数据显示,BTC短线下跌,跌破35400美元关口,现报35396.13美元,日内跌幅达到0%,行情波动较大,请做好风险控制。[2021/6/13 23:33:53]
举个例子,t是{1,4,8}的集合,元素的差异集合为{3, 4},分别是4-1,8-4。如果s只有t中的元素组成,并且每个元素最少出现一次,例如{1,1,4,8,8,8},元素的差异集合也为{3,4}。如果s中的元素并不完全是t中的元素,那即使在元素差异集合一样的情况下,也不能说明s中元素在t的集合中。例如s为{1,5,5,5,8,8},元素的差异集合也为{3,4},分别是8-5,5-1。
论文提出,可以引入一个随机因子,将前后两个元素相加的方法,确定两个集合的依赖关系。
定义多项式
在基本思想的基础上,论文在第三章定义了两个多项式F和G:
如果F和G相互对等,有且如下的条件成立:
f集合属于t
s是(f,t)的并集,并且按照t中的元素排序
如果条件成立,可以推导出两个多项式相等。F多项式可以看成是两部分组成,分别是两个连乘。后面的连乘可以看成是t中的元素连乘。前面的连乘,可以看成是f中元素的连乘。因为f中的元素属于t,则f中的元素的连乘,可以想象成多个相同元素的连乘。反之,因为beta和gamma的随机因子,也能从F和G对等条件推出满足的两个条件。具体的证明过程,可以查看论文的第三章。
在定义多项式的基础上,问题可以转化成两个多项式相等。
Plookup协议
已知f和t,可以排序得到s。因为s由f和t合并而成,s可以由两个函数h1和h2表示。关键在于第4步,定义了Z函数:
Z(g) = 1 - 初始为1
Z(x) 是两种多项式表示的商
Z(g^(n+1)) = 1 - n+1元素的连乘,两种多项式表达式相等
验证者,除了查看Z函数外,额外还要查看h1/h2连续性。
论文进一步将协议推广到更通用的情况,并给出了t中元素是连续情况下的优化协议。感兴趣的小伙伴可以自行查看。
Plookup提出了一种明确输入/输出的情况下,如何证明某个函数的运算正确的协议。输入输出定义成lookup表,计算的输入/结果只要在该lookup表中即表示运算正确。和Plonk采用同样的思路,Plookup定义了问题的多项式表示,证明了Z函数的递归表示和边界。
区块链小白投资入门操作指南里的最后一步,就是卖出提现了。虽然Coinbase可以进行数字货币和法币的交易,但平台不对中国居民开放注册,所以面对只能币币交易的交易所,想提现的话,也只能通过场外交易平台了,包括OTCBTC换币网、Localbitcoin。
最近在跟市场上一些投资者聊天时,他们总会问一些比较有趣的问题: 投资者A:我既想要高杠杆来增加收益,又不想承担爆仓风险,有这样的交易策略或产品吗? (高杠杆+无/低风险) 投资者B:每次出现盈利或亏损时我就会纠结是否需要平仓,数字资产合约交易设止盈止损太难了。
在区块链行业中,我们有时会看到某某项目宣传他们打破了“不可能三角”,比如近期大火的“荷兰式拍卖”项目Algorand。那么,不可能三角究竟指的是什么,打破它意味着什么? 区块链不可能三角,指的是去中心化(Decentralization)、可扩展性(Scability)、安全性(Security)这三项要求无法同时满足,必须有所取舍。
哈喽大家好,我是小K君,今天我们要讲的内容是:“矿圈的兴起(中)—矿机争霸”。 我们上节课讲了,矿圈最初的兴起,绕不开两个人,他们一个是南瓜张—张楠赓,另一个则是烤猫—蒋信予,如果说张楠赓开启了一个时代,那么烤猫就是将这个时代推向高潮的人。 故事依然要从2012年初开始说起,烤猫,原名蒋信予。从小就可谓是父辈口中的“别人家孩子”。
随着比特币逐渐成为一个全球市场资产标的,且越来越被个人及机构投资者认可和采用,对加密交易用户来说,更多地了解全球经济的运作模式以及比特币与这些经济动态的关系是非常重要的。 在这篇文章中,我们将重点关注利率对经济的影响,以及为什么现在有这么多人买入比特币。 什么是利率? 利率是指出借人向借款人收取的利息占借款金额的比例,通常以年利率表示。
近期比特币价格持续创新高引起热议,有很多人都在猜测其大幅涨价的原因,其中“巨鲸”是较多被提到的一种。 那么“巨鲸”是什么呢? 在加密货币领域,“鲸鱼”是指那些拥有巨额资金来买卖大量的加密数字货币的投资者,尤指那些有足够资金影响市场,造成市场价格较大波动的投资者,而“巨鲸”被认为是拥有超过价值 5600 万美元的比特币持有者。