HEC:詳解零知識證明算法Marlin-ODAILY_VER

arkworksformarlin

Marlin

Fractal

RICS

則R1CS成立。

TransitionintoPolynomial(efficiency）

Prepare

Definepolynomial

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

FTX已提交重組計劃，擬重啟離岸交易所以彌補客戶虧損:8月1日消息，FTX用戶聯盟發推稱，FTX已提交重組計劃，關鍵點包括所有非客戶索賠（例如IRS）都將被之后處理、FTT索賠將被清零、重啟離岸交易所以彌補客戶虧損。[2023/8/1 16:10:32]

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

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

Linearitycheck

以太坊證明服務EAS已集成OP Stack:7月30日消息，以太坊證明服務（Ethereum Attestation Service）已完成OP Stack原生集成。未來所有OP Stack鏈部署都將自動包含創世EAS合約。

EAS表示，集成至OP Stack將使信任證明成為超級鏈（SuperChain）中的基本要素，不僅將促進超級鏈中證明實踐的采用，還將設定信息驗證和信任建立的新標準。[2023/7/30 16:07:02]

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

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

AHPforR1CS

Tromero完成150萬英鎊種子輪融資:7月18日消息，總部位于倫敦的機器學習訓練和托管平臺Tromero完成150萬英鎊種子輪融資，本輪融資由Blue Yard Capital領投。Tromero將使用這筆投資在未來12個月內組建一個團隊，交付一個功能完備的平臺測試版。

Tromero是一個基于共識協議的區塊鏈，其中的工作證明是機器學習訓練和托管。工作證明為區塊鏈的共識提供了基石，并提供了一個經過訓練的ML模型，這是該創業公司稱為有用工作證明的服務。對于數據的處理者，Tromero為礦工提供加密獎勵，以及以法定貨幣支付完成的工作的報酬。[2023/7/18 11:02:39]

Common

Prover

=>Prover

=>Oracle

a16z在6小時前轉出7504枚MKR至0xd520開頭地址:7月15日消息，據鏈上分析師余燼監測，a16z在7月11日將7505枚MKR（688萬美元）通過0xd520地址轉入Coinbase后，似乎MKR就沒再上漲。

6小時前a16z地址又繼續轉出了7504枚MKR（650萬美元），目前位于0xd520地址，可以關注這筆MKR后面是否會繼續轉入Coinbase。[2023/7/15 10:56:46]

=>Prover-sumcheck-1

=>Oracle

=>Prover-sumcheck-1

=>Prover-sumcheck-2

香港投資推廣署主管：港府高度關注證券型Token，相關立法預計明年一季度完成:10月24日消息，據報道，香港特別行政區投資推廣署金融科技主管梁瀚璟先生接受采訪時表示，香港特區政府高度關注證券型 Token 發行，并且已經在積極推進相關的準備工作。

梁瀚璟指出，第一步是要有香港證監會認可的合規的交易平臺這一步已經完成，目前，香港已經有多家虛擬資產交易平臺完成了備案，如 OSL 和HASHKEY 等。第二步，要有產品。目前香港已經有一些交易平臺在和市場上知名的地產開發商、測量師行及四大會計師事務所在合作設計試點證券型Token產品。最重要的一步，則是針對虛擬資產服務提供商（virtual asset service provider，VASP）的監管完善相關立法。

梁瀚璟預期，2023 年第 1 季度，《修訂草案》可望在立法會獲得通過。屆時，相信會有更多 VASP 向監管機構申請牌照，香港虛擬資產交易將會百花齊放。（中國基金報）[2022/10/24 16:36:49]

=>Oracle

=>Prover-sumcheck-2

=>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

關于我們

Sin7y成立于2021年，由頂尖的區塊鏈開發者組成。我們既是項目孵化器也是區塊鏈技術研究團隊，探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。

微信公眾號：Sin7Y

GitHub|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon

Tags：VERHECSUMCHEThe Paradox MetaverseHECTASUM幣CHEE價格

歐易交易所