provekit_acvm 1.0.0-beta.20-alpha.1

The virtual machine that processes ACIR given a backend/proof system.
Documentation