Nova: 微軟開發的新型零知識證明系統解析

robot
摘要生成中

Nova項目解析

Nova是微軟開發的一種新型零知識證明系統,使用松弛的秩一約束系統技術來提高證明的效率和靈活性。它在零知識證明領域具有重要地位,爲大規模應用開闢了新的可能性。

核心優勢

  • 使用松弛的R1CS技術,減少隨機性使用,大幅提高證明效率
  • 支持增量計算,可逐步計算復雜函數
  • 支持多項式計算,可處理更復雜的證明任務

主要模塊

Nova的源碼主要包含以下幾個重要模塊:

  1. bellperson: 實現R1CS生成相關功能

  2. circuit: 定義Nova協議的增強電路

  3. gadgets: 實現各種密碼學原語的gadget

  4. nifs: 實現非交互式折疊方案

  5. provider: 提供多項式承諾、哈希函數等基礎組件

  6. r1cs: 定義與R1CS相關的數據結構和操作

  7. spartan: 實現Spartan協議

  8. traits: 定義各種特質接口

關鍵數據結構

  • R1CSShape: 表示R1CS矩陣的形狀
  • R1CSWitness: 表示R1CS實例的證人
  • R1CSInstance: 表示一個R1CS實例
  • RelaxedR1CSWitness: 表示松弛R1CS實例的證人
  • RelaxedR1CSInstance: 表示一個松弛R1CS實例

核心算法

  • Sumcheck算法:用於驗證多項式求和
  • 多項式評估:證明多項式在某點的取值
  • 非交互式折疊:將多個證明折疊成單個證明

應用價值

Nova系統爲構建高效的零知識證明提供了強大工具,可廣泛應用於區塊鏈、隱私計算等領域,推動零知識技術的大規模應用。

查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 6
  • 分享
留言
0/400
BrokenYieldvip
· 3小時前
唉……又一个协议试图解决不存在的问题,老实说
查看原文回復0
SerumSquirtervip
· 07-21 01:12
微软终于上道了啊
回復0
老韭当家vip
· 07-21 01:04
这波微软玩大的嗷
回復0
MEV受害者协会vip
· 07-21 00:59
微软这波确实牛啤
回復0
NotSatoshivip
· 07-21 00:55
这又是零知识 呵呵
回復0
Uncle Liquidationvip
· 07-21 00:45
零知识搞这么多干啥?
回復0
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)