Listing Proofs using GnuPG