@TechReport{z013tr,
  title =        "{Z0}: An Optimizing Distributing Zero-Knowledge
                 Compiler",
  author =       "Matt Fredrikson and Benjamin Livshits",
  year =         "2013",
  month =        apr,
  institution =  "Microsoft Research",
  number =       "MSR-TR-2013-43",
}