#circuit #model #phoenix-circuits

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

#50 in #circuit

Download history 434/week @ 2024-12-17 76/week @ 2024-12-24 69/week @ 2024-12-31 26/week @ 2025-01-07 97/week @ 2025-01-14 128/week @ 2025-01-21 97/week @ 2025-01-28 221/week @ 2025-02-04 126/week @ 2025-02-11 66/week @ 2025-02-18 41/week @ 2025-02-25 45/week @ 2025-03-04 65/week @ 2025-03-11 102/week @ 2025-03-18 131/week @ 2025-03-25 52/week @ 2025-04-01

358 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
~138K SLoC