Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a way for a key share holder to prove that they still control the share #107

Open
fjarri opened this issue Feb 25, 2024 · 0 comments
Open
Labels
cryptography Needs cryptographic expertise enhancement New feature or request

Comments

@fjarri
Copy link
Member

fjarri commented Feb 25, 2024

It may be useful if any key share holder could prove separately, without invoking the rest of the holders, that they still control the share (that is, have its secret data). The secret data in a KeyShare is, currently:

  • the share itself (a Scalar)
  • an RSA key (a pair of primes)
  • a power lambda for ring-Pedersen commitment (an Uint), where the commitment is a public pair (s, t) such that s = t^lambda. This power is currently not stored in the keyshare since it is not used anymore, but it may be, for the purpose of implementing the functionality in this issue.
  • an el-Gamal key (a Scalar) (currently unused, intended for use in Implement Presigning/Signing with O(N) identification cost #36)

The API is probably that of an interactive challenge, where the user will provide some data, and we generate a proof that can be verified with the public part of a key share. For the Scalars just using them as signing keys to sign the data would probably work, as for the lambda and the RSA keys, not sure at the moment.

@fjarri fjarri added enhancement New feature or request cryptography Needs cryptographic expertise labels Feb 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cryptography Needs cryptographic expertise enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant