📢 #Gate广场征文活动第二期# 正式启动!
分享你对 $ERA 项目的独特观点,推广ERA上线活动, 700 $ERA 等你来赢!
💰 奖励:
一等奖(1名): 100枚 $ERA
二等奖(5名): 每人 60 枚 $ERA
三等奖(10名): 每人 30 枚 $ERA
👉 参与方式:
1.在 Gate广场发布你对 ERA 项目的独到见解贴文
2.在贴文中添加标签: #Gate广场征文活动第二期# ,贴文字数不低于300字
3.将你的文章或观点同步到X,加上标签:Gate Square 和 ERA
4.征文内容涵盖但不限于以下创作方向:
ERA 项目亮点:作为区块链基础设施公司,ERA 拥有哪些核心优势?
ERA 代币经济模型:如何保障代币的长期价值及生态可持续发展?
参与并推广 Gate x Caldera (ERA) 生态周活动。点击查看活动详情:https://www.gate.com/announcements/article/46169。
欢迎围绕上述主题,或从其他独特视角提出您的见解与建议。
⚠️ 活动要求:
原创内容,至少 300 字, 重复或抄袭内容将被淘汰。
不得使用 #Gate广场征文活动第二期# 和 #ERA# 以外的任何标签。
每篇文章必须获得 至少3个互动,否则无法获得奖励
鼓励图文并茂、深度分析,观点独到。
⏰ 活动时间:2025年7月20日 17
Nova: 松弛R1CS技术引领零知识证明新效率
Nova:一种高效的零知识证明系统
Nova是微软开发的新型零知识证明系统,它使用松弛的秩一约束系统(Relaxed R1CS)技术来提高证明的效率和灵活性。
Nova的主要优点在于使用松弛R1CS技术。传统R1CS系统需要在证明过程中使用大量随机性,导致证明生成和验证过程复杂耗时。Nova通过使用松弛R1CS,允许在证明中使用更少的随机性,从而大大提高了证明效率。
此外,Nova还支持增量计算,可以逐步计算复杂函数,而不必一次性计算整个函数。这在处理大规模数据或复杂计算时非常有用。Nova还支持多项式计算,可以处理更复杂的证明任务。
Nova的缺点是由于使用松弛R1CS,其证明可能不如传统R1CS系统强大。松弛R1CS允许使用更少随机性,可能会降低证明安全性。不过,Nova开发者已采取措施来解决这个问题,如使用更强大的密码学算法和更复杂的证明策略。
另外,Nova的实现相对复杂,这可能会增加使用和维护难度。Nova使用了许多高级密码学技术,需要深入理解这些技术才能有效使用和修改Nova。
总的来说,Nova在零知识证明领域占据重要地位。它的松弛R1CS技术使证明生成和验证更高效,这对大规模零知识证明应用至关重要。Nova还支持增量计算和多项式计算,进一步扩大了零知识证明的应用范围。
Nova的源代码主要包含以下几个核心模块:
bellperson:实现R1CS相关功能。
gadgets:包含构建zk-SNARK证明的工具。
spartan:实现Spartan协议相关功能。
traits:定义了一些通用的trait,如Group、CommitmentTrait等。
r1cs.rs:定义R1CS相关的数据结构和方法。
nifs.rs:实现非交互式折叠方案。
ipa_pc.rs:实现基于IPA的多项式承诺方案。
这些模块共同实现了Nova的核心功能,包括R1CS约束系统、多项式承诺、零知识证明生成和验证等。Nova通过这些模块的组合,实现了高效的零知识证明系统。