fun roguetest/1.
fun rogueid1/0.
fun zeta/0.
fun true/0.
fun false/0.
fun exp/2.
fun public1/1.
fun pzk0/1. 
query ev:DAAVERIFIEDA().

reduc equals(x,x)=x.
equation roguetest(exp(zeta,rogueid1)) = true.
equation public1(pzk0(x)) = x. 

process
    let zkproof = pzk0(exp(zeta,rogueid1)) in
    (let N = roguetest(public1(zkproof)) in 
    (let xif10 = equals(N,true) in 
       event ROGUEAV()
     else 
       event DAAVERIFIEDA()))


(* EXPECTPV
RESULT not ev:DAAVERIFIEDA() is true.
0.008s (user 0.004s + system 0.004s), max rss 7080K
END *)
