provekit-skyscraper 0.1.0

Skyscraper hash function implementation over BN254
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

use {crate::generic, bn254_multiplier::scalar_sqr as square};

pub fn compress_many(messages: &[u8], hashes: &mut [u8]) {
    generic::compress_many(
        |input| generic::compress(|x| [square(x[0])], input),
        messages,
        hashes,
    )
}

#[inline(always)]
pub fn compress(l: [u64; 4], r: [u64; 4]) -> [u64; 4] {
    generic::compress(|x| [square(x[0])], [[l, r]])[0]
}

#[cfg(test)]
mod tests {
    use {super::*, proptest::proptest};

    #[test]
    fn test_eq_ref() {
        proptest!(|(l: [u64; 4], r: [u64; 4])| {
            let e = crate::reference::compress(l, r);
            let r = compress(l, r);
            assert_eq!(r, e);
        });
    }
}