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

Allow vamp-ir to be used as a library #57

Closed lopeetall closed 1 year ago

lopeetall commented 1 year ago

Both the Juvix team and Taiga team have expressed interest in this

jonaprieto commented 1 year ago

Which commit closed this issue?

lopeetall commented 1 year ago

This one:

https://github.com/anoma/vamp-ir/commit/bdbac967bb8d7f56cbf06f042fa2ce6123d5b551

But then the library didn't compile for some users due to some dependency updates, but that issue was fixed in this PR from yesterday:

https://github.com/anoma/vamp-ir/commit/72ec820a1d6788f8618e2ca1e799b9a358709a83

jonaprieto commented 1 year ago

Thanks!