From 05c5e133ef94f561937827bd2612d84930bb22bd Mon Sep 17 00:00:00 2001 From: parazyd Date: Thu, 8 Jun 2023 10:24:17 +0200 Subject: [PATCH] book/consensus: Note the zkas circuits in stake.md Signed-off-by: parazyd --- doc/src/architecture/consensus/stake.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/doc/src/architecture/consensus/stake.md b/doc/src/architecture/consensus/stake.md index 9f7f8b4cc..da2c1fc5a 100644 --- a/doc/src/architecture/consensus/stake.md +++ b/doc/src/architecture/consensus/stake.md @@ -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)