VOProof: Efficient zkSNARKs from Vector Oracle Compilers.

Yuncong Zhang, Alan Szepieniec, Ren Zhang, Shifeng Sun, Geng Wang, Dawu Gu

Browse the full CCS paper archive.