#circuit #model

phoenix-circuits

Circuit definitions for Phoenix, a privacy-preserving ZKP-based transaction model

13 releases (5 breaking)

0.6.0 Feb 7, 2025
0.5.0 Dec 18, 2024
0.4.0 Aug 14, 2024
0.3.0 Aug 14, 2024
0.1.0 May 22, 2024

#2 in #circuits

Download history 216/week @ 2024-12-08 404/week @ 2024-12-15 141/week @ 2024-12-22 64/week @ 2024-12-29 32/week @ 2025-01-05 49/week @ 2025-01-12 165/week @ 2025-01-19 109/week @ 2025-01-26 191/week @ 2025-02-02 147/week @ 2025-02-09 72/week @ 2025-02-16 39/week @ 2025-02-23 50/week @ 2025-03-02 52/week @ 2025-03-09 102/week @ 2025-03-16 116/week @ 2025-03-23

322 downloads per month
Used in 11 crates (via dusk-core)

MPL-2.0 license

100KB
2K SLoC

Phoenix Circuits

Phoenix is the transaction model used by Dusk, an open-source public blockchain with a UTXO-based architecture that allows for the execution of obfuscated transactions and confidential smart contracts.

This library contains the implementation of the Phoenix-circuits, to prove, in zero-knowledge, that the following conditions hold true:

  1. Membership: every note that is about to be spent is included in the Merkle tree of notes.
  2. Ownership: the sender holds the note secret key for every note that is about to be spent.
  3. Nullification: the nullifier is calculated correctly.
  4. Minting: the value commitment for the newly minted notes are computed correctly.
  5. Balance integrity: the sum of the values of all spent notes is equal to the sum of the values of all minted notes + the gas fee + a deposit, where a deposit refers to funds being transfered to a contract.

Dependencies

~6.5MB
~139K SLoC