Sin7y團隊解讀：Specification for Marlin_SUM:VER

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

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

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

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

幣安將上線DODO 1-20倍 U本位永續合約:金色財經報道，幣安發布公告表示，將于2023年08月08日20:00（東八區時間）上線DODO 1-20倍 U本位永續合約。[2023/8/7 21:30:04]

Linearitycheck

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

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

Mogo宣布Coinsquare、WonderFi和CoinSmart完成業務合并:金色財經報道，金融科技公司Mogo Inc.宣布Coinsquare Ltd.、WonderFi Technologies Inc.和CoinSmart Financial Inc.完成之前宣布的業務合并交易。此次交易將由此產生的實體 WonderFi 及其注冊運營子公司定位為加拿大最大的受監管加密貨幣投資生態系統之一，為加拿大人提供廣泛的多元化產品和服務，包括零售和機構加密貨幣交易、質押產品、B2B 加密貨幣支付處理和數字資產托管。自 2017 年以來，合并后的公司交易額已超過 170 億美元，托管資產超過 6 億美元。Mogo 是合并后公司的最大股東，持有約 14% 的股份。[2023/7/11 10:46:43]

AHPforR1CS

Common

Prover

=>Prover

BitDAO代幣治理提案通過后，BitDAO在鏈上轉移了超5.5億美元的BIT:金色財經報道，Arkham監測顯示，在昨天BitDAO的代幣重塑治理提案通過后，BitDAO被發現在鏈上移動了超5.5億美元的BIT。為了準備即將到來的代幣過渡，1.2億美元的BIT已被轉移到貢獻者錢包，其余約5億美元在BitDAO的“靈活\"錢包。[2023/5/21 15:17:03]

=>Oracle

=>Prover?-sumcheck-1

=>Oracle

=>Prover-?sumcheck-1

數據：四月以太坊鏈上NFT交易量的市場份額達到96%:金色財經報道，根據最新披露的四月NFT數據顯示，上個月以太坊占據了NFT交易量的最大份額，市場份額高達96%。然而在鏈上NFT活躍用戶方面，以太坊僅占44%，Polygon緊隨其后，占比為37%。雖然以太坊仍然是大多數主流NFT項目的首選平臺，但其網絡擁堵和高額交易費用可能會促使一些用戶轉向替代平臺。在NFT市場方面，四月Blur在交易量方面仍然具有絕對優勢。不過從交易筆數來看，OpenSea還是占據上風。Blur的優勢地位表明它更適合高價值資產和交易規模較大的專業用戶。另一方面，OpenSea的交易更松散，交易規模更小，更適合零售用戶和小額日常交易。此外，四月NFT市場投融資交易總計11筆，較三月份的8筆有所增長。（cryptoslate）[2023/5/15 15:03:48]

=>Prover-?sumcheck-2

=>Oracle

=>Prover-?sumcheck-2

OKX全球機構業務部董事總經理：已有專責團隊負責香港合規進程:金色財經報道，OKX 全球機構業務部董事總經理 Lennix 在社交媒體發文表示，OKX 團隊已在一年前積極準備香港牌照申請，并有組建超過 20 人的專責團隊負責香港合規進程，團隊成員皆來自 SFC、SEC、國際律所或持牌金融機構，并按照 SFO type 1 及 type 7 的監管標準，對自身業務進行調整，包括以符合 SFO MIC 標準進行架構調整、上幣流程調整、加強整體市場監控、推行 Proof Of Reserve，嚴格堅守客戶資金分離底線。

目前，OKX 在港員工超過 400 人，由產品研發及合規團隊組成。在未來，OKX 會持續投入，為香港區塊鏈及 Web3 發展添磚加瓦。[2023/2/20 12:18:01]

=>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：VERHECSUMCHEROVER幣coincheck中文叫什么SUMO價格coincheck交易平臺下載

芝麻開門交易所