ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs.

Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li

Browse the full ICFEM paper archive.