provekit_acvm 1.0.0-beta.11-alpha.1

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

Coverage
36.36%
36 out of 99 items documented0 out of 37 items with examples
Size
Source code size: 421.02 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 4.17 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 1m 4s Average build duration of successful builds.
all releases: 1m 4s Average build duration of successful builds in releases after 2024-10-23.
Links
noir-lang/noir
1387 409 626
crates.io
Dependencies
Versions
Owners

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.