Pratyush Mishra retweetledi
Excited that our paper "Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs" will appear at S&P 2026. This is work with my students Eli, Martin, and Jess, and with colleagues @zkproofs and @claucece!
Paper: eprint.iacr.org/2025/1420.pdf
Code: github.com/eniac/coral
English