当前位置: 首页 > news >正文

Plonky2.5:在Plonky2中验证Plonky3 proof

1. 引言

在这里插入图片描述

Plonky2.5为QED Protocol团队主导的项目,定位为:

  • 在Plonky2 SNARK中验证Plonky3 STARK proof。

从而实现Plonky系列的递归证明。
开源代码实现见:

  • https://github.com/QEDProtocol/plonky2.5
  • https://github.com/Plonky3/Plonky3(Rust):
    • 支持的域有:M31域及其AVX2/AVX-512/NEON加速实现、Babybear域及其AVX2/AVX-512/NEON加速实现、Goldilocks域。
    • 支持通用向量承诺方案:通用Merkle tree
    • 多项式承诺方案:基于FRI的PCS、tensor PCS、单变量-》多变量适配器、多变量-》单变量适配器
    • PIOP:单变量STARK、多变量STARK、PLONK
    • 编码:Brakedown编码,和Reed-Solomon编码
    • 插值方式:Barycentric interpolation、radix-2 DIT FFT、radix-2 Bowers FFT、four-step FFT、Mersenne circle group FFT。
    • 哈希函数:Rescue、Poseidon、Poseidon2、BLAKE3、Keccak-256、Monolith
  • https://github.com/0xPolygonZero/plonky2(Rust):基于PLONK和FRI实现的SNARK。已扩展包含Starky(高性能STARK实现)。

参考资料

[1] https://github.com/QEDProtocol/plonky2.5

http://www.lryc.cn/news/335847.html

相关文章:

  • 卷积通用模型的剪枝、蒸馏---剪枝篇(此处以deeplabv3+为例,可根据模型自行定制剪枝层)
  • 使用Ollama在本地运行AI大模型gemma
  • 【IC前端虚拟项目】时序面积优化与综合代码出版本交付
  • windows版本-idea中下载的java版本在哪
  • 设计模式:创建者模式
  • 【linux】基础IO(四)
  • 集合框架(数组,Arrays.sort,list,map,set,stack,queue)蓝桥杯习题
  • 【C++基础】运算符和流程控制语句
  • AOF文件重写
  • 第四次面试总结 — 嘉和智能 - 全栈开发
  • tx-lcn使用
  • oracle恢复异常处理
  • 谈谈什么是 Redis
  • 备战蓝桥杯(java)(日益更新)
  • 06 Php学习:字符串
  • python画图Matplotlib和Seaborn
  • 一体式I/O模块与RS485串口联动,实现工业网络无缝对接
  • 如何在Uniapp真机中使用H.265无插件流媒体播放器EasyPlayer
  • 【MySQL数据库 | 第二十五篇】深入探讨MVCC底层原理
  • 【LAMMPS学习】八、基础知识(1.6) LAMMPS 与其他代码耦合
  • ArrayList中多线程的不安全问题
  • ALTER TABLE 之 定点变更(in-place alter)
  • 【RAG实践】Rerank,让大模型 RAG 更近一步
  • 私有化客服系统:在线客服搭建与部署的创新之路
  • VM-UNet: Vision Mamba UNet for Medical Image Segmentation
  • 面向对象编程:在Python中的面向对象编程奥秘
  • 考研数学|零基础100分保底复习方案+资料分享
  • 【MATLAB源码-第29期】基于matlab的MIMO,MISO,SIMO,SISO瑞利rayleigh信道容量对比。
  • JRT高效率开发
  • Spring Boot 切面的一种的测试方法,java中级开发面试