[Verifpal] global scope
tankf33der at disroot.org
Sat Sep 7 21:28:36 CEST 2019
This file successfully verified, Im expecting error.
'a' is already in global scope via Bob and cant be created inside Alice.
As example, cases 1-3 creates 'a' in different ways and all fails as expected and handled.
a = G^v
Bob -> Alice: a
knows private a
// 1. constant assigned twice (a)
//a = G^k
// 2. known more than once and in different ways (a)
//knows public a
// 3. constant generated twice (a)
More information about the Verifpal