FLIP-and-Prove R1CS | Publicación