feat!: zk proofs for Paillier keys

axelarnetwork / tofn

A threshold cryptography library in Rust

Apache License 2.0

112 stars 23 forks source link

Closed ggutoski closed 3 years ago

ggutoski commented 3 years ago

fixes #74 . Specifically:

ports the NICorrectKeyProof and CompositeDLogProof structs from curv
creates/verifies the proofs and activates keygen sad path in the event of verification failure