StarkWare to open-source STARK Prover as it progressively decentralizes