slingshot
slingshot copied to clipboard
musig: integration with Predicate Tree
Currently Predicate::Key
wraps a VerificationKey
, so all information about the signing parties is erased.
Let's replace it with Multikey
, so that we can preserve information for signing.
- [ ] Use
Multikey
instead of VerificationKey in thePredicate::Key
variant. - [ ] Make
VerificationKey
convertibleInto<Multikey>
- [x] Make sure
Multikey
over a single key uses1
as a delinearization factor (a_0
), not a random one. This is needed for compatibility with raw VerificationKey.