search

anoma / vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
https://anoma.github.io/VampIR-Book/
Apache License 2.0
156 stars 44 forks source link

Increase maximum iteration count #123

Open lukaszcz opened 1 year ago

lukaszcz commented 1 year ago

Closes #116

I don't see a reason to artificially limit the iteration count. It works without the restriction.