Winterfell: A STARK prover and verifier for arbitrary computations #1 Post by sonograph » Sun, Aug 08, 2021, 6:51 PM UTC Winterfell: A STARK prover and verifier for arbitrary computationsgithub.com