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