RICS
则R1CS成立。
TransitionintoPolynomial(efficiency）
Prepare
Definepolynomial
2.为向量z=(x,w)定义多项式
Coinbase Protocols负责人：未来十年将有80亿人上链:金色财经报道，Coinbase Protocols负责人Jesse Pollak表示，加密货币的采用将在未来十年进入高速发展阶段，预测地球上绝大多数人将在这段时间内进入链上。我们的感觉是，我们前面还有很大的增长空间，如今我们链上的人数还不到1000万人。未来十年，链上将有80亿人。[2023/7/20 11:06:01]
3.为矩阵A,B,C定义多项式?
为了减小verifier计算的复杂度，这里用了一个特殊的形式来表示矩阵，以上述示例的矩阵A为例：
Linearitycheck
DAO加速器Seed Club推出面向加密项目早期测试者社区TestFlight Club:7月7日消息，DAO加速器SeedClub推出面向加密项目早期测试者社区TestFlight Club。该社区旨在帮助项目创始人获取高质量早期用户群体，并促进双方共同推动加密发展及采用。[2023/7/7 22:24:08]
可以看出，当多项式t(X)取遍H值时，满足：
同样，也可以从公式推导：
AHPforR1CS
Common
Prover
=>Prover
Coinbase将于3月7日23点上架Liquid Staked ETH(LSETH)交易:金色财经报道，Coinbase 公告称将在以太坊网络（ERC-20 代币）上增加对 Liquid Staked ETH (LSETH) 的支持。如果满足流动性条件，交易将于北京时间 2023 年 3 月 7 日23点或之后开始。上周，Coinbase将Liquid Staked ETH（LSETH） 列入上币路线图。[2023/3/7 12:45:37]
=>Oracle
=>Prover?-sumcheck-1
=>Oracle
=>Prover-?sumcheck-1
=>Prover-?sumcheck-2
Lifeform以1亿美元估值完成A轮融资，Geek Cartel领投:金色财经报道，DID解决方案提供商Lifeform以1亿美元估值完成A轮融资，本轮融资由Geek Cartel领投，KuCoin Labs、DHVC、SevenX Ventures、Foresight Ventures、K24 Ventures、Another World参投。
此前，Lifeform种子轮由Binance Labs领投，前种子轮由GeekCartel独家投资。
据悉，Lifeform的UE5版虚拟人编辑器PC端已于2022年11月上线，Lifeform Avatar及相关服饰item铸造总量超40万。Unity版移动端于2023年2月17日上线，截至目前Lifeform Cartoon Avatar铸造总量已突破85万，官方网站单日PV量达2000万。[2023/2/25 12:29:02]
=>Oracle
=>Prover-?sumcheck-2
=>Prover-?sumcheck-3
=>Oracle
TON基金会发布公告称希望非活跃创始地址在2023年前激活:金色财经报道，TON 基金会在 Telegram 上发布公告称，由于部分创始地址常年不活跃，导致各个数据统计网站统计的数据不一，使得社区对 TON 的代币经济学产生了疑惑。TON 基金会称，目前持有超过 1 枚 TON 的非活跃地址有 204 个，持有总计 10.8 亿枚代币，希望这些地址持有者在北京时间 2023 年 1 月 1 日 8:00 前激活地址并向任何地址进行转账，以使得 CoinMarketCap 等数据网站能获得更加准确的数据。[2022/12/18 21:51: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
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。