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
734 downloads per month
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:
- Membership: every note that is about to be spent is included in the Merkle tree of notes.
- Ownership: the sender holds the note secret key for every note that is about to be spent.
- Nullification: the nullifier is calculated correctly.
- Minting: the value commitment for the newly minted notes are computed correctly.
- 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