github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-04-28 03:00:18 -04:00
Code Issues Packages Projects Releases Wiki Activity

book/consensus: Note the zkas circuits in stake.md

Browse Source 
Signed-off-by: parazyd <parazyd@dyne.org>
This commit is contained in:
parazyd
2023-06-08 10:24:17 +02:00
parent b49011d6b6
commit 05c5e133ef
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
doc/src/architecture/consensus/stake.md
View File

@@ -26,6 +26,20 @@ The contract calls execute in sequence:
1. `Money::Stake`
2. `Consensus::Stake`
The ZK proof we use to prove burning of the coin in _Money_ is the
`Burn_V1` circuit:
```
{{#include ../../../../src/contract/money/proof/burn_v1.zk}}
```
The ZK proof we use to prove minting of the coin in _Consensus_ is the
`ConsensusMint_V1` circuit:
```
{{#include ../../../../src/contract/consensus/proof/consensus_mint_v1.zk}}
```
## Contract logic
### [`Money::get_metadata()`](https://github.com/darkrenaissance/darkfi/blob/master/src/contract/money/src/entrypoint/stake_v1.rs#L40)