[Verifpal] G vs. nil

Nadim Kobeissi nadim at symbolic.software
Tue Dec 1 20:49:38 CET 2020


Dear Mike,

This behavior is expected and not a bug. You can conceivably check whether nil is confidential, but checking for the unlikability of nil and G to other values doesn’t make sense since those values don’t have a “creator” or “origin” but are innate reserved values.

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

> On Dec 1, 2020, at 2:55 PM, Mike via Verifpal <verifpal at lists.symbolic.software> wrote:
> 
> hi all,
> 
> Try attached file - 
> since unlinkability? does not respect keywords confidentiality? and freshness? should do the same.
> 
> (mike)
> <t1.vp>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal



More information about the Verifpal mailing list