Ethereum scaling project StarkWare plans to open-source the StarkNet Prover in an effort to increase transparency of its code.