VER:Sin7y團隊解讀：Specification for Marlin

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

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

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

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

模塊化DEX基礎設施Native完成200萬美元種子輪融資:4月27日消息，模塊化 DEX 基礎設施 Native 完成 200 萬美元種子輪融資，Nomad Capital 領投，所籌資金將用于產品開發，實現模塊化和互操作性。[2023/4/27 14:30:39]

Linearitycheck

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

BNB Chain攻擊者成為rETH第四大巨鯨，持有超5670枚rETH:2月3日消息，據派盾監測數據顯示，BNB Chain 攻擊者將約 620 萬枚 USDC 以及 402 枚 ETH 兌換為為 rETH（Rocket Pool）后，目前該地址共持有約 5670.46 枚 rETH（約合 1000 萬美元），成為 rETH 第四大巨鯨。

在此之前，BNB Chain 攻擊者向 0x531 開頭地址轉移了價值約 7400 萬美元的資產，其中包括 43,228 枚 stETH（約合 7000 萬美元）、771 枚以太坊（約合 127 萬美元）和 1679 枚 rETH（約合 290 萬美元）。[2023/2/4 11:46:38]

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

AHPforR1CS

Common

Prover

=>Prover

法院裁定Dynamics Corp向其客戶Compass Mining支付147萬美元:金色財經報道，美國特拉華州法院命令托管服務提供商Dynamics Corp向其前客戶Compass Mining支付150萬美元。Compass Mining于6月提起訴訟，指控Dynamics無故扣押其機器，它為三個設施的建設和運營支付了約170萬美元，但Dynamics沒有履行其部分義務。當時Dynamics表示已終止與Compass的托管協議，并指責該公司拖欠和延遲付款。

此次裁決是在Compass Mining面臨能源成本高企、比特幣下跌和日益增加的挖礦難度的艱難時期作出的。違約判決動議中列出的款項包括多收和未報銷的金額，以及Compass為開發多個設施支付的押金和資本支出，法院還命令Dynamics支付判決后的利息和催收費用。[2022/12/31 22:17:21]

=>Oracle

=>Prover?-sumcheck-1

LUNA突破6.5美元，24小時漲幅超235%:金色財經報道，行情顯示，LUNA突破6.5美元，現報6.55美元，24小時內漲幅達到235.87%，行情波動較大，請做好風險控制。[2022/9/9 13:20:22]

=>Oracle

=>Prover-?sumcheck-1

=>Prover-?sumcheck-2

=>Oracle

=>Prover-?sumcheck-2

俄羅斯立法者：在莫斯科證券交易所內的細分市場建立加密市場“比其他任何方式都要好”:金色財經消息，俄羅斯國家杜馬金融市場委員會主席Anatoliy Aksakov在新聞發布會上表示，應該有一個建立在中央銀行嚴格要求之上的加密市場，建議它作為莫斯科證券交易所(MOEX)的一個細分市場。他認為，在MOEX的傳統內并與中央銀行合作的一個市場將“比其他任何管理加密貨幣交易的方式都要好”。

此前消息，俄羅斯銀行協會提議在莫斯科證券交易平臺建立加密交易業務。（Interfax）[2022/7/9 2:01:31]

=>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：VERCHESUMHECeverdome幣價28 VOUCHER KOREAOmni Consumer ProtocolHEC價格

比特幣價格今日行情