RICS
则R1CS成立。
TransitionintoPolynomial(efficiency）
Prepare
Definepolynomial
2.为向量z=(x,w)定义多项式
3.为矩阵A,B,C定义多项式?
为了减小verifier计算的复杂度，这里用了一个特殊的形式来表示矩阵，以上述示例的矩阵A为例：
SingularityNET将于下个月推出Cardano质押门户网站beta测试版本:2月24日消息，SingularityNET在推特上宣布，该项目的Cardano质押门户网站将于下个月推出beta测试版本，该团队计划在今年第一季度在主网上推出质押门户网站。
该质押门户将允许AGIX代币持有者在Cardano网络上押注代币。据悉，该项目去年推出了ERC-20代币转换器，允许用户将他们的AGIX从以太坊移动到Cardano。[2023/2/24 12:26:57]
Linearitycheck
去中心化投注平台ZKasino已在BNB Chain和Polygon主网上线:1月23日消息，去中心化投注平台ZKasino宣布已正式在 BNB Chain 和 Polygon 主网上线，玩家现可使用 Polygon 上的 USDC 或 BNB Chain 上的 BUSD 对他们最喜欢的游戏进行投注。[2023/1/23 11:26:55]
可以看出，当多项式t(X)取遍H值时，满足：
同样，也可以从公式推导：
AHPforR1CS
Common
Prover
=>Prover
Beosin：EthTeamFinance项目遭受到了漏洞攻击事件简析:据Beosin EagleEye 安全预警与监控平台检测显示，ETH链上的EthTeamFinance项目遭受漏洞攻击，攻击合约0xCFF07C4e6aa9E2fEc04DAaF5f41d1b10f3adAdF4通过LockToken合约的migrate函数没有正确验证_id和params的漏洞，将WTH，CAW，USDC，TSUKA代币从V2流动性池非法升级到V3流动性池，并且通过sqrtPriceX96打乱V3流动池的Initialize的价格，从而获取大量refund套利。共计套利了约1300多万美元。[2022/10/27 11:49:12]
=>Oracle
=>Prover?-sumcheck-1
=>Oracle
=>Prover-?sumcheck-1
币安将于今日16时上市SingularityNET（AGI）:币安将于今日16时上线SingularityNET（AGI），并开通AGI/BNB、AGI/BTCAGI/ETH交易对。[2018/6/5]
=>Prover-?sumcheck-2
=>Oracle
=>Prover-?sumcheck-2
=>Prover-?sumcheck-3
=>Oracle
Wilson, Sonsini, Goodrich & Rosati合伙人：试图确定什么是证券和什么是商品会导致市场分心:今天在“审查数字和ICO市场”听证会上，Wilson, Sonsini, Goodrich & Rosati合伙人Robert Rosemblum表示：“试图确定什么是证券和什么是商品会导致市场分心。我认为从长远来看，我们不应该担心证券和商品的区别。”[2018/3/15]
=>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
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。