lambdaworks icon indicating copy to clipboard operation
lambdaworks copied to clipboard

Published 20 hours ago • verified publisher icon lambdaclass

Update Winterfell adapter to the new AIR

Open MauroToscano opened this issue 1 year ago • 1 comments
trafficstars

Winterfell adapter is working with an old version of the Stark prover, it needs to be updated to the latest one, which has a new definition of the constraints

MauroToscano avatar Jan 29 '24 13:01 MauroToscano

Hey @MauroToscano can I hop on this one?

adrianvrj avatar Aug 15 '24 17:08 adrianvrj