The `acvm_js` package enables users to execute an ACIR program, i.e. generating an initial witness from a set of inputs and calculating a partial witness. This partial witness can then be used to create a proof of execution using an ACVM backend.
The `acvm_js` package enables users to execute an ACIR program, i.e. generating an initial witness from a set of inputs and calculating a partial witness. This partial witness can then be used to create a proof of execution using an ACVM backend.
No description provided.
The virtual machine that processes ACIR given a backend/proof system.
An ACVM backend which allows proving/verifying ACIR circuits against Aztec Lab's Barretenberg library.
The virtual machine that processes ACIR given a backend/proof system.
The ACVM standard library.
A solver for the blackbox functions found in ACIR and Brillig
A solver for the blackbox functions found in ACIR and Brillig
Debugger for Noir
The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM
The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM
Brillig is the bytecode ACIR uses for non-determinism.