ACVM Backends

An ACVM Backend API is comprised of a few parts, as can be seen in halo2_backend's acvm_interop:

• Common Reference String
• Proof System Compiler
• Black Box Function Solver/ Partial Witness Generator (not included since black box funcitons largely unimplemented)
• Smart Contract