Sin7y團隊解讀：Specification for Marlin_VER

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

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

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

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

日本最大銀行正就發行全球穩定幣進行談判:金色財經報道，據悉，日本最大的銀行-三菱日聯正與流行的全球穩定幣背后的企業及其他企業就通過該行的區塊鏈平臺發行此類代幣進行談判。日本的穩定幣法是主要經濟體中最早的立法之一，于6月1日開始實施，這實際上意味著只有在該國的持牌銀行、相關金融公司才能發行代幣。三菱日聯產品副總裁Tatsuya Saito表示，該行正在與多方討論使用其區塊鏈平臺Progmat來制造與外幣(包括美元)掛鉤的穩定幣，以供全球使用。他表示，既然日本的立法生效，發行方和用戶使用穩定幣時會有安全感。不過他拒絕透露正在與哪些穩定幣方談判。[2023/6/25 21:57:51]

Linearitycheck

Sui在最初幾個小時內的交易量超過7億美元:金色財經報道，根據 TradingView 的幣安數據，截至美國東部時間上午 10 點 30 分，Sui 的交易價格為 1.25 美元。該代幣在最初幾個小時內的交易量超過 7 億美元。大部分交易量（53%）發生在幣安的 SUI/USDT 交易對上。

據悉，根據 CoinGecko 數據，該代幣的流通量為 5.28 億，市值已達到 6.75 億美元。考慮到 100 億個代幣的最大供應量，Sui 的完全稀釋估值達到 125 億美元。[2023/5/4 14:40:57]

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

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

AHPforR1CS

Common

Coinbase、Chainlink等多個項目今晨發布神秘表情，或暗示新消息釋出:2月23日消息，Coinbase、Chainlink、Nansen等多個知名公司/項目今晨通過社交賬號發布神秘“藍色圓球圖標”表情，并配有疑似時間節點“2023年2月23日”，或暗示即將有新消息釋出。

對此，加密KOL Autism Capital發文回復稱，“聽到消息通知后，這些球就是我們的了。”[2023/2/23 12:24:38]

Prover

=>Prover

=>Oracle

=>Prover?-sumcheck-1

=>Oracle

Web3音樂創作平臺Arpeggi Labs完成510萬美元種子輪融資，a16z Crypto領投:9月15日消息，Web3音樂創作平臺ArpeggiLabs完成510萬美元種子輪融資，a16z Crypto領投，1 confirmation、Palm TreeCrew、WndrCoVentures、Steve Aoki、3LAU、WyclefJean、DiscoFries、Electric FeelVentures、LouisBell、JoeZadeh、Audius Foundation、Shayne Coplan、Paul Veradittakit和Cooper Turley參投。Arpeggi為用戶提供創作、發布和混合音頻的Web3音樂創作平臺，后續更新包括推出免費瀏覽器DAW、集成其它Web2和Web3音樂平臺以及推出網站原生社交功能等。[2022/9/15 6:57:23]

=>Prover-?sumcheck-1

=>Prover-?sumcheck-2

=>Oracle

觀點：通脹飆升可能會驅使散戶投資者進入高風險的加密資產:5月26日消息，歐洲最高證券監管機構警告稱，通脹飆升可能會驅使散戶投資者進入高風險的加密資產，并呼吁建立一個正式的法律框架來管理整個歐盟的行業。歐洲證券和市場管理局主席 Verena Ross 表示，隨著通脹上升，投資者將尋求能夠試圖彌補通脹并帶來更大回報的投資，這可能會導致更大的風險承擔，這（加密）是我們正在密切關注的事情。

畢馬威英國加密和數字資產團隊負責人 Ian Taylor 表示，沒有確鑿的證據表明，由于高通脹，消費者正涌入加密資產。（彭博社）[2022/5/27 3:44:25]

=>Prover-?sumcheck-2

=>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：VERCHESUMHECHedge Tech GovernanceAPACHESUM幣HECTA價格

萊特幣價格