SNARKs for C : Verifying Program Executions Succinctly and in Zero Knowledge

By Madars Virza, Erna Viterbi, Eli Ben-Sasson. 2014