StarkWare to Open Source Proprietary Prover