Publications

Less is more: refinement proofs for probabilistic proofs

Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies. IEEE S&P 2023.

CoBBl: Dynamic constraint generation for SNARKs

Kunming Jiang, Riad Wahby, Fraser Brown. IEEE S&P 2025. Distinguished Paper Award