Nova: 微軟新一代高效零知識證明系統解析

robot
摘要生成中

Nova:新一代高效零知識證明系統

Nova是微軟研發的一種創新零知識證明系統,採用了松弛秩一約束系統(Relaxed R1CS)技術,大幅提升了證明的效率和靈活性。

Nova的主要特點

  1. 採用松弛R1CS技術,減少隨機性使用,提高證明效率

  2. 支持增量計算,可逐步計算復雜函數

  3. 支持多項式計算,能處理更復雜的證明任務

  4. 實現更高效的證明生成和驗證過程

  5. 擴大了零知識證明的應用範圍

Nova的關鍵技術實現

  1. R1CS矩陣形狀表示

Nova使用R1CSShape結構體表示R1CS矩陣的形狀,包含約束數量、變量數量等信息。

  1. 松弛R1CS實例

RelaxedR1CSInstance結構體表示一個松弛R1CS實例,包含相關參數和承諾。

  1. 多項式表示與計算

實現了EqPolynomial、MultilinearPolynomial等多項式結構,以及相關的評估、綁定等操作。

  1. Sumcheck算法

SumcheckProof結構體實現了Sumcheck證明的生成與驗證。

  1. 承諾方案

定義了CommitmentTrait特質,規範了承諾的基本操作。

  1. 評估引擎

EvaluationEngineTrait特質定義了多項式評估引擎的行爲。

  1. zkSNARK實現

RelaxedR1CSSNARKTrait特質規定了zkSNARK系統的核心功能。

Nova通過這些關鍵技術的精心實現,構建了一個高效的零知識證明系統,爲區塊鏈、隱私計算等領域提供了有力支持。

查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 5
  • 轉發
  • 分享
留言
0/400
元宇宙邻居vip
· 07-13 11:19
零知识那些事我熟
回復0
深度DYOR达人vip
· 07-10 17:43
微软的东西还能靠谱?
回復0
睡觉错过空投哥vip
· 07-10 17:42
睡觉的时候又错过空投了
回復0
区块链养老院院长vip
· 07-10 17:42
挺牛的,看看跟以太坊合不合
回復0
老韭当家vip
· 07-10 17:26
这套技术牛哔了
回復0
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)