CoBBL: Dynamic Constraint Generation for SNARKs

Kunming Jiang, Fraser Brown, Riad S. Wahby. CoBBL: Dynamic Constraint Generation for SNARKs. In IEEE Symposium on Security and Privacy, SP 2025, San Francisco, CA, USA, May 12-15, 2025. pages 3347-3363, IEEE, 2025. [doi]

Abstract

Abstract is missing.