This example shows how to generate and verify noninteractive proofs of the statement in the example above, i.e., a proof of ownership of public key X.
()
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected