Starkware commits to open source its ‘magic wand’ Starknet Prover