Simplify aggregate verification - Githubissues

filecoin-project / bls-signatures

BLS Signatures in Rust

Other

74 stars 44 forks source link

Simplify aggregate verification #67

Closed Stebalien closed 11 months ago

Stebalien commented 11 months ago

Mostly remove all cases where we'd need to track a "valid" boolean and/or atomic:

Check that all there are no zero keys up-front in verify.
Use fallible mapping/reducing in verify_message instead of a "valid" boolean.
Use rayon's "reduce with" feature which should allow parallel processing?

This patch isn't necessary in any way, I just wrote it as I reviewed the code. I figured I'd submit it as it does simplify things a bit, IMO.

Stebalien commented 11 months ago

Depends on #70.