winter-prover (cargo): Winterfell STARK prover
Keywords: crypto|zkp|prover|stark