SUM:Sin7y團隊解讀：Specification for Marlin

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

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

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

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

Coinbase：萊特幣交易取消數量增加，團隊正在修復問題:金色財經報道，加密貨幣交易所Coinbase稱，萊特幣交易取消數量增加，團隊正在修復問題，資金是安全的。[2023/5/14 15:01:38]

Linearitycheck

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

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

鮑威爾發表講話之際市場隱含的6月加息概率上升:金色財經報道，隨著鮑威爾發表記者會開場白，美國國債收窄之前的漲幅。美聯儲會期對應的OIS合約利率開始小幅走高，體現出更高的6月政策會議加息溢價。對應6月份美聯儲政策會議的OIS升至5.12%，隱含加息大約5個基點，表明加息25個基點的可能性約為20%。[2023/5/4 14:41:02]

AHPforR1CS

Common

Prover

=>Prover

=>Oracle

Gemini CEO：美國監管機構在處理第一共和銀行危機時采取雙重標準:金色財經報道，加密貨幣交易所Gemini首席執行官Cameron Winklevoss指責美國監管機構在處理First Republic Bank(第一共和銀行)危機時采取雙重標準。Winkelvoss表示：如果第一共和銀行是一家“加密貨幣”銀行，事情的處理方式就會有所不同。（cointelegraph）[2023/4/27 14:30:40]

=>Prover?-sumcheck-1

=>Oracle

=>Prover-?sumcheck-1

=>Prover-?sumcheck-2

Binance Labs向幣安轉入450萬枚LOKA:4月19日消息，據推特用戶余燼監測，Binance Labs 地址于昨日向幣安轉入 450 萬枚 LOKA（價值約 271 萬美元）。余燼表示，Binance Labs 投資獲得 LOKA 數量為 600 萬，目前已解鎖 450 萬，還有兩期共計 150 萬 LOKA 尚未解鎖。[2023/4/19 14:14:19]

=>Oracle

=>Prover-?sumcheck-2

=>Prover-?sumcheck-3

=>Oracle

=>Prover-?sumcheck-3

去中心化實體博物館Arkive完成970萬美元融資，Coinbase Ventures等參投:7月16日消息，去中心化實體博物館Arkive完成970萬美元融資，本輪融資由Offline和TCG Crypto領投，NFX、Freestyle Capital、Coinbase Ventures、Not Boring Capital、Precursor、Chainforest等參投，天使投資人包括Pantera Capital合伙人Paul Veradittakit等。

博物館一直依靠策展人、收藏家和投資者來決定哪些藝術品被展示，數以百萬計的物品被鎖定在1%的私人收藏中，Arkive希望改變這一狀況，通過接納來自世界各地的人為會員，讓他們能夠投票決定博物館將獲得哪些歷史和藝術文物。

作為一個去中心化自治組織（DAO），Arkive的收藏品由其成員策劃，成員通過Discord進行交流并使用他們的以太坊錢包進行投票決定購買、展示哪些藏品，然后鑄造對應的藏品NFT，歷史來源、身份驗證、質量和狀況都會被記錄在區塊鏈上，任何人都可以在博物館和畫廊現場驗證。（Svdaily）[2022/7/16 2:17:35]

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：VERCHEHECSUMDry Doge MetaverseSuperLauncherCoincheck是什么平臺Sumokoin

幣安交易所app下載