Winterfell: A STARK prover and verifier for arbitrary computationsgithub.com/novifinancial2 pointssonograph5 years ago