🚀 Gate Fun 启动中文 Meme 创作大赛!
创建或交易 Meme 代币,瓜分 3,000 GT 奖励! 💰
🎨 1 分钟零代码发币,仅需 ~0.0000042 GT Gas 费
🏆 最高市值代币瓜分 1,000 GT
💎 毕业代币前 100 名购买地址瓜分 2,000 GT
代币发射时间: 10 月 3 日 00:00 - 10 月 15 日 23:59(UTC+8)
活动时间: 10 月 8 日 17:30 - 10 月 15 日 23:59(UTC+8)
释放创意,立即参与 👉 https://www.gate.com/announcements/article/47516
#GateFun #GateLayer #Web3 #MemeToken
Nova: 新一代高效递归zk-SNARK系统及其优势
Nova: 高效的递归zk-SNARK系统
Nova是一种新型的递归zk-SNARK(零知识简洁非交互式知识论证)系统,由微软研究院开发。它使用了一种名为松弛的秩一约束系统(Relaxed Rank-1 Constraint Systems,Relaxed R1CS)的技术,以提高证明的效率和灵活性。
Nova的主要优势
Nova的潜在局限性
Nova的核心组件
R1CS和松弛R1CS:用于构建零知识证明的约束系统
多项式承诺方案:用于证明多项式评估值
非交互式折叠方案(NIFS):用于证明增量计算每一步的正确性
Sumcheck算法:用于验证多项式求和
椭圆曲线密码学(ECC):提供基础的密码学原语
Keccak256哈希函数:用于处理证明过程中的transcript
大整数运算:支持超出常规整数范围的计算
Nova通过这些组件的创新组合,实现了高效的递归证明系统,为零知识证明技术的大规模应用奠定了基础。