Pragmatic signature aggregation with BLS
Thanks for the reference! JustinDrake: Yes but it would be a one-time cost, and the verification could have been done at registration by the blockchain at no cost to verifiers. I think this depends...
View ArticlePragmatic signature aggregation with BLS
I figured it out, probably. We already can aggregate the proofs of possession because they are on different messages, so this should all be fine in the end. Aggregation over different messages is not...
View ArticlePragmatic signature aggregation with BLS
I don’t understand the concern of your last two replies. Are you worried about the costs of registering a new BLS public key? burdges: if accounts are single use Accounts are not at all single use....
View ArticlePragmatic signature aggregation with BLS
JustinDrake: Are you worried about the costs of registering a new BLS public key? I had not quite understood if registration was even the right model. JustinDrake: Keep in mind that the deregistration...
View ArticlePragmatic signature aggregation with BLS
burdges: I’m asking about corrupting the entire validator set, or maybe just 2/3rds, entering rogue keys for large accounts that rarely move, and much later stealing the balances form the target...
View ArticlePragmatic signature aggregation with BLS
vbuterin: I’m confused here. How is entering rogue keys for other accounts even possible if you have to make a proof of possession at time of registration? Rogue keys are not possible under the...
View ArticlePragmatic signature aggregation with BLS
Ah, I see. I think in general registration is an unavoidable part of all of the kinds of deposit-based PoS algorithms we are using, because a signature is not even valid in a beacon chain unless the...
View ArticlePragmatic signature aggregation with BLS
Yes, initially I did not realize this was only for validators, not just general signature aggregation, which changes the situation, as you say. Read full topic
View ArticlePragmatic signature aggregation with BLS
Just fyi, Dan Boneh’s reference indicated using Wagner’s generalized birthday problem algorithm, which looks like L[1/2]. It’s slower than cracking RSA but not slow enough for these curve sizes. Read...
View ArticlePragmatic signature aggregation with BLS
Rust implementation for BLS sigs from Compact Multi-Signatures for Smaller Blockchains by Dan Boneh, Manu Drijvers, Gregory Neven. It supports single signature verification and aggregate signature...
View ArticlePragmatic signature aggregation with BLS
JustinDrake: Verification : Signature verification is the two-pairing check e(σ,g)?=e(H(m),π)e(\sigma, g) \stackrel{?}{=} e(\textsf{H}(m), \pi). Won’t the verification process need to verify every...
View ArticlePragmatic signature aggregation with BLS
Won’t the verification process need to verify every single signature prior to the aggregated signature verification? The onchain signature verification process is a single signature verification, but...
View ArticlePragmatic signature aggregation with BLS
JustinDrake: he expects some fraction (say, 99.9%) of signatures he receives to be valid. I’m trying to understand why this assumption is justified. Is there slashing for publishing invalid individual...
View ArticlePragmatic signature aggregation with BLS
How do you know who produced an invalid signature? Read full topic
View ArticlePragmatic signature aggregation with BLS
YaDavid: Is there slashing for publishing invalid individual signatures We don’t have plans for slashing conditions at the protocol level. I guess it could be implemented at the application layer in...
View ArticlePragmatic signature aggregation with BLS
Following the steps of @lovesh, we’ve also started an implementation of BLS multisig in Nim, based on Apache Milagro-Crypto as discussed in the sharding implementer call #0. For reference I’ve...
View ArticlePragmatic signature aggregation with BLS
I’ve stumbled upon Threshold Cryptography and Distributed Key Generation by Orbs.com. It goes over Elliptic Curve Crypto, BLS and then introduce Threshold BLS Signature Scheme with key generation...
View ArticlePragmatic signature aggregation with BLS
We are using joint-Feldman protocol for DKG and BLS with the curve implemented in ethereum (alt_bn128 + optimal ATE pairing). Will be happy to share the code once it is ready. Read full topic
View ArticlePragmatic signature aggregation with BLS
I have been working on the @lovesh Milagro implementation here: https://github.com/sigp/signature-schemes Thanks for your work @lovesh, it is much appreciated. Primarily, I have been working on the...
View ArticlePragmatic signature aggregation with BLS
Just published BLS aggregation library in Java (based on milagro): https://github.com/ConsenSys/mikuli One thing to note: If we assume that signature is a point in the group with smaller elements then...
View ArticlePragmatic signature aggregation with BLS
There are been BLS related changes in the latest specs from yesterday Compared to the original post the G1 and G2 group are switched and 48 and 96 bytes respectively. I’ve opened a topic to make sure...
View ArticlePragmatic signature aggregation with BLS
mratsim: Py-ecc only implements BN128, the “bls” file present in the beacon chain repo only mocks BLS interface at the moment . There’s a branch that supports BLS-12-381:...
View ArticlePragmatic signature aggregation with BLS
I just did a dumb merge; the default version of py_ecc now supports both curves. GitHub ethereum/py_ecc Python implementation of ECC pairing and bn_128 and bls12_381 curve operations - ethereum/py_ecc...
View ArticlePragmatic signature aggregation with BLS
Kudos to everyone still reading the thread from search engines. We’ve created an auditable bls12-381 JS implementation for node & browsers: https://github.com/paulmillr/noble-bls12-381 Very useful...
View ArticlePragmatic signature aggregation with BLS
Hello, I’ve two topics I’d like to raise please. For background my tech background is somewhat aged but I used to be quite a hardcore engineer. My last project was Monolith.xyz the world’s first smart...
View Article