6

I've been searching for a way to create blind ECDSA signatures. My research and experimentation has led me to believe that this is not possible.

I've been attempting to articulate why and I think that it is because it is not possible to apply a transformation to the message in a way which can be reversed whilst retaining a valid signature. The message and signature cannot be transformed as required because the ephemeral key is not known by the recipient, and if the key were known then the long term signing key could be determined. An ECDSA signature only permits validating that the signature was formed from the message and the private key corresponding to the expected public key.

I would like to confirm whether there are any known ECDSA blind signature schemes? I suppose publication bias might prevent this from appearing in the literature.

More generally are there any known ECDSA variants such as proxy signatures? My research has led me to the conclusion that it's functionality is entirely constrained to yielding a standard signature scheme.

Chris
  • 819
  • 4
  • 10

2 Answers2

6

I am not aware of any existing scheme allowing this easily (excepted for PureEdDSA maybe, but I wouldn't classify it as an ECDSA variant).

However I do not believe this is impossible. So let's try to do this for ECDSA:

We have a message $m$ whose hashed value $H(m)$ is converted into an integer $z$ which gets signed into the signature $(r,s)$ by the signer.

Now the verifier will basically rely on $$\begin{aligned} C&=u_1\times G+u_2\times Q\\ &=u_1 \times G +u_2d \times G\\ &=(u_1+u_2 d)\times G \\ &=(zs^{-1}+rds^{-1})\times G \\ &=(z+rds)\color{red}{s^{-1}}\times G \\ &=(z+rd)\color{red}{(z+rd)^{-1}(k^{-1})^{-1}}\times G \\ &=k\times G \end{aligned}$$ And will say that it verifies iff $C_x==r$ And as you can see, if you can change $r,s,z$ then you can force a coefficient in the latest line to cancel "almost out", by taking $bs,abr,abz$ instead and would end up with $$(abz+abrd)\color{red}{b^{-1}(z+rd)^{-1}(k^{-1})^{-1}}\times G \\ = ak\times G $$

Now the difficult part is to find out if it is possible to get $a,b,m'$ such that $H(m')$, once converted into $z'$ is such that $z'=abz$ and such that $(ak\times G)_x \equiv abr\mod n$...

I do not see why this couldn't be possible, being given so much slack on the variables... But since I don't have time right now to actually try it out, I'll try to do it later or another day and will edit this answer accordingly.

Lery
  • 7,819
  • 1
  • 27
  • 46
1

The below paper gives one;

kelalaka
  • 49,797
  • 12
  • 123
  • 211
Eric_Qin
  • 807
  • 7
  • 13