ZKproof is at play here

!tip 1