SUM:Sin7y團隊解讀：Specification for Marlin_HEC

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

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

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

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

全球物流巨頭UPS在Decentraland推出元宇宙商店:10月4日消息，全球最大的航運和包裹供應服務公司之一UPS正式加入元宇宙，這家跨國公司在Decentraland開設了一個虛擬門店，旨在為虛擬世界里的中小企業提供服務，不過現階段UPS并不會在Decentraland中提供一對一交互支持，他們還與Fast Company合作開設了一個虛擬教育學院以為小型企業提供銷售和營銷培訓服務。UPS早在今年四月就申請了元宇宙和NFT商標，希望以此保護相關領域里的品牌IP。（Ledger Insights）[2022/10/4 18:39:21]

Linearitycheck

Acala：社區公投通過并銷毀了異常增發的29.7億枚aUSD:8月22日消息，Acala今日更新aUSD異常增發事件鏈上追蹤結果，官方追蹤了16個已識別地址聲稱的30億枚異常增發的aUSD。16個已識別地址中的異常增發的aUSD已兌換成包括DOT在內的其他代幣，并已將這些aUSD轉移到其他與XCM連接的鏈，如Polkadot、Moonbeam、Interlay、Astar以及CEX。

此外，目前社區公投通過并銷毀了異常增發的29.7億枚aUSD。接下來，團隊將提供受事件嚴重破壞的流動資金池的詳細情況，以便與社區盡快制定aUSD恢復計劃。（Medium）[2022/8/22 12:40:02]

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

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

AHPforR1CS

Common

加密借貸公司Nexo就資產賬戶問題對聯合創始人提起訴訟:金色財經報道，加密借貸公司Nexo正在對其聯合創始人Georgi Shulev采取法律行動，該董事聲稱對該公司所持有的一個資產賬戶擁有部分所有權。Nexo周三要求英國高等法院命令Georgi Shulev將包括比特幣和以太坊在內的九種加密貨幣轉讓給該公司，作為7月份和解協議的一部分。?根據該協議，Shulev本人將在五次分期付款中獲得價值100萬美元的USDT和Nexo代幣。

Nexo聲稱，在加密資產價格下跌的時候，它的公司賬戶被鎖定。訴訟中說，賬戶中的資產有關損失約為790萬美元。

據悉，Nexo和Shulev一直在爭奪這個賬戶，估計有880個比特幣。該公司聲稱該賬戶用于公司目的，而前董事則認為他是以個人身份開立的，并聲稱對其部分加密資產擁有所有權。（Blockworks）[2022/8/17 12:31:34]

Prover

=>Prover

=>Oracle

=>Prover?-sumcheck-1

NFT游戲開發公司Bravo Ready完成300萬美元融資:7月11日消息，NFT 游戲開發公司 Bravo Ready 宣布完成 300 萬美元融資，Solana Ventures、6th Man Ventures、Shima Capital 和 Fractal 首席執行官 Justin Kan 參投。

該公司將利用這筆融資加速游戲和軟件開發，并推出基于 NFT 的win-to-earn大逃殺類游戲《BR1：Infinite Royale》，玩家在這款游戲中獲勝即可贏得 SOL Token，同時游戲觀眾、內容創作者、以及 NFT 投資者也都能通過參與游戲獲得激勵。（Venturebeat）[2022/7/11 2:06:12]

=>Oracle

=>Prover-?sumcheck-1

=>Prover-?sumcheck-2

MakerDAO聯創提議創建MetaDAO和合成ETH代幣MATH:6月3日消息，MakerDAO聯合創始人Rune Christensen發布了一項新的里程碑式的提議，目標是將該項目推進到最終形式，稱之為“The Endgame Plan”。

Christensen解釋道，Maker目前的治理模式造成了僵局，使得協議難以有效處理復雜的現實世界金融交易，并降低了其在面對金融機構時的競爭力。

該計劃的核心是形成MetaDAO，旨在解決Maker生態系統內的特定治理問題，并緩解目前存在的緩慢的單線程決策過程的擁堵情況。每個MetaDAO可以看作是MakerDAO的一個分部，它將發行自己的代幣，并由對其特定目標感興趣的Maker參與者管理。

此外，Christensen還提議Maker推出名為MATH的合成ETH代幣，利用合并（the Merge）并以盡可能低的初始成本產生更多收入。MATH費用最初可以設置為0%以鼓勵采用，但最終它可以為該協議創造收入，類似Synths在THORChain中的作用。（Cointelegraph）[2022/6/3 4:00:03]

=>Oracle

=>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：VERSUMHECCHECash DriverSUMO幣coincheck交易平臺合法嗎Drachen Lord

BNB