RICS
则R1CS成立。
TransitionintoPolynomial(efficiency）
Prepare
Definepolynomial
2.为向量z=(x,w)定义多项式
特斯拉Q2营收增近50%，但利润率连续三个季度下滑:金色财经报道，特斯拉(TSLA.O)发布第二季度财报，财报显示该公司盈利能力萎缩，连续多月的减价行动正在压缩该公司领先业内的利润率。特斯拉称，第二季度营业利润率为9.6%，连续第三个季度下滑。不过，该利润数字仍高于预期水平。剔除某些特殊项目，季度利润为每股收益91美分，高于华尔街预估的81美分。其Q2营收增长47%至249亿美元，市场预期245亿美元。毛利率录得低于预期的18.2%。特斯拉在财报中表示，上海工厂几近以满负荷运行，所以未来数月不会有实质性的增长。此外，特斯拉依旧选择不公布汽车毛利率。[2023/7/20 11:05:39]
3.为矩阵A,B,C定义多项式?
为了减小verifier计算的复杂度，这里用了一个特殊的形式来表示矩阵，以上述示例的矩阵A为例：
Linearitycheck
数据：Reddit Collectible Avatar总量突破1500万，四个月增长超50%:金色财经报道，据Dune Analytics最新数据显示，社交媒体巨头Reddit于Polygon网络发行的NFT系列Reddit Collectible Avatar总量已突破1500万，本文撰写时达到15,220,978个，当前Reddit Collectible Avatar持有者总量为11,302,515个。历史数据显示，Reddit Collectible Avatar总量在今年二月中旬突破1000万美元，这意味着过去四个月该指标增长已超50%。在市值方面，当前Reddit Collectible Avatar总市值已超过2.5亿美元，该指标于2月27日首破1亿美元，过去四个月增长了1.5倍。[2023/6/18 21:45:46]
可以看出，当多项式t(X)取遍H值时，满足：
同样，也可以从公式推导：
彭博社：美国银行的加密用户在熊市中减少一半:7月1日消息，由于数字资产市场长期低迷，美国银行活跃的加密货币用户数量下降了一半以上。该银行的加密货币用户从2021年11月比特币创新高时的100多万降至今年5月的50万以下。（彭博社）[2022/7/1 1:44:36]
AHPforR1CS
Common
Prover
=>Prover
=>Oracle
=>Prover?-sumcheck-1
=>Oracle
元宇宙相关加密资产总市值为139.3亿美元:金色财经报道，据最新数据显示，元宇宙相关加密资产总市值为139.3亿美元，24小时交易额31亿美元，下降29.13%。当前市值排名前五的NFT通证分别是：ApeCoin（19.2亿美元）、Decentraland（18.3亿美元）、TheSandbox（17.1亿美元）、AxieInfinity（14.2亿美元）、THETA（12.6亿美元）。[2022/6/2 3:57:35]
=>Prover-?sumcheck-1
=>Prover-?sumcheck-2
=>Oracle
=>Prover-?sumcheck-2
=>Prover-?sumcheck-3
Mee6：员工帐户遭入侵导致被用来发布虚假信息，目前已解决:5月19日，官方消息，Mee6表示，系统没有技术漏洞，Mee6被用来发布虚假信息是因为一名员工的帐户遭到入侵。该问题现已解决，我们已采取所有措施确保它不再发生。
此前消息，Axie Discord主服务器上的Mee6机器人遭攻击发布虚假铸造链接，许多安装了Mee6机器人的服务器都发生了这种情况。Moonbirds、PROOF、RTFKT、Memeland等多个NFT项目的Discord疑似遭遇攻击。[2022/5/19 3:27:38]
=>Oracle
=>Prover-?sumcheck-3
Verifier
=>Verifier-sumcheck-3
=>Verifier-sumcheck-2
Recalltheequality
=>Verifier-sumcheck-1
Recalltheequality
=>Verifier
Polynomialcommitment?
协议总共进行了三轮交互，每轮交互承诺的多项式，以及query的点如下：
Optimization
Sum(s(X))=0
生成随机多项式：
Reducesumcheck?
根据COS20.Claim6.7论?提到的优化，我们令：
Common
Prover
Verifier
ReducepolynomialnumbersforSumcheck-2?
对三个矩阵的现行校验，压缩成对一个矩阵的校验，即：
对这个多项式进行稀疏矩阵的表示。?
矩阵多项式，从9个缩减为3个。?
Setb=1?
令b=1
FinalProcotol?
Marlininarkworks
参考
1.arkworksformarlin:https://github.com/arkworks-rs/marlin/blob/master/diagram/diagram.pdf
2.Marlin:https://eprint.iacr.org/2019/1047.pdf
3.COS20.Claim6.7(Fractal):https://eprint.iacr.org/2019/1076.pdf
4.paper5.2.1:https://eprint.iacr.org/2019/1047.pdf
关于我们
Sin7y成立于2021年，由顶尖的区块链开发者和密码学工程师组成。我们既是项目孵化器也是区块链技术研究团队，探索EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。
微信公众号：Sin7y
GitHub：Sin7y
Twitter：@Sin7y_Labs
Medium：Sin7y
Mirror：Sin7y
HackMD：Sin7y
HackerNoon：Sin7y
Email：contact@sin7y.org
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。