diff --git a/eth_verifier/lib/msgpack/Deserialize.sol b/eth_verifier/lib/msgpack/Deserialize.sol
index fa164c02..9f96bdc3 100644
--- a/eth_verifier/lib/msgpack/Deserialize.sol
+++ b/eth_verifier/lib/msgpack/Deserialize.sol
@@ -572,6 +572,11 @@ library MsgPk {
         deser_lagrange_bases(lagrange_b_serialized, urs.lagrange_bases_unshifted);
     }
 
+    function deser_g1point(Stream memory self) public view returns (BN254.G1Point memory) {
+        EncodedMap memory buffer = deser_fixmap(self);
+        return BN254.g1Deserialize(bytes32(deser_buffer(buffer)));
+    }
+
     function deser_linearization(Stream memory self) public view returns (Linearization memory) {
         // TODO: only constant_term is deserialized right now.
         EncodedArray memory arr = deser_arr32(self);
diff --git a/kzg_prover/src/main.rs b/kzg_prover/src/main.rs
index 821eeeae..b15cebee 100644
--- a/kzg_prover/src/main.rs
+++ b/kzg_prover/src/main.rs
@@ -67,10 +67,10 @@ type KZGProof = PairingProof<ark_ec::bn::Bn<ark_bn254::Parameters>>;
 fn main() {
     generate_verifier_circuit_proof();
     //generate_test_proof();
-    generate_test_proof_ex();
+    generate_test_proof_for_evm_verifier();
 }
 
-fn generate_test_proof_ex() {
+fn generate_test_proof_for_evm_verifier() {
     let rng = &mut StdRng::from_seed([255u8; 32]);
 
     // Create range-check gadget