The DLEQ proof can be produced by sigma_fun which removes a lot of shit
from here!
In the process I had to remove some secrecy markers from EncryptedSignature because sigma_fun can only work with public points (until we have generic associated types).
Oh well.
The DLEQ proof can be produced by sigma_fun which removes a lot of shit from here!
In the process I had to remove some secrecy markers from EncryptedSignature because sigma_fun can only work with public points (until we have generic associated types). Oh well.