ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Thu 星期四
10.30
2025
https://eprint.iacr.org/2025/1849
Jiang et al. proposed CoBBl, a SNARK compiler that combines direct translation and CPU simulation for dynamic constraint generation, significantly improving compilation and proving efficiency. Jiang等人在论文中提出了一种SNARK编译器CoBBl，结合直接翻译和CPU仿真的优势，实现动态约束生成，显著提升编译和证明效率。
Notes
- 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