arithmetic-eval 0.3.0

Simple interpreter for arithmetic expressions.
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

//! Schnorr signatures on a prime-order cyclic group.

dbg(GEN, ORDER);

gen = || {
    sk = rand_scalar();
    #{ sk, pk: GEN ^ sk }
};

sign = |message, sk| {
    r = rand_scalar();
    R = GEN ^ r;
    e = hash_to_scalar(R, message);
    #{ e, s: r - sk * e }
};

verify = |{ e, s }, message, pk| {
    R = GEN ^ s * pk ^ e;
    e == hash_to_scalar(R, message)
};

// Test!
{ sk, pk } = gen();
{ pk: other_pk } = gen();

5.while(|i| i != 0, |i| {
    message = rand_scalar();
    dbg(message);
    signature = message.sign(sk);
    dbg(signature);

    assert(signature.verify(message, pk));
    assert(!signature.verify(message, other_pk));
    assert(!signature.verify(rand_scalar(), pk));

    i - 1
});