provekit_acvm 1.0.0-beta.20

The virtual machine that processes ACIR given a backend/proof system.
docs.rs failed to build provekit_acvm-1.0.0-beta.20
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: provekit_acvm-1.0.0-beta.11-alpha.1

ACVM - Abstract Circuit Virtual Machine

ACVM (Abstract Circuit Virtual Machine) is the virtual machine that processes and executes Abstract Circuit Intermediate Representation (ACIR) instances. It takes in ACIR instances and user inputs, and generate partial witnesses for proving backends to create proofs with.

Components

The ACVM crate is organized into several key modules:

  • compiler/ - Circuit compilation and optimization
  • pwg/ - Partial witness generation

Documentation

For detailed documentation, visit https://noir-lang.github.io/noir/docs/acvm/index.html.