A Certified Compiler for Verifiable Computing | Publicación