StarkWare to Open Source STARK Prover

StarkWare will open source STARK Prover, a crypto proof generation engine, under the Apache 2.0 license to boost accessibility to developers, promote collaboration within the community and offer other benefits.

This follows StarkWare's open-sourcing of Cairo 1.0, Papyrus Full Node, and StarkNet's new Sequencer. When this open source initiative is implemented, the Starknet stack will be fully open-sourced.

STARK is used by StarkNet and StarkEx to deliver scale while maintaining the security of the underlying Ethereum blockchain.