Sin7y團隊解讀：Specification for Marlin_VER:HEC

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

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

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

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

某EOA地址將20枚ETH轉入Tornado Cash:金色財經報道，據CertiK官方推特發布消息稱，EOA地址(0x12C9)將20枚ETH(約3.84萬美金）轉入Tornado Cash。該賬戶通過在Twitter上發布的虛假預售活動收集資金，并以無價值的代幣作為回報進行空投。[2023/7/16 10:58:20]

Linearitycheck

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

Stargate DAO成員在社區會議上討論如何處理即將收到的160萬枚ARB:3月30日消息，Stargate DAO成員在周三社區電話會議上討論如何處理160萬枚Arbitrum（ARB）代幣的預期分配，這些代幣價值不到200萬美元。LayerZero Labs的員工MaxPower表示，這些代幣尚未收到，但當收到時將必須決定是否持有、出售、部署或委托這些代幣。

一些與會者建議，DAO應該將ARB代幣分發給用戶，或將其部署為流動性激勵。與此同時，其他治理代幣持有者建議委托ARB代幣，以便Stargate DAO可以參與Arbitrum治理。

據DeFiLlama的數據，Stargate的總鎖定價值（TVL）為3.64億美元，其中近22%來自Arbitrum平臺。（CoinDesk）[2023/3/30 13:34:35]

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

AHPforR1CS

Common

Arbitrum生態永續合約交易平臺Vest Exchange開放測試網資格申請:2月7日，據官方消息，Arbitrum生態永續合約交易平臺Vest Exchange開放測試網資格申請。用戶可通過填寫表單申請該協議內測資格。

此前報道，1月29日，Vest Exchange完成種子輪融資，投資金額暫未披露。[2023/2/7 11:52:12]

Prover

=>Prover

=>Oracle

=>Prover?-sumcheck-1

=>Oracle

=>Prover-?sumcheck-1

摩根士丹利：勞動力市場可能會接替CPI成為FOMC的關鍵指標:金色財經報道，摩根士丹利分析師表示，從現在開始，勞動力市場可能會成為 FOMC 的關鍵指標而不是 CPI。隨著通脹下降趨勢變得根深蒂固，FOMC 可以直接將目光投向勞動力市場。在我們的預測中，未來幾個月就業增長將放緩，首先將為2月份的議息會議進一步放緩加息步伐至25個基點奠定基礎。隨著就業增長人數趨向于走低至10萬大關，我們預計3月 FOMC 會議上不會進一步加息，聯邦基金利率將在4.625%見頂。(金十)[2022/12/14 21:44:01]

=>Prover-?sumcheck-2

=>Oracle

=>Prover-?sumcheck-2

數據：7家央媒數藏平臺已發行227款數字藏品:9月20日消息，數據顯示央媒旗下的數藏平臺已達7家，包括央視的央數藏、新華網旗下的新華數藏、人民網旗下的靈境人民藝術館、光明日報旗下的光明藝品、光明網旗下的光明數藏、中國青年報旗下的豹豹青春宇宙、新華社旗下中國搜索打造的“時藏”。截至目前，7家央媒數藏平臺共發行了227款數字藏品，其中新華數藏發行最多有100款，靈境人民藝術館、豹豹青春宇宙數藏分別發行11款和19款。（科創板日報）[2022/9/20 7:07:17]

=>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：VERSUMCHEHECDead Knight MetaverseSUM幣櫻桃幣che挖礦coincheck交易平臺未成年可以注冊嗎

非小號