Open sourcing Winterfell: A STARK prover and verifierengineering.fb.com3 pointsharporoeder5 years ago