miden-testing 0.14.4

Miden protocol testing tools
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

use anyhow::Context;
use miden_protocol::asset::FungibleAsset;
use miden_protocol::{self, Felt, Word};
use miden_testing::{Auth, MockChain};

use crate::prove_and_verify_transaction;

// FEE TESTS
// ================================================================================================

/// Tests that a simple account can be created with non-zero fees and the transaction can be proven
/// and verified.
///
/// This is an interesting test case because the prover needs to apply the fee asset to the account
/// delta in order to prove the correct delta commitment. Once we have other tests with fees, this
/// test may become obsolete.
#[tokio::test]
async fn prove_account_creation_with_fees() -> anyhow::Result<()> {
    let amount = 10_000;
    let mut builder = MockChain::builder().verification_base_fee(50);
    let account = builder.create_new_wallet(Auth::IncrNonce)?;
    let fee_note = builder.add_p2id_note_with_fee(account.id(), amount)?;
    let chain = builder.build()?;

    let tx = chain
        .build_tx_context(account, &[fee_note.id()], &[])?
        .build()?
        .execute()
        .await
        .context("failed to execute account-creating transaction")?;

    let expected_fee = tx.compute_fee();
    assert_eq!(expected_fee, tx.fee().amount());

    // We expect that the new account contains the amount minus the paid fee.
    let added_asset = FungibleAsset::new(chain.native_asset_id(), amount)?.sub(tx.fee())?;

    assert_eq!(tx.account_delta().nonce_delta(), Felt::new(1));
    // except for the nonce, the storage delta should be empty
    assert!(tx.account_delta().storage().is_empty());
    assert_eq!(tx.account_delta().vault().added_assets().count(), 1);
    assert_eq!(tx.account_delta().vault().removed_assets().count(), 0);
    assert_eq!(tx.account_delta().vault().added_assets().next().unwrap(), added_asset.into());
    assert_eq!(tx.final_account().nonce(), Felt::new(1));
    // account commitment should not be the empty word
    assert_ne!(tx.account_delta().to_commitment(), Word::empty());

    prove_and_verify_transaction(tx).await?;

    Ok(())
}