provekit_acvm 1.0.0-beta.11-alpha.1

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