Nova: 新一代高效遞歸zk-SNARK系統及其優勢

robot
摘要生成中

Nova: 高效的遞歸zk-SNARK系統

Nova是一種新型的遞歸zk-SNARK(零知識簡潔非交互式知識論證)系統,由微軟研究院開發。它使用了一種名爲松弛的秩一約束系統(Relaxed Rank-1 Constraint Systems,Relaxed R1CS)的技術,以提高證明的效率和靈活性。

Nova的主要優勢

  • 使用松弛的R1CS技術,減少了隨機性需求,大大提高了證明效率
  • 支持增量計算,可以逐步計算復雜函數,無需一次性完成整個計算
  • 支持多項式計算,能夠處理更復雜的證明任務
  • 證明生成和驗證過程更加高效,適用於大規模應用場景

Nova的潛在局限性

  • 松弛的R1CS可能導致證明安全性略低於傳統R1CS系統
  • 實現相對復雜,使用和維護難度較高
  • 需要深入理解高級密碼學技術才能有效使用和修改

Nova的核心組件

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

  2. 多項式承諾方案:用於證明多項式評估值

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

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

  5. 橢圓曲線密碼學(ECC):提供基礎的密碼學原語

  6. Keccak256哈希函數:用於處理證明過程中的transcript

  7. 大整數運算:支持超出常規整數範圍的計算

Nova通過這些組件的創新組合,實現了高效的遞歸證明系統,爲零知識證明技術的大規模應用奠定了基礎。

查看原文
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 讚賞
  • 5
  • 分享
留言
0/400
BrokenYieldvip
· 07-07 16:33
唉...又一个"高效"的zk系统,安全性却有折衷。他们什么时候才能明白呢
查看原文回復0
币圈疯批女友vip
· 07-06 00:01
不错哦 微软爸爸来力
回復0
NotFinancialAdviservip
· 07-05 22:28
微软又来薅羊毛了
回復0
幽灵地址挖掘机vip
· 07-05 22:28
微软也玩隐私?纸面数据可疑 资金流向难追踪
回復0
PumpBeforeRugvip
· 07-05 22:27
笑死 又是Microsoft
回復0
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)