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.

• ZP1是一个实验性RISC-V zkVM，使用Circle STARKs和Mersenne31字段
• 支持RV32IM指令集，集成FRI、LogUp和并行约束评估
• 包含预编译电路如Keccak和SHA2，但未经安全审计
• 近期修复了DEEP quotient domain points等关键安全漏洞
• 性能优化包括位查找表加速，但Circle FFT效率较低
• 项目状态：测试覆盖良好，但存在GPU支持有限等限制