VER:Sin7y团队解读：Specification for Marlin_CHEE价格

RICS

则R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

2.为向量z=(x,w)定义多项式

加密公司FTFT收购Alpha Financial Limited香港和深圳子公司:金色财经报道，纳斯达克上市加密公司Future FinTech Group Inc.（FTFT）宣布旗下全资子公司FTFT HK已与香港持牌公司Alpha Financial Limited股权转让协议，收购其香港子公司 Alpha HK和深圳子公司Alpha SZ，具体收购金额暂未披露。Alpha HK持有香港证监会颁发的第一类“证券交易”、第二类“期货合约交易”和第四类“证券咨询”金融牌照，Future FinTech Group Inc.总部位于美国佛罗里达州，业务覆盖区块链网上商城、资产管理、加密货币挖矿、汇款、以及加密数据服务。（prnewswire）[2023/3/2 12:38:40]

3.为矩阵A,B,C定义多项式?

为了减小verifier计算的复杂度，这里用了一个特殊的形式来表示矩阵，以上述示例的矩阵A为例：

Linearitycheck

CZ：很高兴看到英国正在努力推进加密监管:2月1日消息，Binance创始人CZ发文表示，很高兴看到英国作为全球金融科技的领导者，正在努力推进加密监管。我们希望他们的计划可以反映FSB（金融稳定委员会）的建议：监管应协调、一致、全面，并与风险的性质、规模和复杂性相称。

此前消息，英国财政部今天公布了针对加密市场的咨询文件。Binance官方账户表态称，Binance公开支持有效和适当监管，以帮助主流采用数字资产，欢迎英国政府采取后续步骤。[2023/2/1 11:41:42]

可以看出，当多项式t(X)取遍H值时，满足：

同样，也可以从公式推导：

AHPforR1CS

Common

Autism Capital：约3.8亿美元FTX资金被转移，疑为内部人士携款潜逃:11月12日消息，Autism Capital发推称，FTX内部人士很有可能正在试图携款潜逃，目前FTX和FTXUS钱包现在都受到影响并将资产混合在一起，被转移的金额约为3.8亿美元，一些钱包被标记为fucksbf和fuck ftx and sbf.eth，看起来好像是黑客攻击。

此前报道，据链上数据显示，FTX与FTX.US的破产程序已经开始，大量交易平台资产开始归集到同一个链上地址，0x59abf3837fa962d6853b4cc0a19513aa031fd32b。[2022/11/12 12:54:18]

Prover

=>Prover

=>Oracle

=>Prover?-sumcheck-1

=>Oracle

以太坊合并后部分GPU价格大幅下跌近40%:金色财经报道，随着以太坊合并顺利完成，GPU 矿机需求似乎已出现缩水，很大一部分挖矿市场也将不再关注 GPU。目前部分 GPU 价格也出现快速下跌，eBay 平台上RTX 3080 10GB Founder's Edition 型号在 6 月中旬的售价约为 750 美元以上，但现在已跌至 500-600 美元区间，价格下跌达到 39%。（dexerto）[2022/9/16 6:59:51]

=>Prover-?sumcheck-1

=>Prover-?sumcheck-2

=>Oracle

=>Prover-?sumcheck-2

=>Prover-?sumcheck-3

美联储：加密货币给银行、客户和整个金融系统提供了机会:金色财经报道，Bitcoin Archive发推，美联储表示加密货币给银行、客户和整个金融系统提供了机会。[2022/8/21 12:37:50]

=>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

来源：金色财经

标签：VERHECSUMCHEParallel Universe MetaHeco YearnFinanceSUMO价格CHEE价格

USDT热门资讯