[Verifpal] Support for Zero-Knowledge proofs?

[Nadim Kobeissi]

Hello,

This is definitely something to look into, but certainly not before the current functionality is sufficiently sound and formalized. :-)

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On Oct 10, 2019, at 10:42 AM, jq-rs at mles.io wrote:
> 
> 
> Hello,
> 
> Any plans to include ZKPs to Verifpal? Similar to e.g. Schnorr Non-interactive Zero-Knowledge Proof, https://tools.ietf.org/html/rfc8235. I
> 
> Thanks,
> -- 
>  jq-rs
> 
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal