winter-crypto 0.13.1

Cryptographic library for the Winterfell STARK prover/verifier
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

// Copyright (c) Facebook, Inc. and its affiliates.
//
// This source code is licensed under the MIT license found in the
// LICENSE file in the root directory of this source tree.

use math::{fields::f62::BaseElement, FieldElement};
use rand_utils::rand_array;
use utils::Deserializable;

use super::{Blake3_256, ElementHasher, Hasher};
use crate::hash::{Blake3_192, ByteDigest};

#[test]
fn hash_padding() {
    let b1 = [1_u8, 2, 3];
    let b2 = [1_u8, 2, 3, 0];

    // adding a zero bytes at the end of a byte string should result in a different hash
    let r1 = Blake3_256::<BaseElement>::hash(&b1);
    let r2 = Blake3_256::<BaseElement>::hash(&b2);
    assert_ne!(r1, r2);
}

#[test]
fn hash_elements_padding() {
    let e1: [BaseElement; 2] = rand_array();
    let e2 = [e1[0], e1[1], BaseElement::ZERO];

    // adding a zero element at the end of a list of elements should result in a different hash
    let r1 = Blake3_256::hash_elements(&e1);
    let r2 = Blake3_256::hash_elements(&e2);
    assert_ne!(r1, r2);
}

#[test]
fn merge_vs_merge_many_256() {
    let digest_0 = ByteDigest::read_from_bytes(&[1_u8; 32]).unwrap();
    let digest_1 = ByteDigest::read_from_bytes(&[2_u8; 32]).unwrap();

    let r1 = Blake3_256::<BaseElement>::merge(&[digest_0, digest_1]);
    let r2 = Blake3_256::<BaseElement>::merge_many(&[digest_0, digest_1]);

    assert_eq!(r1, r2)
}

#[test]
fn merge_vs_merge_many_192() {
    let digest_0 = ByteDigest::read_from_bytes(&[1_u8; 24]).unwrap();
    let digest_1 = ByteDigest::read_from_bytes(&[2_u8; 24]).unwrap();

    let r1 = Blake3_192::<BaseElement>::merge(&[digest_0, digest_1]);
    let r2 = Blake3_192::<BaseElement>::merge_many(&[digest_0, digest_1]);

    assert_eq!(r1, r2)
}