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.