blsful 3.1.0

BLS signature implementation according to the IETF spec on the BLS12-381 curve.
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

mod utils;
use blsful::*;
use rstest::*;
use utils::*;

#[rstest]
#[case::g1(Bls12381G1Impl)]
#[case::g2(Bls12381G2Impl)]
fn proof_of_knowledge_works<C: BlsSignatureImpl + Copy>(#[case] _c: C) {
    let sk = SecretKey::<C>::new();
    let pk = sk.public_key();
    let sig = sk.sign(SignatureSchemes::Basic, TEST_MSG).unwrap();
    let res = ProofCommitment::generate(TEST_MSG, sig);
    assert!(res.is_ok());
    let (comm, x) = res.unwrap();
    let y = ProofCommitmentChallenge::<C>::new();
    let res = comm.finalize(x, y, sig);
    assert!(res.is_ok());
    let proof = res.unwrap();
    assert!(proof.verify(pk, TEST_MSG, y).is_ok());
    let y2 = ProofCommitmentChallenge::<C>::new();
    assert!(proof.verify(pk, TEST_MSG, y2).is_err());
}

#[rstest]
#[case::g1(Bls12381G1Impl)]
#[case::g2(Bls12381G2Impl)]
fn proof_of_knowledge_timestamp_works<C: BlsSignatureImpl>(#[case] _c: C) {
    let sk = SecretKey::<C>::new();
    let pk = sk.public_key();
    let sig = sk
        .sign(SignatureSchemes::ProofOfPossession, TEST_MSG)
        .unwrap();
    let mut proof = ProofOfKnowledgeTimestamp::generate(TEST_MSG, sig).unwrap();
    assert!(proof.verify(pk, TEST_MSG, None).is_ok());
    proof.timestamp -= 10;
    assert!(proof.verify(pk, TEST_MSG, Some(3)).is_err());
}