Shielded Kudos Pt. 2: Verifying Constraint Authorship

[vveiln]

@kike

But pk it is part of the persistent created resource, so could be moved to the witness (?)

I think you are right. In the KL logic (I just posted it) it isn’t a part of the instance.