1. updated proof deserialization to skip validation for performance improvements by setting Validate::No.

2. removed commented-out unused variables in the prover logic.

Author: sergeytimoshin

src/api/method/get_validity_proof/prover/gnark.rs

@@ -76,7 +76,7 @@ pub fn negate_proof(proof: ProofABC) -> CompressedProof {
     let proof_a: G1 = G1::deserialize_with_mode(
         &*[&change_endianness(&proof.a), &[0u8][..]].concat(),
         Compress::No,
-        Validate::Yes,
+        Validate::No,
     )
     .unwrap();
 

src/api/method/get_validity_proof/prover/prove.rs

@@ -176,9 +176,6 @@ pub(crate) async fn generate_proof(
             path_index: addr_proof.lowElementLeafIndex,
             merkle_tree_id: addr_proof.merkleTree.to_string(),
             tree_info,
-            // next_index: addr_proof.nextIndex,
-            // lower_range_address_hex: pubkey_to_hex(&addr_proof.lowerRangeAddress),
-            // higher_range_address_hex: pubkey_to_hex(&addr_proof.higherRangeAddress),
         });
     }