[Verifpal] blind signing?

Nadim Kobeissi nadim at symbolic.software
Thu Apr 30 09:44:20 CEST 2020


Dear Marko,

Please review this commit log:
https://source.symbolic.software/verifpal/verifpal/-/commit/d2261c6b0daddbdccee9ef72e06604ede463d405

Verifpal 0.13.3 will be available on all release channels within a few
minutes, and the Verifpal User Manual and Verifpal for Visual Studio Code
extension have already been updated.

Thank you very much for this suggestion,

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office


On Thu, Apr 30, 2020 at 6:36 AM Marko Schuetz-Schmuck <MarkoSchuetz at web.de>
wrote:

> Hi,
>
> I've been looking at the examples that come with verifpal and was
> wondering whether/how to represent message blinding and signature
> unblinding?
>
> Any hints?
>
> Thanks and best regards,
>
> Marko
>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200430/9e6d8a32/attachment.htm>


More information about the Verifpal mailing list