NotesNotes要点

• CoBBl combines the advantages of direct translation and CPU simulation for dynamic constraint generation
• Significantly improves compilation and proving efficiency
• Avoids the cost of unexecuted calculations, improving efficiency
• Supports program-specific optimization, reducing constraint count

• CoBBl结合直接翻译和CPU仿真优势，优化约束生成
• 性能显著提升：编译时间比CirC快1-30倍，证明时间快26-350倍
• 在Jolt友好基准上，证明时间优于Jolt 1.1-1.8倍
• 避免未执行计算成本，提高效率
• 支持程序特定优化，减少约束数量

• CoBBlは、動的制約生成において直接翻訳とCPUシミュレーションの利点を組み合わせます。
• コンパイルおよび証明効率を大幅に向上させます。
• 実行されない計算のコストを回避し、効率を改善します。
• プログラム固有の最適化をサポートし、制約数を削減します。