winterfell (cargo): Winterfell STARK prover and verifier
Keywords: crypto|verifier|zkp|prover|stark