darkfi_money_contract/client/
token_mint_v1.rs

1/* This file is part of DarkFi (https://dark.fi)
2 *
3 * Copyright (C) 2020-2025 Dyne.org foundation
4 *
5 * This program is free software: you can redistribute it and/or modify
6 * it under the terms of the GNU Affero General Public License as
7 * published by the Free Software Foundation, either version 3 of the
8 * License, or (at your option) any later version.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 * GNU Affero General Public License for more details.
14 *
15 * You should have received a copy of the GNU Affero General Public License
16 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
17 */
18
19use darkfi::{
20    zk::{halo2::Value, Proof, ProvingKey, Witness, ZkCircuit},
21    zkas::ZkBinary,
22    Result,
23};
24use darkfi_sdk::pasta::pallas;
25use log::debug;
26use rand::rngs::OsRng;
27
28use crate::model::{CoinAttributes, MoneyTokenMintParamsV1, TokenAttributes};
29
30pub struct TokenMintCallDebris {
31    pub params: MoneyTokenMintParamsV1,
32    pub proofs: Vec<Proof>,
33}
34
35/// Struct holding necessary information to build a `Money::TokenMintV1` contract call.
36pub struct TokenMintCallBuilder {
37    pub coin_attrs: CoinAttributes,
38    pub token_attrs: TokenAttributes,
39
40    /// `TokenMint_V1` zkas circuit ZkBinary
41    pub mint_zkbin: ZkBinary,
42    /// Proving key for the `TokenMint_V1` zk circuit,
43    pub mint_pk: ProvingKey,
44}
45
46impl TokenMintCallBuilder {
47    pub fn build(&self) -> Result<TokenMintCallDebris> {
48        debug!(target: "contract::money::client::token_mint", "Building Money::TokenMintV1 contract call");
49        let (public_x, public_y) = self.coin_attrs.public_key.xy();
50
51        let prover_witnesses = vec![
52            // Coin attributes
53            Witness::Base(Value::known(public_x)),
54            Witness::Base(Value::known(public_y)),
55            Witness::Base(Value::known(pallas::Base::from(self.coin_attrs.value))),
56            Witness::Base(Value::known(self.coin_attrs.spend_hook.inner())),
57            Witness::Base(Value::known(self.coin_attrs.user_data)),
58            Witness::Base(Value::known(self.coin_attrs.blind.inner())),
59            // Token attributes
60            Witness::Base(Value::known(self.token_attrs.auth_parent.inner())),
61            Witness::Base(Value::known(self.token_attrs.user_data)),
62            Witness::Base(Value::known(self.token_attrs.blind.inner())),
63        ];
64
65        let coin = self.coin_attrs.to_coin();
66
67        let public_inputs = vec![self.token_attrs.auth_parent.inner(), coin.inner()];
68
69        //darkfi::zk::export_witness_json( "proof/witness/token_mint_v1.json", &prover_witnesses, &public_inputs);
70        let circuit = ZkCircuit::new(prover_witnesses, &self.mint_zkbin);
71        let proof = Proof::create(&self.mint_pk, &[circuit], &public_inputs, &mut OsRng)?;
72
73        let params = MoneyTokenMintParamsV1 { coin };
74        let debris = TokenMintCallDebris { params, proofs: vec![proof] };
75        Ok(debris)
76    }
77}
darkfi_money_contract/client/token_mint_v1.rs

darkfi_money_contract/client/
token_mint_v1.rs
