RICS
则R1CS成立。
TransitionintoPolynomial(efficiency）
Prepare
Definepolynomial
2.为向量z=(x,w)定义多项式
3.为矩阵A,B,C定义多项式?
为了减小verifier计算的复杂度，这里用了一个特殊的形式来表示矩阵，以上述示例的矩阵A为例：
Beosin：BSC上项目Swap-LP项目遭受攻击，损失609个ETH，约100万美元:金色财经报道，据区块链安全审计公司Beosin旗下Beosin EagleEye安全风险监控、预警与阻断平台监测显示，2023年5月20日，BSC上项目Swap-LP项目遭受攻击，攻击者地址0xdEAd40082286F7e57a56D6e5EFE242b9AC83B137，累计获利609个ETH，约100万美元。资金仍在攻击者地址。[2023/5/20 15:15:18]
Linearitycheck
可以看出，当多项式t(X)取遍H值时，满足：
Beosin：TempleDAO项目遭受黑客攻击，涉及金额约236万美元:据Beosin EagleEye Web3安全预警与监控平台监测显示，TempleDAO项目遭受黑客攻击。因为在StaxLPStaking合约的migrateStake函数缺少权限校验，导致任意人都可以通过该函数提取合约中的StaxLP。
Beosin安全团队分析发现攻击者已把全部获得的StaxLP代币全部兑换为ETH，目前被盗资金已全部转移到0x2B63d4A3b2DB8AcBb2671ea7B16993077F1DB5A0地址，Beosin安全团队将持续跟踪。Beosin Trace将对被盗资金进行持续追踪。[2022/10/12 10:31:30]
同样，也可以从公式推导：
AHPforR1CS
Common
SingularityNET发布2022年路线图，将推出质押、忠诚度奖励等:5月1日消息，区块链人工智能（AI）平台SingularityNET发布2022年生态路线图。SingularityNET平台团队将在2022年重点关注连接Cardano网络的端口，AGIX ERC-20 Converter Bridge已推出；第一轮Deep Funding已经启动，接下来将是质押、忠诚度奖励，然后是一个完整的平台端口（包含升级）。AI和OpenCog团队正在推进多项AI项目和合作伙伴计划，并在OpenCog Hyperon、AI-DSL和MeTTa语言方面继续取得重要进展。[2022/5/2 2:44:25]
Prover
=>Prover
=>Oracle
=>Prover?-sumcheck-1
=>Oracle
动态 | Singularity Studio与人保金服达成合作 将开发基于区块链的金融技术解决方案:据Crypto Briefing消息，Singularity Studio已与中国人民保险集团旗下子公司人保金融服务有限公司（PICC Financial Services）签署了一份“战略合作备忘录”，双方签署的合作协议旨在开发人工智能和基于区块链的金融技术解决方案。[2019/8/18]
=>Prover-?sumcheck-1
=>Prover-?sumcheck-2
=>Oracle
=>Prover-?sumcheck-2
动态 | AI去中心化平台SingularityNET将在以太坊网络发布测试版本:据Cryptocoinspy报道，针对AI的去中心化平台SingularityNET（AGI）的营销副总裁Arif Khan宣布，将在Ropsten网络（以太坊的公共测试网之一）上推出SingularityNET平台的Beta版本。Khan表示后续将在以太坊主网上分三阶段推出SingularityNET平台的第二和第三阶段，这两个阶段的版本都将在本月发布。[2019/2/7]
=>Prover-?sumcheck-3
=>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
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。