Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs

2026 IEEE Symposium on Security and Privacy (SP) 2026

View at publisher

Authors: Sebastian Angel, Sofía Celi, Elizabeth Margolin, Pratyush Mishra, Martin Sander, Jess Woods

DOI: 10.1109/sp63933.2026.00059

Cited by: 1

References: 34

Fields of Study & Subjects

Constraint Satisfaction and Optimization Complexity and Algorithms in Graphs Logic Reasoning and Knowledge

References 34