RICS
则R1CS成立。
TransitionintoPolynomial(efficiency）
Prepare
Definepolynomial
2.为向量z=(x,w)定义多项式
Ledger前CEO：Ledger产品争议不是技术失败而是公关失败:5月19日消息，针对Ledger产品引发的争议，Ledger前首席执行官éric Larchevêque表示，“ Ledger产品造成的可怕混乱局面不是技术上的失败，而是公关上的失败，许多人认为Ledger是一种无需信任的解决方案，但事实并非如此。要使用Ledger的产品，必须对Ledger给予一定程度的信任。Ledger的安全模型并未改变，这些设备仍然安全，没有后门，也没有阴谋。
此前报道，硬件钱包Ledger推出基于ID的密钥恢复服务“Ledger Recover”，引部分用户反对。[2023/5/19 15:13:46]
3.为矩阵A,B,C定义多项式?
为了减小verifier计算的复杂度，这里用了一个特殊的形式来表示矩阵，以上述示例的矩阵A为例：
Linearitycheck
ETH 2.0总质押数已超1773.06万:金色财经报道，数据显示，ETH 2.0总质押数已超1773.06万，为17730570个，按当前市场价格，价值约318.52亿美元。此外，目前ETH 2.0质押总地址数已超57.01万，为570085个。[2023/3/24 13:23:05]
可以看出，当多项式t(X)取遍H值时，满足：
同样，也可以从公式推导：
AHPforR1CS
Common
Prover
DeGods：将于比特币网络开放500枚新系列NFT铸造:3月16日消息，NFT项目DeGods宣布，将于比特币网络开放500枚新系列NFT铸造，每枚NFT铸造价格为0.444枚BTC。暂定的铸造时间为太平洋标准时间周五下午，更多信息将稍后发布。[2023/3/16 13:07:34]
=>Prover
=>Oracle
=>Prover?-sumcheck-1
=>Oracle
=>Prover-?sumcheck-1
Web3基金会发布资产平行链Statemint路线图：将支持DEX和NFT:金色财经报道，Web3 基金会成员Joe在波卡论坛上分享了 Statemint 最新发展路线图和四个主要功能方向，分别是1、支持平行链原生资产和桥接资产；2、支持平行链原生资产和桥接资产；3、支持去中心化交易所；4、更高级的资产锁定/保留功能。据悉Statemint 上的 Assets 模块的新（附加）实例将使用 XCM MultiLocations 来表示资产，并使用它们相应的来源来控制它们。这种配置将使平行链能够将其原生代币发送到 Statemint 并与那里的 API 一起使用。[2022/11/29 21:09:11]
=>Prover-?sumcheck-2
=>Oracle
=>Prover-?sumcheck-2
=>Prover-?sumcheck-3
快餐连锁品牌Chipotle将赠送超过20万美元的免费加密货币:7月25日消息，美国知名快餐连锁品牌Chipotle周一宣布将推出一款名为“Buy The Dip”的新互动游戏，该游戏还将赠送超过200,000 美元的免费加密货币，粉丝可以免费获得比特币、以太坊、Avalanche、Solana或狗狗币，并使用他们的加密货币在 Chipotle 消费。促销活动将从周一开始每日上午10点至下午6点开放，直至7月31日截至。
据悉，Chipotle于2021年4月首次涉足加密货币领域，当时它成为第一个通过“墨西哥卷饼或比特币”促销活动推出加密货币赠品的美国餐厅品牌，该促销活动发放了10万美元的比特币来庆祝全美墨西哥卷饼日。2022年6月，快餐连锁品牌Chipotle宣布将通过数字支付平台Flexa接受加密货币支付。用户可在Flexa的全美近3000家门店的将可以使用加密货币进行付款。[2022/7/26 2:37:07]
=>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
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。