Closed cronokirby closed 3 years ago
We probably want to do this after #17.
Actually, looking at the structure of things, it would probably be easier to do Pedersen first.
We probably want to do this after #17.