#circuit #transaction #model #phoenix #notes #privacy-preserving #gadget

phoenix-circuits

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

11 unstable releases (3 breaking)

0.4.0 Aug 14, 2024
0.3.0 Aug 14, 2024
0.2.1 Jul 3, 2024
0.2.1-rc.0 Jun 27, 2024
0.1.0 May 22, 2024

#10 in #phoenix

Download history 198/week @ 2024-06-27 93/week @ 2024-07-04 7/week @ 2024-07-11 2/week @ 2024-08-01 236/week @ 2024-08-08 161/week @ 2024-08-15 16/week @ 2024-08-22 100/week @ 2024-08-29 289/week @ 2024-09-05 129/week @ 2024-09-12 97/week @ 2024-09-19 213/week @ 2024-09-26 164/week @ 2024-10-03 176/week @ 2024-10-10

663 downloads per month

MPL-2.0 license

82KB
1.5K 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.

lib.rs:

Phoenix's circuits and gadgets.

Dependencies

~5.5MB
~122K SLoC