Following our last mention of StarkNet releasing an open-source Sequencer, StarkWare has made another big news: the StarkNet Prover is soon to be open-sourced! Now, all components of StarkNet have been rewritten and open-sourced in three months, after the open-source of the Cairo language in No...