This library package is responsible for simulating function circuits compiled to ACIR / AVM.
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.
## Responsibilities
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.
`AztecRPCServer` is a server-side software that provides a set of apis for interacting with the Aztec network. It acts as a bridge between the network and client applications by exposing methods to manage accounts, deploy contracts, create transactions, a
The sequencer is a module responsible for creating and publishing new rollup blocks. This involves fetching txs from the P2P pool, ordering them, executing any public functions, running them through the rollup circuits, assembling the L2 block, and postin
Compiled Signet zk circuit artifacts (bytecode + verification key) and pinned toolchain version constants. Consumed by the UI.
ACIR is the IR that the VM processes, it is analogous to LLVM IR
ACIR is the IR that the VM processes, it is analogous to LLVM IR
Brillig is the bytecode ACIR uses for non-determinism.
The field implementation being used by ACIR.
A fuzzer generating arbitrary monomorphized ASTs and comparing the execution between ACIR and Brillig
Debugger for Noir
A greybox (coverage) fuzzer for Noir programs
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.
Canonical PSO Noir circuit descriptors — circuit_hash, VK bytes, vk_hash, label. Authoritative on-chain identity source for the privacy-preserving L2 zk_verify precompile.
The virtual machine that processes ACIR given a backend/proof system.
A solver for the blackbox functions found in ACIR and Brillig