Closed drskalman closed 2 years ago
7de89aecdd9 Fixes the encode with pair of ecdsa and bls keys. Fix the tests.
I need to add a test to witness.rs which implement the bls aggregation function in contrast to the existing merkle one.
Done in 5379e6222f4 implementing a aggregation in the witness generation (which is ultimately done by the prover).
APK proof can only be applied to bitfield (disjoint) aggregated BLS signature (in oppose with counted aggregation). This makes it impossible for validator to apply disjoint aggregation to aggregated BLS signatures they receive in a disorganized gossip. As such till we have a more intelligent gossip topolgy it is impossible for validators to aggregate BLS signatures before gossiping them again. As such they should sent the full list of unaggregated signatures and the prover will aggregate them before producing the proof.