VER:Sin7y團隊解讀：Specification for Marlin_HEC

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

2.為向量z=(x,w)定義多項式

3.為矩陣A,B,C定義多項式?

為了減小verifier計算的復雜度，這里用了一個特殊的形式來表示矩陣，以上述示例的矩陣A為例：

持有1+比特幣的地址數量達到1,013,577的歷史新高:金色財經報道，據Glassnode Alerts數據監測，持有1+比特幣的地址數量剛剛達到1,013,577的歷史新高。[2023/8/10 16:18:01]

Linearitycheck

可以看出，當多項式t(X)取遍H值時，滿足：

同樣，也可以從公式推導：

木頭姐預計美聯儲政策轉向將在今年提振成長股:金色財經報道，ARK Investment Management創始人凱西·伍德(Cathie Wood)表示，通脹已經見頂，通脹率到2023年年中可能降至3%或更低，美聯儲很快將停止收緊金融環境，而此舉將提振她的基金所青睞的成長股。在10月升至約4.3%的峰值后，10年期美國國債收益率已降至3.45%。伍德的旗艦基金ARK Innovation ETF(ARKK)今年以來累計上漲了11%，但過去一年仍下跌超過一半。[2023/1/21 11:24:48]

AHPforR1CS

Common

Prover

=>Prover

=>Oracle

BCAM前首席運營官加入Cowen Digital擔任董事總經理:金色財經報道，BCAM(Blockchain.com資產管理公司)的前首席運營官和機構客戶交易主管Taylor Cable，此前在摩爾資本管理公司工作，他將加入Cowen Digital Europe擔任董事總經理。Cable將負責Cowen Digital的歐洲和亞洲業務。

Cowen Inc.的數字部門于今年3月成立，計劃擴大到100多人，其使命是讓機構客戶在其投資組合中保護、訪問和利用加密貨幣。該部門已經雇傭了大約10名加密貨幣從業人員。（the block）[2022/12/6 21:25:31]

=>Prover?-sumcheck-1

=>Oracle

=>Prover-?sumcheck-1

OpenSea Seaport交易額突破17億美元，獨立用戶量超90萬:金色財經消息，據Dune Analytics最新數據顯示，基于開源NFT協議Seaport的OpenSea總交易額已突破17億美元，本文撰寫時為1,706,044,317美元，其中以太坊鏈上交易額為1,696,450,314美元，Polygon鏈上交易額為9,594,003美元。此外，當前基于Seaport協議的OpenSea鏈上交易總量已突破560萬筆，其中以太坊鏈上交易總量達到5,489,788筆，Polygon鏈上交易量為196,966筆；獨立用戶量超過90萬，其中以太坊鏈上獨立用戶量為846,257個，Polygon鏈上獨立用戶量為69,240個。[2022/10/9 12:50:10]

=>Prover-?sumcheck-2

=>Oracle

=>Prover-?sumcheck-2

摩根大通：Coinbase明年可以從更高的利率中獲得12億美元的收入:9月16日消息，摩根大通分析師Kenneth Worthington在報告表示，考慮到短期利率的上升，Coinbase Global（COIN）可能在2023年產生12億美元的額外利息驅動收入。摩根大通估計，僅Coinbase與Circle的合資企業就可能貢獻約7億美元的增量收入。摩根大通維持對Coinbase的中性股票評級，但將目標價從64美元上調至78美元。（CoinDesk）[2022/9/16 7:02:02]

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

來源：金色財經

Tags：VERCHESUMHECiveryone幣的價格28 VOUCHER CHINASumSwapcoincheck交易平臺真假

SOL