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

Upgrade to `ark-serialize` 0.4 #38

Open lopeetall opened 1 year ago

lopeetall commented 1 year ago

The new ark-serialize has clearer names and more impls for common types.