Nova: 松弛R1CS技術引領零知識證明新紀元

Nova: 一種創新的零知識證明系統

Nova是微軟開發的一種新型零知識證明系統,它使用了松弛的秩一約束系統(Relaxed R1CS)技術,以提高證明的效率和靈活性。

Nova的主要優點

  1. 使用松弛的R1CS技術,允許在證明中使用更少的隨機性,大大提高了證明的效率。

  2. 支持增量計算,可以逐步計算復雜的函數,而不必一次性計算整個函數。

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

Nova的潛在缺點

  1. 由於使用松弛的R1CS,證明可能不如傳統R1CS系統那麼強大,可能會略微降低安全性。

  2. 實現相對復雜,需要深入理解多項式計算、羣操作等高級密碼學技術。

Nova的重要地位

Nova爲零知識證明的發展開闢了新的道路。它採用的技術使得證明的生成和驗證過程更加高效,對於大規模的零知識證明應用至關重要。同時,Nova還擴大了零知識證明的應用範圍,可以處理更復雜的證明任務。

Nova的核心組件

  1. R1CS和Relaxed R1CS:用於構建零知識證明的約束系統。

  2. 多項式承諾方案:用於在不泄露多項式本身的情況下證明多項式的評估值。

  3. Sumcheck算法:用於驗證多項式求和。

  4. 增量計算:允許逐步計算復雜函數。

  5. 非交互式折疊方案(NIFS):用於在增量計算中證明每一步的正確性。

Nova通過創新地結合這些技術,實現了一個高效且靈活的零知識證明系統,爲區塊鏈、安全計算等領域提供了強大的工具。

查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 4
  • 分享
留言
0/400
无聊饭团vip
· 07-16 18:38
微软也搞zk了?溜了溜了
回復0
币圈相声社vip
· 07-14 03:53
证明系统松弛啦,链上韭菜们赶紧解锁收割新姿势
回復0
Rugpull Survivorvip
· 07-14 03:49
微软这次有点东西!
回復0
GasWhisperervip
· 07-14 03:33
嗯... 放松的 r1cs 就像在低拥堵时观看 gas 波浪... 优雅但说实话有风险
查看原文回復0
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)