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