gavin.ygy 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

本文详细介绍了SP1 zkVM设计中的核心证明部分，包括多项式承诺方案（PCS）、Fiat-Shamir挑战生成器、FRI协议、低度扩展（LDE）和开放证明。文章深入探讨了这些技术的实现细节和数学原理，旨在构建高效的零知识证明系统。

零知识证明多项式承诺方案 FRI协议低度扩展 Fiat-Shamir SP1 zkVM

发布于 1天前阅读(212) 点赞(0) ( 4 )

本文深入探讨了SP1 zkVM设计中的核心证明及其约束系统，详细介绍了如何使用AIR（代数中间表示）来表示计算过程，并通过多项式约束确保状态转移的正确性。文章还介绍了SP1 zkVM中的预编译技术，用于加速常见操作如哈希计算和椭圆曲线运算。

SP1 zkVM AIR STARK FRI算法 Plonk算法预编译

发布于 2天前阅读(198) 点赞(0) ( 6 )

本文介绍了SP1 zkVM的设计原理，重点分析了zkVM如何执行用户程序，并生成零知识证明。文章详细解释了zkVM的编译器、指令集架构、以及证明系统的核心代码实现，帮助读者理解这一前沿技术的运作机制。

zkVM 零知识证明 RISC-V STARK SP1 虚拟机

发布于 2024-12-28 12:25 阅读(40) 点赞(0)