phoenix-circuits
| Crates.io | phoenix-circuits |
| lib.rs | phoenix-circuits |
| version | 0.4.0 |
| source | src |
| created_at | 2024-05-22 14:17:20.356272 |
| updated_at | 2024-08-14 19:49:14.286572 |
| description | Circuit definitions for Phoenix, a privacy-preserving ZKP-based transaction model |
| homepage | |
| repository | https://github.com/dusk-network/phoenix/circuits |
| max_upload_size | |
| id | 1247977 |
| size | 60,352 |
Dusk Network (dusknetwork)
documentation
README
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.