phoenix-core 0.21.0

Anonymity-preserving zero-knowledge proof-powered transaction model
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
52
53
54
55
56
57
58
59
60

// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.
//
// Copyright (c) DUSK NETWORK. All rights reserved.

use core::convert::TryInto;

use dusk_jubjub::JubJubScalar;
use dusk_pki::SecretSpendKey;
use phoenix_core::{Error, Message, Note};
use rand_core::OsRng;

#[test]
fn crossover_hash() -> Result<(), Error> {
    let rng = &mut OsRng;

    let ssk = SecretSpendKey::random(rng);
    let psk = ssk.public_spend_key();

    let value = 25;
    let blinding_factor = JubJubScalar::random(rng);
    let note = Note::obfuscated(rng, &psk, value, blinding_factor);

    let value = 25;
    let blinding_factor = JubJubScalar::random(rng);
    let note_p = Note::obfuscated(rng, &psk, value, blinding_factor);

    let (_, crossover) = note.try_into()?;
    let (_, crossover_p) = note_p.try_into()?;

    let hash = crossover.hash();
    let hash_p = crossover_p.hash();

    assert_ne!(hash, hash_p);

    Ok(())
}

#[test]
fn message_hash() -> Result<(), Error> {
    let rng = &mut OsRng;

    let ssk = SecretSpendKey::random(rng);
    let psk = ssk.public_spend_key();
    let value = 25;

    let r = JubJubScalar::random(rng);
    let message = Message::new(rng, &r, &psk, value);

    let r_p = JubJubScalar::random(rng);
    let message_p = Message::new(rng, &r_p, &psk, value);

    let hash = message.hash();
    let hash_p = message_p.hash();

    assert_ne!(hash, hash_p);

    Ok(())
}