feat: Refactor

[Bisht13]

No description provided.

[JohnGuilding]

@Bisht13

1. // require(!nullifiers[handleString], "Unique handle required"); - why is this commented out - is it important?

2. The logic for L45-L52
   and L54-L61 look identical although the comments suggest they should be different

3. How is {{ field.name }}_string used? I cannot see it being used, is it meant to be used as part of the commented out nullifier logic?

4. There is some validation that happens in Verifier.sol. This might be a trivial question, but for my understanding, do we need to do similar validation here such as:
   “invalid format of pA”
   ”invalid format of pB”
   “invalid format of pC”

5. The template has the following argument uint[{{ signal_size }}] calldata signals. I assume this is equivalent to pubSignals that are dynamically constructed in the following Verifier.sol

[JohnGuilding]

6. Ownable is used but cannot see reference to onlyOwner() - should onlyOwner() be used somewhere?

7. nitpick - should contract Contract is Ownable { be something like contract Verifier is Ownable {