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
· 1小时前
唉……又一个协议试图解决不存在的问题,老实说
查看原文回复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)