ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Mon 星期一
12.22
2025
ZP1 - RISC-V zkVM https://github.com/ZippelLabs/ZP1
ZippelLabs open-sourced ZP1, a RISC-V zkVM based on Circle STARKs and Mersenne31, supporting the RV32IM instruction set and integrating features like FRI, LogUp, and parallel constraint evaluation. ZippelLabs 团队开源了ZP1，这是一个基于Circle STARKs和Mersenne31的RISC-V zkVM，支持RV32IM指令集，并集成了FRI、LogUp和并行约束评估等特性。
Notes
- ZP1 is an experimental RISC-V zkVM using Circle STARKs and the Mersenne31 field.
- Supports the RV32IM instruction set, integrating FRI, LogUp, and parallel constraint evaluation.
- Includes precompiled circuits such as Keccak and SHA2, but has not undergone security auditing.
- Recently fixed critical security issues like DEEP quotient domain points.
- Performance optimizations include bit lookup table acceleration, but Circle FFT efficiency is low.
- Project status: good test coverage, but limited GPU support and other constraints.