NotesNotes要点

• 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支持有限等限制

• ZP1は、Circle STARKsとMersenne31フィールドを使用した実験的なRISC-V zkVMです。
• RV32IM命令セットをサポートし、FRI、LogUp、並列制約評価を統合しています。
• KeccakやSHA2などのプリコンパイル済みサーキットを含みますが、セキュリティ監査は実施されていません。
• 最近では、DEEP quotient domain pointsのような重大なセキュリティ問題が修正されました。
• パフォーマンス最適化にはビットルックアップテーブルのアクセラレーションが含まれますが、Circle FFTの効率は低いです。
• プロジェクトの状態：テストカバレッジは良好ですが、GPUサポートやその他の制約があります。