Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits - View it on GitHub