abdelstark's picture
Document Circle STARK as the default proof workflow
5309557 verified