Rendre open-source le prouveur de Starknet