GitHub repository: lambdaclass/winterfell
Description: A STARK prover and verifier for arbitrary computations