diff --git a/src/gtest/test_joinsplit.cpp b/src/gtest/test_joinsplit.cpp
index 87f4fa4c511..1ef62d9f5ab 100644
--- a/src/gtest/test_joinsplit.cpp
+++ b/src/gtest/test_joinsplit.cpp
@@ -39,7 +39,7 @@ void test_full_api(ZCJoinSplit* js)
     uint256 randomSeed;
     uint64_t vpub_old = 10;
     uint64_t vpub_new = 0;
-    uint256 pubKeyHash = random_uint256();
+    uint256 joinSplitPubKey = random_uint256();
     std::array<uint256, 2> macs;
     std::array<uint256, 2> nullifiers;
     std::array<uint256, 2> commitments;
@@ -68,7 +68,7 @@ void test_full_api(ZCJoinSplit* js)
             output_notes,
             ciphertexts,
             ephemeralKey,
-            pubKeyHash,
+            joinSplitPubKey,
             randomSeed,
             macs,
             nullifiers,
@@ -79,13 +79,13 @@ void test_full_api(ZCJoinSplit* js)
         );
     }
 
-    auto sprout_proof = boost::get<ZCProof>(proof);
+    auto sprout_proof = boost::get<PHGRProof>(proof);
 
     // Verify the transaction:
     ASSERT_TRUE(js->verify(
         sprout_proof,
         verifier,
-        pubKeyHash,
+        joinSplitPubKey,
         randomSeed,
         macs,
         nullifiers,
@@ -97,7 +97,7 @@ void test_full_api(ZCJoinSplit* js)
 
     // Recipient should decrypt
     // Now the recipient should spend the money again
-    auto h_sig = js->h_sig(randomSeed, nullifiers, pubKeyHash);
+    auto h_sig = js->h_sig(randomSeed, nullifiers, joinSplitPubKey);
     ZCNoteDecryption decryptor(recipient_key.receiving_key());
 
     auto note_pt = SproutNotePlaintext::decrypt(
@@ -120,7 +120,7 @@ void test_full_api(ZCJoinSplit* js)
     vpub_old = 0;
     vpub_new = 1;
     rt = tree.root();
-    pubKeyHash = random_uint256();
+    joinSplitPubKey = random_uint256();
 
     {
         std::array<JSInput, 2> inputs = {
@@ -146,7 +146,7 @@ void test_full_api(ZCJoinSplit* js)
             output_notes,
             ciphertexts,
             ephemeralKey,
-            pubKeyHash,
+            joinSplitPubKey,
             randomSeed,
             macs,
             nullifiers,
@@ -157,13 +157,13 @@ void test_full_api(ZCJoinSplit* js)
         );
     }
 
-    sprout_proof = boost::get<ZCProof>(proof);
+    sprout_proof = boost::get<PHGRProof>(proof);
 
     // Verify the transaction:
     ASSERT_TRUE(js->verify(
         sprout_proof,
         verifier,
-        pubKeyHash,
+        joinSplitPubKey,
         randomSeed,
         macs,
         nullifiers,
@@ -186,7 +186,7 @@ void invokeAPI(
 ) {
     uint256 ephemeralKey;
     uint256 randomSeed;
-    uint256 pubKeyHash = random_uint256();
+    uint256 joinSplitPubKey = random_uint256();
     std::array<uint256, 2> macs;
     std::array<uint256, 2> nullifiers;
     std::array<uint256, 2> commitments;
@@ -201,7 +201,7 @@ void invokeAPI(
         output_notes,
         ciphertexts,
         ephemeralKey,
-        pubKeyHash,
+        joinSplitPubKey,
         randomSeed,
         macs,
         nullifiers,
@@ -241,9 +241,9 @@ TEST(joinsplit, h_sig)
 import pyblake2
 import binascii
 
-def hSig(randomSeed, nf1, nf2, pubKeyHash):
+def hSig(randomSeed, nf1, nf2, joinSplitPubKey):
     return pyblake2.blake2b(
-        data=(randomSeed + nf1 + nf2 + pubKeyHash),
+        data=(randomSeed + nf1 + nf2 + joinSplitPubKey),
         digest_size=32,
         person=b"ZcashComputehSig"
     ).digest()
diff --git a/src/gtest/test_proofs.cpp b/src/gtest/test_proofs.cpp
index e33b1cc0c78..5b5c19395f2 100644
--- a/src/gtest/test_proofs.cpp
+++ b/src/gtest/test_proofs.cpp
@@ -241,7 +241,7 @@ TEST(proofs, sqrt_fq2)
 
 TEST(proofs, size_is_expected)
 {
-    ZCProof p;
+    PHGRProof p;
     CDataStream ss(SER_NETWORK, PROTOCOL_VERSION);
     ss << p;
 
@@ -444,7 +444,7 @@ TEST(proofs, zksnark_serializes_properly)
     auto vkprecomp = libsnark::r1cs_ppzksnark_verifier_process_vk(kp.vk);
 
     for (size_t i = 0; i < 20; i++) {
-        auto badproof = ZCProof::random_invalid();
+        auto badproof = PHGRProof::random_invalid();
         auto proof = badproof.to_libsnark_proof<libsnark::r1cs_ppzksnark_proof<curve_pp>>();
         
         auto verifierEnabled = ProofVerifier::Strict();
@@ -496,12 +496,12 @@ TEST(proofs, zksnark_serializes_properly)
             proof
         ));
 
-        ZCProof compressed_proof_0(proof);
+        PHGRProof compressed_proof_0(proof);
 
         CDataStream ss(SER_NETWORK, PROTOCOL_VERSION);
         ss << compressed_proof_0;
 
-        ZCProof compressed_proof_1;
+        PHGRProof compressed_proof_1;
         ss >> compressed_proof_1;
 
         ASSERT_TRUE(compressed_proof_0 == compressed_proof_1);
diff --git a/src/gtest/test_transaction.cpp b/src/gtest/test_transaction.cpp
index 97dd4ffe4dd..61a1a6d0ead 100644
--- a/src/gtest/test_transaction.cpp
+++ b/src/gtest/test_transaction.cpp
@@ -31,7 +31,7 @@ TEST(Transaction, JSDescriptionRandomized) {
     auto witness = merkleTree.witness();
 
     // create JSDescription
-    uint256 pubKeyHash;
+    uint256 joinSplitPubKey;
     std::array<libzcash::JSInput, ZC_NUM_JS_INPUTS> inputs = {
         libzcash::JSInput(witness, note, k),
         libzcash::JSInput() // dummy input of zero value
@@ -46,7 +46,7 @@ TEST(Transaction, JSDescriptionRandomized) {
     {
         auto jsdesc = JSDescription::Randomized(
             false,
-            *params, pubKeyHash, rt,
+            *params, joinSplitPubKey, rt,
             inputs, outputs,
             inputMap, outputMap,
             0, 0, false);
@@ -63,7 +63,7 @@ TEST(Transaction, JSDescriptionRandomized) {
     {
         auto jsdesc = JSDescription::Randomized(
             false,
-            *params, pubKeyHash, rt,
+            *params, joinSplitPubKey, rt,
             inputs, outputs,
             inputMap, outputMap,
             0, 0, false, nullptr, GenZero);
@@ -77,7 +77,7 @@ TEST(Transaction, JSDescriptionRandomized) {
     {
         auto jsdesc = JSDescription::Randomized(
             false,
-            *params, pubKeyHash, rt,
+            *params, joinSplitPubKey, rt,
             inputs, outputs,
             inputMap, outputMap,
             0, 0, false, nullptr, GenMax);
diff --git a/src/primitives/transaction.cpp b/src/primitives/transaction.cpp
index ff15535c5eb..a9336422027 100644
--- a/src/primitives/transaction.cpp
+++ b/src/primitives/transaction.cpp
@@ -14,7 +14,7 @@
 JSDescription::JSDescription(
     bool makeGrothProof,
     ZCJoinSplit& params,
-    const uint256& pubKeyHash,
+    const uint256& joinSplitPubKey,
     const uint256& anchor,
     const std::array<libzcash::JSInput, ZC_NUM_JS_INPUTS>& inputs,
     const std::array<libzcash::JSOutput, ZC_NUM_JS_OUTPUTS>& outputs,
@@ -33,7 +33,7 @@ JSDescription::JSDescription(
         notes,
         ciphertexts,
         ephemeralKey,
-        pubKeyHash,
+        joinSplitPubKey,
         randomSeed,
         macs,
         nullifiers,
@@ -49,7 +49,7 @@ JSDescription::JSDescription(
 JSDescription JSDescription::Randomized(
     bool makeGrothProof,
     ZCJoinSplit& params,
-    const uint256& pubKeyHash,
+    const uint256& joinSplitPubKey,
     const uint256& anchor,
     std::array<libzcash::JSInput, ZC_NUM_JS_INPUTS>& inputs,
     std::array<libzcash::JSOutput, ZC_NUM_JS_OUTPUTS>& outputs,
@@ -73,7 +73,7 @@ JSDescription JSDescription::Randomized(
 
     return JSDescription(
         makeGrothProof,
-        params, pubKeyHash, anchor, inputs, outputs,
+        params, joinSplitPubKey, anchor, inputs, outputs,
         vpub_old, vpub_new, computeProof,
         esk // payment disclosure
     );
@@ -83,23 +83,23 @@ class SproutProofVerifier : public boost::static_visitor<bool>
 {
     ZCJoinSplit& params;
     libzcash::ProofVerifier& verifier;
-    const uint256& pubKeyHash;
+    const uint256& joinSplitPubKey;
     const JSDescription& jsdesc;
 
 public:
     SproutProofVerifier(
         ZCJoinSplit& params,
         libzcash::ProofVerifier& verifier,
-        const uint256& pubKeyHash,
+        const uint256& joinSplitPubKey,
         const JSDescription& jsdesc
-        ) : params(params), jsdesc(jsdesc), verifier(verifier), pubKeyHash(pubKeyHash) {}
+        ) : params(params), jsdesc(jsdesc), verifier(verifier), joinSplitPubKey(joinSplitPubKey) {}
 
-    bool operator()(const libzcash::ZCProof& proof) const
+    bool operator()(const libzcash::PHGRProof& proof) const
     {
         return params.verify(
             proof,
             verifier,
-            pubKeyHash,
+            joinSplitPubKey,
             jsdesc.randomSeed,
             jsdesc.macs,
             jsdesc.nullifiers,
@@ -112,7 +112,7 @@ class SproutProofVerifier : public boost::static_visitor<bool>
 
     bool operator()(const libzcash::GrothProof& proof) const
     {
-        uint256 h_sig = params.h_sig(jsdesc.randomSeed, jsdesc.nullifiers, pubKeyHash);
+        uint256 h_sig = params.h_sig(jsdesc.randomSeed, jsdesc.nullifiers, joinSplitPubKey);
 
         return librustzcash_sprout_verify(
             proof.begin(),
@@ -133,15 +133,15 @@ class SproutProofVerifier : public boost::static_visitor<bool>
 bool JSDescription::Verify(
     ZCJoinSplit& params,
     libzcash::ProofVerifier& verifier,
-    const uint256& pubKeyHash
+    const uint256& joinSplitPubKey
 ) const {
-    auto pv = SproutProofVerifier(params, verifier, pubKeyHash, *this);
+    auto pv = SproutProofVerifier(params, verifier, joinSplitPubKey, *this);
     return boost::apply_visitor(pv, proof);
 }
 
-uint256 JSDescription::h_sig(ZCJoinSplit& params, const uint256& pubKeyHash) const
+uint256 JSDescription::h_sig(ZCJoinSplit& params, const uint256& joinSplitPubKey) const
 {
-    return params.h_sig(randomSeed, nullifiers, pubKeyHash);
+    return params.h_sig(randomSeed, nullifiers, joinSplitPubKey);
 }
 
 std::string COutPoint::ToString() const
diff --git a/src/primitives/transaction.h b/src/primitives/transaction.h
index 897563891bb..715c8672f75 100644
--- a/src/primitives/transaction.h
+++ b/src/primitives/transaction.h
@@ -154,7 +154,7 @@ class SproutProofSerializer : public boost::static_visitor<>
 public:
     SproutProofSerializer(Stream& s, bool useGroth) : s(s), useGroth(useGroth) {}
 
-    void operator()(const libzcash::ZCProof& proof) const
+    void operator()(const libzcash::PHGRProof& proof) const
     {
         if (useGroth) {
             throw std::ios_base::failure("Invalid Sprout proof for transaction format (expected GrothProof, found PHGRProof)");
@@ -186,7 +186,7 @@ inline void SerReadWriteSproutProof(Stream& s, T& proof, bool useGroth, CSerActi
         ::Unserialize(s, grothProof);
         proof = grothProof;
     } else {
-        libzcash::ZCProof pghrProof;
+        libzcash::PHGRProof pghrProof;
         ::Unserialize(s, pghrProof);
         proof = pghrProof;
     }
@@ -245,7 +245,7 @@ class JSDescription
     JSDescription(
             bool makeGrothProof,
             ZCJoinSplit& params,
-            const uint256& pubKeyHash,
+            const uint256& joinSplitPubKey,
             const uint256& rt,
             const std::array<libzcash::JSInput, ZC_NUM_JS_INPUTS>& inputs,
             const std::array<libzcash::JSOutput, ZC_NUM_JS_OUTPUTS>& outputs,
@@ -258,7 +258,7 @@ class JSDescription
     static JSDescription Randomized(
             bool makeGrothProof,
             ZCJoinSplit& params,
-            const uint256& pubKeyHash,
+            const uint256& joinSplitPubKey,
             const uint256& rt,
             std::array<libzcash::JSInput, ZC_NUM_JS_INPUTS>& inputs,
             std::array<libzcash::JSOutput, ZC_NUM_JS_OUTPUTS>& outputs,
@@ -275,11 +275,11 @@ class JSDescription
     bool Verify(
         ZCJoinSplit& params,
         libzcash::ProofVerifier& verifier,
-        const uint256& pubKeyHash
+        const uint256& joinSplitPubKey
     ) const;
 
     // Returns the calculated h_sig
-    uint256 h_sig(ZCJoinSplit& params, const uint256& pubKeyHash) const;
+    uint256 h_sig(ZCJoinSplit& params, const uint256& joinSplitPubKey) const;
 
     ADD_SERIALIZE_METHODS;
 
diff --git a/src/test/sighash_tests.cpp b/src/test/sighash_tests.cpp
index a73bd6f609a..f7ecfe5c8f8 100644
--- a/src/test/sighash_tests.cpp
+++ b/src/test/sighash_tests.cpp
@@ -188,7 +188,7 @@ void static RandomTransaction(CMutableTransaction &tx, bool fSingle, uint32_t co
                 randombytes_buf(zkproof.begin(), zkproof.size());
                 jsdesc.proof = zkproof;
             } else {
-                jsdesc.proof = libzcash::ZCProof::random_invalid();
+                jsdesc.proof = libzcash::PHGRProof::random_invalid();
             }
             jsdesc.macs[0] = GetRandHash();
             jsdesc.macs[1] = GetRandHash();
diff --git a/src/test/transaction_tests.cpp b/src/test/transaction_tests.cpp
index 12abaaa47da..34f7a80e931 100644
--- a/src/test/transaction_tests.cpp
+++ b/src/test/transaction_tests.cpp
@@ -360,7 +360,7 @@ BOOST_AUTO_TEST_CASE(test_basic_joinsplit_verification)
     auto witness = merkleTree.witness();
 
     // create JSDescription
-    uint256 pubKeyHash;
+    uint256 joinSplitPubKey;
     std::array<libzcash::JSInput, ZC_NUM_JS_INPUTS> inputs = {
         libzcash::JSInput(witness, note, k),
         libzcash::JSInput() // dummy input of zero value
@@ -373,8 +373,8 @@ BOOST_AUTO_TEST_CASE(test_basic_joinsplit_verification)
     auto verifier = libzcash::ProofVerifier::Strict();
 
     {
-        JSDescription jsdesc(false, *pzcashParams, pubKeyHash, rt, inputs, outputs, 0, 0);
-        BOOST_CHECK(jsdesc.Verify(*pzcashParams, verifier, pubKeyHash));
+        JSDescription jsdesc(false, *pzcashParams, joinSplitPubKey, rt, inputs, outputs, 0, 0);
+        BOOST_CHECK(jsdesc.Verify(*pzcashParams, verifier, joinSplitPubKey));
 
         CDataStream ss(SER_DISK, CLIENT_VERSION);
         ss << jsdesc;
@@ -383,20 +383,20 @@ BOOST_AUTO_TEST_CASE(test_basic_joinsplit_verification)
         ss >> jsdesc_deserialized;
 
         BOOST_CHECK(jsdesc_deserialized == jsdesc);
-        BOOST_CHECK(jsdesc_deserialized.Verify(*pzcashParams, verifier, pubKeyHash));
+        BOOST_CHECK(jsdesc_deserialized.Verify(*pzcashParams, verifier, joinSplitPubKey));
     }
 
     {
         // Ensure that the balance equation is working.
-        BOOST_CHECK_THROW(JSDescription(false, *pzcashParams, pubKeyHash, rt, inputs, outputs, 10, 0), std::invalid_argument);
-        BOOST_CHECK_THROW(JSDescription(false, *pzcashParams, pubKeyHash, rt, inputs, outputs, 0, 10), std::invalid_argument);
+        BOOST_CHECK_THROW(JSDescription(false, *pzcashParams, joinSplitPubKey, rt, inputs, outputs, 10, 0), std::invalid_argument);
+        BOOST_CHECK_THROW(JSDescription(false, *pzcashParams, joinSplitPubKey, rt, inputs, outputs, 0, 10), std::invalid_argument);
     }
 
     {
         // Ensure that it won't verify if the root is changed.
-        auto test = JSDescription(false, *pzcashParams, pubKeyHash, rt, inputs, outputs, 0, 0);
+        auto test = JSDescription(false, *pzcashParams, joinSplitPubKey, rt, inputs, outputs, 0, 0);
         test.anchor = GetRandHash();
-        BOOST_CHECK(!test.Verify(*pzcashParams, verifier, pubKeyHash));
+        BOOST_CHECK(!test.Verify(*pzcashParams, verifier, joinSplitPubKey));
     }
 }
 
diff --git a/src/wallet/rpcwallet.cpp b/src/wallet/rpcwallet.cpp
index 44cf5535093..5476ce247bc 100644
--- a/src/wallet/rpcwallet.cpp
+++ b/src/wallet/rpcwallet.cpp
@@ -2638,11 +2638,11 @@ UniValue zc_sample_joinsplit(const UniValue& params, bool fHelp)
 
     LOCK(cs_main);
 
-    uint256 pubKeyHash;
+    uint256 joinSplitPubKey;
     uint256 anchor = ZCIncrementalMerkleTree().root();
     JSDescription samplejoinsplit(true,
                                   *pzcashParams,
-                                  pubKeyHash,
+                                  joinSplitPubKey,
                                   anchor,
                                   {JSInput(), JSInput()},
                                   {JSOutput(), JSOutput()},
diff --git a/src/zcash/JoinSplit.cpp b/src/zcash/JoinSplit.cpp
index 13e66626366..50ee8f1b0c8 100644
--- a/src/zcash/JoinSplit.cpp
+++ b/src/zcash/JoinSplit.cpp
@@ -102,9 +102,9 @@ class JoinSplitCircuit : public JoinSplit<NumInputs, NumOutputs> {
     }
 
     bool verify(
-        const ZCProof& proof,
+        const PHGRProof& proof,
         ProofVerifier& verifier,
-        const uint256& pubKeyHash,
+        const uint256& joinSplitPubKey,
         const uint256& randomSeed,
         const std::array<uint256, NumInputs>& macs,
         const std::array<uint256, NumInputs>& nullifiers,
@@ -116,7 +116,7 @@ class JoinSplitCircuit : public JoinSplit<NumInputs, NumOutputs> {
         try {
             auto r1cs_proof = proof.to_libsnark_proof<r1cs_ppzksnark_proof<ppzksnark_ppT>>();
 
-            uint256 h_sig = this->h_sig(randomSeed, nullifiers, pubKeyHash);
+            uint256 h_sig = this->h_sig(randomSeed, nullifiers, joinSplitPubKey);
 
             auto witness = joinsplit_gadget<FieldT, NumInputs, NumOutputs>::witness_map(
                 rt,
@@ -146,7 +146,7 @@ class JoinSplitCircuit : public JoinSplit<NumInputs, NumOutputs> {
         std::array<SproutNote, NumOutputs>& out_notes,
         std::array<ZCNoteEncryption::Ciphertext, NumOutputs>& out_ciphertexts,
         uint256& out_ephemeralKey,
-        const uint256& pubKeyHash,
+        const uint256& joinSplitPubKey,
         uint256& out_randomSeed,
         std::array<uint256, NumInputs>& out_macs,
         std::array<uint256, NumInputs>& out_nullifiers,
@@ -209,7 +209,7 @@ class JoinSplitCircuit : public JoinSplit<NumInputs, NumOutputs> {
         out_randomSeed = random_uint256();
 
         // Compute h_sig
-        uint256 h_sig = this->h_sig(out_randomSeed, out_nullifiers, pubKeyHash);
+        uint256 h_sig = this->h_sig(out_randomSeed, out_nullifiers, joinSplitPubKey);
 
         // Sample phi
         uint252 phi = random_uint252();
@@ -321,7 +321,7 @@ class JoinSplitCircuit : public JoinSplit<NumInputs, NumOutputs> {
         }
 
         if (!computeProof) {
-            return ZCProof();
+            return PHGRProof();
         }
 
         protoboard<FieldT> pb;
@@ -359,7 +359,7 @@ class JoinSplitCircuit : public JoinSplit<NumInputs, NumOutputs> {
             throw std::runtime_error(strprintf("could not load param file at %s", pkPath));
         }
 
-        return ZCProof(r1cs_ppzksnark_prover_streaming<ppzksnark_ppT>(
+        return PHGRProof(r1cs_ppzksnark_prover_streaming<ppzksnark_ppT>(
             fh,
             primary_input,
             aux_input,
@@ -389,7 +389,7 @@ template<size_t NumInputs, size_t NumOutputs>
 uint256 JoinSplit<NumInputs, NumOutputs>::h_sig(
     const uint256& randomSeed,
     const std::array<uint256, NumInputs>& nullifiers,
-    const uint256& pubKeyHash
+    const uint256& joinSplitPubKey
 ) {
     const unsigned char personalization[crypto_generichash_blake2b_PERSONALBYTES]
         = {'Z','c','a','s','h','C','o','m','p','u','t','e','h','S','i','g'};
@@ -400,7 +400,7 @@ uint256 JoinSplit<NumInputs, NumOutputs>::h_sig(
         block.insert(block.end(), nullifiers[i].begin(), nullifiers[i].end());
     }
 
-    block.insert(block.end(), pubKeyHash.begin(), pubKeyHash.end());
+    block.insert(block.end(), joinSplitPubKey.begin(), joinSplitPubKey.end());
 
     uint256 output;
 
diff --git a/src/zcash/JoinSplit.hpp b/src/zcash/JoinSplit.hpp
index 07db55bb276..2e1c79335fd 100644
--- a/src/zcash/JoinSplit.hpp
+++ b/src/zcash/JoinSplit.hpp
@@ -21,7 +21,7 @@ static constexpr size_t GROTH_PROOF_SIZE = (
     48); // π_C
 
 typedef std::array<unsigned char, GROTH_PROOF_SIZE> GrothProof;
-typedef boost::variant<ZCProof, GrothProof> SproutProof;
+typedef boost::variant<PHGRProof, GrothProof> SproutProof;
 
 class JSInput {
 public:
@@ -64,9 +64,10 @@ class JoinSplit {
 
     static uint256 h_sig(const uint256& randomSeed,
                          const std::array<uint256, NumInputs>& nullifiers,
-                         const uint256& pubKeyHash
+                         const uint256& joinSplitPubKey
                         );
 
+    // Compute nullifiers, macs, note commitments & encryptions, and SNARK proof
     virtual SproutProof prove(
         bool makeGrothProof,
         const std::array<JSInput, NumInputs>& inputs,
@@ -74,7 +75,7 @@ class JoinSplit {
         std::array<SproutNote, NumOutputs>& out_notes,
         std::array<ZCNoteEncryption::Ciphertext, NumOutputs>& out_ciphertexts,
         uint256& out_ephemeralKey,
-        const uint256& pubKeyHash,
+        const uint256& joinSplitPubKey,
         uint256& out_randomSeed,
         std::array<uint256, NumInputs>& out_hmacs,
         std::array<uint256, NumInputs>& out_nullifiers,
@@ -90,9 +91,9 @@ class JoinSplit {
     ) = 0;
 
     virtual bool verify(
-        const ZCProof& proof,
+        const PHGRProof& proof,
         ProofVerifier& verifier,
-        const uint256& pubKeyHash,
+        const uint256& joinSplitPubKey,
         const uint256& randomSeed,
         const std::array<uint256, NumInputs>& hmacs,
         const std::array<uint256, NumInputs>& nullifiers,
diff --git a/src/zcash/Proof.cpp b/src/zcash/Proof.cpp
index 3e7e5110c62..af87d1b8188 100644
--- a/src/zcash/Proof.cpp
+++ b/src/zcash/Proof.cpp
@@ -171,7 +171,7 @@ curve_G2 CompressedG2::to_libsnark_g2() const
 }
 
 template<>
-ZCProof::ZCProof(const r1cs_ppzksnark_proof<curve_pp> &proof)
+PHGRProof::PHGRProof(const r1cs_ppzksnark_proof<curve_pp> &proof)
 {
     g_A = CompressedG1(proof.g_A.g);
     g_A_prime = CompressedG1(proof.g_A.h);
@@ -184,7 +184,7 @@ ZCProof::ZCProof(const r1cs_ppzksnark_proof<curve_pp> &proof)
 }
 
 template<>
-r1cs_ppzksnark_proof<curve_pp> ZCProof::to_libsnark_proof() const
+r1cs_ppzksnark_proof<curve_pp> PHGRProof::to_libsnark_proof() const
 {
     r1cs_ppzksnark_proof<curve_pp> proof;
 
@@ -200,9 +200,9 @@ r1cs_ppzksnark_proof<curve_pp> ZCProof::to_libsnark_proof() const
     return proof;
 }
 
-ZCProof ZCProof::random_invalid()
+PHGRProof PHGRProof::random_invalid()
 {
-    ZCProof p;
+    PHGRProof p;
     p.g_A = curve_G1::random_element();
     p.g_A_prime = curve_G1::random_element();
     p.g_B = curve_G2::random_element();
diff --git a/src/zcash/Proof.hpp b/src/zcash/Proof.hpp
index 573a65cd32a..e06095d579a 100644
--- a/src/zcash/Proof.hpp
+++ b/src/zcash/Proof.hpp
@@ -176,7 +176,7 @@ class CompressedG2 {
 };
 
 // Compressed zkSNARK proof
-class ZCProof {
+class PHGRProof {
 private:
     CompressedG1 g_A;
     CompressedG1 g_A_prime;
@@ -188,18 +188,18 @@ class ZCProof {
     CompressedG1 g_H;
 
 public:
-    ZCProof() : g_A(), g_A_prime(), g_B(), g_B_prime(), g_C(), g_C_prime(), g_K(), g_H() { }
+    PHGRProof() : g_A(), g_A_prime(), g_B(), g_B_prime(), g_C(), g_C_prime(), g_K(), g_H() { }
 
     // Produces a compressed proof using a libsnark zkSNARK proof
     template<typename libsnark_proof>
-    ZCProof(const libsnark_proof& proof);
+    PHGRProof(const libsnark_proof& proof);
 
     // Produces a libsnark zkSNARK proof out of this proof,
     // or throws an exception if it is invalid.
     template<typename libsnark_proof>
     libsnark_proof to_libsnark_proof() const;
 
-    static ZCProof random_invalid();
+    static PHGRProof random_invalid();
 
     ADD_SERIALIZE_METHODS;
 
@@ -215,7 +215,7 @@ class ZCProof {
         READWRITE(g_H);
     }
 
-    friend bool operator==(const ZCProof& a, const ZCProof& b)
+    friend bool operator==(const PHGRProof& a, const PHGRProof& b)
     {
         return (
             a.g_A == b.g_A &&
@@ -229,7 +229,7 @@ class ZCProof {
         );
     }
 
-    friend bool operator!=(const ZCProof& a, const ZCProof& b)
+    friend bool operator!=(const PHGRProof& a, const PHGRProof& b)
     {
         return !(a == b);
     }
diff --git a/src/zcbenchmarks.cpp b/src/zcbenchmarks.cpp
index f65e062e30e..2547a7b06df 100644
--- a/src/zcbenchmarks.cpp
+++ b/src/zcbenchmarks.cpp
@@ -109,7 +109,7 @@ double benchmark_parameter_loading()
 
 double benchmark_create_joinsplit()
 {
-    uint256 pubKeyHash;
+    uint256 joinSplitPubKey;
 
     /* Get the anchor of an empty commitment tree. */
     uint256 anchor = ZCIncrementalMerkleTree().root();
@@ -118,7 +118,7 @@ double benchmark_create_joinsplit()
     timer_start(tv_start);
     JSDescription jsdesc(true,
                          *pzcashParams,
-                         pubKeyHash,
+                         joinSplitPubKey,
                          anchor,
                          {JSInput(), JSInput()},
                          {JSOutput(), JSOutput()},
@@ -127,7 +127,7 @@ double benchmark_create_joinsplit()
     double ret = timer_stop(tv_start);
 
     auto verifier = libzcash::ProofVerifier::Strict();
-    assert(jsdesc.Verify(*pzcashParams, verifier, pubKeyHash));
+    assert(jsdesc.Verify(*pzcashParams, verifier, joinSplitPubKey));
     return ret;
 }
 
@@ -156,9 +156,9 @@ double benchmark_verify_joinsplit(const JSDescription &joinsplit)
 {
     struct timeval tv_start;
     timer_start(tv_start);
-    uint256 pubKeyHash;
+    uint256 joinSplitPubKey;
     auto verifier = libzcash::ProofVerifier::Strict();
-    joinsplit.Verify(*pzcashParams, verifier, pubKeyHash);
+    joinsplit.Verify(*pzcashParams, verifier, joinSplitPubKey);
     return timer_stop(tv_start);
 }