Update Winterfell adapter to the new AIR #788

Open

Open

Update Winterfell adapter to the new AIR#788

Labels

collaborator-friendlystark-prover

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

Metadata

Assignees

No one assigned

Labels

collaborator-friendlystark-prover

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests