acvm 0.13.1

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