RICS
则R1CS成立。
TransitionintoPolynomial(efficiency）
Prepare
Definepolynomial
2.为向量z=(x,w)定义多项式
3.为矩阵A,B,C定义多项式?
为了减小verifier计算的复杂度，这里用了一个特殊的形式来表示矩阵，以上述示例的矩阵A为例：
Beosin：Palmswap被攻击是因为添加和删除流动性的计算方法有问题:7月25日消息，Beosin Alert发推称，Palmswap被攻击是因为添加和删除流动性的计算方法有问题，当攻击者添加流动资金时，USDP和PLP之间的汇率为 1:1。 然而，当移除相同数额的PLP时，攻击者能够将其兑换为1.9 倍的USDP，从而获利。
此前消息，Palmswap遭攻击，损失超90万美元。[2023/7/25 15:56:43]
Linearitycheck
可以看出，当多项式t(X)取遍H值时，满足：
Beosin：civfund的ETH合约遭到攻击，损失18万美元:金色财经报道，据Beosin监测，civfund的ETH合约遭到攻击，损失18万美元。受害者合约0x7CAEC5E4a3906d0919895d113F7Ed9b3a0cbf826不是开源的。攻击者调用uniswapV3MintCallback来转移其他用户批准的资金。请尽快撤销对受攻击合约的批准。[2023/7/8 22:25:30]
同样，也可以从公式推导：
AHPforR1CS
Common
Prover
=>Prover
Web3游戏工作室SinVerse Studios获得DWF Labs数百万美元投资:4月11日消息，Web3游戏工作室SinVerse Studios获得DWF Labs数百万美元投资，具体金额未透露。通过DWF Labs的战略合作伙伴关系和投资，SinVerse Studios计划开发Web3游戏主机The NFT Cube。
据悉，SinVerse是一款区块链上的Mafia元宇宙项目，SinVerse的原生代币SIN目前在币安智能链区块链上运行。（Bitcoin.com）[2023/4/11 13:55:58]
=>Oracle
=>Prover?-sumcheck-1
=>Oracle
=>Prover-?sumcheck-1
Beosin成为BNB Chain Kickstart Program官方安全审计服务商:据官方消息，近日，区块链安全公司Beosin宣布正式成为BNB ChainKickstart Program官方安全审计服务商。据了解，BNB Chain启动的“Kickstart Program”计划，旨在帮助区块链开发人员在业内机构的支持下开始他们的项目。[2023/2/16 12:10:16]
=>Prover-?sumcheck-2
=>Oracle
=>Prover-?sumcheck-2
=>Prover-?sumcheck-3
=>Oracle
宝莱坞演员Ranveer Singh成为CoinSwitch Kuber品牌大使:10月8日消息，印度加密交易所CoinSwitch Kuber宣布，宝莱坞演员和青年偶像Ranveer Singh将成为其首位品牌大使。CoinSwitch Kuber旨在利用Ranveer Singh的大众吸引力，以及他在Z世代和千禧一代客户中的受欢迎程度。Ranveer Singh将CoinSwitch Kuber正在进行的“Kuch Toh Badlega”活动中出演三部广告片，第一部已经上传到公司的YouTube频道。
据此前报道，印度加密交易所CoinSwitch Kuber以19亿美元估值完成2.6亿美元C轮融资，Andreessen Horowitz（a16z）和Coinbase Ventures领投，现有投资者老虎环球（Tiger Global）和红杉资本印度（Sequoia Capital India）参投，这是a16z在印度的第一笔投资。（Money Control）[2021/10/8 5:47:55]
=>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
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。