Custom STARK prover for GroveDB proofs - View it on GitHub