HEC:Sin7y團隊解讀：Specification for Marlin_SUM

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

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

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

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

數據：某鯨魚1小時前將30000億PEPE轉入幣安:金色財經報道，據鏈上分析師余燼監測，在7月25日從幣安提出45923億PEPE(651萬美元)的鯨魚，在1小時前將30000億PEPE(345萬美元)轉入幣安后，以0.00000115美元的價格直接賣出。

這樣，他的本輪PEPE投資以0.00000142美元均價買入，以0.00000119美元均價賣出，虧損104萬美元(收益率-16%)。[2023/8/5 16:20:12]

Linearitycheck

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

扎克伯格：元宇宙是一個巨大的機會，它將釋放千億甚至萬億美元的價值:金色財經消息，在Meta的第二季度財報電話會議上，Meta首席執行官扎克伯格表示，元宇宙相關業務的損失可能會持續數年，直到VR應用程序及其元宇宙平臺足夠成熟。他說：“出于多種原因，元宇宙是一個巨大的機會。我現在更加強烈地感覺到，隨著時間的推移，開發這些平臺將釋放數千億美元，甚至數萬億美元。”

他還表示，元宇宙顯然是未來幾年的一項非常昂貴的工作，“我相信我們會很高興我們在構建這個過程中發揮了重要作用”。（Cointelegraph）[2022/7/28 2:43:13]

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

AHPforR1CS

Common

數支F1車隊被迫在法國大獎賽期間移除加密相關廣告商標:7月26日消息，長期以來，法國對多種產品的廣告都有嚴格的規定，加密貨幣是最新一個違反法國規定的產品。在上周末的法國大獎賽期間，幾支F1車隊不得不遮蓋或移除加密相關產品的商標貼紙。（RacingNews365）[2022/7/26 2:38:57]

Prover

=>Prover

=>Oracle

=>Prover?-sumcheck-1

=>Oracle

=>Prover-?sumcheck-1

Quidd 推出了將數字收藏品鑄造和取消鑄造成 NFT 的功能:6月22日消息，Animoca Brands 及其數字收藏品交易平臺子公司 Quidd 已在名為 Mintables 的以太坊區塊鏈上推出了一項用于鑄造和取消鑄造數字收藏品的功能。根據 Animoca 的一份聲明，Mintables 將使初學者更容易、更便宜地鑄造他們的第一個 NFT，并消除對加密貨幣的需求，同時這些資產與 OpenSea 等流行的以太坊 NFT 市場的互操作性。Animoca Brands 于 2019 年收購了 Quidd 。該應用程序專注于虛擬收集和交易流行品牌的收藏品，從包括曼聯在內的足球隊，以及 Ricky and Morty 等節目。其平臺的數字藏品資產以法定貨幣支付。[2022/6/22 4:44:04]

=>Prover-?sumcheck-2

=>Oracle

=>Prover-?sumcheck-2

波場聯合儲備買入1000萬美元USDD和TRX:6月21日消息，波場聯合儲備（TRON DAO Reserve）宣布已買入1000萬美元USDD和TRX。[2022/6/21 4:43:12]

=>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：VERHECSUMCHEVeritaseumCHECKR價格Omni Consumer ProtocolAlchemix

SOL