Remark: Original ZK notion considers a protocol ìin vitroî:
One P, one V, no explicit consideration of other executions.