bls48581 2.1.0

BLS signature implementation using the BLS48-581 curve with KZG commitments
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

namespace bls48581 {
    void init();
    sequence<u8> commit_raw([ByRef] sequence<u8> data, u64 poly_size);
    sequence<u8> prove_raw([ByRef] sequence<u8> data, u64 index, u64 poly_size);
    boolean verify_raw([ByRef] sequence<u8> data, [ByRef] sequence<u8> commit, u64 index, [ByRef] sequence<u8> proof, u64 poly_size);
    Multiproof prove_multiple([ByRef] sequence<sequence<u8>> commitments, [ByRef] sequence<sequence<u8>> polys, [ByRef] sequence<u64> indices, u64 poly_size);
    boolean verify_multiple([ByRef] sequence<sequence<u8>> commitments, [ByRef] sequence<sequence<u8>> evaluations, [ByRef] sequence<u64> indices, u64 poly_size, [ByRef] sequence<u8> multi_commitment, [ByRef] sequence<u8> proof);
    BlsKeygenOutput bls_keygen();
    sequence<u8> bls_sign([ByRef] sequence<u8> sk, [ByRef] sequence<u8> msg, [ByRef] sequence<u8> domain);
    boolean bls_verify([ByRef] sequence<u8> pk, [ByRef] sequence<u8> sig, [ByRef] sequence<u8> msg, [ByRef] sequence<u8> domain);
    BlsAggregateOutput bls_aggregate([ByRef] sequence<sequence<u8>> pks, [ByRef] sequence<sequence<u8>> sigs);
    boolean bls_verify_msig_mmsg([ByRef] sequence<sequence<u8>> pks, [ByRef] sequence<u8> sig, [ByRef] sequence<sequence<u8>> msgs, [ByRef] sequence<u8> domain);
};

dictionary Multiproof {
  sequence<u8> d;
  sequence<u8> proof;
};

dictionary BlsKeygenOutput {
  sequence<u8> secret_key;
  sequence<u8> public_key;
  sequence<u8> proof_of_possession_sig;
};

dictionary BlsAggregateOutput {
  sequence<u8> aggregate_public_key;
  sequence<u8> aggregate_signature;
};