lambdaworks
lambdaworks copied to clipboard
Update Winterfell adapter to the new AIR
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
Hey @MauroToscano can I hop on this one?