This repository has been archived by the owner on Jul 1, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 146
Add bindings for BLS from Chia network #708
Merged
Merged
Changes from all commits
Commits
Show all changes
5 commits
Select commit
Hold shift + click to select a range
File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Empty file.
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,100 @@ | ||
from typing import ( | ||
Sequence, | ||
cast, | ||
) | ||
|
||
import blspy as bls_chia | ||
|
||
from eth_typing import ( | ||
BLSPubkey, | ||
BLSSignature, | ||
Hash32, | ||
) | ||
from eth_utils import ( | ||
ValidationError, | ||
) | ||
|
||
|
||
def _privkey_int_to_bytes(privkey: int) -> bytes: | ||
return privkey.to_bytes(bls_chia.PrivateKey.PRIVATE_KEY_SIZE, "big") | ||
|
||
|
||
def combine_domain(message_hash: Hash32, domain: int) -> bytes: | ||
return message_hash + domain.to_bytes(8, 'big') | ||
|
||
|
||
def sign(message_hash: Hash32, | ||
privkey: int, | ||
domain: int) -> BLSSignature: | ||
privkey_chia = bls_chia.PrivateKey.from_bytes(_privkey_int_to_bytes(privkey)) | ||
sig_chia = privkey_chia.sign_insecure( | ||
combine_domain(message_hash, domain) | ||
) | ||
sig_chia_bytes = sig_chia.serialize() | ||
return cast(BLSSignature, sig_chia_bytes) | ||
|
||
|
||
def privtopub(k: int) -> BLSPubkey: | ||
privkey_chia = bls_chia.PrivateKey.from_bytes(_privkey_int_to_bytes(k)) | ||
return cast(BLSPubkey, privkey_chia.get_public_key().serialize()) | ||
|
||
|
||
def verify(message_hash: Hash32, pubkey: BLSPubkey, signature: BLSSignature, domain: int) -> bool: | ||
pubkey_chia = bls_chia.PublicKey.from_bytes(pubkey) | ||
signature_chia = bls_chia.Signature.from_bytes(signature) | ||
signature_chia.set_aggregation_info( | ||
bls_chia.AggregationInfo.from_msg( | ||
pubkey_chia, | ||
combine_domain(message_hash, domain), | ||
) | ||
) | ||
return cast(bool, signature_chia.verify()) | ||
|
||
|
||
def aggregate_signatures(signatures: Sequence[BLSSignature]) -> BLSSignature: | ||
signatures_chia = [ | ||
bls_chia.InsecureSignature.from_bytes(signature) | ||
for signature in signatures | ||
] | ||
aggregated_signature = bls_chia.InsecureSignature.aggregate(signatures_chia) | ||
aggregated_signature_bytes = aggregated_signature.serialize() | ||
return cast(BLSSignature, aggregated_signature_bytes) | ||
|
||
|
||
def aggregate_pubkeys(pubkeys: Sequence[BLSPubkey]) -> BLSPubkey: | ||
pubkeys_chia = [ | ||
bls_chia.PublicKey.from_bytes(pubkey) | ||
for pubkey in pubkeys | ||
] | ||
aggregated_pubkey_chia = bls_chia.PublicKey.aggregate_insecure(pubkeys_chia) | ||
return cast(BLSPubkey, aggregated_pubkey_chia.serialize()) | ||
|
||
|
||
def verify_multiple(pubkeys: Sequence[BLSPubkey], | ||
message_hashes: Sequence[Hash32], | ||
signature: BLSSignature, | ||
domain: int) -> bool: | ||
|
||
len_msgs = len(message_hashes) | ||
|
||
if len(pubkeys) != len_msgs: | ||
raise ValidationError( | ||
"len(pubkeys) (%s) should be equal to len(message_hashes) (%s)" % ( | ||
len(pubkeys), len_msgs | ||
) | ||
) | ||
|
||
message_hashes_with_domain = [ | ||
combine_domain(message_hash, domain) | ||
for message_hash in message_hashes | ||
] | ||
pubkeys_chia = map(bls_chia.PublicKey.from_bytes, pubkeys) | ||
aggregate_infos = [ | ||
bls_chia.AggregationInfo.from_msg(pubkey_chia, message_hash) | ||
for pubkey_chia, message_hash in zip(pubkeys_chia, message_hashes_with_domain) | ||
] | ||
merged_info = bls_chia.AggregationInfo.merge_infos(aggregate_infos) | ||
|
||
signature_chia = bls_chia.Signature.from_bytes(signature) | ||
signature_chia.set_aggregation_info(merged_info) | ||
return cast(bool, signature_chia.verify()) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,141 @@ | ||
import pytest | ||
|
||
from py_ecc.optimized_bls12_381 import ( | ||
curve_order, | ||
) | ||
|
||
from eth2._utils.bls_bindings.chia_network.api import ( | ||
aggregate_pubkeys, | ||
aggregate_signatures, | ||
privtopub, | ||
sign, | ||
verify, | ||
verify_multiple, | ||
) | ||
|
||
|
||
def assert_pubkey(obj): | ||
assert isinstance(obj, bytes) and len(obj) == 48 | ||
|
||
|
||
def assert_signature(obj): | ||
assert isinstance(obj, bytes) and len(obj) == 96 | ||
|
||
|
||
def test_sanity(): | ||
msg_0 = b"\x32" * 32 | ||
domain = 123 | ||
|
||
# Test: Verify the basic sign/verify process | ||
privkey_0 = 5566 | ||
sig_0 = sign(msg_0, privkey_0, domain) | ||
assert_signature(sig_0) | ||
pubkey_0 = privtopub(privkey_0) | ||
assert_pubkey(pubkey_0) | ||
assert verify(msg_0, pubkey_0, sig_0, domain) | ||
|
||
privkey_1 = 5567 | ||
sig_1 = sign(msg_0, privkey_1, domain) | ||
pubkey_1 = privtopub(privkey_1) | ||
assert verify(msg_0, pubkey_1, sig_1, domain) | ||
|
||
# Test: Verify signatures are correctly aggregated | ||
aggregated_signature = aggregate_signatures([sig_0, sig_1]) | ||
assert_signature(aggregated_signature) | ||
|
||
# Test: Verify pubkeys are correctly aggregated | ||
aggregated_pubkey = aggregate_pubkeys([pubkey_0, pubkey_1]) | ||
assert_pubkey(aggregated_pubkey) | ||
|
||
# Test: Verify with `aggregated_signature` and `aggregated_pubkey` | ||
assert verify(msg_0, aggregated_pubkey, aggregated_signature, domain) | ||
|
||
# Test: `verify_multiple` | ||
msg_1 = b"x22" * 32 | ||
privkey_2 = 55688 | ||
sig_2 = sign(msg_1, privkey_2, domain) | ||
assert_signature(sig_2) | ||
pubkey_2 = privtopub(privkey_2) | ||
assert_pubkey(pubkey_2) | ||
sig_1_2 = aggregate_signatures([sig_1, sig_2]) | ||
assert verify_multiple( | ||
pubkeys=[pubkey_1, pubkey_2], | ||
message_hashes=[msg_0, msg_1], | ||
signature=sig_1_2, | ||
domain=domain, | ||
) | ||
|
||
|
||
@pytest.mark.parametrize( | ||
'privkey', | ||
[ | ||
(1), | ||
(5), | ||
(124), | ||
(735), | ||
(127409812145), | ||
(90768492698215092512159), | ||
(curve_order - 1), | ||
] | ||
) | ||
def test_bls_core(privkey): | ||
domain = 0 | ||
msg = str(privkey).encode('utf-8') | ||
sig = sign(msg, privkey, domain=domain) | ||
pub = privtopub(privkey) | ||
assert verify(msg, pub, sig, domain=domain) | ||
|
||
|
||
@pytest.mark.parametrize( | ||
'msg, privkeys', | ||
[ | ||
(b'\x12' * 32, [1, 5, 124, 735, 127409812145, 90768492698215092512159, curve_order - 1]), | ||
(b'\x34' * 32, [42, 666, 1274099945, 4389392949595]), | ||
] | ||
) | ||
def test_signature_aggregation(msg, privkeys): | ||
domain = 0 | ||
sigs = [sign(msg, k, domain=domain) for k in privkeys] | ||
pubs = [privtopub(k) for k in privkeys] | ||
aggsig = aggregate_signatures(sigs) | ||
aggpub = aggregate_pubkeys(pubs) | ||
assert verify(msg, aggpub, aggsig, domain=domain) | ||
|
||
|
||
@pytest.mark.parametrize( | ||
'msg_1, msg_2', | ||
[ | ||
(b'\x12' * 32, b'\x34' * 32) | ||
] | ||
) | ||
@pytest.mark.parametrize( | ||
'privkeys_1, privkeys_2', | ||
[ | ||
(tuple(range(1, 11)), tuple(range(1, 11))), | ||
((1, 2, 3), (4, 5, 6, 7)), | ||
((1, 2, 3), (2, 3, 4, 5)), | ||
] | ||
) | ||
def test_multi_aggregation(msg_1, msg_2, privkeys_1, privkeys_2): | ||
domain = 0 | ||
|
||
sigs_1 = [sign(msg_1, k, domain=domain) for k in privkeys_1] # signatures to msg_1 | ||
pubs_1 = [privtopub(k) for k in privkeys_1] | ||
aggsig_1 = aggregate_signatures(sigs_1) | ||
aggpub_1 = aggregate_pubkeys(pubs_1) # sig_1 to msg_1 | ||
|
||
sigs_2 = [sign(msg_2, k, domain=domain) for k in privkeys_2] # signatures to msg_2 | ||
pubs_2 = [privtopub(k) for k in privkeys_2] | ||
aggsig_2 = aggregate_signatures(sigs_2) | ||
aggpub_2 = aggregate_pubkeys(pubs_2) # sig_2 to msg_2 | ||
|
||
message_hashes = [msg_1, msg_2] | ||
pubs = [aggpub_1, aggpub_2] | ||
aggsig = aggregate_signatures([aggsig_1, aggsig_2]) | ||
|
||
assert verify_multiple( | ||
pubkeys=pubs, | ||
message_hashes=message_hashes, | ||
signature=aggsig, | ||
domain=domain, | ||
) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do tuple here? Looks like the test is happy with tuple.