Certifying Zero-Knowledge Circuits with Refinement Types.

Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng

Browse the full SP paper archive.