assura-stdlib 0.4.0

Assura standard library contracts and prelude types
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

// Standard library: cryptography contracts
module std.crypto

contract hash_sha256 {
    input(data: Bytes)
    output(result: Bytes)
    effects { pure }
}

contract hash_sha512 {
    input(data: Bytes)
    output(result: Bytes)
    effects { pure }
}

contract hmac {
    input(key: Bytes, data: Bytes)
    output(result: Bytes)
    requires { key.length() > 0 }
    effects { pure }
}

contract random_bytes {
    input(count: Nat)
    output(result: Bytes)
    requires { count > 0 }
    effects { rng }
}

contract constant_time_eq {
    input(a: Bytes, b: Bytes)
    output(result: Bool)
    requires { a.length() == b.length() }
    effects { pure }
}