Skip to content

CoBBL: Dynamic Constraint Generation for SNARKs.

Kunming Jiang, Fraser Brown, Riad S. Wahby

VenueA*SP
Year2025
ProceedingsSP

Browse the full SP paper archive.