博客
关于我
FFT rust代码实现
阅读量:267 次
发布时间:2019-03-01

本文共 828 字,大约阅读时间需要 2 分钟。

目前的实现主要包括以下几种方式:

  • Halo项目(代码:https://github.com/ebfull/halo/blob/master/src/util.rs)实现了两种新的曲线;
  • Zexe项目设计了独立的FFT模块,实现了Pairing曲线(如Jubjub/mnt6等);
  • OpenZKP项目(代码:https://github.com/0xProject/OpenZKP/blob/master/algebra/primefield/src/fft.rs)实现了251-bit素域的FFT。
  • 在进行多项式承诺时,需要注意以下数学性质:

    • 多项式的最高阶数由factor(p-1) = 2^s * t决定,其中2^s决定了多项式的最高阶数。
    • 生成器是素域p的原根,且生成器的阶数为2^s
    • 无论是基于MAGMA还是SAGE,curve25519的Fr域内s值均为2,且生成器不存在返回值,因此在多项式承诺时不适用。

    此外,多项式承诺通常采用数域中的值进行系数乘积计算,以实现高效的组合。

    在Zexe的FFT模块中,计算2^s阶的单位根时,首先计算多项式的大小并提升到最近的2的幂次,例如:

    let size = num_coeffs.next_power_of_two() as u64;let log_size_of_group = size.trailing_zeros();if log_size_of_group >= F::Params::TWO_ADICITY {    return None;}

    然后计算生成器并提升其阶数:

    let mut group_gen = F::root_of_unity();for _ in log_size_of_group..F::Params::TWO_ADICITY {    group_gen.square_in_place();}

    这些实现为多项式承诺提供了基础支持,确保计算的正确性和效率。

    转载地址:http://crmx.baihongyu.com/

    你可能感兴趣的文章
    Mysql5.7深入学习 1.MySQL 5.7 中的新增功能
    查看>>
    Webpack 之 basic chunk graph
    查看>>
    Mysql5.7版本单机版my.cnf配置文件
    查看>>
    mysql5.7的安装和Navicat的安装
    查看>>
    mysql5.7示例数据库_Linux MySQL5.7多实例数据库配置
    查看>>
    Mysql8 数据库安装及主从配置 | Spring Cloud 2
    查看>>
    mysql8 配置文件配置group 问题 sql语句group不能使用报错解决 mysql8.X版本的my.cnf配置文件 my.cnf文件 能够使用的my.cnf配置文件
    查看>>
    MySQL8.0.29启动报错Different lower_case_table_names settings for server (‘0‘) and data dictionary (‘1‘)
    查看>>
    MYSQL8.0以上忘记root密码
    查看>>
    Mysql8.0以上重置初始密码的方法
    查看>>
    mysql8.0新特性-自增变量的持久化
    查看>>
    Mysql8.0注意url变更写法
    查看>>
    Mysql8.0的特性
    查看>>
    MySQL8修改密码报错ERROR 1819 (HY000): Your password does not satisfy the current policy requirements
    查看>>
    MySQL8修改密码的方法
    查看>>
    Mysql8在Centos上安装后忘记root密码如何重新设置
    查看>>
    Mysql8在Windows上离线安装时忘记root密码
    查看>>
    MySQL8找不到my.ini配置文件以及报sql_mode=only_full_group_by解决方案
    查看>>
    mysql8的安装与卸载
    查看>>
    MySQL8,体验不一样的安装方式!
    查看>>