Integration of VC in SNARKs, PoRep? [impact: lower costs, new capabilities]