The company - aztec.network
Definition of a layer 2 network that rolls up to Ethereum. Includes how to execute public/private functions, verify proofs, and reaches consensus on shared state.
Computers on a network that adhere to the Aztec Protocol.
Software run on individual computers that adhere to the Aztec protocol. (learn more from the Yellow Paper)
Executes the public section of a transaction.
Locally execute the private section of a transaction, and unconstrained (read-only) functions.
Noir is a Domain-Specific Language for SNARK proving systems developed by Aztec Labs. noir-lang.org
Definitions of public/private state and functions. Public code is executed in the Protocol's AVM, private code executed in the local PXE.
Framework written in Noir to help with development of Aztec Contracts.
Noir compiles to ACIR. ACIR bytecode is the compilation target of contract private functions. ACIR expresses arithmetic circuits and thus has no control flow. Control flow in regular functions is either unrolled (for loops) or flattened (by inlining and adding predicates), resulting in a single function with no control flow to be transformed to ACIR.
Converts ACIR into compatible backend formats.
Prove, verify, generate solidity verifier, ...
Interpret Noir written as Aztec contracts, via ACIR.
Includes aztec-nargo, aztec-cli, aztec-sandbox, ...
aztec.network/sandbox
Locally run an Aztec Client and an Ethereum Client that it rolls up to.
Note contents and additional data that have been hashed into a Note Hash
Nullifying a note after reading it in a transaction.