Aztec v1Aztec

Proof systemThe infrastructure that allows projects to verify their state transitions. It is composed by onchain verifiers and offchain provers. The main two flavors are optimistic and ZK proof systems, but they can be combined in a hybrid model. In general though, if a system is able to accept state roots optimistically, even if it has a ZK component, it is considered an optimistic proof system.

Aztec v1 proverAn entity that generates the cryptographic proof to convince the verifier that the statement is true. In a ZK-Rollup, the prover generates the ZK (validity) proof to submit to the verifier contract. is a monolithic zk-SNARK proving system over BN254 curve for proving state transitions of Aztec v1 (Zk.money) L2Layer 2 (L2) is a category of technical solutions aimed to scale the base layer in a trust minimized way. This category includes solutions like rollups as well as state channels and plasma. Other solutions are able to scale further, but with the introduction of additional trust assumptions, which are therefore not trust minimized. Sometimes the term Layer 2 is used to refer to include these solutions too, like validiums and optimiums, but to distinguish between trust minimized and non trust minimized solutions they are often referred to as "light" L2s, opposed to "strong" L2s like rollups.. It implements the following custom circuits and contains verifiers for them: joinsplit for proving private token transfers in a UTXO-like note model, swap for proving exchange of two notes between counterparties, dividend for proving that a note is equal to a public percentage of a second note, public and private range for proving comparison of a note with either a public value or with another note.