Sin7y團隊解讀：Specification for Marlin_VER

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

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

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

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

加密交易所日均現貨交易量在XRP裁決后增加近40億美元:7月16日消息，在法官裁定Ripple通過交易所銷售XRP不構成證券銷售后，現貨交易所的加密貨幣交易量有所增加。數據顯示，交易所現貨交易量從7月12日的127.4億美元增加到7月14日的165.6億美元。（The Block）[2023/7/16 10:58:07]

Linearitycheck

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

29,997 ETH從Bithumb轉移到未知錢包:金色財經報道，數據顯示，29,997 ETH （價值約62,167,716美元）從Bithumb轉移到未知錢包。[2023/4/19 14:13:24]

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

AHPforR1CS

Common

Prover

=>Prover

=>Oracle

=>Prover?-sumcheck-1

歐洲央行希望銀行在加密立法前遵守巴塞爾規則:金色財經報道，歐洲中央銀行?(ECB) 發布了巴塞爾委員會 (BCBS)?于 2022 年 12 月發布的加密資產規則摘要。此外，上周歐盟委員會發布了巴塞爾規則的草案文本?，稱銀行應對待加密資產風險權重為 1250% 的資產作為臨時措施，直到實施詳細的立法。歐洲央行的聲明暗示銀行不應等待立法通過。

歐洲央行表示，在歐盟進行轉換之前，BCBS標準尚不具有法律約束力。然而，如果銀行希望進入這個市場，他們應該遵守該標準，并在其業務和資本規劃中考慮到這一點。巴塞爾委員會為各司法管轄區采用加密資產規則設定了 2025 年 1 月的最后期限。

同時，歐盟規則的當前草案版本預計將進行修訂，因為 1250% 的風險權重參考并未區分合規安全令牌（常規風險權重）與加密貨幣的加密資產。[2023/2/16 12:11:22]

=>Oracle

=>Prover-?sumcheck-1

俄羅斯銀行建議對NFT、智能合約進行監管:金色財經報道，俄羅斯首席金融監管機構在周一發布的一份新的咨詢報告中表示，俄羅斯可以為數字證券和實用代幣制定更詳細的稅收規則，但已經有足夠的監管環境來創建一個合法的數字資產市場。該文件建議制定更詳細的規則，解決數字證券和實用代幣的稅收問題，以及證券、債務、貴金屬和寶石代幣化的法律框架，并發行證明產權的NFTs。俄羅斯銀行還建議將數字資產交易納入傳統股票市場基礎設施。俄羅斯銀行希望在12月7日前收到對該報告的意見。（coindesk）[2022/11/9 12:35:04]

=>Prover-?sumcheck-2

=>Oracle

=>Prover-?sumcheck-2

=>Prover-?sumcheck-3

Web3瀏覽器Opera推出NFT分析工具DegenKnows:金色財經報道，Web3瀏覽器Opera推出了DegenKnows，這是一個新的NFT分析、跟蹤和探索工具，包括鏈上和鏈下分析。這個新工具旨在幫助用戶瀏覽NFT項目，并獲得來自社交媒體社區的分析。

除了常規的鏈上數據分析，如個人交易，DegenKnows旨在向用戶提供來自社交媒體來源的鏈下數據，包括Twitter和Discord。（coindesk）[2022/11/3 12:13:51]

=>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：VERSUMHECCHEVERSUSBitsumCHECKR價格coincheck交易平臺

比特幣交易